Yaron (Ron) Minsky
@yminsky
Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://www.threads.net/@yaronminsky
Introducing Jane Street's OxCaml Branch!: Jane Street is a well-known OCaml powerhouse. They have a reputation for expertise and a long history of supporting the open-source community. Jane Street have been developing experimental… dlvr.it/TLsXTF #OCaml #OCamlPlanet
I’m winning :-)
We're starting to think about how to evolve OCaml to be a more effective language for agentic programming. One intuition here is that agents change what's important in 2 ways: - the toil of writing matters less - the ease of understanding and verifying matters more
I'm really interested to see what comes out of this talk. This might be the first public talk from someone outside of Jane Street using oxcaml.
FUNOCaml 2025 Talk "OxCaml From a System Engineer's Point of View" 📅 Sept 15-16, Warsaw Dmitriy Kovalenko (Rust/C/Zig dev) evaluates 0xCaml for systems programming through building odiff, a high-performance image comparison library. Comparative analysis + practical insights
FUNOCaml 2025 Talk "OxCaml From a System Engineer's Point of View" 📅 Sept 15-16, Warsaw Dmitriy Kovalenko (Rust/C/Zig dev) evaluates 0xCaml for systems programming through building odiff, a high-performance image comparison library. Comparative analysis + practical insights
I thought this was a nice story of what it takes to scale up your influence in a large technical project.
I was recently asked how I scale myself as an OSS maintainer of PyTorch, in the context of someone who was trying to include more people into their OSS project.
Season 2 of Before AGI rolls on! This week I sat down with Harvard Law professor & Berkman Klein Center co-founder @zittrain to ask: What happens when AI agents don’t just assist—but act for us? Insights into law, tech & trust in an autonomous-agent world incoming!
I’ll be giving a talk on basic GPU performance in SF next week. Come and say hi if you’d like to learn more about the kind of machine learning we do at Jane Street!
LLM game changer for fixing build errors in OSS PRs on our internal build system
A gem from Stephen Dolan, which proposes replacing the "generational hypothesis" that drives the design of generational GCs with a notion of lifetime dispersion as measured by the gini coefficient. Nice to see economics playing a role here! dl.acm.org/doi/pdf/10.114…
Today I asked o3-mini (Copilot Chat) to port a 100 line shell script to Python. Its first attempt was terrible. No amount of correcting fixed it. I started a new chat and told it to describe the script, which it did perfectly. Then I asked it to do the port and it nailed it.
Over the 10 days, I wrote a new Racket library for "expect testing", a style that @yminsky has advocated for in OCaml. github.com/samth/recspecs/ As an experiment, I built it entirely with Codex (the OpenAI async AI programming tool). I have some thoughts.