Hacker News new | ask | show | jobs
by dist-epoch 97 days ago
Software products specifications are written in real language, not in first order logic.