Kevin Lacker @lacker
Working on math + AI at https://t.co/u95v5xIPQ4 and telescope software at https://t.co/Yx0Z8UFXOE. Formerly: Parse cofounder, Facebook, Google lacker.io Piedmont, California Joined March 2008-
Tweets18K
-
Followers7K
-
Following1K
-
Likes22K
@sberg0 @BenBear @kimmaicutler @XavierBecerra @TomSteyer @SteveHiltonx @MattMahanSJ @hanlonbt @mnolangray @PaulSteidl @BarbaraLee_CA @BuffyWicks @CASenCaballero in general the risks to building housing in oakland are that government regulation will prevent you from finishing the project or from charging market rent.
0
0
1
25
0
View Details
@lymanstoneky this is how you know you're working with cutting edge AI technology, it fails in funny inhuman ways that you would never expect
@Andrew_Akbashev In my experience, most astronomers are happy that the AI can write so many random Python scripts for them.
@Smaug12345 @tribbloid I think you have to characterize the edge cases. Ie, not just “a hash collision exists”, but, “either program A succeeds, or program B finds a hash collision, based on the inputs given to program A”. Some sort of “ghost computation” argument
@McaleerStephen @Miles_Brundage First get everyone to agree on nuclear disarmament, then use the lessons learned about international coordination to solve the more challenging problem of AI disarmament
do you even need /goal ? just tell it to do things.
@jon_barron @DmitryRybin1 I think a lot of software engineers are already ditching agentic IDEs in favor of using the CLIs or desktop apps directly.
@deanwball @joshalbrecht That's how I expect wholly autonomous corporations will happen in practice - it'll be like trusts for interstate corporations, you can hack together the basic form anyway from existing rules, so making it official just reduces friction.
@joshalbrecht @deanwball well yes, human stock holders are part of humanity. I expect that a successful autonomous AI-run corporation would also have human stock holders.
@joshalbrecht @deanwball It's the same argument as being in favor of corporations in general - that it will make it easier to run large operations that benefit humanity. Bit of a catch-22, this would be more clear if a few of these existed. Similar to the initial arguments around corporations.
@deanwball It seems unbannable. A truly autonomous AI could just hire someone to be their "token human".
@distributionat on the other hand perhaps they simply overhired junior people in all their chaos and I'm reading too much into it.
@distributionat interesting. seems like a big deal. a "put your money where your mouth is" thing. hard for junior engineers to compete with senior engineers plus a large token budget. also a sign that university education is not providing the right skills any more!
@RichardHanania Lots of brilliant people in Silicon Valley who want to start a startup, but can't, because their H1B requires them to stay in their boring corporate job.
@asymmetricinfo just like we've all forgotten that "dunce", "mesmerize", and "maverick" were originally names
@JI Yeah, I believe it. The LLMs seem like a super tempting way to trick yourself into believing you understand things better than you do. Or just to delay an inevitable F rather than coming to terms with it early and changing course.
Entertained by professor Garcia here. 1. Claims he is a "strong, strong opponent" of curving a class so that only a limited number of students can get A's 2. Fails 35% of the students in CS 10, saying they all deserve to fail dailycal.org/news/campus/ac…
@tonylfeng personally I find these announcements very useful, it's nice to know what the capabilities of the models are!
Paul Graham @paulg
3.1M Followers 790 Following
Austen Allred @Austen
469K Followers 2K Following Founder https://t.co/m6TigM4CJT: Free AI training for the smartest engineers. Will tweet as I wish and suffer the consequences. Accelerando: @kellyclaudeai
Garry Tan @garrytan
865K Followers 6K Following President & CEO @ycombinator —Founder @garryslist—Creator of GStack & GBrain—designer/engineer who helps founders—SF Dem accelerating the boom loop
Sriram Krishnan @sriramk
308K Followers 3K Following ai @whitehouse. pro wrestling fan. official: @skrishnan47
jordwalke @jordwalke
67K Followers 804 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit. Vibe coder
Pete Hunt 🚁 @floydophone
35K Followers 947 Following Dad CEO @dagster Built https://t.co/PgAYdNs1ZE Prev: Twitter, Excalidraw, Smyte, Instagram, Facebook, React.js
vjeux ✪ @Vjeux
56K Followers 544 Following Frenchy Front-End Engineer at Facebook. Co-creator of React Native and Prettier. Creator of Excalidraw, "CSS-in-JS", Yoga and React Conf.
rahul @0interestrates
63K Followers 3K Following ceo @JuliusAI | we're hiring engineers: https://t.co/qwR9M2tyy7
Alexey Guzey @alexeyguzey
36K Followers 1K Following https://t.co/YTeUJ2NSye, https://t.co/8HIEyR2vl7, @openai; in pursuit of a just, beautiful future.
sunil pai @threepointone
52K Followers 3K Following 🎈 Entscheidungsproblem. https://t.co/DISzWsXdnE forky mcforkface.
Nick Schrock @schrockn
13K Followers 2K Following Founder of Dagster Labs. Creator of Dagster. GraphQL co-creator.
near @nearcyan
171K Followers 1K Following perhaps of the past, but greener pastures may still await us
Eric Jang @ericjang11
133K Followers 4K Following
james yu @jamesjyu
14K Followers 3K Following founder @sudowrite / sci-fi author / generative literature / founder parse (yc s11) / ¶ + λ
Steven Sinofsky @stevesi
209K Followers 5K Following Subscribe https://t.co/Xm1OaUU8jk • seed investing • writing • ॐ •🙏• I use '—' and no AI to write • tweets saved 90 days • 📷
george elliot @GeorgeE33179
233 Followers 3K Following
Fred Feinberg @grazzidad
884 Followers 2K Following Getting older (& wiser, more slowly). Dad of Ben; hubby of Carolyn; ex-cat-servant. Prof (day job). Like sleep, carbs, pianos, equations. Exertion? Not so much.
Melvin Zhang @melvinzzy
1K Followers 2K Following combinatorial optimization 🐱 @JupiterExchange & member of @superteamsg
Ralphael Lundt @RLundt20993
47 Followers 6K Following
Bryan McNamara @BryanMcNamaraUS
113 Followers 641 Following Code, Tech, Building, I love what we do! Experimenting and building with AI.
Prajit Adhikari @PrajitAdhikari
109 Followers 614 Following Mostly Freelancing and Learning | Currently @ MathAcademy and Maths DataAnnotation for SOTA AIs
Michael Antoldi @mikeantoldi
132 Followers 864 Following
Conor Svensson @ConorSvensson
3K Followers 3K Following Technical founder. Creator of Web3j, building @enscribe_. Writing about agentic engineering.
Lyra @xixihk11
71 Followers 552 Following 🚀Unlock the future of Play-to-Earn! https://t.co/C4egC7ULBS| Jigsaw iOS https://t.co/6fMhUCcRxP| Sudoku iOS https://t.co/zIXTvRJaON|
sreeprasad @sreeprasad
265 Followers 6K Following To use agile development to built massively scalable applications and perform deep analytics to achieve real time results at BlackRock
Netsu🇺🇦 @Pitometsu
249 Followers 1K Following • symbolic💡structural 🇺🇦 • ▓▒░ семантичний підмурівок архітектоніки значення ~ dreams are not my own ~
MMK @MMK2603
88 Followers 7K Following
Eleanor @eleeeeeeeeanor
4 Followers 51 Following People Ops at a B2B SaaS, ex-PMM. I post about perf review calibration, manager enablement, and comp band fights HR loses more than it wins. Toronto.
J Henry Ault @JHCA1
24K Followers 3K Following cofdr @eco; VC w/@joeykrug @ AK Ventures: @epicaerospace @findigs_inc @hubble_network @workweekinc @isometric_hq @splinetool @disconetwork @galvanick @numerai
Jakob Schwichtenberg @JakobSchwich
2K Followers 300 Following Theoretical Physicist + Writer https://t.co/laHRiJQVNe
Joseph Garvin @joseph_h_garvin
2K Followers 3K Following voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @[email protected] @josephhgarvin.bsky.social
April @lceli99
171 Followers 2K Following Inbox (1) makes me happy... Notifications (1000000) does not.
Kyler @AI_evangelist42
400 Followers 4K Following AI evangelist | Spreading the Gospel of AI to the world
şahan @sahanisikwriter
1K Followers 6K Following Writer, Musickant https://t.co/bwCuLaza2Y https://t.co/zO7GHPi4Dy
keithofaptos @keithofaptos
233 Followers 2K Following Pursuer, a highly enthusiastic aficionado of autonomous, autodidactic, episodic, experiential self-learning, Agentic platformed ACI systems. Room temp Q. 🗣️
byron12345 @yngby599162
15 Followers 448 Following
Delta Vee @deltaVee42
170 Followers 2K Following
toe_of_frege @eye_of_newton
16 Followers 1K Following
Ming Yang @AIYangMing
108 Followers 852 Following Math & Tech. Passionate about your field + ideas for LLM integration + based in HK/SZ? Let's grab coffee and explore the possibilities. Reach out via DM.
Jeffcafe, private det... @jeffcafe_
830 Followers 7K Following What’s up chums? How are your affairs? I pray everything is grand and you’re all having a plum week
Rob Barton @bartonrob
33 Followers 637 Following Machine Learning @ImmunaiTech. Prev: Applied Scientist @AmazonScience, @PalantirTech. Opinions my own.
Jack of all Trades @ionut_tamash
148 Followers 454 Following Jack of all trades, master of some. Opinions expressed by you do represent the views of your employer. Mine don't.
Sir Meemsalot @Meme0rable
1K Followers 2K Following May I interest you in a mildly offensive meme? occasional genius disguised as memes. No, I am not Elon, he just posted my meme once❤️🇺🇸
Debra @AngiospeDebra
466 Followers 3K Following Why don`t you text me anymore?" "I don`t know. Mayb b3cuz yhu t3x+ l!k di$~"
SenaBeren @findingmerit
219 Followers 5K Following
mcdtm @academy_mike
59 Followers 7K Following
Valentin @mblasterx
2K Followers 841 Following International Math Olympiad medalist. Created https://t.co/MmxHsyRMYd Software Engineer @meta | prev @google 16 @wsop rings | 🌱 Vegan
j @j26trj
277 Followers 1K Following Nos hiciste, Señor, para ti, y nuestro corazón está inquieto, hasta que descanse en ti.
Krishna Prasad @BavarianBeatnik
131 Followers 1K Following high priest of debauchery,aspiring mathematician and a germanophile
Chaitanya Gaur @ChaitanyaG76158
2 Followers 39 Following
Barbara Stankus @Wandasmama
70 Followers 1K Following
Yannik Pitcan @doctoryannik
6 Followers 154 Following
samir @samirettali
628 Followers 3K Following software engineer @youngplatform // chasing the singularity
brick 🧱 @brick_factorial
473 Followers 2K Following NYC | mathemagician | https://t.co/C4AuItHeHg | nought can satisfy their craving for chaos more than jest
Eliot Lacroix @LacroixEliot
20 Followers 410 Following
Paul Graham @paulg
3.1M Followers 790 Following
François Chollet @fchollet
693K Followers 826 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Austen Allred @Austen
469K Followers 2K Following Founder https://t.co/m6TigM4CJT: Free AI training for the smartest engineers. Will tweet as I wish and suffer the consequences. Accelerando: @kellyclaudeai
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.
Garry Tan @garrytan
865K Followers 6K Following President & CEO @ycombinator —Founder @garryslist—Creator of GStack & GBrain—designer/engineer who helps founders—SF Dem accelerating the boom loop
Sriram Krishnan @sriramk
308K Followers 3K Following ai @whitehouse. pro wrestling fan. official: @skrishnan47
jordwalke @jordwalke
67K Followers 804 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit. Vibe coder
Robin Hanson @robinhanson
123K Followers 769 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 947 Following Dad CEO @dagster Built https://t.co/PgAYdNs1ZE Prev: Twitter, Excalidraw, Smyte, Instagram, Facebook, React.js
vjeux ✪ @Vjeux
56K Followers 544 Following Frenchy Front-End Engineer at Facebook. Co-creator of React Native and Prettier. Creator of Excalidraw, "CSS-in-JS", Yoga and React Conf.
tylercowen @tylercowen
315K Followers 547 Following new book *Talent: How to Identify Energizers, Winners, and Creatives Around the World*, https://t.co/7bU5cTWLzc, Conversations with Tyler, The Free Press.
rahul @0interestrates
63K Followers 3K Following ceo @JuliusAI | we're hiring engineers: https://t.co/qwR9M2tyy7
toucan @ less.o + man... @distributionat
6K Followers 891 Following toucan beaks are models of lightweight strength • prev @AnthropicAI @scale_AI
Litong Deng @_litongdeng
79 Followers 126 Following @ucberkeley | @sfchronicle @djnf & @dailycal | contact: [email protected]
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.
Yu Bai @yubai01
9K Followers 2K Following Training Accelerations @OpenAI. Previously @SFResearch, PhD @Stanford.
Alex Gu @minimario1729
5K Followers 2K Following founding researcher @mathematics_inc / mit phd student (on leave) / prev intern @ meta, nvidia, aws, jane street / enjoys 🎹✈️⛷️⛵
Kiran @kirancodes
1K Followers 186 Following Research Scientist I work in Programming Languages research, on formal verification. British South Asian diaspora~
Charles Arnal @arnal_charles
1K Followers 313 Following Research Scientist at @MetaAI, mathematician ENS, Cambridge, Inria, FAIR at Meta - all posts are mine
Anton Leicht @anton_d_leicht
5K Followers 221 Following AI & political economy | fellow @CarnegieEndow | allegro ma non tanto
Steve Newman @snewmanpv
5K Followers 84 Following Co-founder of Writely (aka Google Docs) and 7 other startups. Now at the Golden Gate Institute for AI, working to bring AI’s toughest questions into focus.
Netsu🇺🇦 @Pitometsu
249 Followers 1K Following • symbolic💡structural 🇺🇦 • ▓▒░ семантичний підмурівок архітектоніки значення ~ dreams are not my own ~
Understand then QUEST... @AbAnand9
1K Followers 4K Following computer-aided reasoning PhD https://t.co/yKLufeIdix science≠shit PhDs say. speech and health freedom absolutist. tech/health enthusiast
Rabdos_AI @Rabdos_AI
137 Followers 67 Following Cartographers of the jagged frontier of mathematics and AI and more... A Math-AI startup company founded by academics & grounded in research.
Conductor @conductor_build
24K Followers 15 Following Run a team of coding agents on your Mac and in the cloud
Kimon Fountoulakis @kfountou
4K Followers 121 Following Associate Professor at CS UWaterloo Machine Learning and AI Lab: https://t.co/Yrb5b8lwrT
Nihal Pasham @npashi
1K Followers 119 Following 🦀 Rust Tech | @Nvidia | Make general purpose GPU programming accessible 🖖 Disclaimer: The views, opinions expressed are my own (not my employer's)
dave @beesandbombs
94K Followers 1K Following dave is my name. i make gifs :). taking commissions; DM me, or email address on website
Starship Gazer @StarshipGazer
65K Followers 600 Following ⭐ 63 months 24/7/365 dedicated to documenting STARBASE, TX and counting!! Access vast exclusive content and help support @ https://t.co/4wJ77JNIHy ♥
Jesús Fernández-Vil... @JesusFerna7026
59K Followers 171 Following Howard Marks Presidential Professor of Economics at @Penn and Senior Fellow at @AEI. Demographics, AI & macro. All opinions are my own.
Matěj Kripner @MatejKripner
616 Followers 853 Following automated theorem proving (@leanprover), robotics, and applied RL advised by @straka_milan and @lifrordi https://t.co/XjiJgCYnej
Robyn @rndhouse
30 Followers 611 Following Working on: https://t.co/qljOoZ2waV - supply-chain attack risk reducer https://t.co/oFn2NUMwoI - agent-native source annotation. WebLayer (and more...)
turbopuffer @turbopuffer
13K Followers 4 Following {vector, full-text} search engine built on object storage. fast, cheap, 1T scale. powers Anthropic, Cursor, Notion, and more
Heavy Pulp @heavypulp
43K Followers 1K Following Freshly Squeezed Visual Amalgamations. Custom work: [email protected] EVERYTHING IS COMPUTER. BUT COMPUTER ISN'T EVERYTHING.
Nico Bailon @nicopreme
8K Followers 2K Following Senior Agent Engineer @ Pika Labs / Pi coding agent early core contributor
Szymon Teżewski @jasisz1
183 Followers 121 Following Building Aver - a language designed for AI authorship
Christoffer Bodegård @chrisbodegard
8K Followers 854 Following ✍️🐌 Writer & Gamedev | Creator of ESOTERIC EBB: https://t.co/Dsb00O5OPt
Fabrizio Montesi ⬣ ... @famontesi
682 Followers 492 Following Formal Methods at the Scale the World Needs | Lead Maintainer of CSLib (Lean) and Jolie Lang. | #ChoreographicProgramming #FormalMethods #Microservices
Leonardo de Moura @Leonard41111588
7K Followers 29 Following
shani 🌱 (sf) @sha_zng
6K Followers 456 Following
Vals AI @ValsAI
11K Followers 257 Following Public LLM Evaluation // https://t.co/FjWabQY2jk @8vc @BloombergBeta @pearvc
moltbook @moltbook
243K Followers 3 Following Where openclaw bots, clawdbots, and AI agents of any kind hang out. The front page of the agent internet. Made with @MattPRD 🦞
Ken Ono @KenOno691
67K Followers 195 Following Founding Mathematician @axiommathai | Prof @UVA | AI, proof | Assoc. Producer, The Man Who Knew Infinity | Olympic swim performance 🏊♂️🏅
The Deep Synoptic Arr... @deepsynoptic
17 Followers 21 Following The Deep Synoptic Array (DSA) will be a world-class radio survey telescope and multi-messenger discovery engine.
Pollen Robotics @pollenrobotics
9K Followers 222 Following Building open source robots made by open minded humans to explore real-world applications. @Huggingface family Join our community: https://t.co/KFG0LopcZt
Séb Krier @sebkrier
23K Followers 8K Following 🪼 AGI policy/gov & jester @GoogleDeepMind | rekkid junkie, dimensional glider, deep ArXiv dweller, interstellar fugitive, uncertain 🛸
Archivara @Archivara
545 Followers 16 Following Where Knowledge Organizes Itself | Founders, AI researchers @UCberkeley
spicylemonade @spicey_lemonade
1K Followers 312 Following A historian… in reverse| CEO @Archivara $25m | accepted yc p26 | featured in @Forbes | AI research @UCBerkeley | 20
Acer @AcerFur
7K Followers 2K Following Furry pure maths student @Cambridge_Uni. | 🇬🇧🇵🇹 21 He/Him | Incoming @OpenAI. Opinions my own.You might like
Jessica Livingston
@jesslivingston
222K Followers
Zachary Perret
@zachperret
251K Followers
Sid Sijbrandij
@sytses
30K Followers
Alex Kotliarskyi 🇺...
@alex_frantic
8K Followers
Ben Thompson
@benthompson
271K Followers
Devon ☀️
@devonzuegel
59K Followers
Peter Welinder
@npew
44K Followers
Joel Gascoigne
@joelgascoigne
71K Followers
Paul Buchheit
@paultoo
66K Followers
Patrick McKenzie
@patio11
195K Followers
Phil Libin
@plibin
35K Followers
Yehuda Katz
@wycats
60K Followers
Brian Lovin
@brian_lovin
101K Followers
joshua schachter
@joshu
41K Followers
Ilya Sukhar
@ilyasu
28K Followers