Read on the website: Lambda Calculus is a strong model for computation, but computing examples in it often feels off. In this post, I'm trying to understand how Lambda Calculus evaluation/reduction actually works.

Read on the website: Lambda Calculus is a strong model for computation, but computing examples in it often feels off. In this post, I'm trying to understand how Lambda Calculus evaluation/reduction actually works.

Read on the website: I am a Brainfuck programmer. I made some projects that caused me immence pai... joy. I learned something from these, and you can too!

Read on the website: I am a Brainfuck programmer. I made some projects that caused me immence pai... joy. I learned something from these, and you can too!

Read on the website: Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus.

Read on the website: Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus.

Read on the website: Pronouns are important. They are part of one's identity, after all. But what if one also identifies as a programmer? Regexes as pronoun listing!

Read on the website: Pronouns are important. They are part of one's identity, after all. But what if one also identifies as a programmer? Regexes as pronoun listing!

Read on the website: Yes, you can use C preprocessor as a website generator.

Read on the website: Yes, you can use C preprocessor as a website generator.

Read on the website: C code might be ugly at times. But it can also be pretty! Here are some features and snippets with pretty C code.

Read on the website: C code might be ugly at times. But it can also be pretty! Here are some features and snippets with pretty C code.