David Bau

At the #Neurips2025 mechanistic interpretability workshop I gave a brief talk about Venetian glassmaking, since I think we face a similar moment in AI research today.

Here is a blog post summarizing the talk:

davidbau.com/archives/2025/…

Like monkeys to humans: it has become fashionable for top AI thinkers to predict that AI will soon think beyond humanity’s grasp.

I’d like one example. Show me one unthinkable thought.

davidbau.com/archives/2026/…

It's been such a lovely fall and I'm afraid I haven't done nearly enough entertaining. Things have been so hectic, with the singularity going on and everything.

I have been teaching myself formal code verification, but as the practice becomes more widespread, we must remember that mathematical perfection is often *not* good enough.

Our systems need to be understandable to humans.

davidbau.com/archives/2026/…

Vibe coders! Have you measured the interpretability of your code?

Do you think there a tradeoff between *correct* code and *readable* code when AI is doing the coding?