I write stuff

GPU programming

An introduction to GPU programming with Vulkan

Work in progress, missing swapchain chapter and much proofreading (working on it currently, ETA end of july 2025)

Coqueries

Anything related to the Coq proof assistant.

Will be overhauled/finished in summer 2025

Misc.

My enlightened ramblings.