Hacker News new | ask | show | jobs
by layer8 8 days ago
Also: 102. One can't proceed from the informal to the formal by formal means.