I write stuff
GPU programming
An introduction to GPU programming with Vulkan
Work in progress, missing swapchain chapter; currently writing the swapchain chapter (ETA mid-september 2025)
-
GPU programming
with
Coqueries
Anything related to the Coq Rocq theorem prover.
Will be overhauled/finished in summer 2025
-
A taxonomy of expression transformations
Misc.
My enlightened ramblings.