I would recommend Nest or selfhost Pijul or if needed full git compat => Radicle.

I remembered it with VR of those times! 🥹

Almost zero. We are all in the Matrix. It’s especially necessary when you are refugees by 🇷🇺, but personally me started to use matrix a very long time ago.

Personally I really don’t like it too. But I just don’t care because:

• I have all needed software locally
• I have all documentation locally
• I’m going to Web only to get updates (by-hands of course, no autoupdates without verification!)
• I’m old software engineer and how to automate it all without losing ctrl ;)

Oh, how long we’ve been waiting for this! ❤️‍🔥🎉 Great paper, but why default coq was chosen? That’s totally okay (and coq is still kinda default for interactive formal proving), but there is others production-ready strong modern instruments existing on Earth today. Just interesting why so.

👍🏻 But better to use dosbox-x same way on arm-macs.

Gruntz! by Monolyth. ❤️‍🔥 Also I worked on reimplementation of that game.