Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on What could Go wrong with a mutex. Parent comment
Fwiw that’s possible with dependent typing, the compiler can require a proof of progress (and thus termination).
There are no comments on this comment yet.
Fwiw that’s possible with dependent typing, the compiler can require a proof of progress (and thus termination).