Newest at the top
| 2026-01-16 07:20:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-16 07:18:03 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-16 07:15:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 07:08:33 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-01-16 07:06:26 +0100 | doyougnu | (~doyougnu@38.175.72.111) doyougnu |
| 2026-01-16 07:05:10 +0100 | doyougnu | (~doyougnu@38.175.72.111) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-01-16 07:04:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-16 06:59:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 06:59:10 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 06:58:57 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 06:56:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-16 06:55:13 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 244 seconds) |
| 2026-01-16 06:55:12 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-01-16 06:53:07 +0100 | trickard_ | trickard |
| 2026-01-16 06:48:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-16 06:46:52 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 06:46:38 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 06:44:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 06:38:27 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-16 06:38:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-16 06:33:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 06:31:29 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-16 06:30:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-16 06:29:49 +0100 | michalz | (~michalz@185.246.207.201) |
| 2026-01-16 06:26:13 +0100 | jle` | (~jle`@2603:8001:3b00:11:a778:c925:9c27:688d) jle` |
| 2026-01-16 06:23:48 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 06:23:34 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 06:22:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-16 06:21:19 +0100 | jle` | (~jle`@2603:8001:3b00:11:de64:4c9b:8263:d4ce) (Quit: WeeChat 4.7.1) |
| 2026-01-16 06:18:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 06:15:09 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:8d9:51ba:2d0b:e2a0) |
| 2026-01-16 06:06:48 +0100 | jle` | (~jle`@2603:8001:3b00:11:de64:4c9b:8263:d4ce) jle` |
| 2026-01-16 06:06:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 06:04:59 +0100 | jle` | (~jle`@2603:8001:3b00:11:930a:850f:3a65:f2e0) (Ping timeout: 250 seconds) |
| 2026-01-16 06:01:56 +0100 | <jreicher> | monochrom: do you also have lecture notes that deal with countability? (I don't want to restart the topic here; asking only this question) |
| 2026-01-16 06:01:22 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-16 05:59:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 05:59:53 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2026-01-16 05:49:49 +0100 | Zemy | (~Zemy@2600:100c:b000:db1:c051:aeff:fe7a:2412) (Ping timeout: 260 seconds) |
| 2026-01-16 05:49:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-16 05:49:13 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-01-16 05:48:34 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2026-01-16 05:48:17 +0100 | trickard__ | trickard |
| 2026-01-16 05:47:54 +0100 | trickard__ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 05:46:05 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-16 05:45:28 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-16 05:45:27 +0100 | Zemy | (~Zemy@2600:100c:b000:db1:c051:aeff:fe7a:2412) |
| 2026-01-16 05:44:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 05:43:59 +0100 | Zemy | (~Zemy@2600:100c:b000:db1:d457:8cff:fed5:dff0) (Ping timeout: 260 seconds) |
| 2026-01-16 05:40:06 +0100 | Zemy_ | (~Zemy@72.178.108.235) |