Press Space to continue
Formal verification in code eliminates the need for code review
Press Space to continue
very bullish on Bend, this is exactly what ive been trying to do in other languages, but you can only get so far with weak type systems and lint rules. when you have a codebase that can formally verify itself, you can ship at an incredible pace. code review is solved
@victortaelinQuoted post unavailable hereOpen on Xopen on x · 3 viewsViews and clicks count once per visitor per day. Clicks are opens of this post on X.