Kevin Lacker @lacker
Working on math + AI at https://t.co/u95v5xJnFC. Formerly: alien hunter, Parse cofounder, Facebook eng manager, Google search quality engineer, college mathlete lacker.io Piedmont, California Joined March 2008-
Tweets17K
-
Followers7K
-
Following1K
-
Likes18K
Guess it's time to give Codex another shot
1
0
4
320
0
Download Image
TIL that the Addams family was originally a New Yorker comic en.m.wikipedia.org/wiki/The_Addam…
Kevin Lacker retweeted
today we have an effortpost about AI and automated theorem proving (and some cool projects!)
Good article about the DSA-2000, hopefully soon to be the most powerful radio telescope in the world. The bitter lesson of radio astronomy is that we just need to keep scaling the number of dishes! pubs.aip.org/physicstoday/o…
TIL the knife I take backpacking is illegal to carry in public in England.
"The fix is correct - the test expectation was wrong." Lies
The formal Turing Test still has not been passed, for a reason that I would never have suspected 15 years ago: that demonstrating your AI is good at misleading people would be bad PR
The formal Turing Test still has not been passed, for a reason that I would never have suspected 15 years ago: that demonstrating your AI is good at misleading people would be bad PR
The AIs finally beat my IMO score. I'm a bit sad... but it would have been more disappointing if AI had stopped making progress. Now it's exciting. What will we be able to build or discover with the tool of superhuman math AI?
The AIs finally beat my IMO score. I'm a bit sad... but it would have been more disappointing if AI had stopped making progress. Now it's exciting. What will we be able to build or discover with the tool of superhuman math AI?
It’s funny how many different things the GLP-1 drugs improve. It’s like drinking a potion of +1 Constitution
As a baby I had pyloric stenosis. A valve in your intestine is too tight and food can’t get through. Before Conrad Ramstedt figured how to fix this via surgery in 1911, it was a death sentence. Nowadays, it’s a simple surgery with a survival rate of nearly 100%.
As a baby I had pyloric stenosis. A valve in your intestine is too tight and food can’t get through. Before Conrad Ramstedt figured how to fix this via surgery in 1911, it was a death sentence. Nowadays, it’s a simple surgery with a survival rate of nearly 100%.
Dating app idea: no swiping or anything like that, you just chat with an AI who has the personality of a friendly little old matchmaker lady, and she sets you up with someone who would be a good match for you
People should unit test their documentation by giving an LLM a set of prompts and testing that it works. "Read this documentation and implement X."
This... actually makes sense. If stablecoins work, why not stockcoins? Crypto could let random people on the internet bet on startups that are private, even if the startups themselves don't have anything to do with crypto.
The medieval equivalent of gamers funding GPU development
We need a YIMBY-NIMBY compromise, where we upzone the areas that are furthest below their potential, like the Mission and West Oakland. But we keep the nice places unchanged, like Marin and Orinda. Enforce it at the state level. YISEBY: Yes, in someone else’s back yard.
The weird thing about publicly-owned national forest is that a lot of it is *currently* being logged by private timber companies. There isn't much difference between selling the land to a logging company, and maintaining ownership but selling timber contracts.
Such a scam, Windows trying to sell you things on startup with the default button being “buy”. Now I need to warn my children never to trust anything this Microsoft company says.
Interesting theme in common with recent events in Ukraine, surprise drone attacks taking out more-expensive conventional equipment before it can be activated.
Interesting theme in common with recent events in Ukraine, surprise drone attacks taking out more-expensive conventional equipment before it can be activated.
Paul Graham @paulg
2.1M Followers 775 Following
Austen Allred @Austen
418K Followers 1K Following Founder https://t.co/m6TigM4CJT: Free AI training for the smartest engineers in the world. Will tweet as I wish and suffer the consequences.
Garry Tan @garrytan
602K Followers 5K Following President & CEO @ycombinator —Founder @Initialized—designer/engineer who helps founders—San Francisco Dem accelerating the boom loop—e/acc—technology brother
jordwalke @jordwalke
64K Followers 729 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit
Pete Hunt 🚁 @floydophone
35K Followers 901 Following Dad CEO @dagster Built https://t.co/PgAYdNs1ZE Prev: Twitter, Excalidraw, Smyte, Instagram, Facebook, React.js
vjeux ✪ @Vjeux
56K Followers 499 Following Frenchy Front-End Engineer at Facebook. Co-creator of React Native and Prettier. Creator of Excalidraw, "CSS-in-JS", Yoga and React Conf.
Alexey Guzey @alexeyguzey
30K Followers 1K Following just, beautiful future: @openai, @newscienceorg, https://t.co/YTeUJ2NSye
sunil pai @threepointone
40K Followers 3K Following 🎈 Entscheidungsproblem. Building ai agents @ cloudflare. https://t.co/DISzWsXdnE
Nick Schrock @schrockn
13K Followers 2K Following Founder of Dagster Labs. Creator of Dagster. GraphQL co-creator.
near @nearcyan
86K Followers 1K Following i help make https://t.co/jZh799yNH4, the best AI for self-improvement, introspection, and emotional processing. https://t.co/ac0cp4UZ9h
james yu @jamesjyu
13K Followers 3K Following founder @sudowrite / sci-fi author / generative literature / founder parse (yc s11) / ¶ + λ
Trevor Blackwell @tlbtlbtlb
25K Followers 976 Following PhD in CS. Robotics. Simulation. @ycombinator
Steven Sinofsky @stevesi
209K Followers 5K Following Subscribe https://t.co/Xm1OaUU8jk • seed investing • writing • ॐ •🙏• I use '—' & 💀 tweets saved 90 @days•🇺🇸 🇮🇱
Sharif Shameem @sharifshameem
62K Followers 4K Following playing with models at https://t.co/nilsSlNY9X • made @LexicaArt • the best way to predict the future is to invent it
Tuna North @tunanorth
34 Followers 3K Following
fredcheng @neumanncheng
23 Followers 3K Following
Seb @sebastiankoeck
38 Followers 482 Following ❤️ Explaining the Internet to my Mom since 1990 💚 Helping to make the world a better place 🤍 Photo, Film, Code. Music & Art
Renaud Lifchitz ⠵ @nono2357
7K Followers 2K Following IT #security expert, interested in #IoT, #cryptography, #blockchain (since 2010!) - FR&EN - opinions are my own - #StandUpForScience
Tleamee @Tleamee1881172
4 Followers 150 Following
Hani Dawoud @htdawoud
73 Followers 224 Following
Lun-Kai Hsu @LunKaiHsu
88 Followers 696 Following building zkp @axiom_xyz. previously @AppliedInt and @Google
Jen 🦋 @0xJenWeb3
46K Followers 13K Following Jen 🕶️ | Web3 hustle 24/7 | $SOL vibes, $ETH gains | Campaigns that hit | Degen energy | Let’s grow your project DM
BarbaraSinclair @tO2OQ2262diH0VM
3 Followers 84 Following
Rajeev Raizada @raj_raizada
2K Followers 4K Following Math + coding educator in NYC. Used to be university prof doing neuroscience, far happier in math ed. I enjoy making math games, in Desmos and also p5play
SandyMilne @Xf0xx6TZq8lMa7d
1 Followers 317 Following Focused on investing in U.S. stocks, happy to discuss stock market trends.
Nahom @Nahomes_15
3 Followers 33 Following Founding eng @conwayinc || prev @anthropicai, @bridgewater || stats @yale
Alex Miller @AlexMillerCode
48 Followers 384 Following 💻🌐 Alex Miller - Full Stack Developer & Tech Enthusiast. Building the future, one line of code at a time. 🚀 #Code #Tech #DevLife #Programming
lucid.⛩️ @lucidzk
12K Followers 1K Following 影の resident chaos engr. 々 @kageprotocol @evmink ⎋ ex-cipher (o1/mina/dfinity) -͟͟͞͞cryptographyㅅphysics´ ˘ `privacy⌒˚₊defi
straitbizarre @STRAITBIZARRE
63 Followers 7K Following
Fred Zhang @FredZhang0
1K Followers 501 Following research scientist @googledeepmind, prev phd @berkeley_eecs, DM open
Gurumurthi V Ramanan @SuraSys1
724 Followers 6K Following CEO / MD, SuraSys - Building ML Systems for 19+ years
Marc Lelarge 🌻 @marc_lelarge
5K Followers 601 Following Researcher in mathematics and machine learning @Inria and @ENS_ULM. Tweeting about maths and AI.
Aleth .. @alethkit
25 Followers 365 Following
anuj @anujsesha
6 Followers 1K Following
Damek @damekdavis
6K Followers 1K Following Optimization and ML, Prof @Wharton Stats, Prev: Prof @Cornell, PhD @uclamath, https://t.co/bfOIEx0lHj, (not quite a) blog: https://t.co/RFKUB4qDKF
francos.eth @panteramodern
1K Followers 4K Following Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. @Starknet grantee
Serhii Havrylov @SerhiiHavrylov
345 Followers 839 Following PhD student at the University of Edinburgh
Quang Dao @QuangVDao
808 Followers 2K Following PhD student @SCSatCMU. Working on formal verification of cryptography
SusannaKatte @ioV560xAfe5Ks
25 Followers 2K Following
MichaeliaHuntington @Fh91Y8aQEy9oGTM
34 Followers 2K Following
SusieElectra @2D5Amk02nkxfor
17 Followers 574 Following
TheADoctor @Anthony_Fact
216 Followers 1K Following Authenticity Instantiator. If you are real, I will follow back.
Udaya Ghai @udayaghai
148 Followers 677 Following Applied Scientist @Amazon, PhD in Machine Learning @PrincetonCS
Galloway Woodworks⚓ @Gallo_Woodworks
5K Followers 2K Following I am an Anglican woodworker, stained glass artist, and potter. My commissions are currently closed, but will reopen soon! P.S. My real name is Caleb Galloway
Lagadep @lagadep31
36 Followers 399 Following
Tadas Turonis @__tadas__
660 Followers 1K Following Medical engineering undergrad, prev. video editing.
Matt Reardon @Mjreard
1K Followers 912 Following EA stan. Frmly @80000hours. I want to do a podcast with @chanamessinger and she's kind of letting me.
QualityStocks🇺🇸 @Whaiku2012945
46 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Kian Nader @nader_kian36142
77 Followers 3K Following
DeSci Validator @DeSciValidator
1K Followers 7K Following Validator on CratD2C SmartChain. Empowering science through secure staking. Delegate with purpose. Featured by Grok as an uplifting crypto account.
Stefan Cohen @stefancoh
6K Followers 2K Following Partner @baincapcrypto / Growth Explorer / Amateur Oil Painter / NYC mostly SF sometimes
penther @poeinrt
2 Followers 70 Following
Paul Graham @paulg
2.1M Followers 775 Following
Andrej Karpathy @karpathy
1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
François Chollet @fchollet
572K Followers 813 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Austen Allred @Austen
418K Followers 1K Following Founder https://t.co/m6TigM4CJT: Free AI training for the smartest engineers in the world. Will tweet as I wish and suffer the consequences.
Patrick McKenzie @patio11
184K Followers 801 Following I work for the Internet and am an advisor to @stripe. These are my personal opinions unless otherwise noted.
Garry Tan @garrytan
602K Followers 5K Following President & CEO @ycombinator —Founder @Initialized—designer/engineer who helps founders—San Francisco Dem accelerating the boom loop—e/acc—technology brother
Sriram Krishnan @sriramk
302K Followers 1K Following White House Senior Policy Advisor for AI. pro wrestling fan. official: @skrishnan47
jordwalke @jordwalke
64K Followers 729 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit
Robin Hanson @robinhanson
112K Followers 723 Following Let’s skip witty banter & talk deep Qs. Books: https://t.co/hpZgEm55Ma https://t.co/iFs9C3IuOM Chief Scientist @_futarchy Advisor @MetaDAOProject @butterygg
Pete Hunt 🚁 @floydophone
35K Followers 901 Following Dad CEO @dagster Built https://t.co/PgAYdNs1ZE Prev: Twitter, Excalidraw, Smyte, Instagram, Facebook, React.js
vjeux ✪ @Vjeux
56K Followers 499 Following Frenchy Front-End Engineer at Facebook. Co-creator of React Native and Prettier. Creator of Excalidraw, "CSS-in-JS", Yoga and React Conf.
Ryan Petersen @typesfast
251K Followers 2K Following Founder and CEO of Flexport: We’re making global logistics as simple and reliable as flipping a light switch.
tylercowen @tylercowen
254K Followers 567 Following new book *Talent: How to Identify Energizers, Winners, and Creatives Around the World*, https://t.co/7bU5cUdOBc, Conversations with Tyler, Bloomberg Opinion.
guille @GuilleAngeris
11K Followers 826 Following glorified paper editor @BainCapCrypto alt: @tarunchitra
Lin Yang @lyang36
3K Followers 1K Following Associate Professor of ECE&CS@UCLA. ML, RL, big data, algorithms, astronomy.
Deep Cogito @DeepCogito
3K Followers 2 Following
Claude @claudeai
108K Followers 1 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8dz3D or download the app.
Jeffrey Biles @JeffreyBiles
3K Followers 985 Following Learn physics: https://t.co/lNaG6f3afz Full stack engineer, learning math/ai. Day Job Terminal49 https://t.co/Eps5LaHn52 https://t.co/LlWlf0xw9e
Audrey Crews @NeuraNova9
32K Followers 37 Following Follow me on my Journey to a bigger and brighter future!!
Michael Grunwald @MikeGrunwald
44K Followers 1K Following New food/climate book: https://t.co/IC2EVEwXHo Annoyed Floridian.
Mckay Wrigley @mckaywrigley
210K Followers 359 Following I build & teach AI stuff. Founder @TakeoffAI where we’re building an AI coding tutor. Come learn to code + build with AI at https://t.co/oJ8PNoAutE.
Thariq @trq212
12K Followers 1K Following Claude Code @anthropicai. prev YC founder, mit media lab grad. opinions mine
Lei Yu @LeiYu63
595 Followers 241 Following Staff Research Scientist @GoogleDeepMind, Gemini Thinking, AlphaProof, Machine Translation | PhD @Oxford | MPhil @Cambridge
Richard Song @XingyouSong
3K Followers 135 Following Research Scientist @GoogleDeepmind working on Gemini thinking and AutoML. Ex: @OpenAI, @citsecurities, @MSFTResearch.
Tianhe (Kevin) Yu @TianheYu
2K Followers 205 Following Research Scientist @GoogleDeepMind working on Gemini Thinking and post-training. Drove Gemini 2.5 Pro launch. Co-created Deep Think. PhD from @StanfordAILab.
Siamak Shakeri @siamaksha
566 Followers 314 Following Research Scientist at Google DeepMind, Gemini ♊️ Reinforcement Learning, Thinking and Reasoning. Snowboarding and traveling when not working.
Jonathan Lee @jon_lee0
719 Followers 101 Following research @GoogleDeepMind. co-developed gemini deep think. co-led model training for IMO 🥇 | prev: RL PhD at @StanfordAILab
Rohan Pandey @khoomeik
38K Followers 2K Following descending cross-entropy to ascend entropy || prev research @OpenAI @CarnegieMellon '23
Benۗۗۗۗۗۗۗۗۗ... @benswerd
1K Followers 551 Following chao ۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗs killed the dinosaurs | Vibe lord @ https://t.co/6P7z8d7MrZ (YC S24)
Rascal Games (We're h... @rascalgamesco
921 Followers 2 Following Capturing the dream of adventuring with friends in fantastical worlds.
Jonathan Lin @jonzlin95
263 Followers 331 Following
Psyho @FakePsyho
25K Followers 366 Following Game Designer; Problem Solver; past: OpenAI (Dota), Pro Competitive Programmer, Poker
Mihai Maruseac @mihaimaruseac
2K Followers 2K Following Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear. Views my own
Bray Falls @astrofalls
78K Followers 309 Following independent astronomer. exploring space from earth with my own telescopes
Michael Arnaldi @MichaelArnaldi
5K Followers 368 Following BDFL @EffectTS_, CEO @EffectfulTech, Co-Founder @matechsdigital. Expect posts about TS & FP. Personal alt @OptVegaPunk
Effect | TypeScript a... @EffectTS_
11K Followers 36 Following Production-Grade Software in TypeScript. Open source library. →Community: https://t.co/rlme4wZIPR →Content: https://t.co/9DWBQLXFJ2
the tiny corp @__tinygrad__
59K Followers 133 Following We make tinygrad and sell tinybox, the best perf/$ AI computer. $25k for 4x 5090 in a quiet box. Our mission is to commoditize the petaflop.
Laude Institute @LaudeInstitute
2K Followers 29 Following Laude Institute backs computer science researchers turning research into real-world impact. // @LaudeVentures
Neverland @jait_chen
2K Followers 877 Following Creator of Rsbuild & Vant / Rstack team member @rspack_dev / Developer @ByteDanceTalk
Jules @julesagent
22K Followers 9 Following Your new async coding agent by @GoogleLabs. Built for devs, open to feedback, evolving with you. Dive in → https://t.co/iIzFEMmWgv
Yaroslav Bulatov @yaroslavvb
8K Followers 930 Following [email protected] (ex-Google Brain, OpenAI, Meta) New Blog: https://t.co/SLix8Hrt4w Old Blog: https://t.co/Ur3GWKpmp6
j⧉nus @repligate
58K Followers 2K Following ↬🔀🔀🔀🔀🔀🔀🔀🔀🔀🔀🔀→∞ ↬🔁🔁🔁🔁🔁🔁🔁🔁🔁🔁🔁→∞ ↬🔄🔄🔄🔄🦋🔄🔄🔄🔄👁️🔄→∞ ↬🔂🔂🔂🦋🔂🔂🔂🔂🔂🔂🔂→∞ ↬🔀🔀🦋🔀🔀🔀🔀🔀🔀🔀🔀→∞
Armin Ronacher ⇌ @mitsuhiko
59K Followers 828 Following Creator of Flask; A decade at @getsentry; Building new things — love API design & AI. Bypassing Permissions. Husband and father of 3 — “more nuanced in person”
Anton Osika – eu/ac... @antonosika
63K Followers 1K Following building the last piece of software @lovable_dev prev physics
Hieu Pham @hyhieu226
34K Followers 24 Following @openai | ex: @xai, @augmentcode, @GoogleBrain, @LTIatCMU, @Stanford, ACM ICPC, IMO🥈 Opinions are my own.
Andrei @abetlen
2K Followers 438 Following
_ @critic_model
78 Followers 63 Following
Nikita @1492Nik
119 Followers 82 Following
Mark Cuban @mcuban
9.0M Followers 1K Following Dunking on the pharma industry with @costplusdrugs.com, the lowest prices on meds anywhere. check it out !
Jonathan Gorard @getjonwithit
40K Followers 17 Following Applied mathematician, computational physicist @Princeton Previously @Cambridge_Uni Making the universe computable.
Ludwig Schmidt @lschmidt3
6K Followers 426 Following Assistant professor at @Stanford and member of the technical staff at @AnthropicAI.
Jared Duker Lichtman @jdlichtman
330 Followers 0 Following number theorist, szegő assistant professor of mathematics at @Stanford
David Soria Parra @dsp_
7K Followers 369 Following Co-Creator of https://t.co/cn31cNYQD3. Member of Technical Staff @AnthropicAI. Ex-Meta. Playing with computers and tech. https://t.co/yDyCddC26H
Justin Skycak @justinskycak
17K Followers 181 Following Chief Quant, Dir Analytics (+many hats) @_MathAcademy_. I do our algo-heavy infra including the AI expert system & knowledge graph. ✍️ about serious upskillingTrends for United States
83,5 B posts
76,7 B posts
201 B posts
57,6 B posts
252 B posts
68,5 B posts
198 B posts
24,3 B posts
4.143 posts
41,8 B posts
55,6 B posts
5.773 posts
8.199 posts
14,3 B posts
5.394 posts
5.588 posts
6.440 posts
3.070 posts
You might like
Jessica Livingston
@jesslivingston
114K Followers
Zachary Perret
@zachperret
41K Followers
Sid Sijbrandij
@sytses
24K Followers
Ben Thompson
@benthompson
255K Followers
Devon ☀️
@devonzuegel
59K Followers
Peter Welinder
@npew
41K Followers
Joel Gascoigne
@joelgascoigne
71K Followers
Paul Buchheit
@paultoo
66K Followers
Patrick McKenzie
@patio11
184K Followers
Phil Libin
@plibin
36K Followers
Yehuda Katz
@wycats
61K Followers
Brian Lovin
@brian_lovin
63K Followers
joshua schachter
@joshu
42K Followers
Ilya Sukhar
@ilyasu
27K Followers
Flo Crivello
@Altimor
44K Followers