next 1 hour, reading Symbolic Logic
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.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!