Bodil

I’m setting EasyCrypt (a proof assistant) problems in a class I’m co-teaching. The problems have short solutions. I can often tell the AI-generated submissions because they tend to be much longer than necessary, with multiple lemmas that aren’t needed. When I ask students about them, they admit […]

yeah, so when LibreOffice repudiated the AI, that was what we call a lie

Happy every day I did not migrate my email to Proton. After the Trump posiitve statements now pushing people out who are not sloppy enough ... just great https://mastodon.social/@404mediaco/117509377339919227

"My humanity is not elitism. "My identity is not a political conspiracy. "And my right to live with dignity should not depend on whether a famous author approves of who I am." 🙌👏

Well, this should be fun if you're around London middle of next month: Papers We Love are back with a surprise @kevlin. No, not that kind of @kevlin. https://www.meetup.com/papers-we-love-london/events/317046728/

There was a steal my bitcoin challenge which offered some bitcoin if the PHP instance could be compromised. It was won after 19.28 hours. The solution exploit has been posted, which I've confirmed to work. From the exploit: > The offsets and multipart […] [Original post on infosec.exchange]

The PM of the only Middle East country with nuclear weapons is warning that if he doesn’t win a country without a nuclear weapon will drop a nuclear weapon on Tel Aviv - using AI, because of course

We just attempted walkies in Storm Boelo. Abbie just took one look at the weather, walked out the door to the nearest patch of lawn, arched her back and made a poop on it, then headed straight back inside before I could even get a photo of her cute raincoat. #dog #DogsOfMastodon #corgi

Currently wondering what message the UK govt thought it was sending by dressing up the Minister for Net Zero in a literal Shell logo.

If you really believed that, Mark, you'd rename your company to "Muse." I dare you.

Liberals from Canada to the UK pursuing the interests of one of the most blatantly corrupt and dangerous industries on Earth are the ones making the case for the Far Right to a wider audience. If not caring means being ‘pragmatic’ then those who care the least are the most ‘realistic’.

Whatever little smidgen of respect I might have gained for Ed Miliband after his little Palestine stunt earlier, it's dribbling away every moment he fails to flip the Cabinet Office tables and rage quit this petrofascist government […]

@bodil a naive prime factoring algorithm would just skip all even numbers meaning 2 is actually the safest prime.

i'm reading matt levine on AI debt default insurance and holy shit, every person who uses first world currency in their daily life is turbo fucked the fuckery is like crypto but it's *real* money https://www.bloomberg.com/opinion/newsletters/2026-10-20/someone-has-to-take-the-ai-risk archive […]

Isn't it standard practice to multiply two primes together to generate a cryptographic key? 2 is a prime, what's the problem?

Those fuckwits, Burnham, Fahnbulleh and John Healey, have gone and done it. Embracing Armageddon. Jackdaw North Sea gasfield to get go-ahead in blow to climate campaigners | Fossil fuels | The Guardian […]

You love to see it.

Some action shots from today's shark alert. That human in the pool is unbelievably lucky to still be alive. #dog #DogsOfMastodon #corgi #jaws

SHARK ALERT! Second time in the pool, and she's quite a confident swimmer now, even though she only ever swims directly towards the exit ramp. #dog #DogsOfMastodon #corgi

Get in, loser, we're pivoting to quantum! https://blog.google/innovation-and-ai/models-and-research/quantum-computing/magic-state-cultivation-quantum-computing/

Before and after I asked her if she's excited to go for another swimming lesson tomorrow. #dog #DogsOfMastodon #corgi

Scritches behind the ears: not as good as tummy scritches, but close. #dog #DogsOfMastodon #corgi

I VEHEMENTLY reject the idea that it would ever be legitimate to exclude trans women from a woman's group or women's bathroom or whatever because of someone's trauma around men. That sort of rhetoric has been weaponized against minorities for years to justify their exclusion. "I'm afraid of […]

When I read that Anthropic source repository post with the "every bottleneck we remove immediately leads to a further increase in the amount of code we produce" quote, I just think back to Ken Thompson's famous quote: "One of my most productive days was throwing away 1,000 lines of code." […]

It's remarkable how little of a surprise it is to me that my alleged uncle Robert C Martin is one of those people who believes LLMs are sentient but remain perfectly untroubled by forcing a sentient being to perform slave labour for him.

Excuse me, it's actually called SI psychosis now.

this is the perfect metaphor to understand the distinction between AI doomer concerns versus AI skeptic concerns

"A senior colleague of mine found one of his favourite problems among those solved and attempted to read the accompanying paper. He told me it was so unintelligible that, had he received it as an editor at a mathematics journal, “it would have gone straight into the bin”. —Melissa Lee, Monash […]

KKK

Good news! The Chief Mouser Larry is back at Downing Street 🐾

Can confirm. I mean, being in the Epstein files per se isn't necessarily bad, like when you're in the Epstein files because Richard Dawkins used to complain to Epstein about how much he hates you, but I definitely know a couple of people who knew people who were _on the island_.

https://arxiv.org/abs/2610.08144 > In particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations So OpenAI, the bullshit company selling the bullshitting product might be bullshitting everyone?

Coding agents reduce software development to a simple matter of: * specifying requirements * verifying correctness and quality * maintaining and operating software you didn't write As we all know, those have always been the easiest, most well-understood parts of the craft, so everything is fine!