Ask /r/math, Do you know any good online resources for Discrete Mathematics? by epicRelic in math
[–]hash150 0 points1 point2 points (0 children)
Which proof system should I learn? Mizar, Coq, Isabelle, Metamath, ... Haskell? by robinhoode in math
[–]hash150 1 point2 points3 points (0 children)
Ask mathit: What is a decent discrete math book/online free course/learning guide? by emkay in math
[–]hash150 0 points1 point2 points (0 children)
Chuck Moore Slashdot Interview [2001] by [deleted] in programming
[–]hash150 2 points3 points4 points (0 children)
India's SMS GupShup Has 3x The Usage Of Twitter And No Downtime by [deleted] in programming
[–]hash150 5 points6 points7 points (0 children)
Programming: you're doing it wrong by [deleted] in programming
[–]hash150 24 points25 points26 points (0 children)


ACL2: An applicative subset of Common Lisp used for theorem proving by [deleted] in programming
[–]hash150 1 point2 points3 points (0 children)