To complexity theorists, this is an extremely funny situation; I bet OpenAI started by asking the bot about P vs NP and they got the worst-possible result, a useless and unexpected refutation of a conjecture. To be clear, I don’t trust Lean or OpenAI, so I don’t yet accept this result, but I hear Ryan Williams and Russell Impagliazzo are hand-checking the proof and I do trust them.

It’s too bad that Janus got cooked. They didn’t set up sufficient defenses, but also they drank too deeply. I still think that their framing, that the chatbots are simulators of conversations, is the best one; it’s honestly kind of pathetic how they then claim that the simulations are alive, intelligent, sapient, etc.

Of the numbers that are present in the document, a lot are unaudited and were not worked out according to GAAP — which S-1 numbers are supposed to conform to. There’s whole multi-page subsections of these BS numbers that you should not see in a credible S-1.

In the USA, GAAP is not optional for large businesses. GAAP is expected for businesses with thousands of customers at a minimum; Anthropic wants to scale up to millions of customers and therefore has zero excuses for non-GAAP numbers. Please be less UK-brained in the future, thanks.

LW’s contribution to Spooky Month is, unsurprisingly, a horror story about chatbots taking over the world. I have so many thoughts. Choice sneer, doesn’t spoil anything: The problem with dictators is not “the fact that the dictator might, and often will, abuse his power”, you high-modernist twit, the problem with dictators is that they necessarily have a personal individual opinion which is not sufficiently flexible to accommodate the inevitable diversity of their subjects.

If this was satire, and the entire point was to bait LW’ers and me into taking it seriously, then well done. But I get the feeling that the author’s not really joking much.

What assets? Like, yes they could acquire the database of user prompts and chats, but this is like saying that I could acquire a gently-used Playboy from the woods. And I presume that, just like with ABC and ESPN, Disney will start looking for synergy, but Character doesn’t have any character copyrights which can be extracted into theme-park attractions, nor would Character’s users appreciate a Disney-fication of their UX, nor is Character’s core service profitable on its own with no changes.

Oh, to have a second upvote. Literally the only two modes of interaction I’ve had with Torvalds, across multiple kernel summits, are either (1) he ignores me, maybe kind of grunting, while I’m trying to say something like “good morning” or “how are you?”, or (2) yelling at the person standing next to me, who I’m trying to collaborate with, and thus yelling at me by proxy. I hope it’s no wonder that I only hack kernel in private, for patches I need, or for close friends.

I haven’t really kept up, but it looks like Character’s business model was still focused on NSFW content. If so, then this is also a disaster for the industry at large, since NSFW content is one of the few genuine money-printers for chatbot and image-generation services; people really do want thousands of iterations of the same fantasy, slightly changed in order to stay engaging, and Character was highly recommended as a source of affordable slop. (Examples of unaffordability include the rampant free-tier abuse on ChatGPT, Gemini, and Grok; I’m assuming that customers are willing to open their wallets at least a little. In general, the porn industry turns a profit, so I do think that people will pay for porn.)

My prior estimate (previously, on Awful and on Lobsters) was that token generation was subsidized to the tune of an effective 80-90% discount; this looks to be more in the 90-95% range. For contrast, consider chatbot-booster Willison’s belief, in reply above, that Chinese labs will magically produce a five-fold improvement in token production; this still would be between two to four times slower than needed to turn a profit for Character.

For copyright purposes, all patches must be substantially human-written. However, it seems that most patches are now prepared with chatbot assistance, so that effectively means that people are required to be psychotic centaurs in order to keep up with review demand. There’s an LWN secret link from the documentation lieutenant which summarizes the linked LKML thread. My former lieutenant, in the Direct Rendering Manager (DRM) subsystem, is apparently having a bad time:

Airlie asked his sub-maintainers; most of them identified him as the biggest pain point. More seriously, it was that the DRM subsystem is still seeing too many regressions. There is a push within the subsystem to move development to GitLab in order to use its CI features; he is not standing in the way because he wants to see how it turns out.

This is a more systemic problem than one might expect, because DRM (and DRI, Direct Rendering Infrastructure) are partially shared between Linux and the BSDs. This subsystem has creaked along under the weight of corporate expectations for decades, mostly fueled by a kind of quiet sponsorship of young university folks from GPU vendors along with outsourced drivers produced behind corporate privacy and thrown over the wall. Every vendor, even our eternal nemesis nVidia, has made repeated concessions in order to try to figure out the maintainer burden, but it seems that we are still dependent on Airlie’s stoutness and willingness to get shouted at by Torvalds.

Previously, on Awful, Gutsick Gibbon spent an hour ripping apart T. Beale’s (VD’s) anti-evolution book. She was still angry though, so she got her prior collaborator and four friends to join her for a complete dissection of VD’s bullshit claims. Content warning for literally everything awful we discuss here, including sex crimes, neo-Nazis, Silicon Valley bullshit, and remarkably bad arithmetic. My choice sneer is her chosen video title, “Six Scientists Roast One Racist Loser (Heartwarming) (Four Hours) (Hopecore)”. GG’s requested that we not give VD any attention other than reminding him that he’s such a pathetic loser that even white nationalists disavow him as too boring and insipid, so I’m not posting this to a top-level topic, but I’m getting a lot of household chores done while listening to it in the background and maybe you will too.

While doing research on our friends, I found (a disowned Reddit comment which found) another banger from the guy who pointed out that pinball is too chaotic for superintelligences to predict (discussed previously, on Awful): whole-bird emulation requires quantum mechanics, or “WBE requires QM” for short. Apparently WBE was a minor meme inside the community at some point, but I’m not sure who first noticed the situation. In short, birds with certain chemicals in their eyes may have the ability to sense magnetic fields due to QM effects. (I’d normally recommend WP on this, but the relevant article is bizarrely skeptical about the situation, although it does include a decent diagram.) As such, our friends consider the possibility that their vaunted superintelligence tasks (ancestor simulations, Newcomb predictors, etc.) are harder than WBE, which itself is much harder than e.g. cracking classical cryptography with Shor’s algorithm or some other not-yet-reached quantum-computing task. The author left a great sneer in the comments:

Adding a compass is unlikely to also make the bird disoriented when exposed to a weak magnetic field which oscillates at the right frequency. Which means that the emulated bird will not behave like the real bird in this scenario. You could add this phenomenon in by hand. Attach some detector to your compass and have it turn off the compass when these fields are measured. More generally, adding in these features ad hoc will likely work for the things that you know about ahead of time, but is very unlikely to work like the bird outside of its training distribution. If you have a model of the bird that includes the relevant physics for this phenomenon, it is much more likely to work outside of its training distribution.

Ro-ro-rotate your model of the bird, rotate your model of the bird for science!

Famous mathematician Terry Tao has published slides for “Math 2.0”, a talk where he discusses how mathematics and chatbots can integrate. I suspect that Dr. Tao has fucking lost it. I don’t know how far the chatbots have misled him vs. how much of this is his unawareness of non-number-theoretic maths, but his “ablation studies” and “neighborhood of a theorem” are already studied in reverse maths, and chatbots have not lowered the complexity of proof search, so there’s not really a sense in which chatbots replace any of the proof-oriented parts of practicing mathematics, regardless of the quality of what they say.

Related: a doctor who denied COVID-19 vaccine efficacy (and thus should not be trusted) has chimed in to say that Dr. Tao doesn’t understand cancer research; in particular, he doesn’t understand that (1) we already throw a bunch of chemicals at the wall to see what’s effective, and (2) terminal cancer patients rarely hesitate to sign up for human-challenge trials and experimental pretrials, on account of having decreasingly little to lose. The orange-site commentariat have several similar complaints about Dr. Tao’s position.

Today I learned that Gwern has a folder of Nano Banana comics. Moreover, on HN, he’s proud of them. Masterful gambit, sir.

Ever wondered what kind of workplace environment Elon cultivates? Reading coverage of Tesla’s trial, where complaints were brought by Black folks who felt harassed and discriminated against, gives us an inkling.

CRD attorney Juan Gamboa asked [Judge] Borkon to bar Tesla’s counsel from contacting anyone on the agency’s witness list. He told the court the CRD had tried to reach at least four other listed witnesses over the past several days without getting a response, and that they’ve fallen “off our radar.” The agency believes Tesla’s lawyers got to them too, either with payments not to testify or by talking them out of it. Gamboa wants to stop Tesla from offering to represent witnesses “through persuasion and payment.”

You’re going to hear a lot of coverage of this trial, I expect, due to the following antics from Elon’s “hardcore” attorneys. For context, the N-word is an anti-Black slur which is, in the USA, completely unacceptable to use in court or the workplace.

Tesla’s outside counsel told the judge the N-word is a “term of respect and endearment” in the Black community. … “This trial is not about the N-word — the N-word is not on trial here,” Jones said.

Huh, so what’s actually on trial?

Edwards said a non-Black coworker called him the N-word, cursed at him, and threatened to beat him up. He reported it right away. A month later, he found out his managers had written him up over the incident, and he was later passed over for promotions after applying to more than 100 jobs.

Oh, that’s pretty awful. That’s depressingly common in blue-collar factory employment, though. I wonder if there’s anything unusual about Tesla’s internal culture when it comes to race relations?

The CRD’s Brett Watson told the court the evidence will show managers calling Tesla “the plantation,” with some referring to themselves and Elon Musk as “slave masters,” and graffiti including swastikas, “KKK,” and nooses left on factory walls for days. The second witness, former regional security manager Ozell Murray, testified that his supervisor, Ray Sethna, now Tesla’s senior director of global security, told him to warn a Black Marine veteran he was hiring: “just be sure [the veteran] knows he’ll be called those words.”

I was at a loss for words for a few minutes after this. Dr. Seuss and Jim Henson together could not create such a caricature of a goose-stepping bigoted incompetent business-muppet as Elon.

I’m disappointed in the maths community but not regretting my decision to avoid taking maths as a major. This is remarkably in line with the mentality cultivated by the typical maths department and must be a frustrating daily experience.

If you ever reopen the topic with your colleagues, an interesting starting point might be their thoughts on theorem 14 from this suite; in my opinion, Lean 4 is clearly untrustable. The lack of awareness of this issue seems to stem from the same blind spot that leads to lack of awareness of non-mathematical cognition: whaddaya mean it doesn’t all reduce to one particular pile of symbols which all fit together perfectly?

Sometimes I feel inadequate. I was clumsy when burning Justin M. Keyes and, regardless of whatever trust was lost, I haven’t felt better even after a week of making fun of fascists. Maybe burning somebody else will help? I’d like to share my notes on Dan “Opcode” Jonsson, a relatively-unknown right-wing influencer, before he gets popular enough to have money. I think he’s spooked on Lobsters recently, but he’s been uploading to Youtube multiple times per week and there’s plenty to explore.

If this is also too clumsy and leads to Jonsson deleting his YT channel: good, actually! It’s the only source of revenue that I can find for his opinions. So I’m not going to worry too much about it.

I’m probably going to increase my presence on DreamHost in California, who I’ve hosted with for over a decade. They historically are First Amendment proponents known for being quietly friendly towards adult content; also, in 2017 DH pushed back on the Department of Justice’s subpoena for 1.3 million IP addresses visiting an anti-Trump protest-organizing website. That said, I’m 100% prepared for yet another Milkshake Duck Moment.

Looking forward to being able to send email, which DigitalOcean still blocks in order to funnel customers towards hosted email-delivery services.

Crosspost, hat-tip to @pnwpixel@programming.dev for finding this. Omarchy announces another patron: DigitalOcean. I will wait for DO to explicitly confirm/deny this, but if this is true then I’m going to be moving my entire small-business footprint.

Yeah, Ken’s lost it. It’s too bad, too; he used to go around saying “Hi, my name’s Ken, and my job … is just Requests.” However, Ken is actually a medium-talent hack who isn’t interested in putting the work, but in appropriating the work of others and passing it off as his own.

Ken’s goal with all of the snowy blog posts is to obscure and rewrite history. See, previously, on Lobsters, we learned from another Python community member that Ken converted some $30k USD of donations from 2018-2019. He said so himself:

Because [reasons], the fundraising funds were allocated to myself, to reimburse myself for all the time and energy I’m putting into Requests III, which I want to make a really great product.

Ken also tried to take over multiple community projects, including by vendoring their code and insisting that he was licensed to do it, putting his name on forks of Somebody Else’s Repo, and falsely positioning himself as endorsed by Python Software Foundation.

So, now a half-decade later, it’s time to try to change history for Ken. Previously, on Lobsters, we analyzed his attempt to reframe the whole incident in terms of burnout provoking a bipolar psychosis. I think that the most revealing part of this, assuming that his candor survived Claude’s extrusion process, is that he doesn’t actually deny his psychotic delusions; he merely implies that they no longer hold today. This doesn’t really accord with how psychoses are treated; it doesn’t sound like he’s built up a library of tells and hints which he can use to steer his thinking. (As the reader surely knows, Claude isn’t gonna help with this.) I think that he was much more revealing a decade ago with his retrospective on his first stay in a psychiatric ward:

I went through many stages of identity conflict at this stage as well — I realized that I wanted to leave the hospital, and not stay there forever (as I originally wanted). I felt like I was in a puzzle, and one way of getting out was to become a doctor! So, I started walking up to the doctor (and all other levels of staff) and acted like a coworker, helping them do their job. At one point, I asked one of the nurses for a Direct Deposit Form (after seeing another patient with one), believing that was the key to establishing my employment. I was keen to inform them about my understanding of HIPPA compliance and the hospital’s migration from an AS400 to a newer technology stack (EPIC).

Is this why he joined the Python community and tried to work on upstream and core stuff? A sort of Frank Abagnale adventure where he’s treated like a genuine authority with skills and knowledge? Note that this was two years before the aforementioned conversion of funds. It’s okay, though, because Ken blamed this all on mental illness. Specifically, he blamed the woman he was dating for provoking his previously-undiagnosed mental illness and starting a yearlong (!!‽) manic episode:

Around the same time, right after having gone to my first Kundalini Yoga class, I ended up meeting (and, falling in love with) a mesmerizing woman of mysticism that tenderly guided me off-the-deep-end with this style of thinking: numerology, synchronicity, Reiki, manifestation, the Mayan calendar, tarot, crystals, &c. My symptoms slowly got much worse. We shared a very deep and special bond. I heavily admired her, and felt I had much to learn from my newfound companion. We ended up spending nearly every day together, going on dates, making love, taking trips all over the world, getting matching tattoos, performing thrill-seeking stunts, and attending shamanistic ceremonies together. We had an incredible time (the best year of my life), but there was a lot of unhealthy and certainly uncharacteristic behavior for me. Over the course of the manic year I spent with her, my delusional worldview (and hallucinations) had grown significantly worse, which lead to the absurd themes of thinking featured in the above event.

At least he’s not a fascist.

On a personal note, in Numpy as Synth Engine, Ken released some slow inaccurate code for audio synthesis, generated for him by Claude. As a musician, I know that we can do better, so previously, on Lobsters, I explained how to actually make nice-sounding sawtooths and Hammond-style organs, including links to working Python code. Again, I could just call Ken a hack, but I think it’s interesting how he doesn’t aurally perceive the clear issues in the audio output; in a certain sense, he’s a producer of music but not a consumer of music. (Readers who are musicians will confirm that the typical working musician listens to more music than they produce!)

He just started deleting playlists. I feel partially responsible, so I’m dumping the part of my notes that has all of the links to the videos that he favorited over the years. Sorry Justin, cowardice won’t work.

• Justin M. Keyes
  • GH
    • Berlin!?
  • neovim maintainer
    • original forker? has access to GH neovim org, at least
  • Coward: deletes evidence, refuses to talk, avoids confrontation
  • DHH fan; had to be pilloried in two GH issues ([deleted], 2) before removing a DHH endorsement from neovim
  • Youtube favorites from playlists include some bastards:
    • Scott Adams 1
    • Mel Gibson 1 (with Joe Rogan)
    • Sabine Hossenfelder 1 2
    • Balaji Srinivasan 1
    • Peter Thiel 1 2 (with Eric Weinstein) 3 4
    • Bret Weinstein 1
    • Eric Weinstein 1 (in a playlist called “history”!) 2
    • Curtis Yarvin 1 2 3 4 5 6

I called him out and he deleted it. Confirmed as a fascist brat.