I’ve been following Zen Proverbs for some time now, and I’ve noticed a trend that most quotes are about living in the “Now” and not in the “Past”/”Future”. I believe that’s a bit too extreme.
A simple Constraint Programming implementation
Constraint programming is a programming paradigm where problems are stated declaratively. In this post, I will implement a very simple constraint solver.
Continue reading “A simple Constraint Programming implementation”
Superliminal game overview
I used to play a lot of video games, and nowadays not that many. But I have never written a game overview. I believe this game deserved one.
Continue reading “Superliminal game overview”Proofs and computation with trees
In this post, I will make the analogy between trees and proofs and computation.
Lately (after a long pause), I started reading Logical Foundations again and started re-doing the exercises for the latest version (6.5). While doing the proofs this time, I kept thinking about tree traversals, so that inspired me to write this post.
Deriving a Quine in a Lisp
As with my previous post, this post is another excerpt that will be included in my final Master’s thesis, but I decided it is interesting enough to post it on its own.
We start with a definition of diagonalization (or quotation), as discussed in The Gödelian Puzzle Book:
Definition 1: For an expression 
This definition allows us to represent self-referential expressions.
bor0's reflective blog 