Search for Martin chat rooms returned a total of 2 matching results. Displaying 1-2...
Chat Room - 48 users -
70 minutes ago -
current topic: Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements.
network: Libera.Chat
Chat Room - 2 users -
60 minutes ago -
current topic: "A mind needs books as a sword needs a whetstone if it is to keep its edge." — George R.R.
Martin, author || Free book downloads: https://b-ok.cc/
category: Books -
network: IRC-Nerds