Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Parse, Don't Validate (2019). Parent comment
Proof-checking happens only at compile time.
The implementation that you want to prove things about is only available at runtime!
Non-availability (incompleteness) of information is what is preventing you…
There are no comments on this comment yet.
Proof-checking happens only at compile time.
The implementation that you want to prove things about is only available at runtime!
Non-availability (incompleteness) of information is what is preventing you…