@yminsky

Occasional OCaml programmer. Host of @signalsthreads. @yminsky@discuss.systems @yminsky.bsky.social https://xitter.cf/t.co/kiUGRvWOO2

ocaml.janestreet.com
Joined June 2009
  • Tweets8.6K
  • Following370
  • Followers23K
205Media
Yaron (Ron) Minsky retweeted
John Crepezzi@seejohnrun8h
As a long time Signals and Threads listener, I was really excited to have this opportunity to talk about the work our team has done over the past ~4 years. Hope you enjoy 😊
Yaron (Ron) Minsky
@yminskyOct 16
A new Signals and Threads, with the great @seejohnrun, talking about AI and software engineering, and how the world is changing under our feet...
2
24
1,219
A new Signals and Threads, with the great @seejohnrun, talking about AI and software engineering, and how the world is changing under our feet...
4
11
1
116
7,226
The actual post is here. signalsandthreads.com/the-ch…

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...

signalsandthreads.com
1
1
9
1,486
Come for the agentic coding, stay for the discussion of QBasic, Ruby on Rails, and maintainability of large dynamically typed codebases.
11
909
Yaron (Ron) Minsky retweeted
Sam Tobin-Hochstadt@samthOct 15
The responses to this are so wholesome it's made my whole day.
Taylor Poindexter
@engineering_baeOct 14
TIL some colleges are having Computer Science majors learn a programming language called Dr. Racket. I had never heard of this language until a recent interview lol
3
5
2
105
23,804
I'm desperately curious to know what the 20% of me "doing my thing" consists of....
Shriram Krishnamurthi (primary: Bluesky)@ShriramKMurthiOct 11
Signals and Threads episodes are bangers, but this may be the first to become part of my PL course's "text". About 50% is a compressed version of my GC lectures, about 30% is modern updates, and 20% is @yminsky doing his thing w/ Stephen Dolan. (-: signals-threads.simplecast.c…

Signals and Threads

Stephen Dolan works on Jane Street’s Tools and Compilers team where he focuses on the OCaml compiler. In this episode, Stephen and Ron take a trip down memory lane, discussing how to manage computer...

signals-threads.simplecast.com
4
1
140
14,368
Signals and Threads episodes are bangers, but this may be the first to become part of my PL course's "text". About 50% is a compressed version of my GC lectures, about 30% is modern updates, and 20% is @yminsky doing his thing w/ Stephen Dolan. (-: signals-threads.simplecast.c…

Signals and Threads

Stephen Dolan works on Jane Street’s Tools and Compilers team where he focuses on the OCaml compiler. In this episode, Stephen and Ron take a trip down memory lane, discussing how to manage computer...

signals-threads.simplecast.com
1
8
1
174
19,713
I'm so here for this.
Jules Jacobs@JulesJacobs5Oct 8
The OCaml module system is perfect for formal specifications of a module's implementation.
2
2
111
6,474
A post about what our SP ("Strategy and Product") interns did. blog.janestreet.com/wrought-… SPs are super-sharp generalists who dive into the financial and technical details to help us spin up new ideas and businesses. It's a great role!

What the SP interns have wrought, 2026 edition

blog.janestreet.com
2
74
6,543
This is a fun post about an intern project this year that focused on improving Aria, our internal message bus and state-machine-replication system. blog.janestreet.com/scaling-… A nice example about how interns get to do real, impactful work!

Scaling and benchmarking a critical message bus using a new indexing strategy

The following is part of a series of posts about 2026 summer intern projects—for more, see “What the interns have wrought, special jumbo 2026 edition”

blog.janestreet.com
5
45
552
23,335
Yaron (Ron) Minsky retweeted
Nate Foster@natefosterOct 8
Achievement unlocked: “OCaml Language” occurs in the official description of my job.
3
3
2
69
3,285
Exciting stuff, coming to an OCaml near you...
Jules Jacobs@JulesJacobs5Oct 7
Big thing in PL: OxCaml style modes combine REALLY well with refinement types!
4
99
6,375
Yaron (Ron) Minsky retweeted
Jules Jacobs@JulesJacobs5Oct 7
Big thing in PL: OxCaml style modes combine REALLY well with refinement types!
7
6
1
77
10,589
Yaron (Ron) Minsky retweeted
Jules Jacobs@JulesJacobs5Oct 4
Replying to @JustDeezGuy
Depending on your definition of vibe coding, I vibe coded a formal verification system for OxCaml (lab.julesjacobs.com/vox/talk…)
4
10
81
4,733
Yaron (Ron) Minsky retweeted
Kenton Varda
@KentonVardaOct 1
Imagine if everyone who wanted The Winds of Winter to come out faster started just writing chapters themselves and sending them to George RR Martin and asking him to include them. That's what it's like being an open source maintainer right now.
16
28
7
636
20,787
Yaron (Ron) Minsky retweeted
Nate Foster@natefosterOct 1
Replying to @ShriramKMurthi
Also...
3
2
51
5,299
The Jane Street internship is over, and...boy did we go overboard! There's just so much going on, that we decided to do a jumbo edition of our "What the Interns Have Wrought" post, covering more than just the usual dev topics.
2
4
3
387
32,962
In addition to regular dev interns, we covered: - ML Research and ML Engineering - Linux Engineering and IT - Strategy and Product (a kind of cross-functional, generalist role) - Trading Desk Operations Engineers blog.janestreet.com/wrought-…

What the interns have wrought, special jumbo 2026 edition

It’s time again to review some of what Jane Street’s interns built over the summer, though this year we’re going to try to cover more projects and in more de...

blog.janestreet.com
5
4
105
8,817
One thing I appreciated about the post (and the many posts it links to) is the diversity of work that our interns get to do. And also, the real-world nature of the work. Interns get to do projects that really move the needle.
1
37
4,690
This is a vision for the future of programming I'd be excited to see
Jules Jacobs@JulesJacobs5Sep 27
Replying to @yminsky @dhh
I'm hopeful that every module can come with a spec and dedicated educational material for understanding that spec and the important parts of its implementation.
4
9
1
151
20,402
Load more