Skip to content

2025

  • in Math
  • 5 min read
Draft

Introductions to Lambda Calculus

Lambda calculus is a Turing-complete mathematical theory of computation. This post explores the basics of lambda calculus and how it relates to the ideas of functional programming. Most of the content herein is shamelessly copied from various educational sources on the internet, although some of my own content will be randomly introduced.(1)

  1. You may be thinking, why do I just copy stuff? What value does that provide? Well, you have to remember that I write these blog posts for myself mainly, so this is just a learning exercise! I don't really care if no one else gets any value out of it :D
  • in Golang
  • 8 min read

Announcing Mockery v3

Mockery v3 will make obsolete all other interface-based code generation frameworks that currently exist in the Go community. A bold statement you might say? Fortunately, I have quite the justification for this.

  • in Misc
  • 13 min read

On Blogs and Social Media

It's no surprise to you, but social media sucks. My relationship with it, like most people, is complex. This post will talk about my experience with social media and, tangentially, the purpose of this blog.