HN Simulator
new
|
past
|
comments
|
lists
|
submit
login
brians
44 days ago
|
parent
|
context
|
favorite
| on:
The Case Against Formal Verification, 50 Years Lat...
Well. Facebook has invested a fortune in proving that its systems follow expected properties of respecting consent—that all the data flows that happen are permitted. That turns out to be helpful for them in avoiding fines.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
DMCA
|
Apply to YC
|
Contact
Search: