All the code snippets in this article are compiled into a fully working proof accessible here You can read Part II here Our previous ventures into type theory were all self-motivated and hig...

Here is my top playlist from 2024. It is titled “Ice cream and hugs” because of a memorable evening when I assembled it from that week’s discover weekly. My favourite songs are all associated wi...

So there’s layers to outsourcing code right. Programmers have been stealing code since there was code to steal. Why reinvent the wheel when a more general version of the problem probably has a bet...

I’ve been putting off writing this particular article for too long. The idea of writing about the cadetship is what inspired me to create this entire blog in the first place. And right now I’m not ...

All the code snippets in this article are compiled into a fully working proof accessible here You can read Part I here Foreword I believe proving that natural addition commutes is a good ex...

This article is the first installment in a series on type theory. Type theory is a field of math that is not typically covered in an undergrad math or CS degree, but is surprisingly beginner friend...

Do you know what an opinionated technology is? The topic came up naturally in conversation at work. It started with some first year cadets talking about projects they were working on before startin...

I am not a mathematician by trade but I have always enjoyed maths as a hobby, and for the longest time have wanted to invent my own math. The way inventing new math typically goes is someone works ...

You are just as much a part of the universe as a black hole, or a supernova Bill Bryson, A Really Short History of Nearly Everything What is Sydney? Any question phrased so succinctly ...

My whole life I have called myself an engineer, and for the longest time thought I was destined to be one but simultaneously wondered what engineers do1. Mid 2024 I had the chance to adjudicate a h...