patrick

patrick

patrick.sirref.org

PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris

👤 Joined on 26 January 2025

82

Followers

58

Following

44

Total Posts

📜 Kullanıcı Geçmişi

  • 26 Oca 2025, 12:44
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @patricoferris.bsky.social
  • 26 Oca 2025, 12:53
    ✏️ Kullanıcı adı değişti: @patricoferris.bsky.social → @patrick.sirref.org

🚫 Blokladığı Kullanıcılar

❤️ Beğendiği Gönderiler

07 October 2026 13:02

Upgrade OCaml and your tools just work? That is months of quiet work behind the scenes. The maintainers of ppxlib, Merlin, Dune and odoc explain how: tarides.com/blog/2026-10...

Show Post

Proud to announce a full featured OCaml client for Bluesky and the AT Protocol. Built so you or an agent can pick it up and get integrated immediately without the headache opam install atproto github.com/david-engelm...

Show Post
David Allsopp
26 July 2026 18:20

“Daddy, your code is amazing” - inspiring future generations (in Scratch 🫣🤫🤐)

Show Post

So excited to be speaking at @localfirstconf.com in a few minutes!

Show Post

delighted to announce that our SPAA paper received an outstanding paper award! Scheduler Augmentation: A Lightweight, Low-Cost Profiling Technique for Fork-Join Parallel Programs cs.nyu.edu/~shw8119/26/...

Show Post

Select language

Install App

Install App