Dimitris Vardoulakis @dimvar
ML compilers @nvidia. Views my own. Prev TPU compiler, Closure Compiler @Google; DoctorJS @mozilla; CS PhD @neu_prl; BEng @ecentua. Also on bluesky, mathstodon dimvar.github.io SF Bay Area Joined June 2009-
Tweets4K
-
Followers692
-
Following924
-
Likes16K
He walked back the comments theverge.com/tech/946879/mi…
The number of employed SW engineers in the US has risen in the past 10 years. In 2016, it was around 1.25M and today it is about 1.7M to 1.9M (depending on which LLM you ask :P ).
I can't keep hearing these darn predictions. Here's my prediction. 18 months from now the number of employed software engineers will be similar to today's number. fortune.com/article/why-mi…
@samth I remember the honesty trope from Claude as well. I think I prefer Gemini's tone.
Another prime example of a smart person (and well-meaning IMO) occasionally having a really dumb take. 13.7% of people in the US face food insecurity, for instance. frac.org/news/usdafoods….
Warren Buffett: "The bottom 2% in terms of income in the United States, the bottom 5%, and for sure the top 1% all live better than John D. Rockefeller was living when I was six years old." "John D. Rockefeller was the richest man in the world and, today, you can get better
Why did CACM just publish a blog post by a B2B SAAS guy about how he's in the middle of vibe-proving P vs NP? What possible editorial process could this have gone through? @vardi
@joannejang Polsia (but I don't know how I would bet)
I just finished reading "The Cuckoo's Egg" by Cliff Stoll and I highly recommend it. The nerd energy in the book is very high. If you liked "The Soul of a New Machine" you will like this one too. goodreads.com/en/book/show/1…
@damekdavis If they are able to explain the results successfully to the community, then yes.
Polsia will be the juicero of our time.
COMMENTARY: Let’s say it plainly: There has never been a president as corrupt as Donald Trump. There is no close second in our history. rollingstone.com/politics/polit…
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
My take is a bit different: Google doesn't know how to sell to companies. Their user base has been consumers using the ad-supported products for free. These users have low expectations for long term continuity. Google doesn't know how to support companies and paying customers well.
Microsoft is obsessed with backward compatibility - even if this means slower iteration AWS is obsessed with predictability - even if this means large strain on their devs Google is obsessed with their devs' wellbeing - so you have to do the work their devs did not want to
>> He will go down in history as the president who came up with forms of corruption never contemplated before. That's his only talent!! 😄
An American president sues/extorts his own government, then settles with his own justice department to funnel money to his criminal allies. He will go down in history as the president who came up with forms of corruption never contemplated before.
How any of this is legal is beyond me.
BREAKING: The Trump administration announces a $1.7 billion fund to compensate prosecuted allies after dropping a lawsuit against the IRS. apnews.com/article/trump-…
The president is negotiating against his own administration to shake down taxpayers for $10 billion. The corruption meter is flashing red and sounding the alarm. ca.news.yahoo.com/doj-considers-…
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, biPatrick Walton @pcwalton
18K Followers 516 Following Programming languages and graphics person. @pcwalton.bsky.social
Nadav Rotem @nadavrot
4K Followers 417 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Vinod Grover @vinodg
5K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Jeff Dean @JeffDean
443K Followers 6K Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
Peter O'Hearn @PeterOHearn12
2K Followers 135 Following Working on AI, code and reasoning. Researcher @AIatMeta & Prof @ucl. Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Aart Bik @AartBik
1K Followers 847 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Nvidia @Google @Intel #astrophotography #chess #compilers #sparse #vectorization
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Anders Møller @amoellercsaudk
510 Followers 219 Following Co-founder @ Coana | Professor at Aarhus University ⇒ https://t.co/DKgUDms7HT
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Jeremy Siek @jeremysiek
3K Followers 353 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
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.
Dave Herman @littlecalculist
14K Followers 403 Following Likes people & computers. Work: LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). ❤️: @lisasilveria & @tinycalculist. Goes by dherman… elsewhere. he/him
Isaac Povey @IsaacPovey
5 Followers 243 Following
Ziran Yang @__zrrr__
477 Followers 615 Following PhD student @Princeton, BS @PKU1898 Looking for verifiable reasoning
Ramneet Singh @Ramneet_Singhh
946 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Michael C. Mozer @mc_mozer
829 Followers 170 Following Research Scientist, Google Brain now DeepMind. Training neural nets since 1979.
abhikrant sharma @abhikrantsharma
25 Followers 210 Following
Joe Kerrigan @kerrigan_again
15 Followers 179 Following now: ML compilers at AWS | before: EC2, UVA Math+CS '23
Jorge FdCD @jorgefdcd
84 Followers 2K Following
Bitcode ($BTD) @bitcodehq
589 Followers 8K Following Auditable market infrastructure for commodifying knowledge. $BTD (🧪,⚖️)
Mooly Sagiv @SagivMooly
3K Followers 4K Following Chief Scientist @Certora and a chair of software systems at @TelAvivUni, Co-Founder of @Summit_Defi
Rado Kirov @radokirov
1K Followers 1K Following Engineering at stripe. Recovering academic. Do you want to have a VC chat with me - https://t.co/6eeyYBVWe3
Shiro @shiro_ftl
1 Followers 272 Following
Girardian Angel @RandomOracle45
11 Followers 289 Following
Nirak @nirak_choun
0 Followers 78 Following
livecitizen @livecitizen1
151 Followers 4K Following
Parag Namjoshi @ParagNamjoshi
22 Followers 1K Following
Marc Moub @MarcMoubarak
177 Followers 2K Following
Raihan U. | Full-Time... @Fiverrraiuddin
218 Followers 2K Following Freelancer on Fiverr | Expert in Data Entry, Web Research, Copy-Paste & Admin Tasks | 100% Manual Work | Accurate, Reliable & On-Time Delivery
sarthak jain @sartq_3
189 Followers 2K Following manipulating pixels and words into numbers and vice-versa | prev: @zomato @IITBHU_Varanasi
Xuisea @Xuisea9668772
13 Followers 351 Following
Ravi Vijayakumar @thehiphopswami
3K Followers 4K Following Hardware Implementation @ OpenAI. Prev: TPU Impl lead of Ironwood + TPU 8i @ Google. Pushing limits of physics gives me the thrills.
Totawthued @TotawthueddZgP
36 Followers 3K Following
Angela Eremia @eremiaal
845 Followers 327 Following MA '13 🎓 | Product Director & Visionary. As seen in IBT. Scaling human-centric ecosystems & The Non-Strange Internet. 🌐 Building a legacy. ✨Death Angel
Marcelo Cintra @marcelocintra
102 Followers 450 Following Computer scientist with compiler and system level background. Bio-hacker, soccer, snowboard, MTB, and chess enthusiast.
mdl fop @FopMdl3971
1 Followers 118 Following
Slothaus @SlothausLlz9T2
39 Followers 4K Following
SylviaRobeson SylviaR... @8B8B64R80Fkf2
71 Followers 7K Following
Dongw @DongWan42101620
194 Followers 6K Following SWE by day, doing OSS at night. Make gpus go brrr!
Mike Dodds @miike
1K Followers 619 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Michael D. Moffitt @mmoffitt
861 Followers 5K Following Technical Staff @ Ndea Previously: Google DeepMind
Zaingwen @TillyBerth20543
18 Followers 933 Following i am Zain Gwen from USA military woman,i am Zain Gwen from USA military woman,i am Zain Gwen from USA military woman,i am Zain Gwen from USA military woman,
Gurkirat singh @gurkirat_7
29 Followers 2K Following
Neesaez @NeesaeziiXz
42 Followers 5K Following
Bjarke Roune @bjarkeroune
92 Followers 63 Following
Shawn @unshorn_
39 Followers 728 Following
Tounot @Tounot162349
108 Followers 7K Following
Thydoyth @ThydoythqW1
5 Followers 416 Following
PC Punjabi color @PcPunjabi56843
5 Followers 288 Following
Riya Bisht @b1shtream
1K Followers 5K Following accelerating biology using AI/computing @join_ef, neuromorphic @CeNSEatIISc, VC @Lvlupvc, @iiscbangalore,prev @Vicharak_In @CERN @BerkeleyLab, @ucberkeley
Kishore Ganesh @KishoreGanesh12
32 Followers 2K Following
Uriel Schafer @UrielSchafer
2 Followers 74 Following
thinkhero @thinkhero9
17 Followers 1K Following
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
Yann LeCun @ylecun
1.2M Followers 787 Following Professor at NYU & Executive Chairman at AMI Labs. Ex-Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.Patrick Walton @pcwalton
18K Followers 516 Following Programming languages and graphics person. @pcwalton.bsky.social
George Hotz 🌑 @realGeorgeHotz
304K Followers 204 Following President @comma_ai. Founder @__tinygrad__
Nadav Rotem @nadavrot
4K Followers 417 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
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.)
Vinod Grover @vinodg
5K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Soumith Chintala @soumithchintala
306K Followers 1K Following Building new things @thinkymachines. Also dabble in robotics at NYU. Cofounded @PyTorch. AI is delicious when it is accessible and open-source.
Jeff Dean @JeffDean
443K Followers 6K Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
Peter O'Hearn @PeterOHearn12
2K Followers 135 Following Working on AI, code and reasoning. Researcher @AIatMeta & Prof @ucl. Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Miguel de Icaza ᯅ�... @migueldeicaza
99K Followers 5K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social
Maxime Chevalier @Love2Code
19K Followers 299 Following 💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.
Aart Bik @AartBik
1K Followers 847 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Nvidia @Google @Intel #astrophotography #chess #compilers #sparse #vectorization
Riley Goodside @goodside
211K Followers 3K Following Screenshots of chatbots since 2022. Formerly: Google DeepMind, Scale.
Jade Q Wang @qiqing
4K Followers 1K Following Musician, poet, martial artist, scientist. @SandstormIO, @Cloudflare, Chez JJ, @MeteorJS. Not a religion, just a technique. https://t.co/2sZTx3mMPp
Sholto Douglas @_sholtodouglas
46K Followers 2K Following Scaling RL @AnthropicAI, ex @DeepMind - working towards intelligence too cheap to meter
Xiao Ma @MaXiao54704
353 Followers 58 Following
Geoff Penington @quantum_geoff
4K Followers 453 Following Associate Professor at Stanford. Quantum Information and Quantum Gravity. Currently at @Openai
Yunyi Shen/申云逸 ... @ShenRaphael
3K Followers 295 Following I do random statistics stuff. Once MIT, UW-Madison and PKU. Take wildlife photos. Opinions are mine.
Deedy @deedydas
245K Followers 6K Following Partner at Menlo Ventures. ex-founding Glean, Google Search. Cornell CS. Investor: Anthropic, OpenRouter, Modal, Wispr Flow, Inception, Prime Intellect
Clark Barrett @ClarkBarrett7
163 Followers 5 Following Professor (Research) in Computer Science at Stanford University
Georgi Gerganov @ggerganov
62K Followers 292 Following 24th at the Electrica puzzle challenge | building https://t.co/baTQS2bdia | engineer @huggingface
Jeremy Bernstein @jxbz
8K Followers 692 Following 🧪 @thinkymachines ✍️ anon feedback @ https://t.co/RIhBhjMRdD
Anmol Gulati @anmol01gulati
4K Followers 1K Following Co-founder @coreautoai Prev: TL Agents Research @ Gemini, Google Deepmind. Cofounder @AdeptAILabs. Google Brain.
Jerry Tworek @MillionInt
37K Followers 1K Following CEO and co-founder of Core Automation former VP of RL @ OpenAI : reasoning models, o3, o1, GPT4, ChatGPT, Codex, RL for robots cautious AI optimist
Ioannis Antonoglou @real_ioannis
3K Followers 33 Following Co-Founder, President, @reflection_ai DQN, AlphaGo, AlphaZero, MuZero, Gemini RLHF Prev Senior Staff RS and founding eng @GoogleDeepMind AGI one PR at a time
Luke Drago @luke_drago_
4K Followers 810 Following making people irreplaceable @thinkymachines. prev @workshoplabs co-founder. opinions my own.
John Carreyrou @JohnCarreyrou
60K Followers 921 Following @nytimes reporter and bestselling author of Bad Blood: Secrets and Lies in a Silicon Valley Startup. Send story tips to [email protected]
Sam Bowman @sleepinyourhat
65K Followers 3K Following AI alignment + LLMs at Anthropic. On leave from NYU. Views not employers'. No relation to @s8mb. Into @givingwhatwecan.
Pietro Monticone @PietroMonticone
3K Followers 606 Following AI for Mathematics @HarmonicMath || Formalising Mathematics and Software in @LeanProver || Developing Free Open Source Software in #Lean, #Python and #Julia.
Leonardo de Moura @Leonard41111588
7K Followers 29 Following
Rado Kirov @radokirov
1K Followers 1K Following Engineering at stripe. Recovering academic. Do you want to have a VC chat with me - https://t.co/6eeyYBVWe3
Ashvin Swaminathan @aaswaminathan01
1K Followers 229 Following Benjamin Peirce Fellow @Harvard. PhD @Princeton. Intern at @axiommathai. Excited about building the bridge between pure math and AI.
pikuma.com @pikuma
26K Followers 481 Following An education platform created to teach the fundamentals of #ComputerScience and #Mathematics for amateurs, enthusiasts, and hobbyists.
Prof. Anima Anandkuma... @AnimaAnandkumar
39K Followers 2K Following AI+Science, Bren Professor @caltech, Time100, Fmr Sr Director of #AI research @nvidia Fmr Principal Scientist @awscloud
Chris Henson @_chenson__
1K Followers 3K Following CS PhD student @DrexelCCI working on formalization in Lean. Maintainer of https://t.co/waYLdE0QGI. Formerly Quant Finance at Bank of America.
Mark Chen @markchen90
72K Followers 352 Following Chief Research Officer at @OpenAI. Coach for the USA IOI Team.
carl feynman @carl_feynman
21K Followers 289 Following I’ve spent a lifetime switching my Special Interest every year or two. By now I’m surprisingly knowledgeable in a lot of fields— a skill now obsoleted by AI.
Ken Ono @KenOno691
67K Followers 195 Following Founding Mathematician @axiommathai | Prof @UVA | AI, proof | Assoc. Producer, The Man Who Knew Infinity | Olympic swim performance 🏊♂️🏅
Neel Somani @neelsomani
20K Followers 254 Following Formal methods & ML research. Prev: Founder of Eclipse, QR at Citadel. Proud Cal Bear.
Kakashii @kakashiii111
33K Followers 844 Following Attorney | Due Diligence and Red Flags | AI, Semiconductors and the Magnificent 7 | Technology focusing on China | [email protected]
Cassandra Unchained @michaeljburry
1.9M Followers 33 Following Official X account for Michael Burry, MD, called "Cassandra" by Warren Buffett. Now on Substack with the full story.
Ion Stoica @istoica05
8K Followers 20 Following Professor at UC Berkeley, co-founder of Databricks, Anyscale, LMArena, Conviva.
Fabian Pedregosa @fpedregosa
6K Followers 612 Following Keeping the gradients flowing since 2013. Loves open source. Sometime blogs and writes papers.
Guillaume Lample @ Ne... @GuillaumeLample
45K Followers 618 Following Cofounder & Chief Scientist https://t.co/hLfvKLldwL (@MistralAI). Working on LLMs. Ex @MetaAI | PhD @Sorbonne_Univ_ | MSc @CarnegieMellon | X11 @Polytechnique
François Charton @f_charton
4K Followers 34 Following AI for mathematics and theoretical physics Tomorrow's problems on yesterday's machines Axiom - École nationale des ponts et chaussées
Julian Schrittwieser @Mononofu
25K Followers 116 Following Member of Technical Staff at Anthropic prev AlphaGo, AlphaZero, MuZero, AlphaProof, Gemini RL etc at Google DeepMind
Anne Ouyang @anneouyang
9K Followers 1K Following Building @Standard_Kernel, CS PhD student @Stanford | prev: cuDNN @Nvidia, M.Eng, B.S. in CS @MIT | efficient scalable self-improving AI systems | 🌽KernelBench
Math, Inc. @mathematics_inc
13K Followers 0 Following Solve math, solve everything. Dedicated to superintelligence via autoformalization
Prophet Arena @ProphetArena
2K Followers 19 Following The AI benchmark for predictive intelligence | SIGMA Lab @UChicagoCS @DSI_UChicago Not affiliated to any tokens or crypto protocols.
Shreya Shankar @sh_reya
53K Followers 753 Following Incoming asst. professor @CSDatCMU. I ❤️ Databases, HCI, AI. Created https://t.co/PmuOqAYt6q and https://t.co/8MQt4naA1R. PhD @Berkeley_EECS; undergrad @Stanford CS.
Vlad Tenev @vladtenev
546K Followers 860 Following CEO and Co-Founder @RobinhoodApp 📈📱Executive Chairman and Co-Founder @HarmonicMath 👁️🗨️👨🏫
Tudor Achim @tachim
3K Followers 181 Following CEO @HarmonicMath. We're hiring! https://t.co/JjakO5nV9a






























