September 19, 2026
Issue 02: Attention is Not All You Need
Transformers are great, but LLMs have an attention problem. SATurday makes the problem smaller.
SATurday · P vs NP · Lean 4 · Architecture
Read postBlog
Log
Notes from building across AI, systems, formal methods, and science.
September 2, 2026
Issue 01: SATurday and this blog
Starting a public journal, and an introduction to SATurday and the P vs NP question behind it.
SATurday · P vs NP · Lean 4 · Notes
Read post