The Cool Hierarchy of Expressions
Expressions in a programming language can be parsed and translated in a variety of ways
Posts
Analogous Instructions in x86
Did you know that there are two ways to encode instructions for x86 systems? Lets build one and learn about x86 instruction encoding!
Linear Systems with Negated Equations
In the pursuit of making a theorem proover, I devised a process to show a bunch of equations and negated equations agree with each other.
init 3
is anybody there? please ACK