l'empathie mécanique @dpwiz@qoto.org

SimpleX Chat apps are 4 years old today!

- 2M+ app downloads
- 300-500K active users (estimated from store statistics - no accounts or any user IDs)
- 1000+ network routers

Coming soon:
- channels
- new UX
- non-profit governance of SimpleX Network

Huge thank you to everybody who made this journey possible by using, promoting and supporting SimpleX Network.

And big thank you to @djb who made our work possible.

The time has come: Claude is able to poke holes in the dark corners of Rocq's kernel and come up with proofs of False!

The days of "our reasonable users use the unreasonable features only in reasonable ways so it's ok to have them" really are over. Can't wait until someone vibe codes a complicated proof without looking too closely at it (since it's been checked by the kernel, it must be fine!) only to later realise it was actually bogus and such a bug without the agent saying so...