T the-nerve-blog.ghost.io To be a better programmer, write little proofs in your head 463 points mprast 1 year ago 167 comments