Greg Langmead
greg.langmead.info
Greg Langmead
@greg.langmead.info
Nerd, , math, music, games.
Counterpoint: it’s a standard conservative behavior that could’ve been any conservative anywhere in the last 250 years.
The fact that no one in the room stood up for her says a lot about how we got here bsky.app/profile/pale...
"Quiet! Quiet, Piggy."
November 18, 2025 at 4:30 PM
Reposted by Greg Langmead
Twitter and chat gpt are down. Bad day for people who suck.
November 18, 2025 at 1:11 PM
My reaction to House of the Dragon after rewatching Game of Thrones is identical in every way to my reaction to Episode 1 in 1999.
November 18, 2025 at 2:09 AM
Reposted by Greg Langmead
Don’t feed the clankers, don’t trust the sloppers! (This message brought to you by my disappointment in fellow teachers and “indie designers” who “only use ai because XYZ” or “in responsible ways”).
November 15, 2025 at 1:40 PM
Reposted by Greg Langmead
Creating the US SA was always and obviously the idea.
"what began as a way to increase the pace of deportations has come to look like a national police force, answerable to the president, that is at least as focused on bullying the residents of Democrat-run cities as it is on deporting undocumented migrants" www.economist.com/interactive/...
See how Donald Trump is creating his own police force
Immigration agents are operating in cities with few legal constraints
www.economist.com
November 14, 2025 at 5:34 PM
Reposted by Greg Langmead
every company in 2025
November 12, 2025 at 5:59 PM
In an ongoing quest for decent WW2 turn-based wargames on iPad, I’m trying iDOS with Steel Panthers III from 1997 (which was quite late for a DOS-only title).
November 10, 2025 at 2:03 AM
Third, as a corollary: if math meaning, math semantics, is in the text data of theorem-piles, then the machine is doing math if no humans look at it. Let’s call their bluff and ignore them. They will come knocking. They are knocking now. They agree with me! It’s another con.
Second: the atomic unit of “doing mathematics,” says me after reflection, is when a PERSON grows their understanding. Imagine we are extinct and there’s a pile of theorems in a library. These CS people claim that the meaning is in the library. I say it’s in the living minds that existed. I’m right.
First: a theorem is proved when a human understands it. Not sooner. It’s a .lean file or whatever before that point. Therefore this machine is not proving theorems. As usual, it’s spitting out slop text and a person has to come along to close the loop. Semantics is absent, ABSENT, from text.
November 7, 2025 at 3:58 PM
Second: the atomic unit of “doing mathematics,” says me after reflection, is when a PERSON grows their understanding. Imagine we are extinct and there’s a pile of theorems in a library. These CS people claim that the meaning is in the library. I say it’s in the living minds that existed. I’m right.
First: a theorem is proved when a human understands it. Not sooner. It’s a .lean file or whatever before that point. Therefore this machine is not proving theorems. As usual, it’s spitting out slop text and a person has to come along to close the loop. Semantics is absent, ABSENT, from text.
“A superhuman AI mathematician is one that can prove more theorems than humans have.”
I could not have more disdain and hatred for this. This is a (not surprising) stain on computer science. That said, I feel a bit ahead of folks in this. I should spell it out.
November 7, 2025 at 3:55 PM
First: a theorem is proved when a human understands it. Not sooner. It’s a .lean file or whatever before that point. Therefore this machine is not proving theorems. As usual, it’s spitting out slop text and a person has to come along to close the loop. Semantics is absent, ABSENT, from text.
“A superhuman AI mathematician is one that can prove more theorems than humans have.”
I could not have more disdain and hatred for this. This is a (not surprising) stain on computer science. That said, I feel a bit ahead of folks in this. I should spell it out.
The path to a superhuman AI mathematician. (Mathematics is the first place where evidence of AI superintelligence is likely to appear, a theoretical computer scientist says). ~ Lawrence Fisher. cacm.acm.org/news/the-pat... #AI #Math #ITP #LeanProver
November 7, 2025 at 3:51 PM
“A superhuman AI mathematician is one that can prove more theorems than humans have.”
I could not have more disdain and hatred for this. This is a (not surprising) stain on computer science. That said, I feel a bit ahead of folks in this. I should spell it out.
The path to a superhuman AI mathematician. (Mathematics is the first place where evidence of AI superintelligence is likely to appear, a theoretical computer scientist says). ~ Lawrence Fisher. cacm.acm.org/news/the-pat... #AI #Math #ITP #LeanProver
November 7, 2025 at 3:48 PM
Reposted by Greg Langmead
The most shocking revelation in the whole AI debacle has been the realisation that the smartest people in the world are fucking idiots.
November 6, 2025 at 5:49 PM
Just like TV producers saw The Truman Show and had the exact wrong response (“wow what a great idea!”), I think a bunch of people saw The Terminator and heard about Cyberdyne’s AI making important decisions and said “Wow what a great idea! Let’s make that future happen!”
November 5, 2025 at 2:36 AM
Some number of people have a belief that you and I agree is false. Among those, many were decisively moved to that belief by a bad faith agent, or indirectly by an agent who had bad faith upstream in the causal chain somewhere. I hate it so much. It’s what unifies my anger towards the GOP and GenAI.
November 5, 2025 at 12:54 AM
It’s selection day!
I’m onna vote! I’m onna vote! Take a good hard look at the ever lovin vote!
November 4, 2025 at 2:30 PM
Reposted by Greg Langmead
Dragons are trying to convince us the problem is the hobbits. There's your fucking Tolkien metaphor.
November 3, 2025 at 3:12 PM
Reposted by Greg Langmead
Tucked into this incredible story from @willdouglasheaven.bsky.social arguing that AGI is, effectively, a conspiracy theory is a fantastic short history on the idea of AGI itself

www.technologyreview.com/2025/10/30/1...
How AGI became the most consequential conspiracy theory of our time
The idea that machines will be as smart as—or smarter than—humans has hijacked an entire industry. But look closely and you’ll see it’s a myth reminiscent of more explicitly outlandish and fantastical...
www.technologyreview.com
October 30, 2025 at 5:18 PM
Reposted by Greg Langmead
The political and cultural ramifications seem catastrophic, obviously, but also it just... sucks. I don't want to feel immediate skepticism upon seeing something like a cat video.
November 3, 2025 at 2:32 AM
Reposted by Greg Langmead
It seems like the soon-to-be AI future is one in which any video you see basically has to be presumed fake unless proven otherwise, no matter how mundane.
November 3, 2025 at 2:30 AM
Reposted by Greg Langmead
The most important thing is to draw the obvious conclusions ourselves.
newrepublic.com/article/2025...
Trump Boat Bombings Worsen as New Horror Shakes Experts: “Alarm Bells”
Remember the Southern Command admiral who resigned two weeks ago? Hill Republicans haven’t heard from him—and they don’t apparently want to.
newrepublic.com
November 1, 2025 at 8:39 PM
This story has a villain.
November 1, 2025 at 10:40 AM
“The Shadow that bred them can only mock, it cannot make: not real new things of its own.”
Elon Musk’s Grokipedia launches with AI-cloned pages from Wikipedia
Ironic.
www.theverge.com
October 30, 2025 at 12:17 AM
Reposted by Greg Langmead
I wonder how much brain damage is caused by the internet making local events appear to be broad trends. Like how 24-hour news made Boomers suddenly aware of every murder in America and instantly think crime is skyrocketing.
October 29, 2025 at 9:21 PM
Video games are made by creative people, including Valve. People who generate value from their soul. This bozo who almost knows he’s a bozo is way more common: a not-creative person who thinks business makes the world go round and is blind to the creativity itself. He will always be confused. B-ark.
I legitimately didn't know they were competing with Steam and it's crazy to me that they burnt so much money on what sounds like something with very little (or wildly misguided) market research.
October 29, 2025 at 11:45 AM
I’m not myself worrying about AI’s water usage. But I do hope the AI apologists didn’t accidentally use bad-faith data when mockingly downplaying the water use! Folks worrying about water usage are legit stakeholders in humanity. Don’t get allergic to people like the villains do.
Amazon strategised about keeping its datacentres’ full water use secret, leaked document shows
Executives at world’s biggest datacenter owner grappled with disclosing information about water used to help power facilities
www.theguardian.com
October 25, 2025 at 11:39 AM