
Occasional OCaml programmer. Host of @signalsthreads. @yminsky@discuss.systems @yminsky.bsky.social https://xitter.cf/t.co/kiUGRvWOO2
Joined June 2009
- Tweets8.6K
- Following370
- Followers23K
- Likes1.8K
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...
Yaron (Ron) Minsky retweeted
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…
Yaron (Ron) Minsky retweeted
Achievement unlocked: “OCaml Language” occurs in the official description of my job.
Yaron (Ron) Minsky retweeted
Big thing in PL: OxCaml style modes combine REALLY well with refinement types!
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…)
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.
Yaron (Ron) Minsky retweeted
It was an honor to meet Donald Knuth at the Computer History Museum today
Yaron (Ron) Minsky retweeted
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…
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…
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…
Yaron (Ron) Minsky retweeted
Lots been happening at @fp_launchpad over the past few months. Here’s an update of our activities.
fplaunchpad.org/blog/2026-09…
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.
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 22United States
United StatesConnected via United States App StoreAccount-level information, not a live location or per-post device.
I'm concerned that it will soon be untenable (maybe even negligent) to ship code in a non-memory safe language
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.
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
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
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.
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!)



















