Yaron (Ron) Minsky @yminsky
Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2 ocaml.janestreet.com Joined June 2009-
Tweets8K
-
Followers21K
-
Following365
-
Likes2K
@ZH1YGD This was all work done at Jane Street, where OCaml (really, OxCaml) is the language of choice! Plus, OCaml is a great language! Better for this kind of thing from an ergonomics and type systems perspective than either Go or Rust!
1
0
3
157
0
View Details
A fun post about the renaissance we've been seeing in terminal UIs, and some of the things we've built in service of that. blog.janestreet.com/strace-ui-bons…
Yaron (Ron) Minsky retweeted
Had an interview with Jane Street in 2026... ...the other kind of interview😂
Much fun talking with @natefoster about networks, BGP, programming languages, formal methods, and what it's like being a visiting researcher at Jane Street.
And you can find the full transcript here. signalsandthreads.com/the-network-as…
The actual video is here: youtube.com/watch?v=CHHZwa…
Much fun talking with @natefoster about networks, BGP, programming languages, formal methods, and what it's like being a visiting researcher at Jane Street.
Yaron (Ron) Minsky retweeted
@yminsky Nice! And purely out of self interest, this is a nice collection of examples that I can try `bombadil terminal` on. Trying to get the opam stuff to run on NixOS now...
Yaron (Ron) Minsky retweeted
I am a huge fan of Bonsai and Bonsai_term is an incredible extension. It's an amazing way to build rich TUIs in OCaml! blog.janestreet.com/strace-ui-bons…
Yaron (Ron) Minsky retweeted
BadUserBench, where all the prompts are contradictory or bad and the model has to figure out what to actually do
@ShriramKMurthi (million line programs is hard for Pyret, but maybe there are other ways to raise the level of difficulty)
So, I really want someone to do a study on the effectiveness of types for agents. Studying the same question with humans is absurdly expensive, but agents provide a new way of asking the question. Is anyone working on this?
@ShriramKMurthi Well, gotta start somewhere. Any plans to scale it up?
@ShriramKMurthi Very interested to see the writeup!
Yaron (Ron) Minsky retweeted
Expect tests are amazing for AI code review.
Had a chance to sit down and chat with Dwarkesh and Dan Pontecorvo after our tour of the DC. One weird thing is that our team managed to put together a surprisingly credible podcast studio in the data center! youtu.be/xKZ_8ULR91Y?si…
@Nerland87 @RBMD1982 @GiveDirectly @kopalo Yeah, not arguing against ambition. But I think there are pretty clear ways to get to positive! And still we should try to do more than that
Yaron (Ron) Minsky retweeted
@yminsky It was, however, extremely cool to see the first js_of_ocaml compiled user interface projected into a BBC studio! bbc.co.uk/iplayer/episod… (22:29s mark). This is the year for obscure world firsts
Tragically, OxCaml was not mentioned in this piece
Satellites and AI used to track UK hedgehogs in bid to slow decline bbc.in/4tEJ2It
Yaron (Ron) Minsky retweeted
Satellites and AI used to track UK hedgehogs in bid to slow decline bbc.in/4tEJ2It
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Graham Hutton @haskellhutt
9K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Will Crichton @tonofcrates
7K Followers 160 Following Cognitive engineer, assistant professor @BrownUniversity.
David Sancho @davesnx
4K Followers 2K Following Open Source UI stuff with OCaml at @ahrefs Made styled-ppx and server-reason-react Working on Reason / Melange / reason-react and co
Patrick Walton @pcwalton
18K Followers 516 Following Programming languages and graphics person. @pcwalton.bsky.social
Dmitrii Kovanikov @ChShersh
71K Followers 256 Following Dysfunctional Programming account #1. Senior SWE. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
jordwalke @jordwalke
67K Followers 804 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit. Vibe coder
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Edward Kmett @kmett
17K Followers 814 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Thorsten Ball @thorstenball
48K Followers 1K Following Author of https://t.co/arW0hnWcIy and https://t.co/RN9xXOzPEl. Working on @ampcode. Writing https://t.co/0SZD6dcj40.
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Aarnav Bhagat @aarnav_bhagat
0 Followers 5 Following
dan @irl_danB
6K Followers 1K Following context crafter; creator of https://t.co/47xbotepB8 (YC P26) https://t.co/s1S68165qg
Rachel @Rachel_shapiro7
58 Followers 387 Following healthcare 🏨 | Politics for the People 🙌🏾 | Buff Mama 💪🏾 | Cute Animals Are Getting Me Through This Presidency 🦊
Rafan @rafawwn
65 Followers 325 Following 20, applied ml in payments tech | currently working on rl undergrad thesis
Juan Manuel Suárez @juanmasrz
259 Followers 470 Following Machine Learning Engineer • Computer Science @UNSbahiablanca • ICPC World Finalist
Mark command @RobertsonL74913
23 Followers 317 Following
mc @mrcohs
0 Followers 971 Following
AK @xntrcityexajrtd
22 Followers 10 Following
Leon Kozlowski @leonkozlowski
54 Followers 206 Following Co-founder @getgalaxyio prev @flocksafety, @bloomberg
Raag Tarkari @agarwal_smayan
115 Followers 252 Following The only two real majors are math and philosophy. Baaki sab moh maaya hai.
bhanu.ch @bhanuch
25 Followers 346 Following
autodidac @autodidaclzfm
0 Followers 775 Following
Eli 🇺🇸🇮🇱�... @shyeaglescout
0 Followers 834 Following
Advait Maybhate @advait_m
733 Followers 2K Following https://t.co/Fn1QpvRmQT | SWE @warpdotdev | @neo @contrary @uwaterloo @GeorgiaTech | ex-@tryramp @google | @HackTheNorth, @starterhacks; @jam_hacks cofounder
booobaaaa @dionysusjiushen
0 Followers 239 Following
Dheeraj Mohan @McDhee98
58 Followers 428 Following Once you figure out that you can figure out anything, you have figured out everything.
Tony Zhang @TonyZhang2004
1 Followers 67 Following
bmac @BezoMaxo
584 Followers 538 Following Likes: The Open Web, JavaScript, handbalancing, emacs, skiing, banana chips. he/him https://t.co/vbM5Y9FrjI
babel @babel96384805
6 Followers 29 Following The certitude that some shelf in some hexagon held precious books and that these books were inaccesible seemed almost intolerable
Charles Ji @0xCharlesJi
93 Followers 410 Following
Ranti Dev Sharma @SharmaRantiDev
40 Followers 898 Following https://t.co/nxVOiYqBKT |YC W23|Google Ventures| RL | Built Vision Pro at 
Ian Channing 🦈@ian... @ianchanning
176 Followers 133 Following Spinoza is the more efficient algorithm for a surviving universe.
Rus @tronpai
586 Followers 2K Following
DG @DG32163630
293 Followers 4K Following
. @560x460
1 Followers 188 Following
Pranshu Bahadur @PranshuBahadur
212 Followers 1K Following outkast too technical for business folks too strategic for technical folks
Tin Chung @tin_architect
5 Followers 50 Following
Sicut Legga @sicutlegga
29 Followers 1K Following
Charlie Lidbury @charlielidbury
106 Followers 226 Following Building https://t.co/rHzxAUKaLu, writing https://t.co/J5BV1n2zlO
Patrik @GuttenPP
9 Followers 403 Following
Chris @burnerDevAcct
112 Followers 1K Following
AKG @agulat1
60 Followers 809 Following
fillorfade @fillorfade
6 Followers 149 Following
Sina @dynamicfuzzing
564 Followers 3K Following Nice to meet you. security lead @FUN — Opinions and words herein are mine alone and not my employer’s.
GraniteSnow @GraniteSnow
15 Followers 811 Following
nothing_true @n0thing_true
13 Followers 706 Following
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Graham Hutton @haskellhutt
9K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Will Crichton @tonofcrates
7K Followers 160 Following Cognitive engineer, assistant professor @BrownUniversity.
Patrick Walton @pcwalton
18K Followers 516 Following Programming languages and graphics person. @pcwalton.bsky.social
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Ty Overby @tyroverby
1K Followers 808 Following There is a three car pile-up at the intersection of Art and Technology
Edward Z. Yang @ezyang
17K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Nintendo .DS_Store @sliminality
11K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
bookdepth @bookdepth
10K Followers 4K Following adversely selected against in the marketplace of ideas
Tristan Hume @trishume
9K Followers 352 Following Performance optimization lead @AnthropicAI. Profiling, distributed systems, dev tools, interpretability. [email protected]
Ben L. Titzer @TitzerBL
2K Followers 346 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
Patrick McKenzie @patio11
195K Followers 807 Following I work for the Internet and am an advisor to @stripe. These are my personal opinions unless otherwise noted.
Dwarkesh Patel @dwarkesh_sp
236K Followers 1K Following Host of @dwarkeshpodcast https://t.co/3SXlu7fy6N https://t.co/4DPAxODFYi https://t.co/hQfIWdM1Un
Timothy Gowers @wtgow... @wtgowers
56K Followers 187 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Ofir Press @OfirPress
18K Followers 8K Following I push the AI frontier by building tough benchmarks with amazing people. SWE-bench, SWE-agent, SciCode, AlgoTune. Postdoc @Princeton. PhD @nlpnoah @UW.
John Yang @jyangballin
6K Followers 1K Following CS PhD @Stanford. Created @SWEbench (multi-lingual/modal); SWE-agent; SWE-smith; InterCode; CodeClash; ProgramBench 🆕
Majority Democrats @MajorityDems
5K Followers 99 Following Empowering a new generation of Democratic leaders to challenge the complacency, stale thinking, and corruption that have defined our politics for too long
Samson Rozansky @SamsonRozansky
45 Followers 121 Following Studying Computer Science @SCSatCMU interests: ai + functional programming good questions have good answers
Sabrina Halper @SabrinaHalper
12K Followers 975 Following Exploring the mind, machine, and meaning of it all 🎙️🔮 | @stanford
Dominik Tornow @DominikTornow
12K Followers 588 Following Founder @resonatehqio | Distributed Async Await | Think Distributed Systems | https://t.co/TQGtUTQMvY
Felipe O. Carvalho @_Felipe
5K Followers 2K Following @ApacheArrow / Databases / Compilers. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADI
The Times of Israel @TimesofIsrael
653K Followers 183 Following The one-stop news site for Israel, the region & the Jewish world. Follow @TOIAlerts for breaking news updates from our 24/7 Liveblog
Yael Bar tur @yaelbt
71K Followers 3K Following Cohost of Ask A Jew. Moderately obnoxious Harvard Kennedy School alum. Former NYPD head of digital. Hit me up for your $7,000. והעיקר לא לפחד כלל
Zvi Mowshowitz @TheZvi
37K Followers 288 Following Blogger primarily on AI and AI x-risk but also other things at Don't Worry About the Vase (SS/WP/LW), founding Balsa Research to fix policy.
Bobby Fijan @bobbyfijan
90K Followers 7K Following Co-Founder @americanhousing | Building Rowhomes for Families | Signal: Bfijan.19 | Podcast: Why We Don't Build Apartments for Families
Tianqi Chen @tqchenml
19K Followers 1K Following AssistProf @CarnegieMellon. Distinguished Eng @NVIDIA. Creator of @XGBoostProject, @ApacheTVM. Member https://t.co/QYyfjQNp4p, @TheASF. Views are on my own
Bill Bratton @CommissBratton
58K Followers 989 Following Executive Chairman, Teneo Risk. Former Police Commissioner, NYC; Chief, LAPD; Police Commissioner, Boston. Latest Book: #TheProfession. Instagram: BillBratton
typedfemale @typedfemale
45K Followers 553 Following a really exciting new account "advanced pytorch user" - @cHHillee alt: @typedalt
Jared Palmer @jaredpalmer
103K Followers 2K Following VP Engineering @XBOX Prev: VP CoreAI @Microsoft. VP of AI @Vercel. Creator of @v0 and @aisdk. Founder of @Turborepo (acquired by Vercel)
Patrick Hsu @pdhsu
69K Followers 3K Following @ArcInstitute co-founder, @Stanford professor, @ThriveCapital investor | biology and ML research | 🇨🇦 prev @harvard @broadinstitute, Fast Grants
Oskar Wickström @owickstrom
6K Followers 788 Following Software engineer in rural exile, working on Bombadil at @antithesishq. Generative testing, web, graphics, and systems programming. Also Bach and mandolin.
James Bradbury @jekbradbury
17K Followers 9K Following Compute at @AnthropicAI! Previously JAX, TPUs, and LLMs at Google, MetaMind/@SFResearch, @Stanford Linguistics, @Caixin.
Everett Knag @EverettKnag
22 Followers 77 Following
Rachel Janfaza @racheljanfaza
9K Followers 4K Following Founder of The Up and Up | Studying The Two Gen Zs | Contributor @bulwarkonline | Bylines in @nytimes @washingtonpost @thefp @politicomag @teenvogue @glamourmag
hirrolot @hirrolot
569 Followers 52 Following A software engineer and computer science enthusiast. I mostly use C, OCaml, Rust, and Golang. [email protected]
Adam Paszke @apaszke
11K Followers 532 Following Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate. [email protected]
Will Sommer @willsommer
162K Followers 5K Following Senior reporter @bulwarkonline, False Flag newsletter. Author of "Trust the Plan." Email: sommer -at- https://t.co/glNchX9kIl. Signal: willsommer.38.
Julian Schrittwieser @Mononofu
24K Followers 113 Following Member of Technical Staff at Anthropic | AlphaGo, AlphaZero, MuZero, AlphaCode, AlphaTensor, AlphaProof Gemini RL Prev Principal Research Engineer at DeepMind
Adam Jentleson @AJentleson
79K Followers 6K Following President and Founder, @SearchlightInst | Author of KILL SWITCH. New book SUPERMAJORITY coming in September from @wwnorton
Aram Hăvărneanu @aramh
5K Followers 2K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Oliver Kim @oliverwkim
7K Followers 1K Following Development economist, working on economic growth at @coeff_giving. PhD @berkeleyecon, AB @harvard. Views my own.
Brendan Irvine-Broque @irvinebroque
5K Followers 7K Following sr director of product, workers @cloudflare
justine underhill @jj_under
3K Followers 208 Following journalist, previously reporter @yahoofinance and @realvision
Reid Hoffman @reidhoffman
872K Followers 692 Following Co-Founder, LinkedIn. Investor. MSFT Board Member. Building an LLM to discover cures for cancer: @manas_co. Most importantly: Proud American.
Jonathan Ragan-Kelley @jrk
1K Followers 617 Following The lyf so short, the craft so longe to lerne.
Claire Lehmann @clairlemon
251K Followers 7K Following Founder, editor @quillette, contributing writer @australian, @thedispatch 📧 subscribe: https://t.co/04OP3ssOXf
Nathan Farlow @0x1337cafe
338 Followers 76 Following
Jerusalem @JerusalemDemsas
46K Followers 1K Following yes, like the city | Editor & CEO @TheArgumentMag | she/her | President of Libbing Out
Dr. Danna Young🇺�... @dannagal
18K Followers 2K Following Prof of Comm & Poli Sci @UDelaware, @UPenn PhD, Author “Wrong” (JHU) https://t.co/4EyRSXnVxK, “Irony & Outrage” (Oxford). Rep’d by Mark Gottlieb at Trident
Emma Camp @emmma_camp_
20K Followers 875 Following Writing a book on gen z & risk-aversion w/ ballantine @randomhouse // writer @wsjopinion @wsjfreeex // martha stewart impersonator ✉️ Tips: [email protected]
Nick Rioux @nickrioux
282 Followers 858 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad
Boaz Barak @boazbaraktcs
33K Followers 811 Following Computer Scientist. See also https://t.co/EXWR5k634w . @harvard @openai opinions my own.You might like
KC Sivaramakrishnan
@kc_srk
5K Followers
Edward Kmett
@kmett
17K Followers
Erik Meijer
@headinthebox
36K Followers
Tweag by Modus Create
@tweagio
7K Followers
Tarides
@tarides_
2K Followers
Well-Typed
@welltyped
7K Followers
Anil Madhavapeddy
@avsm
6K Followers
Galois
@galois
6K Followers
gabby
@GabriellaG439
16K Followers
Alexis King
@lexi_lambda
13K Followers
Bartosz Milewski
@BartoszMilewski
36K Followers
Graham Hutton
@haskellhutt
9K Followers
Racket
@racketlang
7K Followers
Andres Löh
@kosmikus
3K Followers
Edward Z. Yang
@ezyang
17K Followers