does termination buy you much? better than nothing, but I prefer programs to not take more than 10s/an hour/my lifetime/.. :)
-
-
-
It's one item off the admittedly very long bucket list. And sure, real world performance matters too. But see HACL*. https://github.com/mitls/hacl-star/blob/master/README.md …
End of conversation
New conversation -
-
-
this looks pretty interesting and fairly readable as well.
-
F* is very good at passing the grunt work of proofs off to Z3. Lines 27 and 31 are what I needed to provide for the proof to go through.
-
ja, it's really interesting from what I've seen with playing around with it, but I _really_ like how digestible this is.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.