writings | Satpreet Makhija

Satpreet Makhija

about
writings(current)
cv

Technical

How Universal Proofs Motivate Dependent Types 2026
Reading Moggi: computations as effectful maps 2026
What makes induction legitimate? 2026
What does a language for a Turing machine represent? 2026
Induction is about how things are made 2026
Changing bases — an intuitive explanation 2026
Your Codebase Reeks of Database Coupling; Here’s the Fix 2025
Choosing the right axioms 2025
How to avoid prompt injection attack by following prompt engineering best practices? 2023
Context Revolution: Taking machines beyond algorithm 2023

Literary

Passenger poem · 2026
On Abstract Thinking prose · 2026
The Messiah of Empty Highs prose · 2025
Try poem · c. 2013–14

Powered by Jekyll with al-folio theme. Last updated: August 06, 2026.