Newest at the top
| 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. |
| 2026-03-29 19:54:14 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-29 19:52:00 +0200 | <tomsmeding> | I feel like something is missing there |
| 2026-03-29 19:51:28 +0200 | <lambdabot> | I will never forget. |
| 2026-03-29 19:51:28 +0200 | <EvanR> | @remember tomsmeding this channel |
| 2026-03-29 19:48:21 +0200 | <tomsmeding> | my thanks to dminuoso in 2021 |
| 2026-03-29 19:47:58 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-29 19:47:55 +0200 | <tomsmeding> | this channel be like: I look at random old logs of the channel and instead of doing what I wanted to do, end up on wikipedia on the Entscheidungsproblem |
| 2026-03-29 19:46:31 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-29 19:39:29 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-03-29 19:37:41 +0200 | straybits | (~straybits@user/straybits) (Ping timeout: 272 seconds) |
| 2026-03-29 19:37:03 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-29 19:32:35 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-29 19:32:10 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |