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)

Coqueries

Anything related to the Coq Rocq theorem prover.

Will be overhauled/finished in summer 2025

Misc.

My enlightened ramblings.