TIS 100 Superoptimization (Lightning Talk)
summary
Builds a simulator for a single TIS-100 node in Rust and a brute‑force superoptimizer that enumerates programs by treating an integer as a sequence of instruction digits. The workflow is concrete: model accumulator and ports, execute programs, map digits to instructions and run all candidates against input/output pairs. Result: it finds minimal programs but the best solutions are unsurprising because the TIS-100 instruction set lacks rich arithmetic and bitwise ops, so the approach works but yields mostly trivial, human‑like optimizations.
AI-written summary · about
chapters (5)
related talks
01h 00mJust-in-Time Compilation
56mReady for Rust
21mLeveraging Rust Types for Program Synthesis
04mZero-Overhead Compiler Pessimization
05mOxidize Lightning Talks – Massimiliano Mantione
01h 06mUtilize your CPU power
01h 05mThe Most Important Optimizations to Apply in Your C++ Programs
27mImproving Rust Performance Through Profiling and Benchmarking