https://dddejan.github.io/blog/ A personal corner of the web for logic, software, AI, and writing. en