Hacker News new | ask | show | jobs
by hwayne 2326 days ago
The design of S3 was formally specified, but not the actual code.