This is a small report about chat room ##dependent, a so called IRC channel on network Libera.Chat. This report usually includes user statistics and chat topics of the last days and weeks, if the IRC channel was already registered and its administrators didn't set its channel modes to private or secret.
| Related queries: | textual (8) free software (68) mirc (160) open source (155) |
Chat room ##dependent on IRC network Libera.Chat was registered at 2024-05-17 and assigned to category Chat Chat Rooms. Registration of this chat room was based on a large attendance.
| to, from | topic |
|---|---|
| 2026-09-05, 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-09-04 |
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. |