Recent Posts

• How to Break a Transformer's Loss Plateau (and Why Waiting Is a Lottery)
  Oct 22, 2026
• Is Half Your Context Window Still Marketing in 2026?
  LLM ComprehensionSep 26, 2026
• Let Your Types Carry the Rules
  Programming with InvariantsSep 12, 2026
• When Your Types Are Arrays
  Programming with InvariantsSep 12, 2026

All posts →