Hacker News new | ask | show | jobs
by sfn42 217 days ago
No, the premise is that programming is the act of writing precise specifications, which is easier in a precise language. Similarly to mathematical proofs.