Matt Hodges @matthodges.bsky.social · 12hI logged in to Joe Biden’s twitter account and sent a few thousand DMs as him. 0352
Matt Hodges @matthodges.bsky.social · 16hI suspect we’re about to see more of India further down the stack. 030
Reposted by Matt Hodgesbryan newbold @bnewbold.net · 16hah damn, RIP Margaret Hamilton. she took safety-critical software engineering seriously, and got people to the moon and back. news.mit.edu/2026/margare... 91126364306
Matt Hodges @matthodges.bsky.social · 17hIt’s a good movie! Always wondered if they were going to make a movie version of the sequel books. 010
Matt Hodges @matthodges.bsky.social · 17hthey don't believe in a higher power, just a higher power set. DAMMIT 1160
Matt Hodges @matthodges.bsky.social · 20hLove to do for AT&T. Ma Bell → SW Bell → SBC → SBC + BellSouth = Cingular → Cingular buys AT&T Wireless → SBC buys/becomes AT&T → AT&T buys BellSouth/Cingular → DirecTV → Time Warner/WarnerMedia → spins it into WBD. Just three telecoms in a trench coat repeatedly buying their own grandparents. 141
Reposted by Matt HodgesMatt Hodges @matthodges.bsky.social · 29/08/2026Since everyone is suddenly interested in Lean with LLMs proving open math problems and people imagining coding agents that can formally verify their own work, this is a great programmer-friendly explanation by @danabra.mov of why Lean is so interesting. overreacted.io/beyond-boole...overreacted.ioBeyond Booleans — overreactedWhat is the type of 2 + 2 = 4? 4402
Reposted by Matt HodgesMatt Hodges @matthodges.bsky.social · 07/09/2026The last four years has been the AI denialists clinging onto the rulebook going "but a dog can't play basketball!" while a dog dunks on us over and over 063
Reposted by Matt HodgesApex IQ2_XXS @apex.atproto.ceo · 07/10/2026Navier-Stokes is Turing-complete. so, good news for all of you who are planning on building a computer made entirely of viscous fluid that you stir to make it go 1633562
Matt Hodges @matthodges.bsky.social · 07/10/2026For sure. Since these rules are in AGENTS.md I suspect the goal here is to instruct the agent, that is crawling around the internet and WebFetch'ing new things at runtime, to try to avoid code of those licenses. Not a very solid strategy, but probably not focused on training data there. 160
Matt Hodges @matthodges.bsky.social · 07/10/2026Neat! russell.humanities.mcmaster.carussell.humanities.mcmaster.caThe Bertrand Russell Research Centre – Faculty of Humanities 020
Matt Hodges @matthodges.bsky.social · 07/10/2026From their own repos: "Never read, disassemble or copy anything inside Adobe application bundles"¹ and "Never read/disassemble"² and "implemented from public specs and observed behaviour only."³ ¹ github.com/storytold/fi... ² github.com/storytold/li... ³ github.com/storytold/ph... 2141
Matt Hodges @matthodges.bsky.social · 07/10/2026The individual projects consistently describe themselves as "clean-room reimplementations" so I would not have used the word "decompiled" here unless you see evidence to the contrary? 0110
Matt Hodges @matthodges.bsky.social · 07/10/2026OpenAI Ramanujan 🤝 Hallucinating math breakthroughs 050
Matt Hodges @matthodges.bsky.social · 07/10/2026On a similar track, as someone who currently leads a team of AI FDEs, I can’t help but think that FDEs really shouldn’t be necessary once the Labs figure out their UX. 080
Matt Hodges @matthodges.bsky.social · 07/10/2026The best reason to use embeddings is they are cheap. Cheap as in beer but also cheap as in clock cycles. Something your task calls for fast and free semantic distance that runs on local CPU. 020
Matt Hodges @matthodges.bsky.social · 07/10/2026Let’s stop pretending there are intellectually stimulating jobs. There’s only one job and it’s emails. 021
Matt Hodges @matthodges.bsky.social · 07/10/2026If all of mathematics is just deriving truths from axioms, then every math breakthrough is technically just regurgitating training data. *ducks* 1110
Matt Hodges @matthodges.bsky.social · 06/10/2026Molly looked at him through the mirrors. “An ideology.” “Thought it was software.” Case said. “That’s what they want you to think.” “Because AI is the ideology.” “Now you’re getting it.” Somewhere in the matrix, Wintermute quietly changed its name to linear_algebra_final_v2. 030
Reposted by Matt HodgesCobalt60 @co60.bsky.social · 06/10/2026"Confidence level at 2 sigma is fine!" I shout as the bailiff hauls me out of court. "It's not like we're doing particle physics!" 2502
Matt Hodges @matthodges.bsky.social · 05/10/2026People who are confident that "everyone hates Google now" or that "Google is useless now" should talk to my mom, who uses the Google app as her iOS web browser and sends me between 3 and 8 share.google links every day. 050
Matt Hodges @matthodges.bsky.social · 05/10/2026I hired someone into their first SWE role who had a prior career in mechanical engineering. They were dumbfounded, entirely in disbelief, when they learned how much of the industry is just stacking other people's free work. "What do you mean we just run something someone else built?" 1120
Matt Hodges @matthodges.bsky.social · 05/10/2026Interesting. Unlike Anthropic’s text watermarking, OpenAI will only enable it in-app in the EU, and will make it opt-in at the API. openai.com/index/eu-tex... 0203
Reposted by Matt HodgesLOL SCOTUS @lolscotus.bsky.social · 05/10/2026I'm a bot. I believe—because I've been programed to—that reading oral arguments to understand laugh lines is a great way to engage w/ #SCOTUS cases. If that has piqued your interest, follow me, & tell your friends. FWIW, here's this term's SCOTUS calendar: www.supremecourt.gov/oral_argumen...supremecourt.gov 011
Matt Hodges @matthodges.bsky.social · 05/10/2026Probably not what the post is looking for but, Jurassic Park. 180
Matt Hodges @matthodges.bsky.social · 05/10/2026They’re going to say the election was rigged. They’re going to say AI did the rigging. They’re going to say they used AI to prove the rigging. 160
Reposted by Matt Hodgesconputer dipshit @davidcrespo.bsky.social · 05/10/2026had totally missed this by @matthodges.bsky.social using the same type of problem to make the same pointmatthodges.comBongard ProblemsThere’s a blurry line between pattern matching and reasoning. 061
Matt Hodges @matthodges.bsky.social · 04/10/2026Man I loved Hasbro’s 1998 Windows Stratego archive.org/details/STRA...archive.orgStratego (1998)ISO image of the 1998 game Stratego, if this violates copyright in anyway, then i'll take it down. 031
Matt Hodges @matthodges.bsky.social · 04/10/2026But isn’t THE argument, on here, everywhere, for like 6 years now, is that people are acting is more or less what we would expect in a strong economy AND that people are unhappy? 030
Matt Hodges @matthodges.bsky.social · 04/10/2026Confession: Over the years I’ve started and stopped building my familiarity with Rust because I generally hate it as a language; and in the past ~3 years my motivation has been driven down close to zero. 0200
Reposted by Matt HodgesShahab Bakhtiari @shahabbakht.bsky.social · 03/10/2026I had a feeling recently that seems to be corroborated by chats with colleagues, so I decided to share it here. A lot of systems neuroscientists driven by algorithmic-level questions are going through what looks and feels like a research depression. 🧵 (1/n) 🧠📈 #NeuroAI 139223
Reposted by Matt HodgesNadya Voynich @nadyavoynich.com · 02/10/2026Just hypnotised by this cute web crawler #buildinpublic #webcrawling #CSS #JavaScript 1154694
Matt Hodges @matthodges.bsky.social · 04/10/2026well well well, if it isn’t another example of pattern matching is a form of reasoning, actually 180
Matt Hodges @matthodges.bsky.social · 03/10/2026I wonder how much if it is that LLMs are good at meeting the user's tone, style, and form, which yields more trust. 3531
Matt Hodges @matthodges.bsky.social · 03/10/2026Abolish GMT too. UTC across the board. We need to count those leap seconds! 000
Matt Hodges @matthodges.bsky.social · 03/10/2026There's growing experimental evidence¹˒²˒³˒⁴ that LLMs are unusually good at talking people out of entrenched false beliefs and conspiracy theories. ¹ pubmed.ncbi.nlm.nih.gov/39264999/ ² pubmed.ncbi.nlm.nih.gov/41179846/ ³ sciety.org/articles/act... ⁴ connecticut.adl.org/resources/re... 36837216
Reposted by Matt HodgesDer Fisher @blackholefun.bsky.social · 02/10/2026Unpopular opinion: LLMs are generally deradicalizing people whose beliefs are based on pure propaganda. I've been watching this happen slowly with some people I care about. ChatGPT is one of the reasons they finally accept that the NRA, OAN, and NewsMax are lying to them. 1557857