legcop.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

legcop.bsky.social

26 posts 5 followers 63 following

Posts 3 Comments 26

Is it possible to build a formally verified GC for OCaml that can be plugged into the compiler? We should how to in: "A Mechanically Verified GC for OCaml" kcsrk.info/papers/verif... This has been accepted to the Journal of Automated Reasoning. Code: github.com/prismlab/ver...

submitted 116 days ago • 7 comments

Rep Rich McCormick wants us to think he is cool as skates off to vote against poor people

submitted 115 days ago • 74 comments

Fire Elon Musk. That's the tweet. Now repost this if you agree.

submitted 115 days ago • 6 comments