|
|
|
|
|
|
by didericis
437 days ago
|
|
|
A different but more powerful method of ensuring reproducibility is more rigorous compilation using formally verifiable proofs. That’s what https://pi2.network/ does. It uses K-Framework, which is imo very underrated/deserves more attention as a long term way of solving this kind of problem. |
|
|