Hacker News new | ask | show | jobs
by Icko 1605 days ago
Can you provide formal verification proof of your own safety?