Anil MadhavapeddyWatching @ryan give his unified formal calculus talk for package management to an overflowing room at #fosdem! Livestream https://stream.fosdem.org/k3201.m3u8 and preprint at https://arxiv.org/pdf/2506.10803
| Site | https://patrick.sirref.org |
Patrick Ferris
@patricoferris
- 86 Followers
- 85 Following
- 142 Posts
PhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml
Yaron MinskyJane Street has a job opening that I think should be pretty exciting for committed educators who are excited by advanced PL work: an OxCaml Educator!
https://www.janestreet.com/join-jane-street/position/6546786002/
If you know anyone who might be interested, please pass it on. And please re-share!
Thomas LeonardMade some #ocaml bindings for libdrm and learnt about Linux mode setting: https://roscidus.com/blog/blog/2025/11/16/libdrm-ocaml/
Jon SterlingHi everyone! If you are using Forester to produce a website, lecture notes, blog or anything else, can you please respond to this with a link? I am trying to quantify impact.
Boosts are welcome.
I wrote up some thoughts and reflections from my ICFP 2025 experience :)
Video is up! Thanks to everyone who came and participated. https://www.youtube.com/watch?v=7oBkEbKJvnE
Jon Sterling, Is it time for a new proof assistant?
The OCaml community are looking for mentors and projects for the next round of Outreachy. More details at: https://discuss.ocaml.org/t/outreachy-mentors-wanted/17224
Outreachy Mentors Wanted
I’m excited to share that the OCaml community has secured funding for the next round of Outreachy. Thanks to Jane Street and Tarides, we have funding for 3 mentees in the next cohort of Outreachy internships alongside 3/4 mentors. We are actively seeking mentors and projects for the OCaml community. If you haven’t already, please do read our previous post about becoming an Outreachy mentor: Become an Outreachy Mentor: support the growth and diversity of the OCaml community. If you have any ques...
bactrianOutreachy May 2025 Demo Day
Outreachy May 2025 Demo Day
Xavier Van de WoestyneHere is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects!
https://xvw.lol/en/articles/why-ocaml.html
I hope you find this interesting, and I welcome any feedback!
I recently wrote a retrospective on Irmin, an OCaml library for building mergeable, branchable distributed data stores. It mainly focuses on the pain points I have found developing multiple applications using Irmin over the past few years.