Newest at the top
2025-04-21 21:56:42 +0200 | Betinho | (~Betinho@190.180.172.0) |
2025-04-21 21:54:25 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
2025-04-21 21:50:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-21 21:47:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) |
2025-04-21 21:46:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-21 21:43:13 +0200 | madjestic | (~madjestic@37.109.147.147) (Ping timeout: 248 seconds) |
2025-04-21 21:34:16 +0200 | connrs | (~connrs@user/connrs) connrs |
2025-04-21 21:34:08 +0200 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
2025-04-21 21:33:15 +0200 | anselmschueler | (~quassel@user/schuelermine) (Ping timeout: 244 seconds) |
2025-04-21 21:33:15 +0200 | schuelermine | (~quassel@user/schuelermine) schuelermine |
2025-04-21 21:31:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-04-21 21:30:26 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
2025-04-21 21:28:47 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-21 21:27:43 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-21 21:24:24 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-04-21 21:23:11 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2025-04-21 21:21:12 +0200 | anselmschueler | (~quassel@user/schuelermine) schuelermine |
2025-04-21 21:20:13 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-21 21:19:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-21 21:14:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-21 21:08:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-21 21:04:58 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-04-21 21:03:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-21 21:00:47 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-21 21:00:45 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-21 21:00:06 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-21 20:56:10 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-04-21 20:52:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-21 20:51:39 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-21 20:47:21 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
2025-04-21 20:45:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-21 20:42:44 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-21 20:40:24 +0200 | inca | (~inca@dynamic-acs-24-154-101-99.zoominternet.net) (Ping timeout: 252 seconds) |
2025-04-21 20:37:29 +0200 | <hellwolf> | https://www.twitch.tv/typetheoryforall <-- some live content coming |
2025-04-21 20:36:12 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-04-21 20:34:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-21 20:31:22 +0200 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) |
2025-04-21 20:29:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-21 20:23:29 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
2025-04-21 20:22:35 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-21 20:20:28 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-21 20:19:13 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-21 20:18:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-21 20:18:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-04-21 20:16:31 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-21 20:13:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-21 20:11:27 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
2025-04-21 20:10:22 +0200 | dhil | (~dhil@5.151.29.139) (Ping timeout: 244 seconds) |
2025-04-21 20:09:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-04-21 20:08:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |