Follow

next 1 hour, reading Symbolic Logic
xahlee.info/math/math_logic_st
hope to understand math automated proof systems this year, before i puff out my last breath.
and, fuck monad chanting programer idiots, that's 99% of them.

Sign in to participate in the conversation
No Agenda Social

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!