-
Tweets1K
-
Followers72
-
Following426
-
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…

Betsy @betsy47gates
303 Followers 3K Following
DB @danielball2162
37 Followers 914 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
256 Followers 4K 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
57 Followers 968 Following
7jcp9q34r11 @7jcp9q34r144641
8 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
83 Followers 7K Following
Slothaus @SlothausLlz9T2
40 Followers 4K Following
Olivia @scHLmnPI6Ju01
81 Followers 7K Following
Jan @saenz_jan14
306 Followers 3K Following
Noateart @NoateartxK91
33 Followers 4K Following
Tammy @hayes_tammy88
160 Followers 3K Following
LouiseMartin @R6bSKVkXz41H1HA
64 Followers 7K Following
Sheighez @SheighezIHnvC
44 Followers 4K Following
Cheauez @CheauezQg1F
70 Followers 7K Following
MerryLucius @mRKzMb213KCZ1K2
83 Followers 7K Following
NydiaColclough @55A2d2T31v9iFA
68 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
231 Followers 3K Following
Rachel @upshur_rachel
584 Followers 3K Following
Grayce @grayce_farley65
364 Followers 3K Following
Irma @irma_abram73
274 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
243 Followers 410 Following software engineer and all around programming geek - java, groovy, javascript, build systems, developer tooling - fps gamer cs:go - esports fan
NANA 🌷🌷 @fida4474
136 Followers 392 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
47 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
721 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 67 Following
Tristan Malbran @TristanMalbran
9 Followers 303 Following
Markus K. @sombrero83... @Sombrero83
854 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
179 Followers 536 Following
Christopher Cabanne @iampagu
104 Followers 786 Following "Am I here? Of course I am. Yes." https://t.co/XdfN4fO5p1
Vahab Jabrayilov @vjabrayilov7
172 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
104 Followers 478 Following [Jazz & IT Professional] || {Improviser, Developer, Performer, Director, Composer, Educator}
Geoffrey Miller @primalpoly
151K 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 54 Following
Tim Pote @potetm
1K Followers 379 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
61K Followers 145 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 815 Following 🦀🍀 ceo of rust @BraiinsMining × building bitcoin in rust book 🍀🦀
Johannes Schickling @schickling
11K Followers 661 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
499 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 649 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical 👩🎓👨🎓 Looking for PhD students!
Dispropaganda @Dispropoganda
93K Followers 27 Following The truth shall set you laughing! PayPal - https://t.co/ywCMbVbRqe Patreon - https://t.co/n0vDX06d28
OpenRouter @OpenRouterAI
53K Followers 304 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
701K Followers 895 Following Monitoring Real-Time News & Open Source Intelligence • Middle East • US • Global Events • Anything on my mind
Alex Vacca @itsalexvacca
31K Followers 407 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
101K 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
10K Followers 521 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.
Thomas Wolf @Thom_Wolf
95K Followers 6K Following Co-founder at @HuggingFace - open-source and open-science
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. ✝️
Adam @adamdotdev
32K Followers 1K Following @statmuse https://t.co/myrBspn4mW ex-@terminaldotshop @tomorrow_fm
Matt Pocock @mattpocockuk
201K Followers 737 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
427K 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 1K Following Founder/CTO @juxtpro | Clojure Developer | Software Architecture | Application/API Security | Creator of Atomic Architecture
Mario Lochner @mario_lochner
35K Followers 972 Following Weil dein Geld mehr kann! Und du auch! Ich helfe dir dabei 💸💡 Spiegel-Bestseller-Autor, Unternehmer & rationaler Optimist
vittorio @IterIntellectus
114K 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 351 Following Bending elliptic curves and constructing languages for a living. ZKP researcher. Views are my own, proofs are formally verified. 🏳️🌈🏳️⚧️ she/her
milo @i2talics
385 Followers 276 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 828 Following I am weaponizing Haskell and Nix.
Ankush Desai @ankushpd
2K Followers 778 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 744 Following AI, agents, databases, and serverless at AWS. Views are my own.
Rudi Bachmann @BachmannRudi
45K Followers 671 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 525 Following iOS Developer | Augmented Reality Enthusiast | 3D-Modeling Hobbyist | baconeggandcheese Connoisseur
Martin Bauer @martinmbauer
92K Followers 1K Following Working on particle physics, quantum sensors, dark matter. Associate Prof at @IPPP_Durham @durham_uni, FLF @UKRI_News, Science board member @STFC_Matters
Erik Meijer @headinthebox
31K Followers 2 Following