Hacker News new | ask | show | jobs
by kragen 1712 days ago
Thank you! What was your formal-methods background before you tackled SF?