xkcd

Stream: general

[Matthew Pocock]

There's explaining the joke, and then there's over-explaining the joke. As always, xkcd jumps the shark on this one. Something for your powerpoint decks...

https://www.explainxkcd.com/wiki/index.php/1856:_Existence_Proof

[Shreyas Srinivas]

This probably belongs in the discord server. See: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Discord.20server.20Lean.204.20anarchy