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)

Coqueries

Anything related to the Coq proof assistant.

Will be overhauled/finished between april and may 2025

Misc.

My enlightened ramblings.