I write stuff
GPU programming
An introduction to GPU programming with Vulkan
Work in progress, missing swapchain chapter and much proofreading (should be done by mid april 2025)
-
GPU programming
with
Coqueries
Anything related to the Coq proof assistant.
Will be overhauled/finished between april and may 2025
-
A taxonomy of expression transformations
Misc.
My enlightened ramblings.