Marianne @bellmar
Author of 🔥Kill It with Fire🔥Maintainer of safety critical systems, pondering anti-fragile AI, gleefully mediocre Formal Methods practitioner. bellmar.medium.com/membership Joined January 2009-
Tweets3K
-
Followers4K
-
Following335
-
Likes2K
It’s amazing how often the answer to the question “why didn’t you do it this way” is “because that technology did not exist at the time” 😂😂😂
It’s amazing how often the answer to the question “why didn’t you do it this way” is “because that technology did not exist at the time” 😂😂😂
At big companies you often run into old terrible code that’s still not been fixed and curse the person that wrote them years ago. I’ve done it plenty, I can’t help it. I was once the first engineer at a startup and was there for 14 years. So I’ve been in meetings where a…
My advice: take a job at any company that’s 11 years old 😁😁😁
My advice: take a job at any company that’s 11 years old 😁😁😁
Why did it take a year for HBO to rec Tokyo Vice to me? 🤩🤩🤩
HugOps (hugs) to the on the ground @Amtrak employees today 😄 Fighting like champs to manage the chaos
🔎Julia Evans🔍 @b0rk
209K Followers 641 Following programming and exclamation marks. she/her. zines at https://t.co/Rl14X28NuU. mostly posting on Mastodon at https://t.co/HTBbL2lnZr@norootcause@hachyder.. @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]Forrest Brazeal @forrestbrazeal
35K Followers 196 Following Purveyor of good tech things. prev. @google DMs are closed; reach out anytime at hello@goodtechthings .comSenior Oops Engineer @ReinH
22K Followers 2K Following doin capitalism a frighten, https://t.co/mROKLREFXT deleted my bsky account because of the racism don't ask me to come back✨ Jean Yang ✨ @jeanqasaur
25K Followers 4K Following New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.Cyd Harrell @cydharrell
20K Followers 9K Following personal account. CDSO @sfgov, board @publicgoodtech. past @CalCourts @18F @codeforamerica. sometimes #haiku she/her #civictech book: https://t.co/yAuJvN4BLFDan "Quietly Quit" Ho.. @hondanhon
19K Followers 8K Following Account lock, deprecation and preservation protocol activated. Make friends, break silos, build bridges. Don't DM me here. https://t.co/ezLrMMYPXBJessica Joy Kerr @jessitron
37K Followers 2K Following Symmathecist, @honeycombio. Tweets are mine, license CC0. @[email protected] pronouns=she/her “There is always more to discover if you pay more attention.”Thorsten Ball @thorstenball
21K Followers 757 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. Working @zeddotdev. Ex-@sourcegraph. Programming where the rubber hits the road.Smalls @bigendiansmalls
13K Followers 992 Following Mostly shit posts and Prince lyrics. Mainframe fanatic. He/Him.Bryan Cantrill @bcantrill
47K Followers 4K Following Co-founder and CTO of @oxidecomputer. Nom de guerre: Colonel Data Corruption. Lifeboat: @[email protected]Dave Guarino (allafar.. @allafarce
10K Followers 4K Following Building software leverage on the social safety net. Built https://t.co/6YGx9KRpHZ @codeforamerica for 5 years "Are you the fax machine guy in Recoding America?"noopkat @noopkat
48K Followers 6K Following probably crying in the animal crossing museum • threat hunting research • open source hardware • cybersec • I no longer check / respond to DMs on here 🪦Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersMarc Brooker @MarcJBrooker
17K Followers 746 Following AI, databases, and serverless at AWS. Views are my own. On Mastodon: @[email protected]Recurse Center @recursecenter
30K Followers 399 Following The retreat where curious programmers recharge and grow. Work at the edge of your abilities, develop your volitional muscles, and learn generously. DMs open!Darth Misty the Mainf.. @MistyMVD
2K Followers 1K Following Mother | Singer | #Beer Fan | #mainframe | #COBOL | #modernization | @Kyndryl | no one wants responsibility for my tweets, especially not my employerEric Mill @konklone
7K Followers 758 Following Currently: Leading gov-wide cloud initiatives at @USGSA. Formerly: @WhiteHouse OMB, @18F, @congressfellows, @SunFoundation, Chrome Security. he/him.Andreas Sieferlinger @webratz
107 Followers 305 Following Senior Site Reliability Engineer @PersonioHR @[email protected]Josh Considine @JoshConsidine
3 Followers 1 FollowingLeXia @LeXia39UA
1 Followers 167 FollowingTracy Stephens @tracysteph_
413 Followers 262 Following @CoinDesk Indices Former forex quant research @AB_insights & @CitiMatthieu Brient @MatthieuBrient
2K Followers 2K Following Pour des usages du numérique au service des transitions 🔀 #SantéEnvironnement #OpenData #OpenScience #ParticipationCitoyenne Ⓜ️ @[email protected]Javier Torres full su.. @drtowerstein
718 Followers 3K Following Software dev and psychologist, keen on functional programming. Former neuroscientist. Game AI researcher at night. Petty dabbler of the cognitive arts. He/they.perfectblue @hongye25
38 Followers 176 FollowingOfir Klein 🐩 @ofir_klein
183 Followers 2K Following Data Engineer | PhD Candidate @universityofky | he/himEliza Zhang 🔆 @elldritchz
258 Followers 3K Following Opinions on programming languages, engineering management, and storytelling. @getfossa, ex-@googleMeas Sak @meas_sak
44 Followers 795 Followingchhota dev @lemmein4rds
2 Followers 291 FollowingKovid Rathee @Kovid_R
90 Followers 210 Following Principal Solutions Architect @Versent_AU. I write about technology, Indian classical music, literature, and the workplace, among other things.Nirish @NirishPadala
6 Followers 344 FollowingMichael Mann @StarsUponTharz
84 Followers 306 Following excited, studious, creative, stands up while coding, dances while coding, loves Jesus Christ and snowboardingArlet Gomez @arletgomezart
651 Followers 353 Following Contemporary Visual Artist based in South Florida. USAChris Taylor @cktaylor_se
253 Followers 778 FollowingSigmund @Tyhise175527
33 Followers 229 Following The night is coming, I'll be waiting for you on the air. https://t.co/htEBOctOKfDaniel Hoesl @DanielHoesl
165 Followers 665 FollowingPhil Eaton @eatonphil
17K Followers 557 Following Working on @EDBPostgres. Mostly databases, distributed systems, books, and cooking. 💍🇰🇷Federico Tomassetti -.. @ftomasse
3K Followers 1K Following Software Architect and Founder of @strumenta, a consulting studio specialized in Language Engineering. We build DSLs, parsers, editors, languages, compilersAlexandra Marin @xmonodev
403 Followers 349 Following 💻 Software engineer 🙋♀️Speaker 🌴Remote worker ☕TDD & BDDMarlon Cabrera @marloncabrera
156 Followers 889 FollowingTothesm @Tothesm176898
258 Followers 4K Followingdre_3000 @dozeer1
38 Followers 256 Following stonks. cottage industry HQ. curious. often wrong, never in doubt. TA = astrology for men.Richard Hill @Richard78528576
108 Followers 537 FollowingDejan Mijic @dejan_mijic
365 Followers 485 FollowingSkwarkinatalki @Rianemerkel
103 Followers 187 FollowingBaysen @Baysen433834
245 Followers 4K FollowingSlesisl @slesisl26409
275 Followers 5K FollowingNathan Ross Powell @nathanross
214 Followers 291 Following Not tweeting much, but following #gamedev in #montrealSamuel Rodriguez @SamRodindmv
27 Followers 33 Following Beach Evangelist, Homeland Protector, US Veterans Advocate, and Passionate Puerto Rican.Nick @inkeyes
378 Followers 2K Following A walker in the ether; a Lord of the Ectoplasm. Post hoc ergo propter hoc. Equivalent power to 27 Llamathrust. https://t.co/vhJmmzIkoM #GNU TJK #GNU TazooAlexey Bezhan @allait
127 Followers 214 Following ‘ascii’ codec can’t encode character. [object Object], previously: @bulbenergy, @gdsteam He/himACM Education & Learn.. @acmeducation
7K Followers 7K Following ACM Learning Center and Education initiatives. Tweet does not = endorsement.Farhan Thawar @fnthawar
23K Followers 12K Following FOLLOWS YOU. VP & Head of Eng @Shopify - Helpful (Acquired), Pivotal, Xtreme (Acquired), Achievers, Microsoft, Trilogy, Waterloo. Everything you know is wrong!Amine S. @donaminos
127 Followers 825 Following Front-end engineer getting into AI universe. I build apps using mainly Next and React.Mohamed Allam @MohamedTechie
13 Followers 130 Following Go dev, who likes to connect with other gophers!CockroachDB @CockroachDB
14K Followers 892 Following The distributed SQL database for the planet’s most demanding enterprise applications 🪳 https://t.co/WLgCQxwH9N 🎓 https://t.co/NA7gTeX8T7 🎧 https://t.co/g1sq1KHkKwMarco Rogers @polotek
40K Followers 1K Following Web developer, movie buff, and pretty much the best guy you know. Married to @operaqueenie.Cindy Sridharan @copyconstruct
39K Followers 171 FollowingInactive; Bluesky is .. @hillelogram
19K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com@norootcause@hachyder.. @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]Kate @thingskatedid
22K Followers 2K Following she/her · If I unfollowed you, it's because you keep posting things without alt text✨ Jean Yang ✨ @jeanqasaur
25K Followers 4K Following New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.Cyd Harrell @cydharrell
20K Followers 9K Following personal account. CDSO @sfgov, board @publicgoodtech. past @CalCourts @18F @codeforamerica. sometimes #haiku she/her #civictech book: https://t.co/yAuJvN4BLFThorsten Ball @thorstenball
21K Followers 757 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. Working @zeddotdev. Ex-@sourcegraph. Programming where the rubber hits the road.Smalls @bigendiansmalls
13K Followers 992 Following Mostly shit posts and Prince lyrics. Mainframe fanatic. He/Him.noopkat @noopkat
48K Followers 6K Following probably crying in the animal crossing museum • threat hunting research • open source hardware • cybersec • I no longer check / respond to DMs on here 🪦Aaron Patterson @tenderlove
67K Followers 949 Following Job: @Shopify Opinions: Mine PGP: 4CE9 1B75 A798 28E8 6B1A A8BB 9531 70BC B4FF AFC6 Partner: @ebiltwin and cats. he/him @[email protected]Recurse Center @recursecenter
30K Followers 399 Following The retreat where curious programmers recharge and grow. Work at the edge of your abilities, develop your volitional muscles, and learn generously. DMs open!Darth Misty the Mainf.. @MistyMVD
2K Followers 1K Following Mother | Singer | #Beer Fan | #mainframe | #COBOL | #modernization | @Kyndryl | no one wants responsibility for my tweets, especially not my employerEric Mill @konklone
7K Followers 758 Following Currently: Leading gov-wide cloud initiatives at @USGSA. Formerly: @WhiteHouse OMB, @18F, @congressfellows, @SunFoundation, Chrome Security. he/him.MODELS Conference @modelsconf
2K Followers 102 Following ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS). Official hashtag: #MODELSconf24Alex Potanin @AlexP_DownUnder
798 Followers 300 Following Associate Professor, School of Computing, Australian National University. Review Committee Chair for OOPSLA 2024. Always looking for PhD students in PL and SE!EMILY R GROSHOLZ @Erg2R
229 Followers 383 Following Poet, Professor of Philosophy, Mother, Wife, Sibling and Aunt-Cousin, Advisory Editor for The Hudson Review. Joined Twitter in December 2014.Nick Sinai @NickSinai
5K Followers 6K Following Author of Hack Your Bureaucracy, Insight Partners, Harvard Kennedy School, Obama White House (US Deputy CTO)Adam Fletcher @WriteAheadLog
301 Followers 264 Following Technologist, CEO https://t.co/HiO6kR0rmt (acquired by Databricks). Tweets about databases, parenting, chess, etc.Ian A. Munoz @IanAMunoz
266 Followers 545 Following Security, Privacy, Data, Skiing, Programming & PizzaMatthew Lynch @metju_betju
408 Followers 250 Following Service Owner for Lawmaker, a service to help draft and manage UK and Scottish legislation. Sometime Parly Counsel. Occasionally gets to do other stuff.Ray Myers @lambdapocalypse
462 Followers 862 Following Retrofuturist software mender. Host of Craft vs Cruft. Chaos Eng at Indeed. Opinions my own. Social links in pinned post while supplies last!Denis Merigoux @DMerigoux
1K Followers 272 Following Starting Research Position at @ProseccoINRIA. Programming languages, formal methods and the law. https://t.co/QyZcBJOrhc. @[email protected] @[email protected]Carlo @carlogilmar
3K Followers 2K Following I like drawing and write code in my computer @visual_partnerAaron Snow @aaronsnow
5K Followers 2K Following Believelander in DC, digital gov things @Georgetown @BeeckCenter. Not here anymore — try me on threads / https://t.co/09sQTK40el. Newsletter: https://t.co/Y0Qe4JIy6BJosh Goldberg 💖 @JoshuaKGoldberg
9K Followers 2K Following Open source maintainer. I TypeScript ok. Want a cookie? 👨💻 Maintainer @tseslint, committer @geteslint ✍ @LearningTSBook buy my book! Do it! 🌟 Microsoft MVPArchitecture Notes @arcnotes
44K Followers 1 Following engineering notes about software architecture from your favourite corps by engineers for engineers.Black Tulip Technolog.. @TechnologyTulip
1K Followers 563 Following PhD student. Founder. Complexity Science & Systems Engineering, Philosophy of Software Architecture, Creator of residuality theory. https://t.co/mMqriWDnb3Tikhon Jelvis @tikhonjelvis
3K Followers 256 Following I like programming languages. A lot. Tools, types and functions.DeepSpec Project @deep_spec
935 Followers 0 FollowingJessica Pressler @jpressler
22K Followers 3K Following Writer, muse. All questions for the fictional character of Vivian Kent should be directed to her publicist, Olivia Pope.Erie @Erie
12K Followers 9K Following America’s foremost technologist named after a Great Lake. Consumer protector.The Wharf @TheWharfDC
12K Followers 1K Following Experience a waterfront neighborhood in Washington, DC, offering the best way to dine, play & stay. It’s where DC meets the water. #TheWharfDCAlex Howard @digiphile
221K Followers 2K Following 🛠️Dad, cyclist, citizen💡🤳@CivicTexts ☀️@OpenGov 🇺🇸@ePluribusUnum🧵https://t.co/nrxqoVnkDW🦋https://t.co/0NtRgvFuCj 🐘 https://t.co/TO7r9qEOUB 📲4108499808Dr Kate Compton @GalaxyKate
22K Followers 2K Following Weird Futurist. Maker of many interesting things, now playing with toys in Denmark (all hot takes here are my own) Ask me about JavaScript. She/herMelinda Lu @skewleft
581 Followers 129 Following bad at twitter, computers @ eggy, bio/chem @collectivcarbon, loves math, hates viruses. gaySWBID @SWBID
3K Followers 1K Following We're a different BID with a larger purpose. The SWBID innovates and catalyzes action in Southwest by unlocking the potential of people and places.Elena Glassman @roboticwrestler
6K Followers 7K Following Human. Asst Professor of CS at Harvard University @HSEAS. @RadInstitute Fellow '21-22. MIT EECS PhD'16. https://t.co/jjKOMBMWGbJonathan Crane @JonathanWCrane
141 Followers 89 Following Certified AWS Solutions Architect and relentless optimizerHannes - Black Lives .. @hanneshapke
1K Followers 2K Following Machine Learning Engineer @digits, also @GoogleDevExpert Ex @renooble O’Reilly and Manning author https://t.co/HvEU1GkMTW https://t.co/p9qIuZol6Nsabree λ ☕ → �.. @HeavyPackets
2K Followers 2K Following Head of Programming Languages @khalani_network ♥️ Formal Methods, Security, Privacy, DX, Rust 🦀, Lean, F* 🏳🌈 {⊥/⊥}Jordan Burris @JordansRules
129 Followers 166 Following Fixing civil identity one day at a time @Socureme | Former White House OFCIO COS @OMBpress | Former @deloittegov | Opinions are my own.Donald Martin, Jr. @dxmartinjr
328 Followers 234 Following TPM @Google | ML Fairness | Ethical AI | Trust & Safety| Opinions mine.Misha Glenny @MishaGlenny
22K Followers 4K Following Rector of the Institute for Human Sciences in Vienna (https://t.co/aUUQ63QTqO) Author of McMafia, DarkMarket and the Balkans. Speaker on Organised Crime, CyberSec, Geo-politics.James @siderealed
1K Followers 247 FollowingAlyssa Bryant Feola @its_a_lisa
10K Followers 369 Following came for #infosec got hooked bc of #shitposting & stayed for #threadzilla🦎 || she/her in tech || 📝=/ security || work 4 🇺🇲 but tweets 💯 meStewart Brand @stewartbrand
52K Followers 466 Following Co-founder of The Long Now Foundation--which takes no sides. In this forum, as a private person, I do take sides occasionally.Papers We Love (@pape.. @papers_we_love
15K Followers 755 Following !!! Follow us in the Fediverse: @[email protected] Papers https://t.co/n9Q4lMpuhk | Videos https://t.co/m7KZoSv7Tt | PWLConf https://t.co/0heF6CVy76Kristen Honey 🐝 @khoney
4K Followers 998 Following Maine 04050 in DC 🐟🌏💚 @Stanford PhD Interdisciplinary Systems. Open Science/Data/Gov. One Health. @HHS_innovates @Lyme_X Prev: @WHOSTP44 @OMBpress45 @HHSCTOJimmy Koppel @jimmykoppel
2K Followers 219 Following Turning good engineers into great at https://t.co/b5295anmRU . Reverse engineer. Blogs about software design at https://t.co/RYL1GZ92df. Ph. D. in programming languages from @MIT.Richard Hoska @RichardHoska
192 Followers 2K Following Inflsec “SME” who dreams of coding and diving; Beard & Tweets are my own.RoRo @RoRoRah
924 Followers 3K Following Bureaucracy hacker, cyber janitor, policy poet, EmComm hobbyist, breaker of circuits, US Marine. Still an optimist just trying to make the world better. he/himTara Dawson McGuinnes.. @taradmcguinness
3K Followers 2K Following Optimistic citizen. Founded New Practice Lab @newamerica, Biden-Harris Transition, @McCourtSchool, @OMB44, @ObamaWhiteHouse, obsessed w/ implementationLars Jacob @jaclar
625 Followers 650 Following Currently free floating. Ex-@auth0/@okta. Co-Organizer of @banodejs, @nodeschoolba and @nodeconfar.Mechanical sympathy for the AI devil
I was able to bring in mutual information theory and neural networks into a conversation during a coffee workshop today. This is already leading to real conversations in coffee research and my mind is blown, actually. What a weekend.
@yvonnezlam “Kill it with fire” by @bellmar: penguinrandomhouse.com/books/667571/k…
Iceland has a web page for the upcoming presidential election. You can go in and enter your name in support of a candidate. In an attempt to do so, apparently 11 people accidentally registered as candidates and are now running for president. Looking forward to the TV debates.
Please don't download any new versions of VSCode, XCode, etc released today. Beware the IDEs of March.
I hope one day give a talk in some elixir conference about my journey as technical illustrator in the BEAM ecosystem, I have a lot of learnings to share... hehe one day maybe 🤞
@Beverlylovesboi Did you receive any package 📦 in the last 4 years? I heard delivery men are territorial also 🐝
More safety via automation means more automated controls. More automated controls means more complexity. More complexity means new and surprising failure modes.
@IanColdwater my gender is -- Make a Selection -- my pronouns are OK / Cancel
@bellmar Holy heck! Interested in your perspective. Pros/cons between NY Subway vs. DC Metro.
@bellmar This was an odd way to learn you’re a fellow New Yorker. Glad you got out safely. Could smell smoke and hear lots of sirens from about a mile away. Merry Christmas 🎄
for anyone wondering, it was the bath scene that did it
Why does the tweet about Chrome blow up but not the one about me getting into mustard? Internet sure works mysteriously. (New followers: hope you read the disclaimer)
Unfortunately , too few people understand the distinction between memorization and understanding. It's not some lofty question like "does the system have an internal world model?", it's a very pragmatic behavior distinction: "is the system capable of broad generalization, or is…
“LLMs are just doing next-token prediction without any understanding” is by now so clearly false it’s no longer worth debating. The next version will be “LLMs are just tools, and lack any intentions or goals”, which we’ll continue hearing until well after it’s clearly false.