Newest at the top
| 2026-01-16 07:36:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-16 07:34:37 +0100 | Hardyhardhard | (~Hardyhard@user/hardyhardhard) hardyhardhard |
| 2026-01-16 07:31:26 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-01-16 07:31:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 07:30:50 +0100 | doyougnu | (~doyougnu@38.175.72.111) (Ping timeout: 265 seconds) |
| 2026-01-16 07:30:06 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-16 07:29:24 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-16 07:24:34 +0100 | Enrico63 | (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) Enrico63 |
| 2026-01-16 07:23:48 +0100 | ft | (~ft@p4fc2a9d7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-01-16 07:23:36 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 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) |