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

Joined June 2009
Yaron (Ron) Minsky retweeted
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 😊
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,411
Yaron (Ron) Minsky retweeted
The responses to this are so wholesome it's made my whole day.
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,808
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…
1
8
1
174
19,723
Yaron (Ron) Minsky retweeted
Achievement unlocked: “OCaml Language” occurs in the official description of my job.
3
3
2
69
3,285
Yaron (Ron) Minsky retweeted
Big thing in PL: OxCaml style modes combine REALLY well with refinement types!
7
6
1
77
10,590
Yaron (Ron) Minsky retweeted
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
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
Replying to @ShriramKMurthi
Also...
3
2
51
5,299
Yaron (Ron) Minsky retweeted
It was an honor to meet Donald Knuth at the Computer History Museum today
147
107
31
5,699
253,920
We invite your project proposals for Circles, the Simons Institute – Jane Street Small Group Collaborations, which supports groups of 3–6 researchers for 4 weeklong gatherings over 2 years. Apply by Oct. 15 (deadline extended). simons.berkeley.edu/particip…
2
15
97
15,559
Yaron (Ron) Minsky retweeted
I'm hiring a postdoc! Please share broadly with potential candidates. I'm looking for someone with expertise in PL, FM, and/or networked systems who is excited about contributing to a research and teaching in a growing lab. careers.epfl.ch/job/Lausanne…
4
18
1
55
3,997
Yaron (Ron) Minsky retweeted
We're hiring developers to work on Hegel (property-based testing for ~every language) in London with me, and are struggling a bit to source candidates, so I wrote a less professional post about why this is the coolest job ever and you should apply. drmaciver.com/2026/09/come-w…
32
58
10
426
55,115
Yaron (Ron) Minsky retweeted
As #ICFP2026 wraps up, I've been reflecting on it, and the past two years of work. My first @icfp_conference was 2006 in Portland (GC'ed by John Reppy, who helped bring me into FP), and it's hard to believe that 20 years on, I'm now reporting on the success of our community.
1
8
38
2,906
Yaron (Ron) Minsky retweeted
I think this will quickly become true for formally verifiable languages as well. AI won't just use the same-old tools: our programming languages will also be fundamentally different in just a few years!
Charlie Marsh
@charliermarshAug 22
I'm concerned that it will soon be untenable (maybe even negligent) to ship code in a non-memory safe language
1
2
15
3,254
Yaron (Ron) Minsky retweeted
Something I routinely am in awe about is the compute amplification every commit has today vs. 20 years ago, at least personally. Back then, my personal computer was only non-idle when I was working locally. I ran tests locally. When I pushed, there was no CI. The tests themselves were minimal maturity (simple unit tests, some e2e). Today when I push, CI exists. It fans out to 200+ jobs across macOS, Linux, and Windows that take ~20 minutes to complete in totality. A successful CI triggers ~8 beefy machines for tip releases. Tip releases trigger Apple notarization machines. Simultaneously, I have dedicated machines running 24/7 doing fuzz testing at basically 100% CPU constantly. Locally, my computer is using CPU much more of the day due to background agents. My average CPU utilization on my M4 Max overnight the last 7 days was over 20%. "Low" but before my average would've been 0% (deep sleep)! Plus, those agents are commanding a ton of GPU utilization elsewhere. I'm not making any judgement here of whether this is good or bad, because I think there are both good elements and bad elements. Simply that its quite astonishing how much compute my daily work amplifies in 2026 vs. 2006.
52
54
11
2,016
115,935
Yaron (Ron) Minsky retweeted
I updated my website to the latest oxcaml-5.2.0-minus39 and made some notes about how the opam packaging works anil.recoil.org/notes/oxcaml… : this might be helpful if you're trying out the performance extensions with your own non-Jane Street codebases
5
25
3,344
Yaron (Ron) Minsky retweeted
I think not! I had to help it out at various points. For example, to match OxCaml performance it had to completely change how llvm handles gc, add support to llvm for Oxcamls specialized exception implementation, etc. The project is 10 - 100x larger than just emitting llvm ir
1
1
7
2,523
Yaron (Ron) Minsky retweeted
Replying to @yminsky
I used antithesis at my last job and it was incredible how much stuff it found out that we couldn't easily explain. Really incredible tool.
1
9
1,804
Yaron (Ron) Minsky retweeted
Replying to @yminsky
“Shrinking never came up, integrated shrinking is the best part of hypothesis” AGI achieved, Claude is better than me at my job of reminding people about shrinking!! (and telling them that hypothesis’ shrinking is the solution!)
1
10
2,842