Source
- URL: https://x.com/gggmux/status/2003630934361550997
- Author: Son Tyce (@gggmux)
- Posted: 2025-12-24 00:56:55
Branch
1/ @gggmux
@ID_AA_Carmack
The main reason is that you want perfect correspondence between variables in the algorithm and definitions/proofs. Often an actual implementation (that is much much longer) is provided as an online appendix.