Martin Chat Rooms

Search chat rooms within the Internet Relay Chat and get informed about their users and topics! – Chat rooms on IRC are usually called channels. Use this IRC search engine to search in channel names and topics of around 500 IRC networks! Find interesting chat rooms and chat with people that share your interests!

 Related queries:  slovak (4)   slovakia (3)   sk (1)  


Search for Martin chat rooms returned a total of 2 matching results.  Displaying 1-2...

##dependent Libera.Chat

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

#books IRC-Nerds

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

deutsch
0.116 seconds

Terms of use   Contact