2 ms·
I exaggerate alot but even by my standards this is ridiculous hyperbole. Rust just isn't supported on alot of platforms and libraries.
by ClassyJacket 2y ago
I exaggerate alot but even by my standards this is ridiculous hyperbole. Rust just isn't supported on alot of platforms and libraries.
- galangalalgol 2y agoI didn't mention rust. If you were targeting something that only has a c compiler and it is critical infrastructure, f* could prove correctness and then generate c from that as an ir. A lot of safety crtical stuff uses a DSL to generate c that humans don't touch afterwards.