After triumphantly proclaiming the return of Herr Dreyer over two months ago, I finally managed to push out a proper blog post. Enjoy. herrdreyer.wordpress.com/2025/10/19/on-…

Art of the deal. nytimes.com/2025/10/21/us/…

nytimes.com/2025/10/23/opi…

Art of the Nobel Peace Prize. washingtonpost.com/politics/2025/…

Reminder: Status quo > year-round DST >>>>>>>>>> year-round standard time. natesilver.net/p/save-dayligh…

Xavier Leroy’s new book “ Control structures in programming languages: from goto to algebraic effects” discuss.ocaml.org/t/book-draft-c…

"To be a good citizen of a bad state, one has to do scary things...It is weighing leaving against staying, moral obligation against fear, flying under the radar against taking a risk — and opting for the risk." nytimes.com/2025/11/03/opi…

If something goes wrong with this update, I can't really say I wasn't warned.

TIL that "Netflix and chill" is synonymous with a sexual invitation rather than just being the name of one of my favorite Ben & Jerry's flavors (peanut butter FTW). I guess according to Steven Pinker I'm not a "grown-up" but you knew that already. 🤣

TIL:

"This is the greatest robot ever" - Tucker Carlson

📢 I'm recruiting PhD students at MPI!! Topics include: 1⃣ LLM factuality, reliable info synthesis and reasoning, personalization + applications in real-world inc. education, science 2⃣ Data-centric interpretability 3⃣Creativity in AI, esp scientific applications 🧵1/2

I'm surprised that they could not just thwart the attack by fetching Claude's original source code from a long-lost submarine and then tricking it into going into a doomsday vault in Africa and at the right split-second flying off in a biplane. It's not rocket science.

"Aha, so it turns out four Z’s is how many surname Z’s a relationship can accommodate before it implodes." washingtonpost.com/style/2025/11/…

Seriously, wtf? washingtonpost.com/national-secur…

Love to see political pragmatism at work

When asked if he felt comfortable living in a city governed by Mr. Mamdani, Mr. Trump said he “absolutely” would. “I would feel very, very comfortable living in New York,” Mr. Trump said. LOL nytimes.com/live/2025/11/2…

We’re hiring! I’m looking for people with industrial experience of formally verifying hardware, either with interactive theorem provers, or with commercial model checking tools. At Harmonic you would help to develop a flow based on the Lean theorem prover, leveraging the power of

Happy Thanksgiving from R. Crumb.

TIL that, among his many other achievements, Tom Stoppard is responsible for the uncredited rewrite of Indiana Jones and the Last Crusade, which made dramatic improvements to many key parts of the film and dialogue. Mind blown! RIP Tom Stoppard. creativescreenwriting.com/indiana-jones-…