Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
shadowfox
on May 24, 2022
|
parent
|
context
|
favorite
| on:
Leslie Lamport revolutionized computer science wit...
Out of curiosity, which companies do this sort of research?
bertday
on May 25, 2022
[–]
AWS had a paper in SOSP on verifying parts of S3
https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc21...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
