Hacker News new | ask | show | jobs
by extrabajs 755 days ago
It sounds more like a cautionary tale against bypassing APIs. What part of this is related to formal verification?