-
Tweets1K
-
Followers72
-
Following429
-
Likes5K
Hot take: Both ways are domain-model oriented. Just different domain models. 🤷♂️
https://t.co/2hqFk0LwNE
I am seeing evidence that AI is significantly more effective, like 100x faster and maybe even fewer bugs, at coding tightly specified tasks (e.g. parsing a documented structure) than an american junior developer. BUT. American juniors basically don't know how to code, the purpose…
you're not allowed to write comments in your code anymore, because if you do everyone will just think it's ai generated.
keep it lean and roll forward => no rollback so simple, easy to setup manually => no infra as code so simple, trivial to verify correctness => no test Blue-Green/Canary/.. deployments => no dev environment
keep it lean and roll forward => no rollback so simple, easy to setup manually => no infra as code so simple, trivial to verify correctness => no test Blue-Green/Canary/.. deployments => no dev environment
The record for the longest duration a stable plasma in a tokamak fusion reactor could be maintained has just been broken twice within a month: 6 min 30s (WEST, France, 2003) 6 min 43s (EAST, China, 2023) 17 min 46s (EAST, China, 2025) 22 min 16s (WEST, France, 2025)
Excellent thread, well worth reading. X is an enablement system for selected "free speech", in other words it's a propaganda engine. UK & EU should seriously consider banning X as a threat to national security ->
Excellent thread, well worth reading. X is an enablement system for selected "free speech", in other words it's a propaganda engine. UK & EU should seriously consider banning X as a threat to national security ->
Today I decided to try using o1 to assist with some math/CS research. Here's how it went. For context: I'm currently developing an automated theorem-proving framework in Scheme, and attempting to produce formal proofs of correctness for some advanced numerical algorithms. (1/10)
Elements of Clojure is now available as a free PDF: elementsofclojure.com
Strong and pure? Wrong cup! 😅
Strong and pure? Wrong cup! 😅
Complete hardware + software setup for running Deepseek-R1 locally. The actual model, no distillations, and Q8 quantization for full quality. Total cost, $6,000. All download and part links below:
.. under the given resource constraints and the laws of physics 😅
.. under the given resource constraints and the laws of physics 😅
Perhaps unsurprisingly, I have a bunch of Opinions™ on work-life balance and time management. Lately, I've been particularly bugged by the common belief that employer incentives don't align with employee well-being. So, I wrote a thing (with graphs!): thesquareplanet.com/blog/about-40-…
Everything you love about generative models — now powered by real physics! Announcing the Genesis project — after a 24-month large-scale research collaboration involving over 20 research labs — a generative physics engine able to generate 4D dynamical worlds powered by a physics…
If you're curious what it takes to build and run #AdventOfCode every year, you might enjoy this talk: youtube.com/watch?v=uZ8Dcb…
@SSiwaniwala Same as it was in 2013 - blog.gardeviance.org/2013/11/a-spoi…

Sandra @Sandra7610256
161 Followers 3K Following
DB @danielball2162
42 Followers 904 Following I'm a powerball winner of $390.7m, I'm using this medium to appreciate the society by giving out $3500 each to my first 5k followers & poor/needy
Mharryl @Mharj1111
300 Followers 5K Following
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Armawbee @Armawbee925072
50 Followers 938 Following
7jcp9q34r11 @7jcp9q34r144641
6 Followers 164 Following Pioneer Wealth: Prof. Matthew’s AI + finance pros boost profits! Free 1st month. AI scans data, experts guide stocks/crypto. Click to join now!
Kent @masumotoot49693
85 Followers 7K Following
Slothaus @SlothausLlz9T2
38 Followers 4K Following
Olivia @scHLmnPI6Ju01
78 Followers 7K Following
Jan @saenz_jan14
311 Followers 3K Following
Noateart @NoateartxK91
30 Followers 4K Following
Tammy @hayes_tammy88
161 Followers 3K Following
LouiseMartin @R6bSKVkXz41H1HA
67 Followers 7K Following
Sheighez @SheighezIHnvC
44 Followers 4K Following
Cheauez @CheauezQg1F
71 Followers 7K Following
MerryLucius @mRKzMb213KCZ1K2
86 Followers 7K Following
NydiaColclough @55A2d2T31v9iFA
59 Followers 7K Following
Alanna Jacobo @JacoboAlan57096
5 Followers 165 Following A bolsa brasileira subiu 300% em três dias Tutores profissionais, cadastre-se e aprenda de graça. WS: https://t.co/uGnBn6cBkU
JuneBridges @5CouRbXnx5K8lP
27 Followers 3K Following
Johanna @Johanna47620391
236 Followers 3K Following
Rachel @upshur_rachel
582 Followers 3K Following
Grayce @grayce_farley65
365 Followers 3K Following
Irma @irma_abram73
283 Followers 3K Following
Simon Wardley @swardley
40K Followers 6K Following 💚+❤️🇺🇳 I like ducks, they're fowl but not through choice. Born 321 ppm CO₂. https://t.co/iNxwz6cGtn ... the official home of Wardley Mapping
Marcus Horsley-Rai @marcuzh
43 Followers 418 Following
Johannes Wachter @jow85
242 Followers 409 Following software engineer and all around programming geek - java, groovy, javascript, build systems, developer tooling - fps gamer cs:go - esports fan
NANA 🌷🌷 @fida4474
134 Followers 390 Following
Gigasquid @gigasquid
6K Followers 890 Following Pursuing Snarks with forks and hope. Digs Clojure, Data Engineering & AI - Author of the O'Reilly book Living Clojure / Nubank
Thomas Jensen @tj_impl
46 Followers 142 Following Software Architect, Full Stack Software Engineer, Dev Lead, Tech Enthusiast, Optimist. All opinions my own. @[email protected] (at)tsjensen.bsky(dot)social
Tyler Durden @WishYou35680592
728 Followers 1K Following
Annie @Annie947285981
65 Followers 481 Following 🇺🇸 🦋 TRUTH SEEKER 🦋🇺🇸Living in a world 🌍 That has gone completely MAD and HYPOCRISY is at an all time high!
Ryan Robitaille @ryrobes
3K Followers 2K Following Data Hacker. Ex: FB, Tesla, Airbnb. Visual Data Tools. Builder. Clojure, SQL, UI, Viz. https://t.co/A7aaxKF1ZW https://t.co/rY02o4jobs
Daniel Leroux @danielLX90
5 Followers 66 Following
Tristan Malbran @TristanMalbran
10 Followers 303 Following
Markus K. @sombrero83... @Sombrero83
856 Followers 3K Following Software Engineer (Spring / Cloud / Web). All tweets are personal opinions.
Acure.io @acure_io
239 Followers 2K Following Acure is a simple yet powerful AIOps incident control and automation platform. It is a fully cloud-based solution with a flexible and open architecture.
Peter Strömberg aka ... @pappapez
2K Followers 1K Following Love, Family and Liberty! #AFUERA! Husband. Father of five. Also Love and #Clojure! Creator of Calva: https://t.co/rWdQboGDaF
noah @NoahTheDuke
177 Followers 535 Following
Christopher Cabanne @iampagu
105 Followers 786 Following "Am I here? Of course I am. Yes." https://t.co/XdfN4fO5p1
Vahab Jabrayilov @vjabrayilov7
176 Followers 2K Following CS PhD student @Columbia | Computer Systems![[Jazz & IT Professional] || {Improviser, Developer, Performer, Director, Composer, Educator}](https://pbs.twimg.com/profile_images/96761852/twitter.jpg)
Michael Gassmann @jazzisnow
103 Followers 478 Following [Jazz & IT Professional] || {Improviser, Developer, Performer, Director, Composer, Educator}
Jan Fleischhauer @janfleischhauer
272K Followers 449 Following Friedensforscher und Linguist | „Um das sein zu können, was ihr von mir erwartet, muss ich einen anderen Weg gehen als den erwarteten.“
Michael Hartl @mhartl
20K Followers 4K Following Forever curious. @TauDay founder. @Caltech, @YCombinator alum. “Hartl understands physics deeply… and like Feynman he is an outstanding pedagogue.” —Kip Thorne
Geoffrey Miller @primalpoly
153K Followers 8K Following Psych professor; wrote The Mating Mind, Spent, Mate, Virtue Signaling. Themes: Evolution, sentience, civilization, EA, AI, X risk. Wife: @sentientist. ⏸️
decidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight. Right leaning intellectual. Principal at @PlatonicSystems
Kai Fall @kai_fall
8K Followers 56 Following
Tim Pote @potetm
1K Followers 381 Following Consultant. Pragmatic, Idiot-Driven Solutions. It's a neighborly day in this beauty wood. Creator of Fusebox: https://t.co/jhwpvOxr0T ꙮ
Casey Muratori @cmuratori
62K Followers 146 Following Programming: https://t.co/Bdh1Xj2PpV Comics: https://t.co/fmdjK9HFxW
Better Software Confe... @BetterSoftwareC
4K Followers 12 Following Software is getting worse. We're here to make it better. 2025 VODs currently releasing on YT: https://t.co/kitqaYA43w
Lukáš Hozda @LukasHozda
6K Followers 538 Following 🦀🍀 ceo of rust @BraiinsMining × building bitcoin in rust book 🍀🦀
Johannes Schickling @schickling
11K Followers 665 Following Building a local-first music app @overtone_app with @livestoredev. Host @localfirstfm. DX @EffectTS_. Founded @prisma. https://t.co/74n8eMH4cs
Polizei Rheinpfalz @PP_Rheinpfalz
32K Followers 161 Following Keine Anzeigen | kein 24/7 | im Notfall ☎ 110 | Impressum: https://t.co/AZnVTHy5y4 | Datenschutzerklärung: https://t.co/ZMWpWqsja2
Mehmet Gökçe @mehmetgoekce
497 Followers 1K Following Building innovative solutions and mastering the art of data. Passionate about technology.
Rob Eisenberg @EisenbergEffect
12K Followers 280 Following Executive Engineering Leader | UI Platform Visionary | Web Standards | Open Source | Engineering Culture
Dominik Winterer @DominikWinterer
1K Followers 652 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical 👩🎓👨🎓 Looking for PhD students!
Dispropaganda @Dispropoganda
96K Followers 27 Following The truth shall set you laughing! PayPal - https://t.co/ywCMbVbRqe Patreon - https://t.co/n0vDX06d28
OpenRouter @OpenRouterAI
55K Followers 308 Following Discover and use the latest LLMs. 500+ models (incl. 50+ free), explorable data, private chat, & a unified API. https://t.co/qJG5mKrigL
Open Source Intel @Osint613
717K Followers 845 Following Monitoring Real-Time News & Open Source Intelligence • Middle East • US • Global Events • Anything on my mind
Alex Vacca @itsalexvacca
31K Followers 411 Following Co-founder, ColdIQ ($6M ARR in under 2 years) | Helping B2B companies scale revenue with the best GTM systems | https://t.co/JbSDyoITFc
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Tom Dörr @tom_doerr
102K Followers 2K Following Follow for posts about GitHub repos, DSPy, and agents Subscribe for top posts DM to share your AI project (Due to volume of DMs I'll prioritize subscribers)
Dmitriy Kovalenko @neogoose_btw
11K Followers 482 Following Goose, James Goose. Made some open source software you might already be using. Shipping C and cooking Rust with OCaml. Working on @fframes_rust.
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Matt Pocock @mattpocockuk
206K Followers 743 Following I teach devs for a living. Author of Total TypeScript and AI Hero. Ex-@vercel. Used to be a voice coach.
Ryan Grim @ryangrim
433K Followers 11K Following Reporter at @DropSiteNews - Author of "We've Got People,” “The Squad,” and “This Is Your Country On Drugs.” Co-host of Breaking Points. DM for Signal
Malcolm Sparks @malcolmsparks
2K Followers 2K Following Founder/CTO @juxtpro | Clojure Developer | Software Architecture | Application/API Security | Creator of Atomic Architecture
Mario Lochner @mario_lochner
36K Followers 972 Following Weil dein Geld mehr kann! Und du auch! Ich helfe dir dabei 💸💡 Spiegel-Bestseller-Autor, Unternehmer & rationaler Optimist
vittorio @IterIntellectus
120K Followers 2K Following bio/acc –– ∞/acc — biology will rage against the dying of the light — don't take me seriously professional shitpoaster
Graham Christensen @grhmc
6K Followers 1K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys. he/him. 📻 NO5IG
ULTRA/MAGIC @ULTRAMAGlC
2K Followers 349 Following Bending elliptic curves and constructing languages for a living. ZKP researcher. Views are my own, proofs are formally verified. 🏳️🌈🏳️⚧️ she/her
milo @i2talics
383 Followers 274 Following 26, bi, fimware dev 🦀 + type systems and tetris hyperfixator. i go by 'tali' on some parts of the internet https://t.co/xIURbaVkdj
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 834 Following I am weaponizing Haskell and Nix.
Ankush Desai @ankushpd
2K Followers 777 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Marc Brooker @MarcJBrooker
21K Followers 747 Following AI, agents, databases, and serverless at AWS. Views are my own.
Rudi Bachmann @BachmannRudi
46K Followers 669 Following Economist (Professor at the University of Michigan), Literal Transatlanticist, Posts about Economics, Politics, Policy and Academia
Trevor B (Trev The Cr... @Trevs_Dev
4K Followers 529 Following iOS Developer | Augmented Reality Enthusiast | 3D-Modeling Hobbyist | baconeggandcheese Connoisseur