I write stuff

GPU programming

An introduction to GPU programming with Vulkan

Work in progress, missing swapchain chapter and much proofreading (should be done towards june 2025)

Coqueries

Anything related to the Coq proof assistant.

Will be overhauled/finished in summer 2025

Misc.

My enlightened ramblings.