dead10ck

6 ms·

1. 31.▲
   by dead10ck 12y ago

   This means that the C code only exhibits behaviours that are also exhibited by the high-level specification. The high-level specification (by construction) doesn't have certain bad behaviours that you often see in C programs: NULL poi
2. 32.▲
   by dead10ck 12y ago

   "In short, the implementation is proved to be bug-free." This reeks of bull shit. "We still assume correctness of hand- written assembly code, boot code, management of caches, and the hardware" Sorry, I don't think
3. 33.▲
   by dead10ck 12y ago

   This looks very promising. And it's written in Go! The only major feature I think it's missing is file versioning. I am curious, though: what do people use to get their files remotely? And what's the cheapest solution for hos