Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Hyperkernel – A push-button approach to building provably correct OS kernels. Parent comment
Static typing for a faulty lambda calculus: http://lambda-the-ultimate.org/node/2108
You can build as much fault tolerance as you like to the point where you'd have to wait for a proton to decay before you see an error.
There are no comments on this comment yet.
Static typing for a faulty lambda calculus: http://lambda-the-ultimate.org/node/2108
You can build as much fault tolerance as you like to the point where you'd have to wait for a proton to decay before you see an error.