Newest at the top
| 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) |
| 2026-01-16 05:39:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-16 05:39:23 +0100 | Zemy | (~Zemy@2600:100c:b000:db1:d457:8cff:fed5:dff0) |
| 2026-01-16 05:34:55 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-16 05:33:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 05:32:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-16 05:30:05 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-16 05:29:51 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 05:28:58 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-16 05:28:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 05:25:21 +0100 | comonad | (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2026-01-16 05:18:30 +0100 | She | (haveident@libera/staff/she/her) She |
| 2026-01-16 05:17:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-16 05:16:58 +0100 | She | (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 2026-01-16 05:16:46 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-16 05:13:14 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-16 05:13:01 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 05:12:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 05:11:23 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-16 05:09:13 +0100 | pipsquak-bird | (~g@c-71-235-170-34.hsd1.ma.comcast.net) |
| 2026-01-16 05:07:33 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-01-16 05:06:58 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-01-16 05:02:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-01-16 05:01:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 05:01:31 +0100 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 264 seconds) |
| 2026-01-16 04:58:31 +0100 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-01-16 04:57:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 04:51:18 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-16 04:48:15 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-01-16 04:46:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 04:43:10 +0100 | Zemy | (~Zemy@2600:100c:b000:db1:e431:70ff:fe61:4d09) (Ping timeout: 246 seconds) |
| 2026-01-16 04:42:34 +0100 | jle` | (~jle`@2603:8001:3b00:11:930a:850f:3a65:f2e0) jle` |
| 2026-01-16 04:41:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 04:40:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-01-16 04:39:43 +0100 | Zemy_ | (~Zemy@72.178.108.235) |