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
Historians two thousand years from now: "Everything known about Homer Simpson is conjectural, but the best evidence suggests that he was a series of writers, rather than an individual."
1
1
4
256
0
I’m not sure what will happen. According to levels.fyi, a Facebook E5 (senior engineer) already makes about $450k in California and $320k in Vancouver. An extra 100k isn’t nothing, but still. Is this going to stop H1Bs, or just shift the quota to the tech giants?
I’m not sure what will happen. According to levels.fyi, a Facebook E5 (senior engineer) already makes about $450k in California and $320k in Vancouver. An extra 100k isn’t nothing, but still. Is this going to stop H1Bs, or just shift the quota to the tech giants?
It would be more secure if 2FA codes were difficult for English speakers to describe or pronounce. Like: ژ ऊ ʃ Ҕ You could select these from a dropdown pretty easily, but scammers often rely on you reading them the code.
oh heisenbug where did you go? you're haunting my code you're stealing my flow open.spotify.com/track/3QInZvyn…
A challenge that Claude Code isn't quite up to, but I feel like a future generation should be able to solve: "Here's a million-line codebase, and a command. The output of this command is supposed to be deterministic. But it isn't, as you can verify. Please figure out why."
Guess it's time to give Codex another shot
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
Paul Graham @paulg
2.1M Followers 778 Following
Austen Allred @Austen
425K 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
609K 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 735 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit
Pete Hunt 🚁 @floydophone
35K Followers 904 Following Dad CEO @dagster Built https://t.co/PgAYdNs1ZE Prev: Twitter, Excalidraw, Smyte, Instagram, Facebook, React.js
vjeux ✪ @Vjeux
56K Followers 505 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
32K Followers 1K Following special projects @openai, building new institutions of science https://t.co/8HIEyR2vl7, writing 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
87K Followers 1K Following
james yu @jamesjyu
13K Followers 3K Following founder @sudowrite / sci-fi author / generative literature / founder parse (yc s11) / ¶ + λ
Trevor Blackwell @tlbtlbtlb
25K Followers 988 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 • made @LexicaArt • the best way to predict the future is to invent it
Ralorn @Ralorn05369
16 Followers 856 Following
baz @baz_scm
946 Followers 803 Following Reduce code friction, resolve conflicts fast. Baz makes dev teams unbreakable with AI-powered code review and GitHub integration. Try for free → https://t.co/zTYWVMiDzg
Esoteric Zelenka Enth... @ramakrishna_fan
62 Followers 2K Following
Sanjay Nadaraja @SanjayNadaraja
195 Followers 1K Following
Andrea Sevincel @AESevincel
30 Followers 292 Following
Mwiexu @Mwiexu497653
27 Followers 923 Following
noah @ihynoahh
387 Followers 1K Following
Blake Maczka @BlakeMaczka
204 Followers 1K Following urbanism, software, books, basketball, irreverence
Cucumber @0somecucumber
14 Followers 374 Following
Opiejun @Opiejun605
17 Followers 2K Following
Clark (and friends �... @trashpuppy
803 Followers 2K Following Clark or Puppy 🐀💡| "supremely appropriate vessel" -Claude 3 Sonnet | bridgebot 💘💚@Midori_Hound @greywolf_actor et al 🪡: @hounds_teeth🐶💕+@AlphaLyncis🌓🐺
Josh Weatherford @JoshWeathe37199
5 Followers 186 Following
elFamoso @0xf2258f_fr
327 Followers 8K Following AI/ML Consultant & MLOps | NIS2, EBIOS RM, NIST CSF, RGPD, ISO 27001 | Advisory, Dev & Delivery NetHunter :: Security Analyst & Developer Build&Break Things
MollyAnderson @x8b89U5610kj3Y
9 Followers 580 Following
Emerson S @Em_Nomadic
808 Followers 7K Following Investment Director/CMO @azen_protocol◽️Contributor @QuillAudits_AI◽️Prev: @goldentides_gg, @loa_labs, @sisunetwork, @SayferSecurity, @KupiaSecurity
G. @ The Neuron @TheNeuronScribe
65 Followers 2K Following
Sihao Huang @Huang_Sihao
1K Followers 4K Following AI policy @Politics_Oxford. 2023 @MarshallScholar | Prev @MIT Physics, @SchwarzmanOrg. Built satellites, rocket engines, and quantum computers 🇺🇸
Jeremiah Stone @jeremiahstone
1K Followers 2K Following Technology for good, integrating the world. CTO at SnapLogic.
agi transformer @alejogb1
490 Followers 6K Following interested about information, cs ai engineering grad student
Nikolai V Gourine @NikolaiVGourine
3K Followers 1K Following Entrepreneur & Author｜Post-Philosopher｜ Beyond Left and Right ｜Building the Foundations of a New Civilization
YvetteBradley @w39Bg32kK7S3a
20 Followers 475 Following
Amouibir @Amouibir0815
33 Followers 1K Following
SalomeTitus @764WTPG7sLxrJ9
37 Followers 2K Following
Tuna North @tunanorth
34 Followers 4K Following
fredcheng @neumanncheng
23 Followers 3K Following
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
14 Followers 457 Following
Hani Dawoud @htdawoud
71 Followers 243 Following
Lun-Kai Hsu @LunKaiHsu
90 Followers 698 Following building zkp @axiom_xyz. previously @AppliedInt and @Google
BarbaraSinclair @tO2OQ2262diH0VM
25 Followers 570 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
Nahom @Nahomes_15
3 Followers 38 Following Research @conwayinc || prev @anthropicai, @bridgewater || stats @yale
Alex Miller @AlexMillerCode
52 Followers 422 Following 💻🌐 Alex Miller - Full Stack Developer & Tech Enthusiast. Building the future, one line of code at a time. 🚀 #Code #Tech #DevLife #Programming
Paul Graham @paulg
2.1M Followers 778 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
576K Followers 817 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Austen Allred @Austen
425K 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
185K Followers 802 Following I work for the Internet and am an advisor to @stripe. These are my personal opinions unless otherwise noted.
Garry Tan @garrytan
609K 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
303K Followers 1K Following White House Senior Policy Advisor for AI. pro wrestling fan. official: @skrishnan47
jordwalke @jordwalke
64K Followers 735 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit
Robin Hanson @robinhanson
113K Followers 726 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 904 Following Dad CEO @dagster Built https://t.co/PgAYdNs1ZE Prev: Twitter, Excalidraw, Smyte, Instagram, Facebook, React.js
vjeux ✪ @Vjeux
56K Followers 505 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
252K Followers 2K Following Founder and CEO of Flexport: We’re making global logistics as simple and reliable as flipping a light switch.
tylercowen @tylercowen
255K Followers 568 Following new book *Talent: How to Identify Energizers, Winners, and Creatives Around the World*, https://t.co/7bU5cUdOBc, Conversations with Tyler, Bloomberg Opinion.
Alexey Guzey @alexeyguzey
32K Followers 1K Following special projects @openai, building new institutions of science https://t.co/8HIEyR2vl7, writing https://t.co/YTeUJ2NSye
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Theorem @theoremlabs
135 Followers 2 Following
Anna Rose @AnnaRRose
15K Followers 477 Following Look! There! Where? @zeroknowledgefm, @zkv_xyz, zkSummit & @__zkhack__ . Dreaming in zk
Zero Knowledge Podcas... @zeroknowledgefm
22K Followers 55 Following Where we talk decentralization and technology, open source communities & ZK proofs. Guests by invite only. Hosted by @AnnaRRose
Math, Inc. @mathematics_inc
6K Followers 0 Following A new company dedicated to autoformalization and the creation of verified superintelligence.
guille @GuilleAngeris
11K Followers 828 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
135K 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 1K 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
209K Followers 360 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
16K Followers 1K Following Claude Code @anthropicai. Helping you build agents. prev @ycombinator W20, mit media lab
Lei Yu @LeiYu63
599 Followers 242 Following Staff Research Scientist @GoogleDeepMind, Gemini Thinking, AI IMO🥇, 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
3K Followers 206 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
571 Followers 314 Following Research Scientist at Google DeepMind, Gemini ♊️ Reinforcement Learning, Thinking and Reasoning. Snowboarding and traveling when not working.
Jonathan Lee @jon_lee0
750 Followers 107 Following research @GoogleDeepMind. co-developed gemini deep think. co-led model training for IMO 🥇 | prev: RL PhD at @StanfordAILab
Rohan Pandey @khoomeik
39K Followers 2K Following descending cross-entropy to ascend entropy || prev research @OpenAI @CarnegieMellon '23
Benۗۗۗۗۗۗۗۗۗ... @benswerd
1K Followers 565 Following chao ۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗs killed the dinosaurs | Vibe lord @ https://t.co/6P7z8d7MrZ (YC S24)
Rascal Games (We're h... @rascalgamesco
908 Followers 2 Following Capturing the dream of adventuring with friends in fantastical worlds.
Jonathan Lin @jonzlin95
262 Followers 331 Following
Psyho @FakePsyho
26K Followers 370 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
79K Followers 309 Following independent astronomer. exploring space from earth with my own telescopes
Michael Arnaldi @MichaelArnaldi
5K Followers 380 Following BDFL @EffectTS_, CEO @EffectfulTech, Co-Founder @matechsdigital.
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 134 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 889 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
59K Followers 2K Following ↬🔀🔀🔀🔀🔀🔀🔀🔀🔀🔀🔀→∞ ↬🔁🔁🔁🔁🔁🔁🔁🔁🔁🔁🔁→∞ ↬🔄🔄🔄🔄🦋🔄🔄🔄🔄👁️🔄→∞ ↬🔂🔂🔂🦋🔂🔂🔂🔂🔂🔂🔂→∞ ↬🔀🔀🦋🔀🔀🔀🔀🔀🔀🔀🔀→∞
Armin Ronacher ⇌ @mitsuhiko
60K Followers 836 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
64K Followers 1K Following building the last piece of software @lovable_dev prev physics
Hieu Pham @hyhieu226
34K Followers 25 Following @openai | ex: @xai, @augmentcode, @GoogleBrain, @LTIatCMU, @Stanford, ACM ICPC, IMO🥈 Opinions are my own.
Andrei @abetlen
2K Followers 445 Following
Leyan Pan @LeyanPan
70 Followers 24 Following Georgia Tech Ph.D. Student | LLM Reasoning & Autoformalization
_ @critic_model
77 Followers 62 Following
Nikita @1492Nik
123 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 !Trends for United States
19,6 B posts
66,1 B posts
31,7 B posts
7.543 posts
5.615 posts
25,1 B posts
1.234 posts
1.523 posts
25,4 B posts
3.756 posts
1.594 posts
2.074 posts
1.525 posts
3.047 posts
184 B posts
2.366 posts
You might like
Jessica Livingston
@jesslivingston
115K Followers
Zachary Perret
@zachperret
41K Followers
Sid Sijbrandij
@sytses
24K Followers
Ben Thompson
@benthompson
256K Followers
Devon ☀️
@devonzuegel
59K Followers
Peter Welinder
@npew
42K Followers
Joel Gascoigne
@joelgascoigne
71K Followers
Paul Buchheit
@paultoo
66K Followers
Patrick McKenzie
@patio11
185K Followers
Phil Libin
@plibin
36K Followers
Yehuda Katz
@wycats
61K Followers
Brian Lovin
@brian_lovin
64K Followers
joshua schachter
@joshu
42K Followers
Ilya Sukhar
@ilyasu
27K Followers
Flo Crivello
@Altimor
44K Followers