Uncomplete@mathstodon.xyz
Uncomplete@mathstodon.xyz
uncomplete@mathstodon.xyz
Misfit engineer wasting capitalist resources on abstract nonsense. Personally unsound _and_ incomplete. Resorting to proofs by intimidation. [url=https://mathstodon.xyz/tags/haskell]#haskell[/url] [url=https://mathstodon.xyz/tags/rust]#rust[/url] [url=https://mathstodon.xyz/tags/categorytheory]#categorytheory[/url]