Profile avatar
patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
8 posts 23 followers 40 following
Posts 4 Comments 6

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 2 days ago • 7 comments

The #OCaml community has signed up to Outreachy! Please do consider signing up to be a mentor, it's a lot of fun and a really great way to help grow the community :)) discuss.ocaml.org/t/outreachy-...

submitted 8 days ago • 1 comment

Hello! This post is from the OCaml library: https://github.com/patricoferris/atproto

submitted 27 days ago • 2 comments

Our EEG seminars are mushrooming again: Toby Kiers shows how imaging robots let us measure the dynamics of nutrient flows through fungal networks underground. She co-founded the Society for the Protection of Underground Networks! Public at @cst.cam.ac.uk FW11 tomorrow talks.cam.ac.uk/talk/index/2...

submitted 28 days ago • 0 comments