Yaron Minsky
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
So, if you're an experienced educator who loves working with new type-system ideas, apply! I think this is a really unusual and high-impact opportunity to combine those two passions.
October 23, 2025 at 5:25 AM
So, if you're an experienced educator who loves working with new type-system ideas, apply! I think this is a really unusual and high-impact opportunity to combine those two passions.
My hope and expectation is that approaching this with an educational lense will influence not just how we teach, but also the design of our tools, our libraries, and the language itself.
October 23, 2025 at 5:25 AM
My hope and expectation is that approaching this with an educational lense will influence not just how we teach, but also the design of our tools, our libraries, and the language itself.
You can actually see some of the great work from that group on Rust, in a talk Will recently gave at Jane Street:
www.janestreet.com/tech-talks/r...
www.janestreet.com/tech-talks/r...
October 23, 2025 at 5:25 AM
You can actually see some of the great work from that group on Rust, in a talk Will recently gave at Jane Street:
www.janestreet.com/tech-talks/r...
www.janestreet.com/tech-talks/r...
We're hoping to work more with Greg as well as @shriram.bsky.social and @tonofcrates.bsky.social at Brown, and that some of their insights of thinking about how well designed tools and documentation can help people make the key conceptual leaps.
October 23, 2025 at 5:25 AM
We're hoping to work more with Greg as well as @shriram.bsky.social and @tonofcrates.bsky.social at Brown, and that some of their insights of thinking about how well designed tools and documentation can help people make the key conceptual leaps.
The last couple of weeks have given us a sense of the scale of the challenges here! It was awesome having Gavin Gray, who came to the systems with fresh eyes, driving a tutorial on OxCaml at ICFP.
conf.researchr.org/details/icfp...
conf.researchr.org/details/icfp...
October 23, 2025 at 5:25 AM
The last couple of weeks have given us a sense of the scale of the challenges here! It was awesome having Gavin Gray, who came to the systems with fresh eyes, driving a tutorial on OxCaml at ICFP.
conf.researchr.org/details/icfp...
conf.researchr.org/details/icfp...
And more about OxCaml itself on oxcaml.org, where you can see some of our efforts to make this stuff easier to understand. There's a pile of documentation, including a tutorial on data-race free programming in OxCaml:
oxcaml.org/documentatio...
oxcaml.org/documentatio...
October 23, 2025 at 5:25 AM
And more about OxCaml itself on oxcaml.org, where you can see some of our efforts to make this stuff easier to understand. There's a pile of documentation, including a tutorial on data-race free programming in OxCaml:
oxcaml.org/documentatio...
oxcaml.org/documentatio...
You can find the job postings here, for both NY and London:
www.janestreet.com/join-jane-st...
www.janestreet.com/join-jane-st...
www.janestreet.com/join-jane-st...
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 23, 2025 at 5:25 AM
You can find the job postings here, for both NY and London:
www.janestreet.com/join-jane-st...
www.janestreet.com/join-jane-st...
www.janestreet.com/join-jane-st...
www.janestreet.com/join-jane-st...
And please share with anyonhe else you think might be interested!
October 20, 2025 at 8:18 AM
And please share with anyonhe else you think might be interested!
One highlight at the end is a skech of the crazy new language features we're going to have to teach to the 100s of JS devs. If that sounds like an exciting challenge, consider applying! We have roles in both NY and London.
janestreet.com/join-jane-st...
janestreet.com/join-jane-st...
janestreet.com/join-jane-st...
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.
janestreet.com
October 20, 2025 at 8:18 AM
One highlight at the end is a skech of the crazy new language features we're going to have to teach to the 100s of JS devs. If that sounds like an exciting challenge, consider applying! We have roles in both NY and London.
janestreet.com/join-jane-st...
janestreet.com/join-jane-st...
janestreet.com/join-jane-st...
janestreet.com/join-jane-st...
October 3, 2025 at 2:19 PM
We're going to be at SPLASH/ICFP in Singapore, so if you're going, come talk to us! Richard Eisenberg is an especially good person to ask, but a lot of us will have useful context on this.
October 3, 2025 at 2:19 PM
We're going to be at SPLASH/ICFP in Singapore, so if you're going, come talk to us! Richard Eisenberg is an especially good person to ask, but a lot of us will have useful context on this.
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.
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 should get them to read the part time parliament, and see what they think of Lamport then.
September 16, 2025 at 12:28 PM
I should get them to read the part time parliament, and see what they think of Lamport then.
(discussing Typst)
September 16, 2025 at 11:52 AM
(discussing Typst)
Actually, maybe it's the only game in town if you want any two of those three properties...
September 4, 2025 at 12:55 AM
Actually, maybe it's the only game in town if you want any two of those three properties...