Skip Navigation

User banner

Alex

@ fzz @programming.dev

Posts
2
Comments
6
Joined
3 yr. ago

  • What Should I Use Instead of Github? - Codeberg Gitlab and BitBucket

    Jump

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

  • Everything web based

    Jump

  • 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 ;)

  • The Tree Borrows paper is finally published

    Jump

  • 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.

  • TIL to add two spaces behind a line to write multi line comments on lemmy without whitespaces between them.

    Jump

  • TIL to add two spaces behind a line to write multi line comments on lemmy without whitespaces between them.

    Jump