15 ms·
There's a programming language: https://silq.ethz.ch/ https://silq.ethz.ch/
by rezir 4y ago
There's a programming language: https://silq.ethz.ch/ https://silq.ethz.ch/
- sargstuff 4y agoSo, should be able to compile all possible compilations for a given program and pick the one with number of bugs closest to 0? Or at least the compilations that have bugs unrelated to results looking for.