as long as it’s not compatible with git, you cannot use it in most companies.

Personally I don't care about companies at all and continue using many years. Almost all my personal projects in pijul. Also I know four (4, as minimum) companies that have got rid of git in favor of pijul.

I hope pijul will never compatible with git in UI as well as math (e.g. patches-theory).

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.