Der Chatraum #martinus vom IRC-Netz QuakeNet wurde am 2026-10-06 registriert und der Kategorie Martin Chaträume zugeordnet. Die Registrierung des Chatraums erfolgte aufgrund von Web-Anfragen.
Chatraum - 61 Benutzer -
vor 48 Minuten -
aktuelles Topic: Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <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. | <ames> i think all of you seriously misunderstand what existing is like
Netz: Libera.Chat
Chatraum - 2 Benutzer -
vor 38 Minuten -
aktuelles 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/
Kategorie: Books -
Netz: IRC-Nerds
Chatraum - 1 Benutzer -
vor 48 Minuten -
aktuelles Topic: This is a resolution channel, for debate and chat please join #Christiandebate | Be kind to one another, tenderhearted, forgiving one another, as God in Christ forgave you. Ephesians 4:32 | “Hate cannot drive out hate; only love can do that.” ~
Martin Luther King, Jr.
Kategorie: christlich -
Netz: DALnet