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!
Posts
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