Hacker News new | past | comments | ask | show | jobs | submit
Using these languages is pretty close to a mathematical proof.