Unison file synchronizer (by bcpierce00)
Unison is definitely very cool. I used it myself for a work thing and it was quite useful. I'm just surprised every time I go back to https://github.com/bcpierce00/unison/issues/375 and see the wire protocol still doesn't has been fixed to work across different versions.
Companion files for Logical Verification 2020–2021 at VU Amsterdam
A recent book in the same vein: The Hitchhiker's Guide to Logical Verification
This is a tipping point work making the case that type theory is like a musician reading sheet music. Sure, the Beatles couldn't, but... Anyone developing a new programming language should understand languages at the level of Lean, even if the common uses of their constructs aren't theorem proving. The analogies are mind-blowing. Monadic parsing is the same thing as meta-programming tactics? I'm still wrapping my head arond that one.
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
Creator of SerenityOS announces new Jakt programming language
2 projects | reddit.com/r/ProgrammingLanguages | 21 May 2022
Just failed my first class lol
1 project | reddit.com/r/UMD | 21 May 2022
OCaml Game Geek - A rewrite of the awesome Clojure GraphQL tutorial in OCaml
1 project | reddit.com/r/ocaml | 21 May 2022
Is 'Real World OCaml' 1st ed worth bying for a beginner?
2 projects | reddit.com/r/ocaml | 20 May 2022
Ahh yes, the C minus minus
1 project | reddit.com/r/ProgrammerHumor | 20 May 2022