Profile avatar
patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
32 posts 58 followers 50 following
Regular Contributor
Conversation Starter
Posts 21 Comments 18

A follow up post on linearity and uniqueness: kcsrk.info/ocaml/modes/....

submitted 22 days ago • 1 comment

I've been experimenting with OCaml and eBPF to build an "opentrace" tool for monitoring which files your program reads and writes. patrick.sirref.org/open-trace

submitted 21 days ago • 1 comment

This afternoon was spent #vibecoding a Matrix bot to listen in on our computer lab occupancy channel and reply to queries with a local Ollama hosted LLM on one of our GPU machines. Of questionable utility, but kind of neat.

submitted 48 days ago • 2 comments

You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml

submitted 47 days ago • 2 comments

Reminder for the #OCaml workshop! Deadline is in 2 months, July 3rd AoE! Please consider submitting this year!!

submitted 59 days ago • 0 comments

I wrote up a quick post about the OCaml to Hazel transpiler I've been hacking on recently. Reusing OCaml's type inference to handle Hazel's explicit polymorphism has been pretty fun! patrick.sirref.org/hazel-of-ocaml

submitted 52 days ago • 2 comments

This is great! I've been a happy beta-user for a while :))

submitted 54 days ago • 0 comments

I finally got around to redeploying sherlorocq.sirref.org -- a search index over all of the sources in Rocq's main opam repository 🐓

submitted 65 days ago • 0 comments

Thank you everyone who joined the OCaml community's Outreachy Demo day, the meeting is now online watch.ocaml.org/w/eWRikkpwoo...

submitted 69 days ago • 0 comments

Join us next week for the OCaml community's Outreachy Demo Day! discuss.ocaml.org/t/outreachy-...

submitted 78 days ago • 0 comments

Great work my good friend ~Ryan Gibb~ handle.invalid :))

submitted 83 days ago • 0 comments

This is not an April Fool! #IYKYK #ocaml

submitted 85 days ago • 0 comments

Ppxlib.0.36.0 has been released which bumps the internal AST to OCaml 5.2.0! I wrote a little about the release and the chaos it has caused for downstream ppxlib users patrick.sirref.org/ppxlib-5-2.xml

submitted 108 days ago • 1 comment

I'm #hiring: PDRA to join my #ukriflf project to understand how forest structure, function and dynamics are linked in Europe, using high resolution remote sensing data (TLS, UAV-LS). Based in Cambridge. Please share! 🌳⚡🛰️🌲 Full details: www.jobs.cam.ac.uk/job/50447/ #pdra #forests #lidar

submitted 121 days ago • 1 comment

Eio 🤝 Picos

submitted 114 days ago • 0 comments

A reminder that the deadline for mentors to sign up with a project is this Friday (March 7th 2025)!

submitted 115 days ago • 0 comments

I took MirageOS's new "defunctorised" approach for a spin by upgrading VPNKit to the latest suite of MirageOS libraries. I wrote a little about the experience here. patrick.sirref.org/vpnkit-upgra...

submitted 117 days ago • 2 comments

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 121 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 126 days ago • 1 comment

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

submitted 145 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 146 days ago • 0 comments