Profile avatar
yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
2,903 posts 1,520 followers 294 following
Regular Contributor
Active Commenter
Posts 22 Comments 28

I'm curious if anyone could summarize for me the state of evidence on the utility of type systems in reducing software faults. I'm aware of and even the source of some of the anecdotal evidence, but I'm curious if there's anything even vaguely methodologically rigorous.

submitted 11 hours ago • 4 comments

Wild stuff.

submitted 1 day ago • 0 comments

The other great thing about AI-assisted programming in OCaml is expect tests. They give you a great way of making the behavior of your program visible, both to you, and to the AI. It provides a valuable feedback loop that the AI can leverage in all sorts of flexible ways.

submitted 2 days ago • 0 comments

I've been talking with @avsm.bsky.social about this, and he makes a cool point about OCaml and AI-assisted programming. Which is that OCaml's beautiful interface language gives you a nice way to interact with an agent: first make mli's, then write implementations.

submitted 2 days ago • 2 comments

A periodic reminder: Jane Street is hiring front-end devs! janestreet.com/join-jane-st... It's a different flavor of front-end work than you might see elsewhere, but it's great if you love UIs, FP, and type systems that are ergonomic and reliably help you get things right.

submitted 5 days ago • 1 comment

An epic hack, getting OCaml running on a TI-84+ CE calculator. farlow.dev/2025/05/17/o...

submitted 7 days ago • 0 comments

I spoke with my old friend Jim Sciutto about the discovery that a copy of the Magna Carta at the Harvard Law School Library purchased for $26.50 in 1956 turns out to be a real one from AD 1300. (!)

submitted 8 days ago • 9 comments

#OCaml #OCamlPlanet

submitted 9 days ago • 0 comments

Such a pleasure hosting this at Jane Street!

submitted 17 days ago • 1 comment

Just how good are locally hostable code models on Cambridge first year OCaml assignments? @anil.recoil.org , @jon.recoil.org and I wanted to find out, so ran some tests. TL;DR Qwen3 means we might need new assignments. toao.com/blog/ocaml-l...

submitted 20 days ago • 2 comments

And please repost/share with folk you think might be interested!

submitted 20 days ago • 0 comments

If you're interested in editors and developer tools, consider applying to Jane Street! It might be an especially good fit if you're an excited vim or vscode user who would love working on making those experiences better for a den of functional programmers.

submitted 20 days ago • 1 comment

Tests by @sadiq.toao.com and @jon.recoil.org with Qwen3 show it's a monster local LLM model that outperforms on our @cst.cam.ac.uk OCaml Tripos exercises. I wouldn't say I'm panicking, but there are small beads of sweat forming on my brow as I ponder future exam strategies toao.com/blog/ocaml-l...

submitted 20 days ago • 0 comments

On May 22, we're hosting Build Meetup 2025 at Jane Street's London office. There will be talks about Bazel, Buck2, a buzzing hallway track on Dune, and more. Sign-ups are still open, so if you're excited about build systems, you should sign up! share.hsforms.com/2-kAtpya7Sou...

submitted 22 days ago • 0 comments

The next release of OCaml's package manager, opam, will have support for dependency management with Nix! ryan.freumh.org/opam-nix.html #nix #ocaml

submitted 25 days ago • 2 comments

I've been looking for presentation software that I actually would enjoy using and would be reasonably productive, and presenterm seems like the best thing I've found. Terminal-based, simple markdown-based format, supports images via kitty. Kinda great. github.com/mfontanini/p...

submitted 39 days ago • 2 comments

A fun post about using HardCaml for solving Advent of Code on an FPGA. blog.janestreet.com/advent-of-ha...

submitted 41 days ago • 4 comments

Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...

submitted 44 days ago • 2 comments

I've played around with a bunch of the coding assistants out there, including Cursor, Aider, and Claude Code. What I haven't really seen is anything good for handling large code bases, and doing sensible context construction within them. What am I missing?

submitted 50 days ago • 5 comments

Vintage? Who are you calling old?

submitted 53 days ago • 2 comments

One thing I really like about this talk is that it talks both about what kind of language OCaml is now, and also what are the design goals for the kind of language we want to turn it into. youtu.be/g3qd4zpm1LA?...

submitted 53 days ago • 1 comment

A great new talk from Chris Casinghino, about making OCaml a better language for performance engineering. youtu.be/g3qd4zpm1LA?...

submitted 53 days ago • 0 comments