Super proud of their work, even more so knowing they’ve balanced their PhD journeys alongside raising young children only a few years older 🥹

Does anyone know of an experimental study of the efficacy of AI agents when working with statically typed vs dynamically typed codebases and languages? I'd be very curious to see results in this space!

Interesting example of how type systems can make AI agents more capable for (very) low resource languages.

Yaron (Ron) Minsky We found similar when trying to get models to generate Hazel code for this: arxiv.org/abs/2409.00921

If you at the PyTorch conference, come by the Jane Street booth and say hi!

Nice post from Anil Madhavapeddy on the OxCaml tutorial at ICFP, and some future directions for leveraging OxCaml! anil.recoil.org/notes/icfp25-o…

Whoa, this is very cool. Time to learn Mojo.