next 1 hour, reading Symbolic Logic
http://xahlee.info/math/math_logic_stephen_simpson_33721.html
hope to understand math automated proof systems this year, before i puff out my last breath.
and, fuck #haskell #ocaml monad chanting programer idiots, that's 99% of them.
Conversation
Notices
-
∑ XahLee (xahlee@noagendasocial.com)'s status on Friday, 12-Jan-2018 23:25:57 EST ∑ XahLee