ℂosmin Lehene @clehene
Apply-focused indie lab researching mathematical foundations of systems across domains. Ex-founder (fintech/infra), CS + big data/distributed systems (Adobe). Mill Valley, CA Joined April 2007-
Tweets3K
-
Followers692
-
Following2K
-
Likes1K
a single system is a special kind of distributed system. It's a distributed system that is undistributed.
0
0
3
90
0
View Details
ℂosmin Lehene retweeted
@littmath @SebastienBubeck @ChrSzegedy Isn’t it delusional to argue about now, while ignoring the trajectory?
sheep herder solved Riemann Hypothesis with just a pencil, paper and an android phone with some use of AI "specifically Claude Opus 5 and GPT-5.6 Sol, for computational exploration, proof idea generation, and editing"
ℂosmin Lehene retweeted
Those in front telling those behind to slow down Those behind telling those in front to slow down
It seems to me that before "urgently figuring out how to control AI systems much smarter than us" we need to have the beginning of a hint of a design for a system smarter than a house cat. Such a sense of urgency reveals an extremely distorted view of reality. No wonder the more
It's not "personal" if it runs on someone else's machine
Remember the three things that matter: - distribution, - distribution and - distribution learn.chatgpt.com/docs/customiza…
Rewind, Recall, remember distribution is everything
Satya Nadella says Windows PCs will have a photographic memory feature called Recall that will remember and understand everything you do on your computer by taking constant screenshots
@pointed_max they did initially call them "organs" too
Facebook's lack of privacy was weaponized to make Brexit happen (en.wikipedia.org/wiki/Facebook–…) yet EU continues insisting destroying privacy will "protect EU" reclaimthenet.org/eu-protecteu-s…. I'm sure Orban would have loved the capability.
got scoffed at today that HN is not a monoculture
spot the difference?
ℂosmin Lehene retweeted
This is called "August" in Europe
At Meta you get to take "re-charge" every five years. It's effectively a 1 month sabbatical. Just took mine (after 6+ years). Best perk ever. I was trying to think the last time I have gone 1 month without a job and I think it was summer after 6th grade. It's been some 25+
Can't wait to see what browsing in 2030 will be like
Gemini is nice and apologizes. Sol delivers
surprised how many are surprised to see DHH is a bigot asshole
Bianca Costache @biiancacostache
354 Followers 1K Following Engineering Manager @Adobe | Emerging Tech Enthusiast | Space Nerd Writing at https://t.co/7L5xghPOzW
Andrei Savu @andreisavu
7K Followers 8K Following AI Agents & Data Platforms | Currently obsessing over agents doing useful work unattended and in a cost effective manner
Simon Taylor @sytaylor
73K Followers 5K Following Nerd in AI and Finance. Ranting @ https://t.co/u3KhcpA0w9 - Views 100% my own
Cosmin Negruseri @cosminnegruseri
4K Followers 4K Following ex Pinterest Search / Homefeed, https://t.co/0VwMvjB9Xh, Altiscale, Google Ads, Search, Google Code Jam organizer
Michael Marth @michaelmarth
1K Followers 540 Following Leading engineering for AEM Sites and AEM Screens On Mastodon https://t.co/1uIxair6Mg
Bogdan Gaza @hurrycane
2K Followers 2K Following co-founder & CTO @DatologyAI working to make it easy for anyone to make the most of their data, hax0r, ex-@Twitter & Amazon Engineering
Matt Janiga @regulatorynerd
11K Followers 10K Following Payments stuff at Modern Treasury. Former Stripe, Square, Lithic, Cap One. Views are mine, and not my company's.
Dmitriy Ryaboy 🇺�... @squarecog
9K Followers 1K Following VP Eng. Recovering data engineer. Co-author of @MissingReadme. Plays with swords. Helped build this stupid place, long ago.
Kelcie Cochrane @kelciesu16
21 Followers 525 Following
Lev @chumwonktonodI
244 Followers 2K Following Most of the time, I try to be less confused than yesterday and fail. PhD student in physics @FU_Berlin. Always happy to chat and learn more.
Tom Hadley @thadley0
631 Followers 1K Following head of growth @lexfinance | former @raincards @affirm @marshglobal
Peter Kazanjy @Kazanjy
29K Followers 13K Following Tweeting Founder Led Sales & SaaS. Author @foundingsales. 3x exited founder | @atriumhq, @founderledsales, @modernsalespros, @talentbinhiring. B2B Angel.
N.A. Cottrell @badsci_fi
47 Followers 197 Following Owner of Jeff's MCP TOOLING & STORAGE. Formerly everywhere. Please don't follow.
Param Reddy @ParamRReddy
3 Followers 191 Following
🔥囧Robert Osazuwa... @osazuwa
3K Followers 786 Following Probabilistic machine Learning, causal inference, language models. Teach at https://t.co/6Cp4YPz2wB & @Northeastern, work at @MSFTResearch.
0xa14u @0xa14u
18 Followers 2K Following
Basically a Human @ChickenListener
241 Followers 2K Following I contain multitudes // latinx // american
Cristian Pop @drcristianpop4
0 Followers 27 Following
Unsuspicious Industri... @unsuspiciousind
14 Followers 43 Following Non-profit formally verified open research hub
Rufus @rufustdefi
2K Followers 2K Following 💼 Former project lead turned Project Manager and Strategy Advisor. Managing projects, advising on strategies, and thriving in NFTs & DeFi. 🌐
sanya @sanyakapoorrr
4 Followers 157 Following currently ai intern @ a research org, looking to connect with folks interested in low level systems & ai :)
Maaz @mmaaz_98
3K Followers 2K Following @thinkymachines. prev @anthropicAI. PhD @uoft. I like polynomials.
duve @jevonduve
611 Followers 451 Following logics and categories. like to play with dependent types. 24. vegan. penn. doing formal methods @logic_int
∞-modal Noah @NoahChrein
4K Followers 2K Following Omni-Modality through Higher Formal Category Theory
Z, MSc Memes @Z_derZeitgeist
81 Followers 1K Following metamagician | physicist | philosopher | secretly building super-AI Europoor 🇪🇸🇪🇺 waiting for MOASS
Netsu🇺🇦 @Pitometsu
263 Followers 2K Following • symbolic💡structural 🇺🇦 • ▓▒░ семантичний підмурівок архітектоніки значення ~ dreams are not my own ~
Alexander Obenauer @alexobenauer
7K Followers 4K Following I explore the interfaces with which we think & the future of personal computing. I also make books: https://t.co/ZyeFLYmRMh
Fabrizio Milo @fabmilo
836 Followers 2K Following LF angels investors (inception phase) AI for Software Development at Scale. I believe: - English is the new programming language - Code will eat the world
Tewshurt @TewshurtjfXS
76 Followers 1K Following
Ycrebum @Ycrebum0408599
81 Followers 3K Following
Igor Baković @bakovic_igor
188 Followers 284 Following A working category theorist, working on foundations of mathematics, logic and theoretical computer science.
Tharthout @TharthoutT80
52 Followers 1K Following
Sunisil @Sunisilflq2Z_
84 Followers 3K Following
jose wo @JosewonX
130 Followers 7K Following
Soatealor @SoatealorOJlYk
45 Followers 3K Following
CarolHenrietta @PDp8ot1f9953t4
68 Followers 7K Following
Flora Zarcu Power MD @fzarcu
2 Followers 35 Following MD, life learner, forward thinking, enthusiast
Thataw @Thatawj0DlD
54 Followers 4K Following
Santiago @svpino
457K Followers 603 Following Computer scientist. I teach hard-core AI/ML Engineering at https://t.co/THCAAZcBMu. YouTube: https://t.co/pROi08OZYJ
Erik Bernhardsson @bernhardsson
58K Followers 4K Following Building everyone's favorite AI infrastructure platform @modal
Andrei Savu @andreisavu
7K Followers 8K Following AI Agents & Data Platforms | Currently obsessing over agents doing useful work unattended and in a cost effective manner
Matt H 🇺🇦 @mdharrisnyc
3K Followers 533 Following Fintech guy / exec coach for 10+ VC backed cos. Investor 10+ fintech cos (@trueaccord + @usesmileID + @trykarat etc) + founded @bloomcredit and @claimsetter
Alex P @ifesdjeen
16K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQ
Vladimir Oane @vladimiroane
3K Followers 715 Following Help people organise & share their knowledge. Currently the founder of @deepstash (where we connect 2M people through ideas), former @ubervu & @hootsuite.
fintechjunkie @fintechjunkie
54K Followers 2K Following Founding Partner 37Maru. Co-Founder QED Investors. 7X Forbes Midas List. Author of ArrowProof. CEO of a new fintech company in stealth mode!
Cosmin Negruseri @cosminnegruseri
4K Followers 4K Following ex Pinterest Search / Homefeed, https://t.co/0VwMvjB9Xh, Altiscale, Google Ads, Search, Google Code Jam organizer
Alex Johnson @AlexH_Johnson
30K Followers 4K Following Writing and podcasting @FintechTakes. Helping to build @finityWW. Endlessly curious.
Bogdan Gaza @hurrycane
2K Followers 2K Following co-founder & CTO @DatologyAI working to make it easy for anyone to make the most of their data, hax0r, ex-@Twitter & Amazon Engineering
Stefan Prodan @stefanprodan
5K Followers 536 Following Head of development @controlplaneio. Maintainer of @fluxcd. Creator of https://t.co/56cb3Odkmf | https://t.co/gJ4wNoobmP | https://t.co/yEnBBhv1EW
Ohad @ohadsamet
6K Followers 255 Following сука, пожалуйста. consecutively elected president of @louisesamet ‘s fan club. for corporate: @truemlco. Try my OnlyFans
Andy Pavlo (@andypavl... @andy_pavlo
42K Followers 211 Following Database Research @ClickHouseDB. Associate Professor of Databases @CarnegieMellon.
Charley Ma @CharleyMa
18K Followers 2K Following Startup builder and investor. Former cofounder+GP Pathlight Ventures, first biz / head of growth @tryramp, @Plaid, @usealloy.
Delip Rao @ COLM26 @deliprao
72K Followers 5K Following AI researcher @Penn. Past: @johnshopkins, @UCSC, @Amazon, @Twitter. alt: 道元, improv, running 🌈
Matt Janiga @regulatorynerd
11K Followers 10K Following Payments stuff at Modern Treasury. Former Stripe, Square, Lithic, Cap One. Views are mine, and not my company's.
Dmitriy Ryaboy 🇺�... @squarecog
9K Followers 1K Following VP Eng. Recovering data engineer. Co-author of @MissingReadme. Plays with swords. Helped build this stupid place, long ago.
Dimitri Dadiomov @dadiomov
17K Followers 4K Following Cofounder & President of @ModernTreasury (YC S18). Views are my own. Some are not even views. Some are just tweets. https://t.co/miBKt3jepk
Daniel Rosiak @DanRosiak
1K Followers 571 Following math (category theory) by day, build by night, making logic and reasoning cool again @LogicIslandsApp
Joseph Modayil @JosephModayil
178 Followers 33 Following
Gloria Kennickell @gkennickell
150 Followers 155 Following Eng @ KeenTech; Former Sr Eng @ Meta; Oculus OG; Oculus Mobile Runtime & SDK; GearVR, Go, Quest; Khronos OpenXR; Former Sr Eng @ id Software.
Ineffable Intelligenc... @IneffableLabs
10K Followers 0 Following Making first contact with superintelligence.
Khurram Javed @kjaved_
7K Followers 195 Following Developing efficient algorithms for learning in big worlds @oaklab_ai Prev ~ Keen Technologies and PhD with Richard S. Sutton
Oak Lab @oaklab_ai
8K Followers 0 Following We are building learning algorithms that allow agents to achieve goals in big worlds.
Liam Fedus @LiamFedus
41K Followers 1K Following Building industrial-scale science at @periodiclabs Past: VP of Post-Training @OpenAI; Google Brain
Mithil Vakde @evilmathkid
4K Followers 582 Following Trying to solve sample efficiency prev: Engineering physics @iitbombay '23
Tom Verbeure @tom_verbeure
5K Followers 237 Following Plays with FPGAs. There can never be enough LEDs. Hardware engineer at Nvidia, but my views here are my own. he/him. Also @tom_verbeure at the woolly elephant
Founders Inc @fdotinc
91K Followers 366 Following Where the world’s most ambitious founders start. Apply to Blueprint II: https://t.co/nqic6XT3ob ($150k funding upfront, 3mo in SF + 1 year of dedicated space)
Formlabs @formlabs
29K Followers 997 Following High performance 3D Printers, finally within reach: industrial-quality SLA and SLS 3D printers
Patrick Yang @patrick_riscv
4K Followers 851 Following VP/CTO at WCH, phD YouTube: https://t.co/FMxHOGGJ12 Sample purchase：https://t.co/2FQ0vwrtSR
Scrap Labs @ScrapLabs3D
942 Followers 2 Following At Scrap Labs our mission is to build the most advanced, most radically affordable metal 3D printers in existence.
Всеволод @vseplet
2K Followers 537 Following Инженер, нигилист, НЕ программист, пишу https://t.co/JAWa3rEAyR, автоматизирую все и вся, а голос вообще пушка
The FACTs of Mechanic... @facts_design
277 Followers 26 Following "The FACTs of Mechanical Design" is an educational YouTube Channel about the design of mechanical systems such as compliant mechanisms and architected materials
Kevin Santo Cappuccio @arabidsquid
2K Followers 1K Following Obligate goofy goober / nonsense enthusiast / degenerate thing maker Opinions are not my own, they are officially the core values of my employer.
Lanyon AI @lanyon_ai
4K Followers 4 Following Formal verification for a computable universe. Building the future of scientific computing.
Machine Agency @Machine_Agency
535 Followers 136 Following We are a research group at @UW harnessing the precision of machines for the creativity of individuals. Recruiting PhD students & postdocs!
The Next Platform @TheNextPlatform
9K Followers 6 Following For all that matters at scale. HPC, hyperscale, large enterprise and now out to the edge.
Lukas Czinger @lukasczinger
713 Followers 40 Following CEO, Co-Founder Divergent3D | CEO, Founder Czinger Vehicles
Luke's Laboratory @LukesLaboratory
2K Followers 151 Following Luke's Laboratory is a manufacturer of premium high performance 3d printer parts and 3d printers, specializing in production, manufacturing, and service!
Alex Rives @alexrives
15K Followers 898 Following AI for scientific discovery. Head of Science, Biohub. Founder and scientific director of the ESM project.
Bowen Peng @bloc97_
2K Followers 90 Following
théo gigant @gigant_theo
1K Followers 629 Following research scientist @nousresearch, previously PhD @ université paris-saclay / centrale supélec
emozilla @theemozilla
14K Followers 1K Following catholic, ai researcher, co-founder/cto of @NousResearch alignment: whatever the opposite of yudkowsky + bryan johnson is. blessed be God in all his designs.
Tomasz Limisiewicz @TomLimi
841 Followers 522 Following Postdoctoral researcher at @meta Fair and @uwnlp , Interested in going into the inner workings of neural networks, multilingualism, and fairer NLP (he/him)
Tolga Birdal @tolga_birdal
4K Followers 266 Following geometric computing, computer vision, machine learning, philosophy, music @ICComputing, previously @StanfordAILab
'(Robert Smith) @stylewarning
5K Followers 289 Following Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
softyoda @softyoda
514 Followers 3K Following the Absolute isn't at the end of the ordinal climb. It's the climbing itself recognized as already complete at every step
Joseph Suarez 🐡 @jsuarez
31K Followers 126 Following I build sane open-source RL tools. MIT PhD, creator of Neural MMO and founder of PufferAI. DM for business: non-LLM sim engineering, RL R&D, infra & support.
Softmax @softmaxresearch
1K Followers 40 Following Softmax's mission is to scale organic alignment. We approach this problem with multi-agent reinforcement learning population-based simulations.
Cosmos Archive @cosmosarcive
31K Followers 510 Following Curating the Cosmos : Astronomy, cosmology, and physics clips with expert takes and stunning imagery.
Adam Scholl @adamascholl
906 Followers 299 Following Trying to help life survive. I work on the alignment problem, and on writing about how far we seem from solving it.
Hadi Vafaii @hadivafaii
1K Followers 176 Following Postdoc @UCBerkeley @Redwood_Neuro | 🧠+🤖 | 🎹 | 🎾 |
Alexander Dugin @AGDugin
494K Followers 748 Following Doctor of Sociology and of Political sciences, PhD of Philosophy. Founder of Russian geopolitical school and Eurasian Movement.
Maxwell Tabarrok @MTabarrok
10K Followers 1K Following Blog at: https://t.co/HoZPBACPlO Economics PhD student at Harvard
Steve Yegge @Steve_Yegge
49K Followers 30 Following I've been in the industry for O(40) years and have written O(1M) LOC. I don't think I'll ever write O(another) line again, but I'll be launching more than ever.
Cortical Labs @CorticalLabs
15K Followers 4 Following What happens when you grow an organic mind in a digital world?
HDP @HDPbilly
5K Followers 7K Following longsword farming tailoring nanoscience ~=~ Mixed Radix Enjoyer and topological computing maximalist ~=~ machine interface @hyphaeic
Saining Xie @sainingxie
41K Followers 2K Following cofounder & chief science officer at @amilabs | faculty @nyu_courant | prev: @googledeepmind @meta (fair) @ucsandiego | ynwa
Elon Litman @elon_lit
5K Followers 298 Following AI researcher @Stanford. hypernetworks, energy-based models, genomics. Everettian. information geometer.
Seve @seveibar
7K Followers 5K Following founder https://t.co/UumwaBg3CF, AI must create electronics. https://t.co/CmXXav93uj podcast host, founding CTO https://t.co/kbabWthGkJ,❤️ open-source. Author https://t.co/jj9o1UMpWk, ❤ lab collabs
Andrew Saxe @SaxeLab
6K Followers 382 Following Prof at @GatsbyUCL and @SWC_Neuro, trying to figure out how we learn. Bluesky: @SaxeLab Mastodon: @[email protected]You might like
Alexandru Costin
@acostin
3K Followers
Mihai Maruseac
@mihaimaruseac
3K Followers
mrm
@mrm008
170 Followers