Articles from www.philipzucker.com

Articles from www.philipzucker.com

"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (www.philipzucker.com)
2025-4-9 Python

Where are all the Rewrite Rules? (www.philipzucker.com)
2025-2-19

Comparing Two Verilog CPU Implementations using EBMC (www.philipzucker.com)
2025-2-11

Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
2024-12-25

SQL, Homomorphisms and Constraint Satisfaction Problems (www.philipzucker.com)
2024-11-21

Don't Implement Unification by Recursion (www.philipzucker.com)
2024-10-29

Previous Page Next Page