I write stuff
GPU programming
An introduction to GPU programming with Vulkan
Work in progress, currently working on the modern Vulkan chapter
-
GPU programming with
Coqueries
Anything related to the Coq Rocq theorem prover.
Will be overhauled/finished in winter 2025
-
A taxonomy of expression transformations
Misc.
My enlightened ramblings.