Write a mathematical proof generator for AoC 1-1 2022

For last year’s AoC, I decided to use 20 different programming languages. For the year before that, I used Haskell. This year I decided to not participate as I’m already busy with other stuff, but I thought I could try something different.

So the first task of AoC day 1 is essentially giving you a list of lists, and you need to sum each element and find the max. Here’s a one-liner in Python:

max([ sum(x) for x in L ])

But I thought to myself, why write code in a “normal” programming language to solve an easy problem? Why not complicate things a little bit and write a code that generates mathematical proof in Budge-TP? In this post, we will write a Python script that will solve AoC 1-1 by generating Budge-TP code.

Advertisement

GEB: An EGB overview (Part II)

This post is a follow-up to the first part.

However, before proceeding with the usual format as in the previous post, I will make a small comment.

I was very amazed by the first part of the book, so before starting the second part I viewed the book’s references. One book caught my attention: “What is the Name of this Book?”. So I ordered it and I read it. I found the book’s author’s style to be very similar to GEB’s style: puns, self-references, discussions about meaning, and paradoxes. So if you follow GEB’s references, you can almost see how GEB’s author’s style came to be.

Stutz overview

Recently I watched Stutz on Netflix (trailer here). It’s an interesting documentary that talks about several life hacks (tools) that one can find useful. In this blog post, I’ll list some of those tools.

Spirit, Soul, Body

Similar to a previous book, I bought this book (1945) from the same Church, and in this blog post, I’ll write a short summary of the read. The author of the book is a medical doctor from the Russian Empire.

The book is a quick read, has about 140 pages, and reads very easily. It has a total of 9 chapters. It contains various verses and then explains them in medical layman’s terms.

A brief intro to programming for the C64

Recently we visited some relatives in Denmark, together with my family. By pure coincidence, as we were walking through Elgiganten, I spotted and immediately bought the C64 reborn. You can check out one good review here.

It comes with a few games and a BASIC interpreter, so not much can be done other than playing games and writing some BASIC code. Some software can be downloaded and used from commodore.software. But, in this post, we will take it further by extending it with programs we will write ourselves.