Immortal Machine / Writing
From formulation
to evidence.
Mathematical references, derivations, implementations, and experiments. Explore the Mathematical Foundations references and the KERNELIZED archive.
- 01
Mathematical Foundations · Mathematics · Calculus · Autodiff
Calculus: Integrals, Derivatives and Tensor Operators
A detailed reference to integration, differentiation, Einstein notation, automatic differentiation, and integral operators, with assumptions and worked derivations. - 06
KERNELIZED · FlashAttention · Transformers · Attention
FlashAttention Kernel: Backward Pass (Parallelism)
Mapping the backward pass into dependency graphs, loop-carried constraints, and parallel execution. - 05
KERNELIZED · FlashAttention · Transformers · Attention
FlashAttention Kernel: Forward Pass (Parallelism)
A dependency-led path from the forward-pass equations toward the CUDA programming model. - 04
KERNELIZED · FlashAttention · Transformers · Attention
FlashAttention Kernel: Backward Pass (MATH)
Deriving attention gradients from tensor differentiation to a computable backward pass. - 03
KERNELIZED · FlashAttention · Transformers · Attention
FlashAttention Kernel: Forward Pass (MATH)
A first-principles derivation of the online, numerically stable FlashAttention forward pass. - 02
KERNELIZED · AI · Compute · Autograd
SoftMax Kernel: Forward and Backward Pass (MATH)
A compact derivation of softmax forward and backward operations for later kernel work. - 01
KERNELIZED · AI · Compute · Autograd
Max Kernel: Forward and Backward Pass (MATH)
The forward and backward mathematics of a max-reduction kernel using indexed tensor notation.