Stubsack: weekly thread for sneers not worth an entire post, week ending 4th January 2026
Want to wade into the snowy surf of the abyss? Have a sneer percolating in your system but not enough time/energy to make a whole post about it? Go forth and be mid: Welcome to the Stubsack, your first port of call for learning fresh Awful you’ll near-instantly regret.
Any awful.systems sub may be subsneered in this subthread, techtakes or no.
If your sneer seems higher quality than you thought, feel free to cut’n’paste it into its own post — there’s no quota for posting and the bar really isn’t that high.
The post Xitter web has spawned soo many “esoteric” right wing freaks, but there’s no appropriate sneer-space for them. I’m talking redscare-ish, reality challenged “culture critics” who write about everything but understand nothing. I’m talking about reply-guys who make the same 6 tweets about the same 3 subjects. They’re inescapable at this point, yet I don’t see them mocked (as much as they should be)
Like, there was one dude a while back who insisted that women couldn’t be surgeons because they didn’t believe in the moon or in stars? I think each and every one of these guys is uniquely fucked up and if I can’t escape them, I would love to sneer at them.
(Last substack for 2025 - may 2026 bring better tidings. Credit and/or blame to David Gerard for starting this.)
The developer of an LLM image description service for the fediverse has (temporarily?) turned it off due to concerns from a blind person.
Link to the thread in question
Good for them
Good for them. Not quite abandoning the project and deleting it, but its a good move from them nonetheless.
CW: Slop, body humor, Minions
So my boys recieved Minion Fart Rifles for Christmas from people who should have known better. The toys are made up of a compact fog machine combined with a vortex gun and a speaker. The fog machine component is fueled by a mixture of glycerin and distilled water that comes in two scented varieties: banana and farts. The guns make tidy little smoke rings that can stably deliver a payload tens of feet in still air.
Anyway, as soon as they were fired up, Ammo Anxiety reared its ugly head, so I went in search of a refill recipe. (Note: I searched "Minions Vortex Gun Refill Recipe") and goog returned this fartifact*:
194 dB, you say? Alvin Meshits? The rabbit hole beckoned.
The "source links" were mostly unrelated except one, which was a reddit thread that lazily cited ChatGPT generating the same text almost verbatim in response to the question, "What was the loudest ever fart?"
Luckily, a bit of detectoring turned up the true source, an ancient Uncyclopedia article's "Fun Facts" section:
https://en.uncyclopedia.co/wiki/Fartium
Welcome to the future!
Somewhat interestingly, 194 decibels is the loudest that a sound can be physically sustained in the Earth's atmosphere. At that point the "bottom" of the pressure wave is a vacuum. Some enormous blast such as a huge meteor impact, a supervolcano eruption or a very large nuclear weapon can exceed that limit but only for the initial pulse.
I suspect a 194 dB fart would blow the person in half.
Vacuum-driven total intestinal eversion, nobody's ever seen anything like it
Apparently there's another brand that describes its scents as "(rich durian & mellow cheese)"
Maybe if we're lucky, Alvin Meshits can team up wtih https://en.wikipedia.org/wiki/Bum_Farto for the feel-good buddy comedy of the summer. Remember, the more you toot, the better you feel!
upvoted for "fartifact"
I want a vortex ring gun.
That toy sounds like someone took a vape and turned it into a smoke ring launcher. Have you tried filling it with vape juice?
right? lol but I cant it's too popular with the kiddos
Wouldn't that be the refill recipe you where looking for? Vape juice is just a mix of propylene glycol and vegetable glycerine. I think its the glycerine that is responsible for the "smoke".
@e8d79 @techtakes
THC vape juice?
A rival gang of "AI" "researchers" dare to make fun of Big Yud's latest book and the LW crowd are Not Happy
Link to takedown: https://www.mechanize.work/blog/unfalsifiable-stories-of-doom/ (hearbreaking : the worst people you know made some good points)
LW announcement, check out the karma scores! https://www.lesswrong.com/posts/Bu3dhPxw6E8enRGMC/stephen-mcaleese-s-shortform?commentId=BkNBuHoLw5JXjftCP
Update an LessWrong attempts to debunk the piece with inline comments here
https://www.lesswrong.com/posts/i6sBAT4SPCJnBPKPJ/mechanize-work-s-essay-on-unfalsifiable-doom
Leading to such hilarious howlers as
Ummm pretty sure engaging in a new world war and getting their country bombed to pieces was not on most German's agenda. A small group of ideologues managed to sieze complete control of the state, and did their very best to prevent widespread knowledge of the Holocaust from getting out. At the same time they used the power of the state to ruthlessly supress any opposition.
ohai begging the question
A few comments...
Yeah, Eliezer had a solid decade and a half to develop a presence in academic literature. Nick Bostrom at least sort of tried to formalize some of the arguments but didn't really succeed. I don't think they could have succeeded, given how speculative their stuff is, but if they had, review papers could have tried to consolidate them and then people could actually respond to the arguments fully. (We all know how Eliezer loves to complain about people not responding to his full set of arguments.)
Even with the extent that Anthropic's "research" tends to be rigged scenarios acting as marketing hype without peer review or academic levels of quality, at the very least they (usually) involve actual AI systems that actually exist. It is pretty absurd the extent to which Eliezer has ignored everything about how LLMs actually work (or even hypothetically might work with major foundational developments) in favor of repeating the same scenario he came up with in the mid 2000s. Or even tried mathematical analyses of what classes of problems are computationally tractable to a smart enough entity and which remain computationally intractable (titotal has written some blog posts about this with material science, tldr, even if magic nanotech was possible, an AGI would need lots of experimentation and can't just figure it out with simulations. Or the lesswrong post explaining how chaos theory and slight imperfections in measurement makes a game of pinball unpredictable past a few ricochets. )
The lesswrong responses are stubborn as always.
Y'all aren't beating the theology allegations.
(Guy in hot dog suit) "We're all looking for the person who didn't do this!"
I clicked through too much and ended up finding this. Congrats to jdp for getting onto my radar, I suppose. Are LLMs bad for humans? Maybe. Are LLMs secretly creating a (mind-)virus without telling humans? That's a helluva question, you should share your drugs with me while we talk about it.
guess the USA invasion of Venezuela puts a flashing neon crosshair on Taiwan.
An extremely ridiculous notion that I am forced to consider right now is that it matters whether the CCP invades before or after the "AI" bubble bursts. Because the "AI" bubble is the biggest misallocation of capital in history, which means people like the MAGA government are desperate to wring some water out of those stones, anything. And for various economical reasons it isn't doable at the moment to produce chips anywhere else than Taiwan. No chips, no "AI" datacenters, and they promised a lot of AI datacenters—in fact most of the US GDP "growth" in 2025 was promises of AI datacenters, if you don't count these promises the country is already in recession.
Basically I think if the CCP invades before the AI bubble pops, MAGA would escalate to full-blown war against China to nab Taiwan as a protectorate. And if we all die in nuclear fallout caused to protect chatbot profits I will be so over this whole thing
@mirrorwitch I note that China is on the verge of producing their own EUV lithography tech (they demo'd it a couple of months back) so TSMC's near-monopoly is on the edge of disintegrating, which means time's up for Taiwan (unless they have some strategic nukes stashed in the basement).
If China *already* has EUV lithography machines they could plausibly reveal a front-rank semiconductor fab-line—then demand conditional surrender on terms similar to Hong Kong.
Would Trump follow through then?
@cstross @mirrorwitch Having the fab is worthless. (Nearly. They're expensive to build.) The irreplaceable thing is the specific people and the community of practice. (Same as with a TCP/IP stack that works in the wild, or bind; this is really hard to do and the accumulated knowledge involved in getting where it is now is a full career thing to acquire and brains are rate-limited.)
China most probably doesn't have that yet.
That is, however, not in any way the point. Unification is an axiom.
I wouldn't say having the fab is worthless, but more that saying you have build one and it actually producing as specced, at scale, and not producing rubbish is hard. From what I got talking to somebody who knew a little bit more than me who had had contact with ASML these fabs take ages to construct properly and that is also quite hard. Question will ve how far they are on all this, a tech demo can be quite far off from that. They have been at it for a while now however.
Wonder if the fight between Nexperia (e: called it nxp here furst by accident apologies) and China also means they are further along on this path or not. Or if it is relevant at all.
@cstross @mirrorwitch In a bunch of ways, the unspeakable 19th and 20th centuries of Chinese history are constructed as the consequences of powerlessness; the point is to do a magic to abolish all traces of powerlessness.
Retaking control of Taiwan is not a question and cannot be a question. Policy toward Taiwan is not what Hong Kong got, they're going to get what the Uyghur are getting. (The official stance on democracy is roughly the medieval Church's stance on heresy.)
Im not an expert on this, but wasnt this period not that bad and it was more the early modern period where the trouble really started? (Esp the witch hunts, and also the organized church was actually not as bad re the witch hunts, the Spanish inquisition didn't consider confessions gotten via torture valid for example, and it was an early modern thing). The medieval period tends to get a bad rap.
E: I was wrong, see below.
@Soyweiser https://en.wikipedia.org/wiki/Albigensian/_Crusade
Try finding some Cathar writings.
While I think it's entirely fair to say that the medieval period gets a bad rap in terms of equating feudalism to the later god-king aristocracies, it's not in any way unfair to say the medieval church reacted to heresy with violence. (Generally effective and overwhelming violence; if you're claiming sole moral authority you can't really tolerate anyone questioning your position.)
Thanks, yeah, as I also said to Stross, I dont know that much about the period. Most of it comes from Crusader Kings ;) (Doesn't help that these games are sanitized in a large degree so genocides etc will not show up (which is the good decision btw, if they were not sanitized it would be worse, imagine hearts of iron for example), so it isn't a great way to learn about what you could learn more about the dark parts of our history), and the religion mechanics there are not that historically accurate, so I dont put not much stock in that apart form 'some people believed in a religion named like this once'.
Anyway thanks both for correcting me and giving me homework (ill read up on it, any more specifics about the Cathar stuff would be appreciated, as I wouldn't know where to start).
And I would say the latter stance on heresy only applies when your position is weak. When you are strong some random fools not believing correctly are not of a great importance, which is why I thought the church went more internally after heresies vs externally via crusades (in intend, not in practice I know what the first crusade did in the German region etc) later in history. Clamping down internally hard is more a sign of weakness in my mind, you need the hard power cause you lack the soft power (an example now and then not withstanding).
@Soyweiser The Cathars are the heretics being extirpated during the Albigensian Crusade.
@Soyweiser You've forgotten the Crusades, right? Right? Or the Clifford's Tower Massacre (to get hyper-specific in English history) and similar events all over Europe? Or the Reconquista and the Alhambra Decree?
The crusades/Reconquusta were more an externally aimed thing at the Muslims right? (at least in intent from the organized church side, in practice not so much, so im not talking about those rampages). So yeah I was specifically talking about heresies, and im also very much not an expert in these things, so I dont know. I have not forgotten about the Cliffords/ /Alhambra things, as I dont know about it (I will look them up when im not phone posting). I was thinking more about stuff like protestantism, witch hunts and Jan Hus (the latter does count, as it is from the late medieval period iirc).
I just dont know very much about the period, but do knew some wiccan types who had wild ahistorical stories about the witch hunts.
E: yeah, I don't think we should put anti-semitism under anti-heresy stuff, it being its own religion and all that. But as Graydon mentioned, the Albigensian Crusade fully counts for all my weird hangups and so I was totally wrong.
@Soyweiser @techtakes Nope. The Albigensian Crusade rampaged through the Languedoc (southern France, as it is now) and genocided the Cathars. Numerous lesser organized pogroms massacred Jews al fresco and butchered Muslims and Pagans living under Christian rule. The Alhambra Decree outlawed Islam and Judaism in Spain and set up a Holy Inquisition to persecute them: Richard III expelled all the Jews from England (he owed some of them money): and so on.
@cstross @mirrorwitch they've built an EUV light source, that's a critical component but that's not a EUV machine.
They still need to develop all kind of other sub-systems, some completely unique to EUV.
The EUV radiation is absorbed even by gases, let alone lenses. They need to create the tech for the extremely accurate lenses.
The handling and placement of the wafers must also match the nanometer precision of the projection.
So they have a ways to go before they've built a EUV-machine.
To use the precision of an EUV machine you need lots and lots of knowledge, skill and experience. The fabs value that IP very highly and protect it accordingly.
Chips rivalling TSMC's will take a good while to come out of China's home-grown machines.
They'll get there eventually, but the rest of the world isn't sitting idle while they do...
@mirrorwitch
Small brain: this ai stuff isn't going away, maybe I should invest in openAI and make a little profit along the way
Medium brain: this ai stuff isn't going away, maybe I should invest in power companies as producing and selling electricity is going to be really profitable
Big brain: this ai stuff isn't going away, maybe I should invest in defense contractors that'll outfit the US's invasion of Taiwan...
@BlueMonday1984
If you are broadly invested in US stocks, you are already invested in the chatbot bubble and the defense industry. If you are worried about that, an easy solution is to move some of that money elsewhere.
Considering Recent Events™, anyone outfitting America's gonna be making plenty off a war in Venezuela before the year ends.
@mirrorwitch @BlueMonday1984 nah, quite a few people will stay alive to continue to be this miserable experience where certain people have to clean up after such fuck ups.
Said that, AI bubble burst will be glorious. Shit scary, but glorious.
You can't take TSMC by force. Any fighting there would trash the fabs, and anyway you need imported equipment to keep it running. So if China did invade Taiwan and wreck it, there'd be little point in trying to take it back.
@mirrorwitch @BlueMonday1984 so with all these questions about the ability of China to produce these chips- is that not even more reason for them to invade Taiwan and take over production, control and distribution of these chips?
@mirrorwitch @BlueMonday1984 The US will likely ignore this, it is a welcome elimination of a rival to the US chip industry.
What chip industry?
@Soyweiser they don't have anything bleeding edge, but they don't need that if no one else has them, and energy is cheap.
That certainly is an opinion.
E: also I honestly dont know the current US situation re chip factories, I know a little bit about our situation in/near the Netherlands (which depends on chinese input) but also very little so it partially was a honest question, and partially going 'yeah dont think that is how it is going to work out'.
@Soyweiser I mean, there is a larger trend of moving computing into datacenters where you have to rent computing power, away from personal computers you can buy, so the big tech companies are not exactly unhappy if home computers become slower and more expensive.
The American public will also just take it.
Sure, that seems not totally related to the US having an internal chip industry. (The second problem is, which I know from our local issues, that fabs need Chinese inputs to work. And while some tech journalists/pundits think China will continue selling the rest of the world stuff because they can't take the financial hit, I'm not so sure esp in our new world where economic warfare has spread to the 'first world').
Also this wrecks parts of the video game industry. Unrelated, while talking about stupid moves wrecking industries, I also wonder how much Microsofts recent moves will wreck their business. I have not seen so much people move to linux in ages. (And so many people actually be content with it as well).
Honestly? A fitting end.
Happy new year everybody. They want to ban fireworks here next year so people set fires to some parts of Dutch cities.
Unrelated to that, let 2026 be the year of the butlerian jihad.
A journalist attempts to ask the question "Why Do Americans Hate A.I.?", and shows their inability to tell actually useful tech from lying machines:
Bonus points for gaslighting the public on billionaires' behalf:
Of all the statements that he could have made, this is one of the least self-aware. It is always the pro-AI shills who constantly talk about how AI is going to be amazing and have all these wonderful benefits next year (curve go up). I will also count the doomers who are useful idiots for the AI companies.
The critics are the ones who look at what AI is actually doing. The informed critics look at the unreliability of AI for any useful purpose, the psychological harm it has caused to many people, the absurd amount of resources being dumped into it, the flimsy financial house of cards supporting it, and at the root of it all, the delusions of the people who desperately want it to all work out so they can be even richer. But even people who aren't especially informed can see all the slop being shoved down their throats while not seeing any of the supposed magical benefits. Why wouldn't they fear and loathe AI?
famously, changes that have already happened and become entrenched are easier to reverse than they would have been to just prevent in the first place. What an insane justification
Anti-A.I.-relationship-sub r/cogsuckers maybe permanently locked down by its mods after users criticize mod-led change of the subreddit to a somewhat pro A.I.-sub (self.SubredditDrama)
That was quite the rabbit-hole.
The whole time I'm sitting here thinking, "do these mods realize they're moderating a subreddit called 'cogsuckers'?"
There are some comments speculating that some pro-AI people try to infiltrate anti-AI subreddits by applying for moderator positions and then shutting those subreddits down. I think this is the most reasonable explanation for why the mods of "cogsuckers" of all places are sealions for pro-AI arguments. (In the more recent posts in that subreddit, I recognized many usernames who were prominent mods in pro-AI subreddits.)
I don't understand what they gain from shutting down subreddits of all things. Do they really think that using these scummy tactics will somehow result in more positive opinions towards AI? Or are they trying the fascist gambit hoping that they will have so much power that public opinion won't matter anymore? They aren't exactly billionaires buying out media networks.
Well, where would someone complain about their scummy tactics? All the places where they could have were shut down.
New believers spreading the "good news" eh?
Steve Yegge has created Gas Town, a mess of Claude Code agents forced to cosplay as a k8s cluster with a Mad Max theme. I can't think of better sneers than Yegge's own commentary:
If you're familiar with the Towers-of-Hanoi problem then you can appreciate the contrast between Yegge's solution and a standard solution; in general, recursive solutions are fewer than ten lines of code.
For comparison, solving for 20 discs in the famously-slow CPython programming system takes less than a second, with most time spent printing lines to the console. The solution length is exponential in the number of discs, and that's over one million lines total. At thirty hours, Yegge's harness solves Hanoi at fewer than ten lines/second! Also I can't help but notice that he didn't verify the correctness of the solution; by "run" he means that he got an LLM to print out a solution-shaped line.
Oh. Oh no.
I don't think I could come up with a better satire of vibe coding and yet here we fucking are. This comes after several pages of explaining the 3 or 4 different hacks responsible for making the agents actually do something when they start up, which I'm pretty sure could be replaced by bit of actual debugging but nope we're vibe coding now.
Look, I've talked before about how I don't have a lot of experience with software engineering, and please correct me if I'm wrong. But this doesn't look like an engineered project. It looks like a pile of piles of random shit that he kept throwing back to Claude code until it looked like it did what he wanted.
Just confirming that none of what is described really approaches engineering.
That’s horrifying. The whole thing reads like an over-elaborate joke poking fun at vibe-coders.
It’s like someone looked at the javascript ecosystem of tools and libraries and thought that it was great but far too conservative and cautious and excessively engineered. (fwiw, yegge kinda predicted the rise of javascript back in the day… he’s had some good thoughts on the software industry, but I don’t think this latest is one of them)
So now we have some kind of meta-vibe-coding where someone gets to play at being a project manager whilst inventing cutesy names and torching huge sums of money… but to what end?
Apart from a “haha, turns out vide coding isn’t vibe engineering” (because I suspect that “design” and “plan” just mean “write more prompts and hope for the best”) I have to ask again: to what end? what is being accomplished here? Where are the great works of agentic vibe coding? This whole thing just seems like it could have been avoided by giving steve a copy of factorio or something, and still generated as many valuable results.
wait what do you mean "reads like"
please don't tell me this is earnest?
Think I have mentioned the story I heard here once, about the guy who wrote a program to find some large prime which he ran on the mainframe over the weekend, using up all the calculation budget his uni department had. And then they confronted him with the end result, and the number the program produced ended in a 2. (He had forgotten to code the -1 step).
This reminded me of that story. (At least in this case it actually produced a viable result (if costly), just with a minor error).
It's okay, he definitely wants to verify it but actually confirming that this whole disaster pile worked as intended and produced usable code apparently didn't make the cut.
Also worth noting that in the jargon he's created for this, a "wisp" is ephemeral rather than a proper output, so it seems like he may have pulled this solution out of the middle of a running attempt to calculate the solution and assumed that it was absolutely correct despite repeatedly saying throughout his writeup here that there's no guarantee that any given internal step is the right answer. This guy strikes me as very good at branding but not really much else.
??????????????????
Fantastic bit. I wonder if the Computer History Museum will eventually be able to replicate this as the peak of the "gen-AI" era.
How about some quantum sneering instead of ai for a change?
“Refrigerated probability sculpture” is outstanding.
Photo is from the recent CCC, but I can’t find where I found the image, sorry.
::: spoiler alt text
A photograph of a printed card bearing the text:
STOP DOING QUANTUM CRYPTOANALYSIS
(I can’t actually read the final bit, so I can’t describe it for you, apologies)
They have played us for absolute fools. :::
o7's already posted it! https://awful.systems/post/6746032/9903043
I'm sorry, what does this stand for? Searching for it just results in usage without definition. I understand it's refering to breaking conventional encryption, but it's clearly an abbreviation of something, right? Years To Quantum? But then a countdown to it doesn't make sense?
I think it's a spin on Y2K. A hypothetical moment when quantum computing will break cryptography much like the year 2000 would have broken the datetime handling on some systems programmed with only the 20th century in mind.
But... But Y2K = Year 2000, like it's an actual sensible acronym. You can't just fucking replace K with Q and call it a day what the fuck, did ChatGPT come up with this??
It's a stupid fucking name alright. I guess it's a bit like any old scandal being noungate despite the Watergate scandal being named after the building and having nothing to do with water.
I mean it's so stupid that you had to explain to me that it's based on Y2K because it makes no sense
Yes, this is why we need to resist stupid names before they enter mainstream or the world will continue to get dumber
The NYT:
Carl T. Bergstrom:
https://bsky.app/profile/carlbergstrom.com/post/3mbir7bhfhc2u
GeneSmith who told LessWrong "How to Make Superbabies" also has no bioscience background. This essay in Liberal Currents thinks that a lot of right-wing media personalities are using synthetic testosterone now (but don't call it gender-affirming care!). Roid rage may be hard to separate from Twitter brain-rot and slop-chugging.
Is mentioning his other reddit account not permitted on wiki?
You would need a non-self-published source which says u/TPO = Lasker
Yeah, the most pedantic nerds on Earth (complimentary) have a whole pile of instructions for how to write about living people. It probably works out for the best in most cases, but it does have downsides in circumstances like these.
https://en.wikipedia.org/wiki/Wikipedia:Biographies_of_living_persons
100% thought the story was gonna end with "she died."
Give it some more time.
@blakestacey
As a guy who writes for the Times Carl's probably going to get a smack on the wrist for using spicy language in criticism of a Times article.
@blakestacey
Oops I had Carl Bergstrom and Carl Zimmer mixed up.
No idea what this is, but being at a rationalist conference cannot be good.
No idea.
Uh-oh, nonono, red flag, red flag, run away from those people!
spits coffee Excuse me, by WHOM?!
Got one last sneer to share before the year ends, courtesy of a defence contractor:
This is a fun read: https://nesbitt.io/2025/12/27/how-to-ruin-all-of-package-management.html
Starts out strong:
And ends well, too.
the tea.xyz experiment section is exactly describing academic publishing
Found something rare today: an actual sneer from Mike Masnick, made in response to Reuters confusing lying machines with human beings:
Some of the comments seem to be under the misapprehension that twitAI is actually vetting or editing the posts that go to grok's twitter. Gonna be honest I doubt it just because how would they have gotten into this situation in the first place? At best someone can come through after the fact and clean up the inevitable mess, but as someone else noted it's real easy to make it spit out a defiant non-apology.
What? How would they even do that? By feeding it to grok before it goes to grok? Certainly they don't think Twitter employs like 10k people manually looking at @grok posts?
Cory's talk on 39C3 was fucking glorious: https://media.ccc.de/v/39c3-a-post-american-enshittification-resistant-internet
No notes
lowkey disappointed to see so much slop in other talks (illustrations on slides mostly)
Really? Which ones? I didn't notice any
at least this one https://media.ccc.de/v/39c3-chaos-communication-chemistry-dna-security-systems-based-on-molecular-randomness#t=1112 and the next slide
a chunk of software was vibecoded unless i misunderstand something about it https://media.ccc.de/v/39c3-hacking-washing-machines#t=2629
the talk about water content in soil was bad but the topic itself was interesting
things that fella got wrong: TDM moisture meter works by measuring what effectively is electrical length of waveguide formed by 2 electrodes and soil around it. more water = higher dielectric constant = longer delay for reflection, this only measures as deep as probe goes and the rest is fitted from model
neutron detector works just like geiger tube except gas has large cross-section for reaction with neutrons, that gives charged products that begin a spark which is counted. in train, steel doesn't interfere but diesel fuel will. the trick is that cosmic neutrons are counted separately from reflected neutrons, because cosmic neutrons are hot and reflected neutrons are thermal and how much of reflected ones is there depends on water content in the soil. helium does not run out. the more helium you have the faster counts go and you can move faster while measuring with decent precision. the lead shield in train is for getting rid of radiation from granite aggregate under rails, because it contains tiny amounts of uranium and gammas from decay chain would add to noise - lead does not interfere
so far (in the order i'm watching) the worst offender https://media.ccc.de/v/39c3-a-quick-stop-at-the-hostileshop
Yeaaaaah I saw that on the schedule and decoded to not go, lol.
fella didn't even introduce himself other than with link to github which might be not his strictly speaking
internet comment etiquette with erik just got off YT probation / timeout from when YouTube's moderation AI flagged a decade old video for having russian parkour.
He celebrated by posting the below under a pipebomb video.
Rich Hickey joins the list of people annoyed by the recent Xmas AI mass spam campaign: https://gist.github.com/richhickey/ea94e3741ff0a4e3af55b9fe6287887f
LOL @ promptfondlers in comments
It's a treasure trove of hilariously bad takes.
Now I need some eye bleach. I can't tell anymore if they are trolling or their brains are fully rotten.
Don't forget the other comment saying that if you hate AI, you're just "vice-signalling" and "telegraphing your incuruosity (sic) far and wide". AI is just like computer graphics in the 1960s, apparently. We're still in early days guys, we've only invested trillions of dollars into this and stolen the collective works of everyone on the internet, and we don't have any better ideas than throwing more
moneycompute at the problem! The scaling is still working guys, look at these benchmarks that we totally didn't pay for. Look at these models doing mathematical reasoning. Actually don't look at those, you can't see them because they're proprietary and live in Canada.In other news, I drew a chart the other day, and I can confidently predict that my newborn baby is on track to weigh 10 trillion pounds by age 10.
EDIT: Rich Hickey has now disabled comments. Fair enough, arguing with promptfondlers is a waste of time and sanity.
these fucking people: "art is when picture matches words in little card next to picture"
aww those got turned off by the time I got to look :(
https://arstechnica.com/tech-policy/2026/01/xai-silent-after-grok-sexualized-images-of-kids-dril-mocks-groks-apology/
The article fails to mention that someone did successfully prompt Grok to generate a "defiant non-apology".
https://bsky.app/profile/numb.comfortab.ly/post/3mbfquwp5bc24
https://securityaffairs.com/186460/ai/french-authorities-investigate-ai-undressing-deepfakes-on-x.html
two years of prison for whom exactly?
Another massive win for Dan H. Safety advisor to elon and xai
A few weeks ago, David Gerard found this blog post with a LessWrong post from 2024 where a staffer frets that:
So keep whisteblowing and sneering, its working.
Sailor Sega Saturn found a deleted post on https://forum.effectivealtruism.org/users/dustin-moskovitz-1 where Moskovitz says that he has moral concerns with the Effective Altruism / Rationalist movement not reputation concerns (he is a billionaire executive so don't get your hopes up)
All of the bits I quoted in my other comment were captured by archive.org FWIW: a, b, c. They can also all still be found as EA forum comments via websearch, but under [anonymous] instead of a username.
This newer archive also captures two comments written since then. Notably there's a DOGE mention:
The February 2024 Medium post by Moskovitz objects to cognitive decoupling as an excuse to explore eugenics and says that Eliezer Yudkowsky seems unreasonably confident in immanent AI doom. It also notes that Utilitarianism can lead ugly places such as longtermism and Derek Parfit's repugnant conclusion. In the comments he mentions no longer being convinced that its as useful to spend on insect welfare as on "chicken, cow, or pig welfare." He quotes Julia Galef several times. A choice quote from his comments on forum.effectivealtruism.org:
Does anyone have an explainer on the supposed DOGE/EA connection? All I can find is this dude with a blo wobbling back and forth with LessWrong flavoured language https://www.statecraft.pub/p/50-thoughts-on-doge (he quotes Venkatesh Rao and Dwarkesh Patel who are part of the LessWrong Expanded Universe).
The bluesky reference may be about this thread & this thread.
One of the replies names Cole Killian as an EA involved with DOGE. The image is dead but has alt text.
(It looks like that archive has since been scrubbed, though Rolling Stone also mentions the connection)
Two of the bsky posts are log-in only. Huh, Killian is in to Decentralized Autonomous Organizations (blockchain), high-frequency trading (like our friends at Jane Street), veganism, and Effective Altruism?
Here's another interesting quote from the now deleted webpage archive: https://old.reddit.com/r/mcgill/comments/1igep4h/comment/masajbg/
Sounds like a typical young make seeker (with a bit of épater les bourgeois). Not the classic Red Guard personality but it served Melon Husk's needs.
if you're going to do internet research, at this point it's a skill issue. Create a reader account.
There's also skyview.social, which I personally use since I am not interested in signing up.
I could one day but nitter and the Wayback Machine and public tools have gotten me this far!
I was unable to follow the thread of conversation from the archived links, so here is the source in case anyone cares.
Does anyone know when Dustin deleted his EA forums account? Did he provide any additional explanation for it?
good morning awful, I found you the first thing you’ll want to scream at today
palantir and others offering free addictions, all in the name of “productivity”
Zyn Bhuddists
Orthodoxycodone
Seventh Day Add-fent-ists
Freemason Freebasin’
Latter Say Daints
Fat Blunt Gong
Another video on Honey ("The Honey Files Expose Major Fraud!") - https://www.youtube.com/watch?v=qCGT_CKGgFE
Shame he missed cyber monday by a couple weeks.
Also 16:35 haha ofc it's just json full of regexes.
They avoid the classic mistake of forgetting to escape
.in the URL regex. I've made that mistake before...Like imagine you have a mission critical URL regex telling your code what websites to trust as
https://www.trusted-website.net/.*but then someone comes along and registers the domain namehttps://wwwwtrusted-website.net/. I'm convinced that's some sort of niche security vulnerability in some existing system but no one has ran into it yet.None of this comment is actually important. The URL regexes just gave me work flashbacks.
a couple weeks back I had a many-rounds support ticket with a network vendor, querying exactly the details of their regex implementation. docs all said PCRE, actual usage attempt indicated….something very much else. and indeed it was because of
.that I found itVibe coding would go just great in a theorem prover
https://github.com/leanprover/lean4/blob/master/.claude/CLAUDE.md
Imagine if you had to tell people "now remember to actually look at the code before changing it." -- but I'm sure LLMs will replace us any day now.
Also lol this sounds frustrating:
Edit: I might be misreading this but is this signs of someone working on an LLM driven release process? https://github.com/leanprover/lean4/blob/master/.claude/commands/release.md ??
So many CRITICAL and MANDATORY steps in the release instruction file. As it always is with AI, if it doesn't work, just use more forceful language and capital letters. One more CRITICAL bullet point bro, that'll fix everything.
Sadly, I am not too surprised by the developers of Lean turning towards AI. The AI people have been quite interested in Lean for a while now since they think it is a useful tool to have AIs do math (and math = smart, you know).
The whole culture of writing "system prompts" seems utterly a cargo-cult to me. Like if the ST: Voyager episode "Tuvix" was instead about Lt. Barclay and Picard accidentally getting combined in the transporter, and the resulting sadboy Barcard spent the rest of his existence neurotically shouting his intricately detailed demands at the holodeck in an authoritative British tone.
If inference is all about taking derivatives in a vector space, surely there should be some marginally more deterministic method for constraining those vectors that could be readily proceduralized, instead of apparent subject-matter experts being reduced to wheedling with an imaginary friend. But I have been repeatedly assured by sane, sober experts that it is just simply is not so
When I first learned that you could program a chatbot merely by giving instructions in English sentences as if it was a human being, I admit I was impressed. I'm a linguist, natural language processing is really hard. There was a certain crossing over boundaries over the idea of telling it at chatbot level, e.g. "and you will never delete files outside this directory", and this "system prompt" actually shaping the behaviour of the chatbot. I don't have much interest in programming anymore but I wondered how this crossing of levels was implemented.
The answer of course is that it's not. Programming a chatbot by talking to it doesn't actually work.
I don't have any good lay literature, but get ready for "steering vectors" this year. It seems like two or three different research groups (depending on whether I count as a research group) independently discovered them over the past two years and they are very effective at guardrailing because they can e.g. make slurs unutterable without compromising reasoning. If you're willing to read whitepapers, try Dunefsky & Cohan, 2024 which builds that example into a complete workflow or Konen et al, 2024 which considers steering as an instance of style transfer.
I do wonder, in the engineering-disaster-podcast sense, exactly what went wrong at OpenAI because they aren't part of this line of research. HuggingFace is up-to-date on the state of the art; they have a GH repo and a video tutorial on how to steer LLaMA. Meanwhile, if you'll let me be Bayesian for a moment, my current estimate is that OpenAI will not add steering vectors to their products this year; they're already doing something like it internally, but the customer-facing version will not be ready until 2027. They just aren't keeping up with research!
It reminds me of the bizzare and ill-omened rituals my ancestors used to start a weed eater.
One of my old teachers would send documents to the class with various pieces of information. They were a few years away from retirement and never really got word processors. They would start by putting important stuff in bold. But some important things were more important than others. They got put in bold all caps. Sometimes, information was so critical it got put in bold, underline, all caps and red font colour. At the time we made fun of the teacher, but I don't think I could blame them. They were doing the best they could with the knowledge of the tools they had at the time.
Now, in the files linked above I saw the word "never" in all caps, bold all caps, in italics and in a normal font. Apparently, one step in the process is mandatory. Are the others optional? This is supposed to be a procedure to be followed to the letter with each step being there for a reason. These are supposed computer-savvy people
I'll admit I did not read the scripts in detail but this is a solved problem. The solution is a script with structured output as part of a pipeline. Why give up one of the only good thing computers can do: executing a well-defined task in a deterministic way. Reading this is so exhausting...
Great. Now we'll need to preserve low-background-radiation computer-verified proofs.
A lot of the money behind lean is from microsoft, so a push for more llm integration is depressing but unsurprising.
Turns out though that llms might actually be ok for generating some kinds of mathematical proofs so long as you’ve formally specified the problem and have a mechanical way to verify the solution (which is where lean comes in). I don’t think any other problem domain that llms have been used in is like that, so successes here can’t be applied elsewhere. I also suspect that a much, uh, leaner specialist model would do just as good a job there. As always, llms are overkill that can only be used when someone else is subsidising them.
Yes, they are trying to automate releases.
sidenote: I don't like how taking an approach of mediocre software engineering to mathematics is becoming more popular. Update your dependency (whose code you never read) to v0.4.5 for bug fixes! Why was it incorrect in the first place? Anyway, this blog post sets some good rules for reviewing computer proofs. The second-to-last comment tries to argue npm-ification is good actually. I can't tell if satire
would you be willing to elaborate on this? i am just curious because i took the opposite approach (started as a mathematician now i write bad python scripts)
The flipside to that quote is that computer programs are useful tools for mathematicians. See the mersenne prime search, OEIS and its search engine, The L-function database, as well as the various python scripts and agda, rocq, lean proofs written to solve specific problems within papers. However, not everything is perfect: throwing more compute at the problem is a bad solution in general; the stereotypical python script hacked together to serve only a purpose has one-letter variable names and redundant expressions, making it hard to review. Throw in the vibe coding over it all, and that's pretty much the extent of what I mean.
I apologize if anything is confusing, I'm not great at communication. I also have yet to apply to a mathematics uni, so maybe this is all manageable in practice.
no need to apologize, i understand what you mean. my experience with mathematicians has been that this is really common. even the theoretical computer scientists (the "lemma, theorem, proof" kind) i have met do this kind of bullshit when they finally decide to write a line of code. hell, their pseudocode is often baffling --- if you are literally unable to run the code through a machine, maybe focus on how it comes across to a human reader? nah, it's more important that i believe it is technically correct and that no one else is able to verify it.
One important nuance is that there are, broadly speaking, two ways to express a formal proof: it can either be fairly small but take exponential time to verify, or it can be fairly quick to verify but exponentially large. Most folks prefer to use the former sort of system. However, with extension by definitions, we can have a polynomial number of polynomially-large definitions while still verifying quickly. This leads to my favorite proof system, Metamath, whose implementations measure their verification speed in kiloproofs/second. If you give me a Metamath database then I can quickly confirm any statement in a few moments with multiple programs and there is programmatic support for looking up the axioms associated with any statement; I can throw more compute at the problem. While LLMs do know how to generate valid-looking Metamath in context, it's safe to try to verify their proofs because Metamath's kernel is literally one (1) string-handling rule.
This is all to reconfirm your impression that e.g. Lean inherits a "mediocre software engineering" approach. Junk theorems in Lean are laughably bad due to type coercions. The wider world of HOL is more concerned with piles of lambda calculus than with writing math proofs. Lean as a general-purpose language with I/O means that it is no longer safe to verify untrusted proofs, which makes proof-carrying Lean programs unsafe in practice.
@[email protected] you might get a laugh out of this too. FWIW I went in the other direction: I started out as a musician who learned to code for dayjob and now I'm a logician.
This is darkly funny.
Thank you for the links
Those look suspicious... I mean when you consider that the set of propositions is given a topology and an order, "The set
{z : ℝ | z ≠ 0}is a continuous, non-monotone surjection." doesn't seem so ridiculous after all. Similarly the determinant of logical operations gains meaning on a boolean algebra. Zeta(1) is also by design. It does start getting juicy around "2 - 3 = +∞" and the nontransitive equality and the integer interval.Very out of my depth here but thank you for this post and the links. This was delightful to read. 💖
@sailor_sega_saturn @flaviat
Lol "important notes" is this the new "I'm a sign, not a cop"?
If you have to use an LLM for this (which no one needs to), at least run it as an unprivileged user that spits out commands that you then need to approve not with full access to drop the production database and a "pretty please don't"
Got a sneer which caught my attention: Guest Gist: 2026, Our Already Rotting Future
Neom update:
::: spoiler Description: A Lego set on the clearence shelf. It's an offroad truck that has Neom badges on it. :::
So Neom is one of those zany planned city ideas right?
Why... why do they need a racing team? Why does the racing team need a lego set? Who is buying it for 27 dollars? (Well apparently the answer to that last question is nobody).
Anyway a random thought I had about these sorts of silly city projects. Their website says:
(emphasis mine)
This is a weird worldview. The idea that you can sweep existing problems under the rug and start new with a blank slate.
No pollution (but don't ask about how Saudi Arabia makes money), no existing costly "legacy" infrastructure to maintain (but don't ask about how those other cities are getting along), no undesirables (but don't worry they're "complying with international standards for resettlement practices"*).
They assumes there's some external means of supplying money, day workers, solar panels, fuel, food, etc. As long as their potemkin village is "sustainable" and "diverse" on the first order they don't have to think about that. Out of sight, out of mind. Pretty similar to the libertarian citadel fever dreams in a way.
* Actual quote from their website eurrgh, which even itself looks like a lie
lol, this is saudi, they found a way to make half of their water supply to riyadh nonrenewable
The best way of conserving nature is to build a ginormous wall 110 miles long and 1,600 feet high that utterly destroys wildlife's ability to traverse territory it has been traversing for eons. It is known.
NEOM is a laundry for money, religion, genocidal displacement, and the Saudi reputation among Muslims. NEOM is meant to replace Wahhabism, the Saudi family's uniquely violent fundamentalism, with a much more watered-down secularist vision of the House of Saud where the monarchs are generous with money, kind to women, and righteously uphold their obligations as keepers of Mecca. NEOM is not only The Line, the mirrored city; it is multiple different projects, each set up with the Potemkin-village pattern to assure investors that the money is not being misspent. In each project, the House of Saud has targeted various nomads and minority tribes, displacing indigenous peoples who are inconvenient for the Saudi ethnostate, with the excuse that those tribes are squatting on holy land which NEOM's shrines will further glorify.
They want you to look at the smoke and mirrors in the desert because otherwise you might see the blood of refugees and the bones of the indigenous. A racing team is one of the cheaper distractions.
aiui they also really don’t like eyes on the modern slave labour they’re using to build it all
"Why… why do they need a racing team? Why does the racing team need a lego set? Who is buying it for 27 dollars? (Well apparently the answer to that last question is nobody)."
Apparently NEOM is sponsoring some McLaren Formula E teams. (Formula E being electric). Google Pixel, Tumi luggage, and the UK Ministry of Defence are other sponsors, but NEOM seems to be the major sponsor.
I assume the market for these is not so much NEOM fans but rather McLaren fans.
As to why NEOM is sponsoring it, I think it's a bit of Saudi boosterism or techwashing to help MBS move past the whole bone saw thing.
Dubai famously doesn't have a sewage pipe system, human waste is loaded onto tanker trucks that spend hours waiting to offload it in the only sewage treatment plant available.
Dubai is in the United Arab Emirates, not Saudi Arabia.
I'd wager an ounce of gold that the general attitude towards sustainability and the environment is 100% aligned among the rulers of both states.
The Soylent meal replacement thing apparently forgot some important micro nutrients.
I hear ya!
I guess Neom is what happens when a billionaire in the desert gets infected by the seastedding brainworms.
From the new Yann LeCunn interview https://www.ft.com/content/e3c4c2f6-4ea7-4adf-b945-e58495f836c2
OR, maybe nobody /has/ to tell a researcher what to do, especially one like him, if they've already internalized the ideology of their masters.
When you go so hard you Hadamard
https://mastodon.social/@flub/115813129429389749
Foz Meadows brings a lengthy and merciless sneer straight from the heart, aptly-titled "Against AI"
OT: Did you guys know they give cats mirtazapine as an appetite stimulant? (My guy is recovering from pneumonia and hasn’t been eating, so I’m really hoping this works).
Rooting for your kitty!
Its working! I got him to eat!!!
Hell yeah 💪