I write stuff

GPU programming #

An introduction to GPU programming with Vulkan

• GPU programming with

  1. -1. About this series
  2. 0. Introduction
  3. 1. The basics
  4. 2. Resources and transfers
  5. 3. The compute pipeline
  6. 4. The graphics pipeline
  7. 5. The swapchain
  8. 6. Modern Vulkan
  9. 7. Vulkan in practice
  10. X. Going further

Coqueries #

Anything related to the Coq Rocq theorem prover.

• A taxonomy of expression transformations (2023)

  1. 0. Introduction
  2. 1. A classification
  3. 2. Expression transformations in Coq
  4. 3. Control mechanisms in Coq
  5. 4. An extension proposal: atomic reductions
• 1. What happens when you run Qed

Misc. #

My enlightened ramblings.

• Eva­lua­tion stra­tegies

  1. All you ever wanted to know about evaluation strategies (and more)
  2. Call-by-macro vs. call-by-name
  3. Jensen's device
• 1. On impurity (and Haskell)
  2. Some old notes on a geometric interpretation of the magic square of squares problem