-
Tweets173
-
Followers45
-
Following297
-
Likes2K
i’ve finally found the true delineator between real and fake jobs: do you wear safety glasses at any point throughout the day?
@mitchellh @OkamaKichigai @thatsFrScience I love tmux but tmux’s default keybindings are insane. The most powerful and useful navigation actions are cloaked beneath obtuse multi-key inputs. “C-b q 2” is a four fucking key presses for “go to pane 2”.
@QuinnyPig Keen-eyed observers will have noted that GitHub is _still_ serving artifacts straight from S3 after all these years. That’ll definitely add more guns to the Microsoft org chart.
@samlambert Attack the magic quadrant people next Sam
@pepicrft I love nix. I’ve used it for years happily. My favourite feature was safe whole system rollback. Then I discovered beadm on illumos. It has ruined me.
@bexcran Similarly I have found that robots have made SELinux moderately tolerable. Point the LLM at the denial log or whatever it’s called and have it explain and fix things.
I was recently diagnosed with a rare autoimmune disorder called anti-NMDA receptor encephalitis. It's a "disease of chaos" that completely upturned my life for a couple months. I wrote a blog about it that goes into more detail and discusses prognosis. burntsushi.net/encephalitis/
@burntsushi5 Devastated to hear about this, Andrew. Wishing you the best of health and best of luck in the satralizumab trial. We should all be so lucky to have a Kaitlyn and a Charlie in our lives.
@TaliaRinger Zotero does this. Paste the doi to import. Right click to export as bibtex
@lemire Beer and power tools is like SIMD for injuries. You can cut multiple fingers off at the same time
@paul_conyngham Beast. Keep up the good work.
@tqbf At my old job we owned the last mile of (probably) the largest ephemeral creds distribution system on earth. I’d add one very important caveat: you MUST have the ability to slightly extend lifetimes in an emergency (eg from 6 hours to 8)
@scottnarmstrong @AlexKontorovich @nasqret @JaumedeDios @leanprover @axiommathai @HarmonicMath @Leonard41111588 2) Formalising unassailably true results only adds value to mathlib if it’s reusable or generalizable. They’d do a 180 if you upstreamed novel tactics or added some type classes / structures that neaten some of the grimy parts of mathlib
@scottnarmstrong @AlexKontorovich @nasqret @JaumedeDios @leanprover @axiommathai @HarmonicMath @Leonard41111588 Their points are valid but badly made. 1) Formalisation using painfully long unreadable vibecoded Lean is only valuable if the result is not well known to be true or if parts of the proof were sketchy.
@grhmc Problem is these data sets lump blocks with terrible reputations (for sending spam basically) with good blocks. Not all ranges are made equal
@HeidyKhlaaf This time is different. > And it autonomously wrote a remote code execution exploit on FreeBSD’s NFS server that granted full root access to unauthenticated users by splitting a 20-gadget ROP chain over multiple packets. This is a sea change in capability.
@bankof_amERICA Pro tip: give your kids proper middle names or something differentiating. When I worked at Amazon there were three Daniel Levin’s. I have the “John Smith” of Jewish names and have no middle name to set me apart
@halvarflake docs.cloud.google.com/compute/docs/g… “Bursting” and “shared core” are merely PR-speak for oversubscription. That’s all it is.
@littmath Someone is going to formalise something that advances the frontier a godlike amount (eg Mochizuki vindicates himself) and at that point the world will bifurcate into those doing high assurance mathematics and those stuck in the stone ages.
@littmath I still do not understand why you or any serious mathematician would engage with AI-generated mathematics that isn’t formalised in Lean. A proof that type checks isn’t necessarily right (eg statement could be wrong lol) but it should be table stakes for AI assisted proof!
wombot 👀 @_colourmeamused
4K Followers 5K Following wombats | trains | BRT hater | mountains | Impressionism | antipodean | code is a liability | a bit to the left | largest diaspora | ⚽️Amy Sayer & Irankunda fan
Richard V (e/relay) @blitz2145
32 Followers 1K Following
David Crawshaw @davidcrawshaw
12K Followers 1K Following ceo https://t.co/rCiZyr11L3, co-founder and ex-cto @Tailscale. forever a programmer
Anderson Nascimento @andersonc0d3
4K Followers 6K Following Director & Security Researcher @alleleintel
Graham Christensen @grhmc
6K Followers 1K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys 📻 NO5IG
LionessAmeliaSmith @er9z1ALD7Qr9kGH
26 Followers 1K Following Success is my superpower Adventure begins where comfort ends
Aidan W Steele @__steele
10K Followers 2K Following I try to tweet novel things about AWS.“Shit-poster extraordinaire” according to @LastWeekInAWS. He/him. AWS Serverless Hero
Kenneth Cassel @KennethCassel
41K Followers 7K Following making complex metal assemblies for fast moving companies | Founder at RMFG
Taylor Stanley @josh_fk69
85 Followers 3K Following
DisneyOnIceSpice @DisnyOnIceSpice
223 Followers 7K Following late addition to the global settler community: 小洲 - in me the continents feel closer
suchapalaver @yeseviljlivesey
281 Followers 5K Following dad/dog-dad/engineer/rustacean/coding agent bully with “Past Lives” in England, China, Russia, Ukraine, and the NYU Anthropology Department
Mousematician 🌱 (E... @ponensmodermode
813 Followers 1K Following i love all the little people running around in my Computer!
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types. lean4 💜 newbie. love thinking about type systems. jewish. ¬p-zombie.
Julian Fried @JulianFried
7K Followers 3K Following Building welding robots at Advanced Metal Research | Prev. Welding foreman in Eastern PA 🇺🇸
NanoVMs @nanovms
2K Followers 8K Following NanoVMs - no users, no login, single application unikernel vms. Protecting everyones cloud. Faster than Docker, Faster than Linux.
Borja Fernandez Barbe... @BorjaBiohacking
238 Followers 3K Following 🚀 Get Fit & Stronger 💪Look & Feel Younger 🏰 Eat your Favorite Foods. Join our private 100% free community, Message me 👉 POWER BIOHACKING©️
Vlad Vukicevic @vvuk
3K Followers 677 Following Find me at https://t.co/UVD9YkaMFd or @[email protected]. Planning the future. Former Unity, Mozilla. WebGL creator. Opinions are my own.
Jerry Kim @jerry_3k9
20 Followers 743 Following
Seerel @Seerel240565
3 Followers 207 Following
Andy Peng @pymhq
606 Followers 4K Following MLE @AmazonScience: post-train, inference & benchmark; @CNCFAmbassadors; Lecturer @UW; @ai2incubator Resident Expert; Opinions are my own.
Jason Chalom @TRex2218
130 Followers 2K Following I Build, I Make, I Code Senior Software Engineer by day, and computer scientist working in computer vision for autonomous vehicles by weekend
Chris Allen ☦︎ �... @bitemyapp
4K Followers 2K Following 程序员 | 一千个敌人的王子 | 拜占庭 米塞斯 党团 | Πρίγκιπας με μυριάδες εχθρούς | Εκκλησιαστική αυτοεξορία | RGCC | anarcho-zyndicalist (Lucyite local #777)
Larry Kim @larrykim
682K Followers 529K Following CEO @CustomersAI, Founder @WordStream; Acquired by USA Today for $150M - Columnist @Inc, @Medium. Popularized Unicorns in Marketing. Engineering @uWaterloo.
AI Expo Africa 2026, ... @aiexpoafrica
4K Followers 5K Following Africa’s largest Enterprise AI & Intelligent Automation Trade Show & Conference uniting buyers, suppliers & investors in Africa 🌍 EARLY 🦅 🎫 ON SALE NOW
Igor Rodionov @Igrod5
263 Followers 329 Following Entrepreneur by day, sport fanatic, book enthusiast and dreamer by night.
ysaito @ysaito8015
3K Followers 8K Following どうもどうも やあどうも いつぞや いろいろ このたびはまた まあまあひとつ まあひとつ そんなわけで なにぶんよろしく なにのほうは いずれなにして そのせつゆっくり いやどうも 谷川俊太郎 ごあいさつ 詩集『落首九十九』(朝日新聞社 1964) 所収 好きな詩
Areum Rivera @Areum26023
315 Followers 2K Following PR Associate at�. I love to travel, run, and eat (gluten-free!.I write about all those things on my blog Missouri
Polymail — The Powe... @Polymail
9K Followers 11K Following ⭐ Power inbox for founders + operators ⭐ Track opens, manage follow-ups, schedule meetings ⭐ Built for people who run their business from email
Letterkenny Problems @LetterkennyProb
193K Followers 38K Following OFFICIAL page for “Letterkenny” on @cravecanada and @hulu. A @newmetricmedia production. https://t.co/po4rImvFSN
Christina Baloyi @BaloyiChristina
17 Followers 82 Following
leaply @goleaply
382 Followers 52 Following Leaply puts a world of opportunities in the palm of your hand. Discover, compare and apply instantly to opportunities you never even knew existed.
IdeaMarket @IdeaMarket
7K Followers 4K Following IdeaMarket: A Marketplace for Ideas, Talent and Money.
research cafe @ir_cafe
91 Followers 736 Following
Buffer Journey @bufferjobs
136 Followers 917 Following Saving time, one buffer at a time. Unofficial @Buffer account.
Alchetron.com @Alchetron
46K Followers 124K Following #Alchetron is a free #social #encyclopedia for Internet users you can search & share thousands of organized topics which can be anything and everything !!
[email protected] @HaskRay
4K Followers 311 Following Maintainer of LLVM MC, Clang driver, lld/ELF, and libunwind
Zack's Lab @zackslab
7K Followers 260 Following Electronics Engineer. Prev @Tesla (Optimus). Former @USMC Scout Sniper. Website: https://t.co/Jp281sNdo0
1976 Live @50YearsAgoLive
81K Followers 91 Following Live-posting as a reporter embedded in history. Curated by @MannyMarotta. Companion to @100YearsAgoLive, @25YearsAgoLive, and @250YearsAgoLive. DM for business.
Rejected Feldheim Boo... @FeldheimRejects
8K Followers 109 Following
JBaruch 🎩 @jbaruch
14K Followers 1K Following DevRel Team and context engineering management at @tessl_io Co-author of #LiquidSoftware and #DevOps Tools for #Java Developers. Java Champion. Legacy verified.
Hikaru Nakamura @GMHikaru
630K Followers 444 Following Proudly Team Falcons Chess Professional Content Creator Business email: [email protected]
Paul S. Conyngham @paul_conyngham
15K Followers 184 Following Carbon. Based. Ending Cancer for Dogs https://t.co/alJev1kJf6
Andrew Feldman @andrewdfeldman
28K Followers 215 Following CEO and Founder @Cerebras (NASDAQ: CBRS) where we build the fastest AI infrastructure in the world.
Neal Wu @neal_wu
17K Followers 398 Following @thinkymachines, prev new stealth co, @cognition, @tryramp, @GoogleBrain, competitive programming
Jake Adler @jakeadler
6K Followers 2K Following american biological supremacy @pilgrimlabs // thiel fellow
Leonardo de Moura @Leonard41111588
7K Followers 29 Following
OSINTtechnical @Osinttechnical
1.7M Followers 924 Following PAI enjoyer, OSINT guy @hntrbrkmedia, my views/freezing cold takes are my own. For full disclosures, visit https://t.co/JOtQx4pI3e.
Aurorin @AurorinCAD
500 Followers 2 Following The Next Generation Mechanical CAD Software: built from the ground up to let you work incredibly fast
Michael Baron @NominalAviator
568 Followers 413 Following CEO @AurorinCAD (YC W26) | 3x @SpaceX intern | prev Intern
MESH @meshoptical
1K Followers 0 Following Mesh designs and manufactures advanced optical systems at scale
nagy @okthisisnagy
5K Followers 1K Following the walls between art and engineering exist only in our minds
Kevin Hubbard @bml_khubbard
7K Followers 851 Following UW-BSEE |OSH| Verilog, VHDL, Python, Perl, C | ASICs, FPGAs. Author of Mastering FPGA Chip Design Support my Open-Source https://t.co/1dI2CGJzNV
Advanced Metal Resear... @AMRwelding
458 Followers 3 Following Advanced Metal Research. We solve welding problems and sell automated inspection and welding equipment. Made in America 🇺🇸
Garuth Acharya @GaruthAcharya
2K Followers 2K Following Aspiring renaissance man. Chimichanga sommelière. Industrial & defense tech 🇺🇸 Prior Life: @SpaceX / @BlueOrigin / @DeptofWar @Penn_State Grad
Arsenio "Missileman" @Ascii211
13K Followers 1K Following Internet Missileman, Hardware Wizard Previously @NASA Memes, Missiles and Microcontrollers. Some guy, doing stuff... Ya know Views are my own.
Loyal @loyalfordogs
4K Followers 75 Following We’re developing the first drugs intended to help dogs live longer, healthier lives 🐕
Celine Halioua @celinehalioua
34K Followers 3K Following Founder + CEO @loyalfordogs 🐶 Working on aging drugs! Longevity Fund, @UniofOxford health econ, @UTAustin neuroscience. Write to learn things.
SGM Mike Vining @ Bla... @BlastingThrough
237K Followers 307 Following SGM Mike Vining, Delta Force, shares elite ops leadership lessons, mountaineering, & inspiring truths that combat moral injury. "Blasting Through" book, Aug '26
Erik Meijer @headinthebox
36K Followers 0 Following
Ilya Sergey @ilyasergey
8K Followers 980 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Chris Lattner @clattner_llvm
94K Followers 145 Following Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠
SSI Inc. @ssi
108K Followers 0 Following A straight shot to safe superintelligence. Join us https://t.co/hHla3vusDE.
Noland Arbaugh @ModdedQuad
135K Followers 103 Following I am P1 - Neuralink’s first patient. Czarborg. Neuralnaut.
Colin Percival @cperciva
16K Followers 37 Following Computer Scientist, FreeBSD/EC2 maintainer, FreeBSD Release Engineering Lead, AWS Hero, and author of @Tarsnap.
SemiAnalysis @SemiAnalysis_
113K Followers 27 Following
Sam Lambert @samlambert
31K Followers 250 Following CEO @PlanetScale. former serf. making more mistakes than you.
Prime Intellect @PrimeIntellect
67K Followers 40 Following The Open Stack for Self-Improving Agents https://t.co/ZRZOsRRbwr
Jeff Dean @JeffDean
446K Followers 6K Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
Valar Atomics @valaratomics
24K Followers 2 Following Making the largest nuclear sites in the world to create industrial electricity, heat, and carbon neutral synthetic fuels from thin air.
Isaiah Taylor - makin... @isaiah_p_taylor
83K Followers 921 Following Founder @valaratomics. Making nuclear reactors built for planetary scale.
Math, Inc. @mathematics_inc
13K Followers 0 Following Solve math, solve everything. Dedicated to superintelligence via autoformalization
Aidan W Steele @__steele
10K Followers 2K Following I try to tweet novel things about AWS.“Shit-poster extraordinaire” according to @LastWeekInAWS. He/him. AWS Serverless Hero
Peter Schmidt-Nielsen @ptrschmdtnlsn
11K Followers 899 Following Making an FPGA accelerated server at https://t.co/QVWSIUFPg1. Feel free to talk to me: https://t.co/wdWQN6fp87
Epoch AI @EpochAIResearch
47K Followers 0 Following Investigating the trajectory of AI for the benefit of society.
NOX METALS @noxmetals
7K Followers 65 Following A relentless mission to Reindustrialize America. More metal.


















