I2P by Ciro Santilli 40 2026-08-07
Seems very similar to Tor, but also supports anonymous sharing of large files, notably via BitTorrent, which Tor does not support well. Shame.
We use Settlement as a generic term for city or town or village but without specifying its size.
Ciro Santilli's hardware / Sony XPERIA by Ciro Santilli 40 Created 2026-08-07 Updated 2026-08-17
Not sure when I bought it exactly, but I had it as early as 2015.
Possibly Sony XPERIA Z1: www.gsmarena.com/sony_xperia_z1-5596.php based on camera markings G 1/2.3 20.7MP
2026: not registering touches very well, I can't even properly try to guess the unlock pattern. Need to try with mouse.
Motorola Moto G15 4G 4GB-128GB Gris (Gravity Grey) Dual SIM
Bought 2026 as the cheapest 100 pound phone available now that I don't have any Authy backup I think in case my phone breaks. That's the only purpose.
First impression: sluggish! Epic.
On one hand, formal proof systems prevent hallucinations.
On the other hand, LLMs can handle the mega verbosity and learning curve of formal proof systems which few humans are willing to undertake.
The human only needs to understand the bare minium of the formal proof system to know that statements are what they say they are. LLMs can then take care of the proof entirely.
It's really a killer combo.
June 2026:
Pre 2026:
  • Weight: 16g Had some visible blur on bottom where some water might remain be after washing, that's the main reason I bought the new one. After getting new one, I tried washing it with vinegar dilluted one to one in water for 30 mins to see if it was hard water buildup, but no, it didn't help at all with the bottom, and made one eye extremelly burry, basically unusable. Don't ever do that!
Good and portable, used it a lot to work in cafe's to go together with my laptop stand.

There are unlisted articles, also show them or only show them.