top | item 46746179 (no title) aleksejs | 1 month ago How do you even begin to define what correctness means for the transformations if you have no formalized model of the thing you're transforming into? discuss order hn newest joomy|1 month ago This is another reason we are being careful with the correctness claim. The closest project I know right now that comes close to a formalized model of C++ is the BRiCk project:https://skylabsai.github.io/BRiCk/index.htmlhttps://github.com/SkyLabsAI/BRiCk
joomy|1 month ago This is another reason we are being careful with the correctness claim. The closest project I know right now that comes close to a formalized model of C++ is the BRiCk project:https://skylabsai.github.io/BRiCk/index.htmlhttps://github.com/SkyLabsAI/BRiCk
joomy|1 month ago
https://skylabsai.github.io/BRiCk/index.html
https://github.com/SkyLabsAI/BRiCk