1·
1 年前I would recommend Nest or selfhost Pijul or if needed full git compat => Radicle.
Spending short lifetime for development and boring things.
Sponsorship, Support ❤️🔥
- 0 Posts
- 4 Comments
Joined 3 年前
Cake day: 2023年8月11日
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
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.
Excuse me, there was engineering culture?! 🤦🏻♂️