Would I use a write-only HTML sanitizer for untrusted HTML: No!

Would I care to review CSS, if my site "looks" good? No!

The challenge becomes: how can we enforce invariants/abstractions etc without inspecting the code.

Type systems, model checking, static analysis. Could become new power tools.

But sound design probably still goes far.

> Could become new power tools.

If this worked, it’d have worked on low cost devs already. We’ve had the ability to produce large amounts of cheap code (more than any dev can review) for a long time.

The root issue is it’s much faster to do something yourself if you can’t trust the author to do it right. Especially since you can use an LLM to speed up your understanding.