Hacker News new | ask | show | jobs
by gamegoblin 436 days ago
The part about S3 using lightweight formal methods in their ShardStore rust codebase is ongoing and operates on the system itself, not a model