##dependent Libera.Chat - Chat Chat

Dies ist ein kleiner Bericht über den Chatraum ##dependent, einem IRC Channel im Netz Libera.Chat. Sofern der IRC Channel bereits etwas länger registriert ist und von seinen Administratoren nicht als privat oder sogar als geheim gekennzeichnet wurde, enthält der Bericht die Besucherzahlen und Chat-Themen der letzten Tage und Wochen.

 Verwandte Suchbegriffe:  open source (111)   software (197)   colloquy (3)   chat (2279)  


Der Chatraum ##dependent vom IRC-Netz Libera.Chat wurde am 2024-05-17 registriert und der Kategorie Chat Chaträume zugeordnet. Die Registrierung des Chatraums erfolgte aufgrund hoher Besucherzahlen.

##dependent Libera.Chat - Diagramm über die Anzahl an Benutzern während der letzten Woche

bis, von Thema
2024-12-01,
2024-08-23 
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.
2024-08-22,
2024-06-10 
Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <ncf> `with` isn't real but it *can* hurt you
2024-06-09,
2024-05-19 
Martin-Löf intuitionistic type theory | http://archive-pml.github.io | http://github.com/dpndnt/library | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <ncf> `with` isn't real but it *can* hurt you
2024-05-18  Martin-Löf intuitionistic type theory | http://archive-pml.github.io | http://github.com/dpndnt/library | <ncf> `with` isn't real but it *can* hurt you
2024-05-17  <ncf> `with` isn't real but it *can* hurt you


Weitere Chat Chaträume

#chat-hispano IRC-Hispano

Chatraum - 1191 Benutzer - aktuelles Topic: Bienvenid@s a #Chat-Hispano. Canal de Ayuda #opers_help
Kategorie: Spanien - Netz: IRC-Hispano

#discute-chat EuropNet

Chatraum - 3 Benutzer - vor 93 Minuten - aktuelles Topic: Bonjour ,.essayez le tchat ! : https://www.discute-chat.fr/ - Bienvenue - Vous rejoignez un Salon tout public, merci d'eviter les sujets à polémique (politique, religion..), la présence de mineurs, doit être respectée en modérant vos propos ! Bon tchat ;) - Merci d'écrire en Français ______ ! [Aide] - Le salon #aide-discute est à votre disposition si nécéssaire
Kategorie: Chat - Netz: EuropNet

#linux Libera.Chat

Chatraum - 2281 Benutzer - vor 99 Minuten - aktuelles Topic: Welcome to #linux! New community Code of Conduct and Staff Application form: https://linux.chat/news -- Forum: https://linux.forum -- Pastebin: https://paste.linux.chat/ -- Mastodon: https://linux.social/invite/zc2Gj5r8 -- Need an op? !ops <reason> or join #linux-ops
Kategorie: Linux - Netz: Libera.Chat

##chat Libera.Chat

Chatraum - 561 Benutzer - vor 99 Minuten - aktuelles Topic: Welcome to ##chat, a social and offtopic channel for sensible conversations. Mind the language. | THIS IS A POLITICS-FREE ZONE! You have been warned. | Rules: https://pastebin.com/raw/ntTcx2xb | We reserve the right to remove annoying people | Free Speech: https://xkcd.com/1357/ | Operators can be found in ##chat-ops
Kategorie: Chat - Netz: Libera.Chat

#World-Chat Rizon

Chatraum - 71 Benutzer - vor 99 Minuten - aktuelles Topic: Welcome to world-chat Channel on rizon IRC Network please check https://wiki.rizon.net/index.php? title=World-Chat | Forum: https://bit.ly/w-cforum stats :https://bit.ly/WStats | Play: https://kuro-rpg.net/projects/26/ | ,3 For a calmer atmosphere why not sit back and relax in #thelounge ^_^
Kategorie: International - Netz: Rizon

english
0,1115 Sekunden

Hinweise zur Nutzung   Kontakt