Even amid the AGI race, a specialized tool really outperforms general‑purpose models. And even when this specialized tool is a side-project and at a very early stage. I am building as a side-project a tool called SuperVM. It optimizes bytecode and machine code similarly to how a LLM would do but instead of using statistical systems, it uses deterministic systems and reasons from facts instead of probabilities (nothing new here these things have been around forever).All the generated code is avai...