https://satpreetmakhija.github.io/news/isla_2026/ 2026-06-01T10:29:00+00:00 https://satpreetmakhija.github.io/news/fm_update_2026/ 2026-06-09T10:29:00+00:00 https://satpreetmakhija.github.io/news/dsa_teaching_fellow_2026/ 2026-07-29T10:30:00+00:00 https://satpreetmakhija.github.io/news/dependent_types_note/ 2026-08-03T09:00:00+00:00 https://satpreetmakhija.github.io/news/graph_surgery_preprint/ 2026-08-18T11:00:00+00:00 https://satpreetmakhija.github.io/blog/try/ 2013-12-31T18:30:00+00:00 https://satpreetmakhija.github.io/blog/2023/Context-Revolution/ 2023-02-07T17:39:00+00:00 https://satpreetmakhija.github.io/blog/2023/prompt-injection-attack/ 2023-07-11T17:39:00+00:00 https://satpreetmakhija.github.io/blog/2025/choosing-the-right-axioms/ 2025-01-05T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2025/db-and-server/ 2025-01-29T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2025/the-messiah-of-empty-highs/ 2025-01-30T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2026/logarithms-as-steps-on-a-multiplicative-scale/ 2026-04-06T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2026/on-abstract-thinking/ 2026-04-28T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2026/induction-is-about-how-things-are-made/ 2026-07-05T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2026/what-does-a-language-for-a-turing-machine-represent/ 2026-07-05T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2026/what-makes-induction-legitimate/ 2026-07-06T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2026/reading-moggi-computations-and-monads/ 2026-07-09T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2026/passenger/ 2026-07-29T11:30:00+00:00 https://satpreetmakhija.github.io/blog/2026/from-for-all-to-dependent-types/ 2026-08-03T00:00:00+00:00 https://satpreetmakhija.github.io/blog/2026/the-hand-that-writes/ 2026-08-21T18:30:00+00:00 https://satpreetmakhija.github.io/projects/1_project/ 2026-10-13T10:58:38+00:00 https://satpreetmakhija.github.io/projects/2_project/ 2026-10-13T10:58:38+00:00 https://satpreetmakhija.github.io/projects/3_project/ 2026-10-13T10:58:38+00:00 https://satpreetmakhija.github.io/projects/4_project/ 2026-10-13T10:58:38+00:00 https://satpreetmakhija.github.io/projects/5_project/ 2026-10-13T10:58:38+00:00 https://satpreetmakhija.github.io/projects/6_project/ 2026-10-13T10:58:38+00:00 https://satpreetmakhija.github.io/ https://satpreetmakhija.github.io/blog/ https://satpreetmakhija.github.io/cv/ https://satpreetmakhija.github.io/_pages/dropdown/ https://satpreetmakhija.github.io/news/ https://satpreetmakhija.github.io/_pages/profiles/ https://satpreetmakhija.github.io/_pages/projects/ https://satpreetmakhija.github.io/publications/ https://satpreetmakhija.github.io/_pages/repositories/ https://satpreetmakhija.github.io/_pages/teaching/ https://satpreetmakhija.github.io/blog/tag/go/ https://satpreetmakhija.github.io/blog/tag/database/ https://satpreetmakhija.github.io/blog/tag/software-design/ https://satpreetmakhija.github.io/blog/tag/abstraction/ https://satpreetmakhija.github.io/blog/tag/philosophy/ https://satpreetmakhija.github.io/blog/tag/modern-life/ https://satpreetmakhija.github.io/blog/tag/maths/ https://satpreetmakhija.github.io/blog/tag/proofs/ https://satpreetmakhija.github.io/blog/tag/theory/ https://satpreetmakhija.github.io/blog/tag/computation/ https://satpreetmakhija.github.io/blog/tag/semantics/ https://satpreetmakhija.github.io/blog/tag/monads/ https://satpreetmakhija.github.io/blog/tag/effects/ https://satpreetmakhija.github.io/blog/tag/type-theory/ https://satpreetmakhija.github.io/blog/tag/dependent-types/ https://satpreetmakhija.github.io/blog/tag/curry-howard/ https://satpreetmakhija.github.io/blog/category/software-engineering/ https://satpreetmakhija.github.io/blog/category/databases/ https://satpreetmakhija.github.io/blog/category/creative/ https://satpreetmakhija.github.io/blog/category/essay/ https://satpreetmakhija.github.io/blog/2013/ https://satpreetmakhija.github.io/blog/2023/ https://satpreetmakhija.github.io/blog/2025/ https://satpreetmakhija.github.io/blog/2026/