Recent Posts

• Is Half Your Context Window Still Marketing in 2026?
  LLM ComprehensionSep 27, 2026
• Let Your Types Carry the Rules
  Programming with InvariantsSep 12, 2026
• When Your Types Are Arrays
  Programming with InvariantsSep 12, 2026
• Does Precision Loss Break Retrieval, or Does Distance?
  LLM ComprehensionAug 12, 2026

All posts →