Arian van Putten @ProgrammerDude
I perform @nixos_org witchcraft at @mercury Joined January 2010-
Tweets19K
-
Followers6K
-
Following2K
-
Likes13K
@cafkafk This is Danish slander
@eastdakota If you’re gonna do some unconference I’m happy to speak!
Turns out that I’m once again winning by not bothering keeping up with the Meta. I just talk to Claude . That’s my approach.
You sound completely awesome so don’t take this as criticism. Most of the stuff you’re talking about here is captured much better and more differently in the models already. You shouldn’t give it help with technical coding concepts. It wastes your context window and can make
If you’re still drawing diagrams yourself You’re not gonna make it
Ya’ll just have Opus generate a petrinet . Ask it to verify it’s properties. And then use stochastic analysis over the net to guess token cost. Then guide to the cheapest net to implement your feature.
Here's the multi-agent system driving our software factory right now. Core pieces: - We say what to build (sometimes Linear issues, mostly Slack threads) - Triage agent researches and decides whether to implement or to ask questions (think /grill-me but smarter) - Implementation
@chrislciaba @QuinnyPig At Mercury we have a #yubikrew channel and you get auto-added to it if you ccccccsneeze in public
Invent type system Make it unsound so that it’s very hard to be sure how edge cases are handled Keep hallucinating new implementations back and forth Make wild claims about performance Can’t actually tell me if it type checks the same things Mfw
@kerckhove_ts Okay then. Social skill issues. Not by you but the other side not wanting to listen to you :p These days I just patch and move on with my life. The cost of keeping personal forks is just tokens
@kerckhove_ts Turns out devex was the skill issues we had all along. I’m fine with this result tbh
“How did you keep the development of this secret for so long?” “I didnt. I simply told everyone and nobody believes us” Lmao
@MKBHD I’m not. Will use SpaceX cold gas thruster system with ultra high pressure air in a composite over-wrapped pressure vessel in place of the 2 rear seats.
The new Roadster will actually do something like this
cool thing i have been working on over the past week or two: github.com/Kranzes/nix-st…
I just made Nixmap, the intro to Nix which will make you switch
@merill What do you do for passwords? PAKEs?
Domen Kožar @domenkozar
7K Followers 2K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J 🗝️ https://t.co/iCG7uqjcoB
Dmitrii Kovanikov @ChShersh
74K Followers 248 Following Dysfunctional Programming account #1. Senior SWE. I still write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Graham Christensen @grhmc
6K Followers 2K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys 📻 NO5IG
Daniël Verlaan @danielverlaan
74K Followers 624 Following journalist RTL Nieuws ☎️ 06 2089 8142 📫 [email protected] 🏆 winnaar Wie is de Mol, Tegel & Loep 📕🎙️🍿 boek, podcast en docu ‘Ik weet je wachtwoord'
Edward Kmett @kmett
17K Followers 808 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/OduL9QvPz7 https://t.co/XwbnuaOUzq https://t.co/wYaTDISbEB
Matt Parsons @mattoflambda
5K Followers 598 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 427 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
deech @deech
5K Followers 1K Following
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Graham Hutton @haskellhutt
9K Followers 705 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Igal Tabachnik @hmemcpy
11K Followers 600 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Paweł Szulc @EncodePanda
3K Followers 669 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Alexander Klöpping @AlexanderNL
413K Followers 4K Following 🇳🇱 Uitgever bij https://t.co/cO3ZnmHmJw (waaronder #1 bestseller Co-intelligentie en Smartphonevrij Opgroeien), host van AI Report
Talia Ringer 🕊🪬 @TaliaRinger
34K Followers 7K Following Professor, @plfmse, @IllinoisCS! Interactive Proof. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Alejandro Serrano @trupill
4K Followers 476 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Matti Palli @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcher my views represent those of my employer
prat-haladriel-jungko... @haladrieljkBts
0 Followers 16 Following In this hell called life Haladriel Stan
Etho @EthoChain
101K Followers 6K Following KOL Manager I Creators Of Things | TG Contact: https://t.co/knM4i2uKJu Building Brands. Connecting Creators. Driving Growth. Tweets = Personal Opinions | DYOR
Mo @EidolonStorm
18 Followers 848 Following
Sole @SpeakerSole
2 Followers 1K Following
William Batu @WilliamBatu
4 Followers 200 Following
Son Luong @sluongng
1K Followers 1K Following Monorepo, Bazel, CI @ BuildBuddy Past: SRE @ https://t.co/ZkhIVC5XHt | Alibaba | Lazada
Robert Johansson @robertljoha
15 Followers 401 Following
Roberto Abdelkader Ma... @nilp0inter
49 Followers 305 Following
Chad Smith @cs01_software
178 Followers 193 Following SWE at meta, love creating things and solving problems. Previously worked in aerospace on safety critical software/GNC. Created pipx, gdbgui, other things.
Voyager🇨🇦 @marslander888
247 Followers 2K Following Survivor TSLA investor since 2020. Model Y owner since 2021
entron @cowboykulak
262 Followers 2K Following Dreaming of the house that stood between roses. Hater. Opinie kraker. Geweld is meestal het juiste antwoord
James Rinker @BillyYack12
49 Followers 1K Following
Davon Grubbs-Hampton @Davon_Hampton22
118 Followers 156 Following True Martial Artist/Future World Champion🎨🖌️| Mental Health Advocate | Fitness & Wellness Coach/ Personal Trainer | Yahweh’s Son
Plastic Soldier @PlastiqSoldier
2K Followers 6K Following Only the Machine God can save us now. Lead Software Engineer - FinTech. Former Spook Contractor, @microsoft, Nuclear Weapons Engineer, MQ-1 Analyst.
woschtl @woschtl1
18 Followers 3K Following
Piers B @piers_bowness
164 Followers 2K Following Software developer with a passion for hiking and fine automobiles.
Mr.Michelin @hochg43829
292 Followers 5K Following
Tommi Elo @Tommi_M_Elo
589 Followers 2K Following Doctor of Science (tech). Buddhist. Opinions expressed here are my own, and I reserve the absolute right to express them especially on controversial topics.
Let's Write | Chat Ap... @LetsWriteChat
581 Followers 4K Following We're building a calmer chat app. More focus, more control, better group conversations. Not live yet. Follow along and help shape what's next.
Elizabeth harm @LivvyMary1nff
28 Followers 294 Following hi guys I am for fun 🤩 you are free to chat me up
Matt @TheMatt56
485 Followers 7K Following
Harsh @theharshcapital
66 Followers 1K Following Swipe and Apply with ApplyBee AI.. Went to @SRCCofficial , Won couple of olympiads and currently building in Tech @fdotinc Fellow
dot @dot_matrix_9001
112 Followers 2K Following
iotsigani @iotsigani
0 Followers 6K Following
DorberiDo @synapsis40
384 Followers 4K Following
Vismay Vora @voravismay9
130 Followers 4K Following Curious & always seeking insights| Focused on excelling daily| SWE @Bloomberg | ex-AI Consultant @sunyrf | MSCS @stonybrooku| Smart India Hack '22 Winner
pencil @neenzeey
1K Followers 899 Following introvert. building. writing. learning 한글. chai, kimchi + boba.
Tom Robbins @RobbinsTom4867
206 Followers 3K Following Helping other people get computers to do things that they want them to do
J V @jess_665
8 Followers 49 Following
Hermetiq @HermetiqAI
19 Followers 88 Following Build Analytics & AI for Bazel & Buildbarn. Managed Cache & Execution with analytics & AI included.
RoboDollars @UrMom2College
192 Followers 6K Following
Desmond | Landing Pag... @Desmondconvert
9 Followers 148 Following Shopify landing page designer & CRO specialist | High-converting PDPs for DTC fashion, skincare & supplement brands | DM "AUDIT" for free review
Alberto @albycrt
4 Followers 101 Following
tonghuaroot @tonghuaroot
3K Followers 7K Following Staff Security Engineer. Cyber Security enthusiast, not Hacker. Focus on Application Security, Penetration testing. #OSCP #OSEP #MSCS #RedTeam #AppSec #WebSec
NH Limon @nh___limon
515 Followers 3K Following Bug Bounty Hunter | Security Researcher | CSE Student
Domen Kožar @domenkozar
7K Followers 2K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J 🗝️ https://t.co/iCG7uqjcoB
Dmitrii Kovanikov @ChShersh
74K Followers 248 Following Dysfunctional Programming account #1. Senior SWE. I still write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Graham Christensen @grhmc
6K Followers 2K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys 📻 NO5IG
Daniël Verlaan @danielverlaan
74K Followers 624 Following journalist RTL Nieuws ☎️ 06 2089 8142 📫 [email protected] 🏆 winnaar Wie is de Mol, Tegel & Loep 📕🎙️🍿 boek, podcast en docu ‘Ik weet je wachtwoord'
Tweag by Modus Create @tweagio
7K Followers 330 Following Improving the craft of software engineering.Bartosz Milewski @BartoszMilewski
37K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Edward Kmett @kmett
17K Followers 808 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/OduL9QvPz7 https://t.co/XwbnuaOUzq https://t.co/wYaTDISbEB
Matt Parsons @mattoflambda
5K Followers 598 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 427 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Hillel @hillelogram
19K Followers 2 Following Developer educator at @AntithesisHQ. Formal methods, software history, chocolatiering. Newsletter: https://t.co/YrRPK2p8Pc Book: https://t.co/omGN29k6LJ
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
deech @deech
5K Followers 1K Following
Rick @rickasaurus
10K Followers 3K Following Information persistence hunter extraordinaire. 2x Dad, AI Guy, FP Enjoyer, Math for Fun, Tech Leadership. My views do not represent my employer.
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Alexis King @lexi_lambda
13K Followers 28 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Erik Meijer @headinthebox
37K Followers 0 Following
Mara @m_ou_se
43K Followers 401 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Graham Hutton @haskellhutt
9K Followers 705 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Igal Tabachnik @hmemcpy
11K Followers 600 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Darko Mesaroš @darkosubotica
6K Followers 2K Following Developer Advocate/Computer person @AWSCloud , but opinions are my own! :wq!
Ben Holmes @BHolmesDev
48K Followers 1K Following The Whiteboard Guy and Factory Foreman @warpdotdev
Amp @AmpCode
28K Followers 64 Following Amp is the coding agent and development environment that runs anywhere and everywhere.
Matthew Green @matthew_d_green
167K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxYTdk.
Sam Reis @periping
451 Followers 305 Following Building programmable, open source git infrastructure at https://t.co/xqsS28cHRi
Thorsten Ball @thorstenball
56K Followers 1K Following Working on @ampcode. Writing https://t.co/0SZD6dbLes. Once authored https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON.
Jon Kelley @jkelleyrtp
1K Followers 115 Following product @cognition // creator @dioxuslabs // prev @cloudflare
Cognition @cognition
191K Followers 8 Following Makers of Devin, the first AI software engineer. We are an applied AI lab building end-to-end software agents. Join us: https://t.co/4Ss9hvpjRG
Ryan Delaney @_rrdelaney
1K Followers 587 Following Coding agents @Linear Prev: Co-founder @RevereCRE (acquired) Closure Compiler @Google, DevX @Meta
Mirela Prifti @MirelaPriftix
2K Followers 978 Following Designer building with code & AI @EffectTS_ // @EffectfulTech
Effect | TypeScript f... @EffectTS_
21K Followers 55 Following Effect 4.0 → https://t.co/1C7haylv6o Community → https://t.co/rlme4wZIPR
vogel @ryanvogel
20K Followers 781 Following host of the live trivia gameshow https://t.co/EA6rHuhDAI
UwU Underground @uwu_underground
18K Followers 318 Following 🐴Pwnie Award Winning & Nation State funded psyop featuring 6 AI Anime Waifus and a Pup™ singing about APTs, Grifters, & Snake Oil in InfoSec 🖤🩷💚💙💜🤍
Adam Jacob @adamhjk
20K Followers 1K Following CEO of Swamp Club, Co-Founder of Chef. Sustainable free and open source software communities. Music. He/Him. https://t.co/fyc6yziWBv
Talia Ringer 🕊🪬 @TaliaRinger
34K Followers 7K Following Professor, @plfmse, @IllinoisCS! Interactive Proof. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
KRAZAM @krazamtv
7K Followers 2 Following @ShivaKilaru @bb_fresh PARADISE co-created with @yayalexisgay out now on YouTube
José Valim @josevalim
57K Followers 92 Following Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.
crertel ᐛ @crertel
243 Followers 95 Following Turing machinist for hire. Gremlin herder. 𝐂𝐎𝐌𝐏𝐎𝐒𝐈𝐓𝐄 𝐌𝐄𝐀𝐓 𝐃𝐄𝐕𝐈𝐂𝐄
Andrej Karpathy @karpathy
4.4M Followers 1K Following
Sam Altman @sama
6.4M Followers 1K Following The mission of OpenAI is to ensure that AGI benefits all of humanity
𝗠𝗮𝗹𝗶𝘅 @Malix_Labs
3K Followers 1K Following Any sufficiently advanced technology is indistinguishable from magic | Tech Eng. & Ent. | nix/acc + Member @nixos_org | Care profoundly about few things
Aleph Alpha @Aleph__Alpha
25K Followers 24 Following Our Specialized Sovereign Large Language Model for Mission Critical Environments is here: https://t.co/261IusY3RI
Denkjewel @Denkjewel
23K Followers 4K Following Joris de Savornin Lohman | Actchecker | Taalinist | Wortkommissar | Ambiancemedewerker | TeamHyperdrive | ♊ | Dying is easy, comedy is hard | TEGEN ONECHT |
Bernardo @nesunoio
12 Followers 57 Following friend, software wrangler, build infrastructure @anthropicai, @nixos_org maintainer. prev @aws, @googlequantumai.
Rocketdyne @_Rocketdyne
4K Followers 25 Following Mission-proven space propulsion, space electronics, & power systems. Enabling national security, expanding discovery, & moving space forward.
Birk Jernström @birk
10K Followers 2K Following Founder of @polar_sh - building the future of usage-based billing
vx-underground @vxunderground
455K Followers 386 Following The largest collection of malware source code, samples, and papers on the internet. Password: infected
SSI Inc. @ssi
134K Followers 0 Following A straight shot to safe superintelligence. Join us https://t.co/hHla3vusDE.
Ryan Caton @dpoddolphinpro
15K Followers 528 Following Aerospace/Transit/Tech/Motorsport nerd. Lead Video Editor, Broadcast Operator, Journalist, & Host @NASASpaceflight. Also appear on @TMRO’s Live Show. 🇬🇧
Kiran @kirancodes
3K Followers 244 Following Research Scientist in NYC I work in Programming Languages research, on formal verification. British South Asian diaspora~
sudox @kmcnam1
26K Followers 4K Following CCIEx2 #50931 and stuff Opinions are my own & not my employer I give @UwU_Underground root access. Can't stop the psyop. Assume most posts are sarcastic
Cloudflare @Cloudflare
319K Followers 5K Following Cloudflare is the world’s leading #ConnectivityCloud, and we have our eyes set on an ambitious goal — to help build a #BetterInternet.
Star✦Fleet Tours @StarFleetTours
7K Followers 424 Following A collective of space fans organizing educational trips and launch viewing experiences. ✨
vaxry @vaxryy
28K Followers 93 Following Either your favorite, or your least favorite desktop Linux developer. I make Hyprland and other stuff- Segmentation fault (core dumped)
Cadence Agyirey 🇬�... @kubedoll
644 Followers 931 Following AI infrastructure engineer · Rust · GPU inference kernels · distributed systems · K8s · SRE
Weilbyte @weilbyte
196 Followers 1K Following Programming | Homelabbing | Huge nerd | 21 | 🏳️🌈| pfp by @lTo_mil
★ 𝙒𝘼𝙍𝘾�... @Warchamp7
8K Followers 992 Following Product Lead & UX Overlord @OBSProject 🇨🇦 // FFXIV Gilg // he/him ★ Software, live broadcast, tech, gaming ★ @OBSProject @Smashboards @ProjectMGame
Mark Federschmidt @BoosterTribe
10K Followers 145 Following I like hiking and building rockets. Views are my own and any queries related to SpaceX should be directed to the official SpaceX media team.





























