I write stuff

GPU programming

An introduction to GPU programming with Vulkan

Work in progress, currently working on the modern Vulkan chapter

Coqueries

Anything related to the Coq Rocq theorem prover.

Will be overhauled/finished in winter 2025

Misc.

My enlightened ramblings.