Newest at the top
| 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 |
| 2026-03-29 19:31:39 +0200 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-03-29 19:29:55 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-03-29 19:24:42 +0200 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-03-29 19:21:38 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-29 19:21:04 +0200 | abiss27 | (~abiss27@user/abiss) abiss |
| 2026-03-29 19:20:41 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft |
| 2026-03-29 19:18:55 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-03-29 19:18:03 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 272 seconds) |
| 2026-03-29 19:17:12 +0200 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-29 19:11:26 +0200 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |