HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by shadowfox | Hacker News Reader
Parent
Full thread
shadowfox
·
Out of curiosity, which companies do this sort of research?
View on HN
mirker
·
AWS had a paper in SOSP on verifying parts of S3
https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc21...
Reply on news.ycombinator.com