Type theory (not Myers-Briggs)
Jun. 9th, 2015 07:04 amFoundations of mathematics (for math geeks only)
Thanx to Slate Star Codex. It's in Wired, which tells us, "Please do us a solid and disable your ad blocker." Since I cheered the Pearls before Swine where Rat hit someone over the head for saying, "Do me a solid," that one is two for two.
Thanx to Slate Star Codex. It's in Wired, which tells us, "Please do us a solid and disable your ad blocker." Since I cheered the Pearls before Swine where Rat hit someone over the head for saying, "Do me a solid," that one is two for two.