3 ms·
Yes, or you could review the code.
by 12_throw_away 5mo ago
Yes, or you could review the code.
- baq 5mo agoIt’d only take an hour if you reviewed a million lines per hour
- cyanydeez 5mo ago[Sorry guys, I couldn't review this code because I generated it all]
- frde_me 5mo agoEven before AI, deterministic checks by compilers are almost always better than "review the code" "review the code" as a solution will eventually fail and cause a problem, even pre-AI.
- 12_throw_away 5mo agoThe entire point of unsafe blocks and SAFETY comments is that they are easy for humans to find and audit, but not compiler checkable. If it can be compiler-checked by some clever token system, then ... it's just plain safe rust, and you don't need to document any special safety invariants in the first place
- mswphd 5mo agoeven when you can review the code, it's good to have the compiler check for you. This is for similar reasons why it's better to have CI check correctness on each code change, vs testing the code thoroughly one time, and then being careful going forward.