Hacker News new | ask | show | jobs
by mathinaly 697 days ago
How do they know their formalization of the informal problems into formal ones was correct?