Hacker News new | ask | show | jobs
by whateverboat 82 days ago
Takeaway is formal software.