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: | mirc (162) jmirc (2) free software (33) chat (2108) |
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.
| bis, von | Thema |
|---|---|
| 2026-06-03, 2026-05-11 |
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 |
| 2026-05-10, 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. |
| 2026-01-25, 2025-12-24 |
Martin-Löf intutitionistic typography 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. |
| 2025-12-23, 2025-04-08 |
Martin-Löf intuitionistic typography 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. |
| 2025-12-09, 2025-12-04 |
Martin-Löf intuitionistic cyanotype 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-06-02 |
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 |