Newest at the top
| 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 |
| 2026-03-29 19:58:07 +0200 | <monochrom> | "a person and their phone entered a bar..." |
| 2026-03-29 19:57:46 +0200 | <monochrom> | "don't use your laptop/phone unless you're at a bar" |
| 2026-03-29 19:57:27 +0200 | Guest96 | (~Guest62@p200300ca8f23fa0023c431aeeea1b74f.dip0.t-ipconnect.de) |
| 2026-03-29 19:57:20 +0200 | <monochrom> | heh that's a great plan |
| 2026-03-29 19:56:48 +0200 | <int-e> | just get drunk in the bar while you deliberate the choice |
| 2026-03-29 19:55:44 +0200 | <geekosaur> | ^ |
| 2026-03-29 19:55:43 +0200 | <monochrom> | Corollary: By an easy reduction, the question "when I launch an RPG, will I focus on the main quest or will I focus on a side quest" is also undecidable. >:) |
| 2026-03-29 19:55:40 +0200 | <lambdabot> | tomsmeding says: this channel |
| 2026-03-29 19:55:40 +0200 | <geekosaur> | @quote tomsmeding channel |
| 2026-03-29 19:55:33 +0200 | <geekosaur> | (which allows, among other things, editing for better quotability and quotes from non-channel folks |
| 2026-03-29 19:55:06 +0200 | <geekosaur> | does that work? I think it only keeps what you said |
| 2026-03-29 19:54:55 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 19:54:39 +0200 | <monochrom> | Yes, the question of "when I turn on my computer/phone, will I do what I planned or will I get distracted by notifications?" is undecidable. |