Newest at the top
| 2026-03-29 21:23:07 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 21:22:55 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-29 21:20:53 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds) |
| 2026-03-29 21:18:26 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-29 21:09:54 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-29 21:08:07 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 21:06:59 +0200 | rabbull | (~rabbull@user/rabbull) rabbull |
| 2026-03-29 21:06:44 +0200 | rabbull | (~rabbull@user/rabbull) (Quit: And in case I don't see you, good afternoon, good evening and good night!) |
| 2026-03-29 21:05:26 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-29 21:05:26 +0200 | arandombit | (~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host) |
| 2026-03-29 21:05:26 +0200 | arandombit | (~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) arandombit |
| 2026-03-29 21:03:03 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-29 21:02:40 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-29 21:00:23 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-29 20:59:07 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-29 20:56:43 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 20:52:09 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-29 20:51:47 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-29 20:47:43 +0200 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-03-29 20:47:37 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 2026-03-29 20:47:22 +0200 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-03-29 20:42:06 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-29 20:42:04 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2026-03-29 20:41:43 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 20:41:21 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 2026-03-29 20:40:28 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-03-29 20:36:47 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-29 20:35:55 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-29 20:35:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-29 20:26:27 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-29 20:25:44 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-29 20:24:51 +0200 | natto17 | (~natto@129.154.243.159) natto |
| 2026-03-29 20:23:14 +0200 | abiss27 | (~abiss27@user/abiss) (Ping timeout: 245 seconds) |
| 2026-03-29 20:21:24 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-29 20:20:47 +0200 | natto17 | (~natto@129.154.243.159) (Quit: a.) |
| 2026-03-29 20:11:19 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-29 20:06:01 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-29 20:04:11 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-29 20:01:48 +0200 | <tomsmeding> | lol |
| 2026-03-29 20:01:43 +0200 | <monochrom> | Haha it contains its own side quest "chapter 10: the continuum hypothesis, a digression" |
| 2026-03-29 20:01:38 +0200 | <tomsmeding> | why else do you think I'm looking at random old logs that I have lying around ?! |
| 2026-03-29 20:01:22 +0200 | <tomsmeding> | nah I'm building an ircbrowse replacement |
| 2026-03-29 20:00:57 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-29 20:00:47 +0200 | <monochrom> | tomsmeding: "You may also be interested in..." Turing's PhD thesis, "Systems of Logic". (Adding oracles, transfinite ordinals, probably also the arithmetic hierarchy.) |
| 2026-03-29 20:00:19 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-29 20:00:09 +0200 | <lambdabot> | Done. |
| 2026-03-29 20:00:09 +0200 | <EvanR> | @forget tomsmeding this channel |
| 2026-03-29 19:59:51 +0200 | <EvanR> | oops |
| 2026-03-29 19:58:46 +0200 | <monochrom> | hahaha |
| 2026-03-29 19:58:35 +0200 | <int-e> | but you need at least 3 bars for a decent internet connection |