Siddharth Mishra

February 2025

• 4. Lambda Calculus - Fixed Point Theorem 6 February 2025
• 3. Lambda Calculus - Logic 6 February 2025
• 3. Lambda Calculus - Free & Bound Variables 6 February 2025
• 2. Lambda Calculus - Equivalences & Reductions 6 February 2025
• 1. Lambda Calculus - Grammar & Terms 4 February 2025
• Fixing Recursions In Grammar 1 February 2025

January 2025

• What Does It Mean To Know Yourself 29 January 2025
• A Build System For C in C 29 January 2025
• How I Host My Own GIT Service 27 January 2025

December 2024

• AutoGrad - Algorithmic Differentiation in C 28 December 2024
• Zero To Prod In C - Creating Server & Hosting 25 December 2024
• Crime & Punishment by Fyodor Dostoyevsky 14 December 2024
• How I Do Error Handling in C 13 December 2024
• First of Many Firsts 3 December 2024

...