345 karma · joined March 12, 2018
What are the signs?
Why were they so opposed to this? You can't leave us hanging...
EDIT: ok and why is this at -1??
I agree it’s rude but banning a discord of 50k people just for that is highly sus
Where did you get this understanding? Seriously. My understanding was that the founders were mostly anti-trump libertarians.
Uh, not much? This comment seems to be assuming some weird things about what the blog typically focuses on. Actually, he writes about trans issues a bit, got some flack for defending Blanchard, and a large fraction of the readership is trans.
Strange indeed.
You said your test kit arrived already? What does it look like?
Ergonomically.. well it's hard to describe TBH, the easiest way to see is to just download one of these systems and try using them. You try to prove a theorem and everything just ends up taking way longer than you'd expect. Mostly because you can't gloss over small details the way mathematicians will do informally. Every small turn of phrase like "for large enough N" or "without loss of generality" can become dozens of extra lines of code.
EVE costs money wikipedia doesn't?