02 / Writing
Working notes from
inside the machine.
Derivations, implementations, and experiments written to expose the path—not only the result. New long-form work will be published through Immortal Machine; the KERNELIZED archive remains here and fully readable.
Series 001
KERNELIZED
Six notes on reduction, softmax, and FlashAttention: from tensor notation and autodiff to dependency graphs and parallel execution.
- 06
FlashAttention · Transformers · Attention
FlashAttention Kernel: Backward Pass (Parallelism)
Mapping the backward pass into dependency graphs, loop-carried constraints, and parallel execution. - 05
FlashAttention · Transformers · Attention
FlashAttention Kernel: Forward Pass (Parallelism)
A dependency-led path from the forward-pass equations toward the CUDA programming model. - 04
FlashAttention · Transformers · Attention
FlashAttention Kernel: Backward Pass (MATH)
Deriving attention gradients from tensor differentiation to a computable backward pass. - 03
FlashAttention · Transformers · Attention
FlashAttention Kernel: Forward Pass (MATH)
A first-principles derivation of the online, numerically stable FlashAttention forward pass. - 02
AI · Compute · Autograd
SoftMax Kernel: Forward and Backward Pass (MATH)
A compact derivation of softmax forward and backward operations for later kernel work. - 01
AI · Compute · Autograd
Max Kernel: Forward and Backward Pass (MATH)
The forward and backward mathematics of a max-reduction kernel using indexed tensor notation.