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...
Recently my grandparents visited from overseas, and they brought with them a treasure trove of literary and mathematical wonders. The thinnest and most approachable of these was the humble but clas...
A characteristic feature of being an IDeA cadet that is both good and bad is the fact that the subjects you choose to study are for the most part limited. Coming to the end of my second year, I hav...
Sometimes, things are slow. Weeks go by and you start losing track of the days, mornings blending with nights, weekends whizzing by. You need a break from the screen, you need some fresh air and y...
This painting is just really weird and really cool. I will ramble a bit about it. I found this painting on Reddit. It was an entry in a collection of works by a Polish artist whose name I forgot b...