I write stuff

GPU programming

An introduction to GPUs and Vulkan

• GPU programming
  with

  1. -1. About this series
  2. 0. Introduction
  3. 1. Ground concepts
  4. 2. Resources and transfers
  5. 3. The compute pipeline
  6. 4. The graphics pipeline
  7. 5. The swapchain
  8. X. Links dump

Coqueries

Anything related to the Coq proof assistant.

• A taxonomy of expression transformations

  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