3 ms·
Hillel Wayne posted a followup https://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/ https://buttondown.com/hillelwayne/
by me_again 1y ago
Hillel Wayne posted a followup https://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/ https://buttondown.com/hillelwayne/archive/three-ways-formal... which may be interesting. Essentially the issue is "what does the Length of a string mean?"