Hacker News new | ask | show | jobs
by steveklabnik 234 days ago
May has unresolvable soundness issues, which is part of why it’s not popular.