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-
Tweets9K
-
Followers22K
-
Following367
-
Likes2K
The episode itself is here: signalsandthreads.com/building-a-dat…
A fun chat with with Jacob Baskin about software architecture, mechanism design, and systems design.
@nicholasbs Yeah, this is my solution too
Also, a multi-year effort to make the OCaml compiler relocatable landed in this tree. Binary caches (uv style) are entirely possible now once a few downstream packages (like ocamlfind) have patches to add support
The latest OCaml release (5.5) has some great stuff. Module dependent functions are a big step, and we've been waiting for it to land foreeever. Polymorphic parameters is great too. discuss.ocaml.org/t/ocaml-5-5-0-…
The latest OCaml release (5.5) has some great stuff. Module dependent functions are a big step, and we've been waiting for it to land foreeever. Polymorphic parameters is great too. discuss.ocaml.org/t/ocaml-5-5-0-…
@zeynep Ah, fair enough. I was largely responding to Amanda's posts, which seemed personal and reasonable (and not about ultrasound). But Twitter can mix things up!
@zeynep I'm not sure where the ultrasound conversation is coming from. Amanda was taking about an MRI.
@zeynep I think this is pretty reasonable too
The view that we shouldn't do more medical scans because incidental findings cause a lot of harm doesn't sit well with me. It seems like the issue it points to isn't the scan but the response to it. If you see something on a scan but have no other symptoms, you could ignore it.
@zeynep I don't know how useful it is to pick apart the specific observations of a non expert missing about their own health experiences. It's true she could have dug more onto the details here! But the underlying point still has something to recommend it.
@zeynep There's a lot of decision making that's driven by very broad brush best practices that are optimized at a population level, and are often very far from optimal when considered at an individual level.
@zeynep It's just not the case that the real world medical system is optimal, or even particularly good at making decisions in a way that maximizes the information content from tests and lab results.
@otis_reid @RBMD1982 I pretty much agree that there is a real tradeoff here. But I don't have much faith that the current systems does a good job of landing that trade-off in anything like a societally optimal way.
@RBMD1982 It's an uncomfortable position to be in when you decide that people aren't ready to know all the facts.
@RBMD1982 I don't think that concern is totally misplaced, but there's something problematic about it. It reminds me a little bit of some of the institutional misstep to covid in the public health world.
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 698 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 coPatrick Walton @pcwalton
18K Followers 515 Following Programming languages and graphics person. @pcwalton.bsky.social
jordwalke @jordwalke
67K Followers 806 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 812 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 980 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.
Mesoscopic Markets @mesomarkets
16 Followers 23 Following be informed before getting picked by the informed. not financial advice.
shahmeer @shahmeerwarma
1 Followers 63 Following u1 student @mcgillu math & cs major interested in world models & physical ai
Ben du Pont @benjfdup
33 Followers 456 Following Interested in ML + Emergent Intelligence | Physics PhD student at @PennPhys | MPhil Cambridge Chemistry, Harvard AB Physics ‘24
Cave Hermit @BaBig90
3K Followers 6K Following Aggressive trader utilizing TA for swing trades, and options. Sharing my positions, real P&L, no pump and dumps, and accurate analysis to help us all win.
Oxkar @0xkaru
136 Followers 1K Following
gcer @GiulioCer
0 Followers 47 Following
Ohad Assulin @MrOhad
281 Followers 1K Following Building @ Final; Co-founder and CEO @ L11 (Acquired); Teaching CS @ RU; Bring Them Home🎗️
menshikov @menshikovxiwg
0 Followers 19 Following
Jack Dean @JackDean395013
73 Followers 697 Following
Anirudh @anirudhkurnool
0 Followers 83 Following
andy @andymarous
6 Followers 65 Following
aripiprazole @io_gabx
3K Followers 480 Following
aby @abyphil
43 Followers 512 Following
Jack H @jackahouck
5 Followers 64 Following
FMB @fbaseggio
51 Followers 208 Following
Dillon Amburgey @thedillona
94 Followers 363 Following
noenk @noenk_bqpd
192 Followers 1K Following
andrewML @andrewcz12
231 Followers 2K Following Machine learning, artificial intelligence, math and finance ….but not all at the same time 😉
Malik Imran Safdar @imran80
691 Followers 5K Following
Ashish rana @Ashishr22566880
1 Followers 39 Following क्या करोगे मेरे बारे मैं जान कर पहले खुद को पहचान लो
Gabriel Lew @datadeflator
103 Followers 3K Following Visualize Z.1 Flow of Funds. Opinions my own? You betcha ;)
Mohamed Ameen Omar @mameen_omar
177 Followers 643 Following
Oliver @oliver_bauer
19 Followers 372 Following
Akshit @Akkshit_20
0 Followers 299 Following
Ping Li @PingLi61358
1 Followers 87 Following
Tateey @RASHADAZIZZ
1 Followers 29 Following
Mike Bob @MikeBobcepp
19 Followers 471 Following
Soleil Wizman @soleilavawizman
209 Followers 216 Following continually learning. @yale & @thrivecapital
Ruby Plus @ruby_plus
406 Followers 82 Following The official https://t.co/uEi9GJZbr8 Twitter account.
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 698 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 515 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 809 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 180 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
Maxime Chevalier @Love2Code
19K Followers 298 Following 💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.
Tristan Hume @trishume
9K Followers 354 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!
Tienson Qin @tiensonqin
4K Followers 1K Following Co-Founder of @logseq, building a platform for learning and collaboration.
Patrick McKenzie @patio11
196K Followers 808 Following I work for the Internet and am an advisor to @stripe. These are my personal opinions unless otherwise noted.
Dwarkesh Patel @dwarkesh_sp
239K Followers 1K Following Host of @dwarkeshpodcast https://t.co/3SXlu7fy6N https://t.co/4DPAxODFYi https://t.co/hQfIWdM1Un
Timothy Gowers @wtgow... @wtgowers
57K 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 9K 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 100 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
47 Followers 124 Following Studying Computer Science @SCSatCMU interests: ai + functional programming good questions have good answers
Sabrina Halper @SabrinaHalper
12K Followers 998 Following Exploring the mind, machine, and meaning of it all 🎙️🔮 | @stanford
Dean W. Ball @deanwball
44K Followers 2K Following He who has not lived before the revolution does not know the sweetness of life
Dominik Tornow @DominikTornow
12K Followers 591 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
655K Followers 184 Following The one-stop news site for Israel, the region & the Jewish world.
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
38K Followers 289 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
103K Followers 7K Following Co-Founder @americanhousing | Building Rowhomes for Families | Fellow @manhattaninst | Signal: Bfijan.19 |
Tianqi Chen @tqchenml
20K 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 556 Following a really exciting new account "advanced pytorch user" - @cHHillee alt: @typedalt
Jared Palmer @jaredpalmer
103K Followers 3K 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
73K 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 787 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 78 Following
Rachel Janfaza @racheljanfaza
9K Followers 4K Following Breaking down Gen Z trends & culture w/ The Up and Up | Contributor @bulwarkonline | Bylines in @nytimes @washingtonpost @thefp @politicomag @voguemagazine
hirrolot @hirrolot
571 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 6K 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
25K Followers 119 Following Member of Technical Staff at Anthropic prev AlphaGo, AlphaZero, MuZero, AlphaProof, Gemini RL etc at Google DeepMind
Adam Jentleson @AJentleson
78K 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
899K 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 621 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
339 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


































