Breaking provably correct Leftpad

Why I’m not letting the juniors use GenAI for coding

Statically checking Python dicts for completeness

Knowledge creates technical debt

Recursive project search in Emacs

Check if a point is in a cylinder - geometry and code

Keeping things in sync: derive vs test

pyastgrep and custom linting

Enforcing conventions in Django projects with introspection

Python packaging must be getting better - a datapoint