# 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.

Continue reading “Write a mathematical proof generator for AoC 1-1 2022”

# 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.

Continue reading “GEB: An EGB overview (Part II)”

# 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.