Yaron Minsky
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
My regular PSA that if you enjoy working on developer tools, then Jane Street is kind of an amazing place. Apply here! There's no special posting, so just apply for the Software Engineering role, and express your interests in dev-tools in a note.
janestreet.com/apply
janestreet.com/apply
December 18, 2025 at 5:31 PM
My regular PSA that if you enjoy working on developer tools, then Jane Street is kind of an amazing place. Apply here! There's no special posting, so just apply for the Software Engineering role, and express your interests in dev-tools in a note.
janestreet.com/apply
janestreet.com/apply
We've had an exciting couple of weeks full of opportunities to teach people about the exciting (and mildly bewildering) features of OxCaml.
And...we're looking to hire an experienced educator to help us in this work. Please share this with anyone you think might be a good fit!
And...we're looking to hire an experienced educator to help us in this work. Please share this with anyone you think might be a good fit!
October 23, 2025 at 5:25 AM
We've had an exciting couple of weeks full of opportunities to teach people about the exciting (and mildly bewildering) features of OxCaml.
And...we're looking to hire an experienced educator to help us in this work. Please share this with anyone you think might be a good fit!
And...we're looking to hire an experienced educator to help us in this work. Please share this with anyone you think might be a good fit!
I did anothr version of my "Saga of Mulicore OCaml" talk, but this time, nerve-wrackingly, the authors of the original paper were all there!
Here's the link to the talk, which is found towards the end of the recording for the whole session.
t.co/FQTmsFWji0
Here's the link to the talk, which is found towards the end of the recording for the whole session.
t.co/FQTmsFWji0
October 20, 2025 at 8:18 AM
I did anothr version of my "Saga of Mulicore OCaml" talk, but this time, nerve-wrackingly, the authors of the original paper were all there!
Here's the link to the talk, which is found towards the end of the recording for the whole session.
t.co/FQTmsFWji0
Here's the link to the talk, which is found towards the end of the recording for the whole session.
t.co/FQTmsFWji0
Me too! (But Max knows more about it than I do.)
I'll be at ICFP/SPLASH if anyone wants to chat about OxCaml!
October 11, 2025 at 8:39 AM
Me too! (But Max knows more about it than I do.)
Reposted by Yaron Minsky
Most companies be like “We daren’t go functional, we might not be able to hire”.
Jane Street be like “Hold. Our. Beer.”
Jane Street be like “Hold. Our. Beer.”
Excited to say that we're looking to hire someone to focus on OxCaml education! We're doing enough to change the language that we have a pretty big internal education task ahead of us, and we want to hire someone to focus on it!
Please share this with others!
www.janestreet.com/join-jane-st...
Please share this with others!
www.janestreet.com/join-jane-st...
OxCaml Educator :: Jane Street
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
www.janestreet.com
October 3, 2025 at 2:32 PM
Most companies be like “We daren’t go functional, we might not be able to hire”.
Jane Street be like “Hold. Our. Beer.”
Jane Street be like “Hold. Our. Beer.”
Excited to say that we're looking to hire someone to focus on OxCaml education! We're doing enough to change the language that we have a pretty big internal education task ahead of us, and we want to hire someone to focus on it!
Please share this with others!
www.janestreet.com/join-jane-st...
Please share this with others!
www.janestreet.com/join-jane-st...
OxCaml Educator :: Jane Street
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
www.janestreet.com
October 3, 2025 at 2:19 PM
Excited to say that we're looking to hire someone to focus on OxCaml education! We're doing enough to change the language that we have a pretty big internal education task ahead of us, and we want to hire someone to focus on it!
Please share this with others!
www.janestreet.com/join-jane-st...
Please share this with others!
www.janestreet.com/join-jane-st...
A fun talk about...hacking OCaml. Basically, what you get when you supercollide a systems-y OCaml developer and a CTF.
www.youtube.com/watch?v=SV9V...
www.youtube.com/watch?v=SV9V...
Hacking OCaml
YouTube video by Jane Street
www.youtube.com
September 30, 2025 at 6:03 PM
A fun talk about...hacking OCaml. Basically, what you get when you supercollide a systems-y OCaml developer and a CTF.
www.youtube.com/watch?v=SV9V...
www.youtube.com/watch?v=SV9V...
Reposted by Yaron Minsky
On Advisory Opinions, Sarah Isgur and David French speak with me about enumerated powers. The segment begins 43-44 minutes in, depending on format. This was a good conversation among people with different approaches to constitutional interpretation.
thedispatch.com/podcast/advi...
thedispatch.com/podcast/advi...
The Oldest Constitutional Question | Interview: Richard Primus
Originalism through the lens of sola scriptura.
thedispatch.com
September 18, 2025 at 6:28 PM
On Advisory Opinions, Sarah Isgur and David French speak with me about enumerated powers. The segment begins 43-44 minutes in, depending on format. This was a good conversation among people with different approaches to constitutional interpretation.
thedispatch.com/podcast/advi...
thedispatch.com/podcast/advi...
Reposted by Yaron Minsky
They should know the difference between TeX and LaTeX, so they could hate Lamport less and Knuth more.
September 16, 2025 at 8:46 PM
They should know the difference between TeX and LaTeX, so they could hate Lamport less and Knuth more.
Clearly, the reason for the AI work is to build an AI capable of porting from Latex to Typst.
"we need a manhattan project for AI" no what we really need is a manhattan project for porting every math TeX package to Typst (and please start with mathpartir)
September 16, 2025 at 3:02 PM
Clearly, the reason for the AI work is to build an AI capable of porting from Latex to Typst.
Reposted by Yaron Minsky
"we need a manhattan project for AI" no what we really need is a manhattan project for porting every math TeX package to Typst (and please start with mathpartir)
September 16, 2025 at 1:04 PM
"we need a manhattan project for AI" no what we really need is a manhattan project for porting every math TeX package to Typst (and please start with mathpartir)
I've raised my kids well, I think.
September 16, 2025 at 11:51 AM
I've raised my kids well, I think.
A new episode of Signals and Threads just dropped! This one is an interview with Chris Lattner talking about Mojo, a new-ish language for GPU programming that's aiming to be an alternative to the CUDA stack.
signalsandthreads.com/why-ml-needs...
signalsandthreads.com/why-ml-needs...
Signals and Threads Podcast
Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a pee...
signalsandthreads.com
September 4, 2025 at 12:55 AM
A new episode of Signals and Threads just dropped! This one is an interview with Chris Lattner talking about Mojo, a new-ish language for GPU programming that's aiming to be an alternative to the CUDA stack.
signalsandthreads.com/why-ml-needs...
signalsandthreads.com/why-ml-needs...
This was a great talk from Will Crichton. I think Will's approach to approaching questions around language tooling and teaching is compelling, though I wonder how far the approach can scale!
youtu.be/R0dP-QR5wQo?...
youtu.be/R0dP-QR5wQo?...
youtu.be
August 30, 2025 at 1:24 PM
This was a great talk from Will Crichton. I think Will's approach to approaching questions around language tooling and teaching is compelling, though I wonder how far the approach can scale!
youtu.be/R0dP-QR5wQo?...
youtu.be/R0dP-QR5wQo?...
I just finished our yearly roundup of this year's intern projects, and it was a real bumper crop! Lots of fun projects, and some cameos from OxCaml...
blog.janestreet.com/wrought-2025/
blog.janestreet.com/wrought-2025/
What the interns have wrought, 2025 edition
Yet again, we’re at the end of our internship season, and so it’s time to summarize whatthe interns were up to!
blog.janestreet.com
August 28, 2025 at 11:10 AM
I just finished our yearly roundup of this year's intern projects, and it was a real bumper crop! Lots of fun projects, and some cameos from OxCaml...
blog.janestreet.com/wrought-2025/
blog.janestreet.com/wrought-2025/
Just ran across this old post from a former intern about Jane Street's approach to programming and code review. I thought it was a pretty accurate, and I think captures something important about how OCaml's design makes code review easier and more effective.
digitalfreepen.com/2017/01/07/j...
digitalfreepen.com/2017/01/07/j...
Learned at Jane Street - Practical functional programming and software engineering - Digital Freepen
This is the second of two blog posts on my Summer 2016 internship experience at Jane Street, focusing on the technica...
digitalfreepen.com
August 13, 2025 at 11:17 AM
Just ran across this old post from a former intern about Jane Street's approach to programming and code review. I thought it was a pretty accurate, and I think captures something important about how OCaml's design makes code review easier and more effective.
digitalfreepen.com/2017/01/07/j...
digitalfreepen.com/2017/01/07/j...
Reposted by Yaron Minsky
This will remove so many unnecessary OCaml functors from our codebases. My rough rule of thumb is that if a functor is not applied more than once in a codebase, it doesn’t need to be a functor. Parameterised libraries lets us easily do one-shot reuse of existing modules in a different context.
We've finally landed a full version internally (coming to an OxCaml near you soon!) of a new feature called parameterized libraries.
It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list.
inbox.vuxu.org/caml-list/10...
It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list.
inbox.vuxu.org/caml-list/10...
[Caml-list] Functorizing large collections of modules - Yaron M. Minsky
inbox.vuxu.org
August 7, 2025 at 6:09 AM
This will remove so many unnecessary OCaml functors from our codebases. My rough rule of thumb is that if a functor is not applied more than once in a codebase, it doesn’t need to be a functor. Parameterised libraries lets us easily do one-shot reuse of existing modules in a different context.
We've finally landed a full version internally (coming to an OxCaml near you soon!) of a new feature called parameterized libraries.
It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list.
inbox.vuxu.org/caml-list/10...
It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list.
inbox.vuxu.org/caml-list/10...
[Caml-list] Functorizing large collections of modules - Yaron M. Minsky
inbox.vuxu.org
August 1, 2025 at 1:27 PM
We've finally landed a full version internally (coming to an OxCaml near you soon!) of a new feature called parameterized libraries.
It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list.
inbox.vuxu.org/caml-list/10...
It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list.
inbox.vuxu.org/caml-list/10...
A new epsiode of Signals and Threads has just dropped: "The Thermodynamics of Trading". I got to talk to Dan Pontecorvo from our physical engineering team about the complex work that goes into our physical spaces to make the work we do at Jane Street possible.
signalsandthreads.com/the-thermody...
signalsandthreads.com/the-thermody...
Signals and Threads Podcast
Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a pee...
signalsandthreads.com
July 25, 2025 at 6:39 PM
A new epsiode of Signals and Threads has just dropped: "The Thermodynamics of Trading". I got to talk to Dan Pontecorvo from our physical engineering team about the complex work that goes into our physical spaces to make the work we do at Jane Street possible.
signalsandthreads.com/the-thermody...
signalsandthreads.com/the-thermody...
I had a lot of fun giving this talk in Singapore about the many-years-long saga of multicore OCaml, and in particular, the work over the least 2.5 years of getting it ready for production work within Jane Street's walls.
www.youtube.com/watch?v=XGGS...
www.youtube.com/watch?v=XGGS...
The Saga of Multicore OCaml
YouTube video by Jane Street
www.youtube.com
July 24, 2025 at 9:29 PM
I had a lot of fun giving this talk in Singapore about the many-years-long saga of multicore OCaml, and in particular, the work over the least 2.5 years of getting it ready for production work within Jane Street's walls.
www.youtube.com/watch?v=XGGS...
www.youtube.com/watch?v=XGGS...
Reposted by Yaron Minsky
My approach so far is to treat AI code assistants as an extension of “a large team with communication challenges working on the same codebase.” You need better tools to clean up the local optima that individual agents get stuck in. See prune and merlint:
discuss.ocaml.org/t/ann-new-to...
discuss.ocaml.org/t/ann-new-to...
[ANN] new tools to keep your projects clean (after AI, or just after yourself)
Hi all, I’ve been experimenting with AI code assistants lately. They’re surprisingly good at generating new code but it’s not very good at remembering things: it’s like having a steady stream of good...
discuss.ocaml.org
July 23, 2025 at 7:12 PM
My approach so far is to treat AI code assistants as an extension of “a large team with communication challenges working on the same codebase.” You need better tools to clean up the local optima that individual agents get stuck in. See prune and merlint:
discuss.ocaml.org/t/ann-new-to...
discuss.ocaml.org/t/ann-new-to...
Yet another small OCaml/OxCaml diff has been squished! Polymorphic parameters has just gotten merged upstream:
github.com/ocaml/ocaml/...
There's more to go (include functor, for example: github.com/ocaml/RFCs/p...), but it's nice to see more progress in this space.
github.com/ocaml/ocaml/...
There's more to go (include functor, for example: github.com/ocaml/RFCs/p...), but it's nice to see more progress in this space.
Polymorphic Parameters by voodoos · Pull Request #13806 · ocaml/ocaml
This upstreaming PR adds the possibility to have function parameters with polymorphic types in the language.
This work was originally done by @lpw25 in Jane Street's fork of the compiler with e...
github.com
July 21, 2025 at 5:23 PM
Yet another small OCaml/OxCaml diff has been squished! Polymorphic parameters has just gotten merged upstream:
github.com/ocaml/ocaml/...
There's more to go (include functor, for example: github.com/ocaml/RFCs/p...), but it's nice to see more progress in this space.
github.com/ocaml/ocaml/...
There's more to go (include functor, for example: github.com/ocaml/RFCs/p...), but it's nice to see more progress in this space.
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
🧵1/3
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
🧵1/3
July 18, 2025 at 11:34 AM
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
🧵1/3
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
🧵1/3
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
🧵1/3
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
🧵1/3
July 18, 2025 at 11:31 AM
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
🧵1/3
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
🧵1/3
Reposted by Yaron Minsky
Some fun OCaml GC projects here with @sadiq.toao.com and @kcsrk.info if any students are looking for projects involving programming languages toao.com/blog/ocaml-0...
Last three months in OCaml (July 2025)
- Sadiq Jaffer
toao.com
July 15, 2025 at 10:04 AM
Some fun OCaml GC projects here with @sadiq.toao.com and @kcsrk.info if any students are looking for projects involving programming languages toao.com/blog/ocaml-0...