JUN 1, 2024

Building a MiniJava Compiler

I finished an introductory course about compilers, where I built a MiniJava compiler using Java and learned general concepts about compilers. This article will detail the steps done to build the MiniJava compiler.

MAY 28, 2024

Analyses with Powers and Transcendentals

While browsing Twitter, I came across a tweet asking whether 88 to the power of 89 is larger than 89 to the power of 88. While the answer to the question itself can be done by straightforward arithmetic, in this article I generalize the solution to any real number.

MAR 21, 2023

Gödel's Incompleteness Theorem and Turing Machines

I finished a course about finite automata and formal languages, where the last lecture introduced the proof of Gödel's Incompleteness Theorem through the construction of contradictory Turing machines. This article will detail that proof.