Logs: liberachat/#haskell
| 2026-03-29 17:37:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-29 17:37:41 | × | straybits quits (~straybits@user/straybits) (Ping timeout: 272 seconds) |
| 2026-03-29 17:39:29 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-03-29 17:46:31 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-29 17:47:55 | <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 17:47:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-29 17:48:21 | <tomsmeding> | my thanks to dminuoso in 2021 |
| 2026-03-29 17:51:28 | <EvanR> | @remember tomsmeding this channel |
| 2026-03-29 17:51:28 | <lambdabot> | I will never forget. |
| 2026-03-29 17:52:00 | <tomsmeding> | I feel like something is missing there |
| 2026-03-29 17:54:14 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-29 17:54:39 | <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 17:54:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 17:55:06 | <geekosaur> | does that work? I think it only keeps what you said |
| 2026-03-29 17:55:33 | <geekosaur> | (which allows, among other things, editing for better quotability and quotes from non-channel folks |
| 2026-03-29 17:55:40 | <geekosaur> | @quote tomsmeding channel |
| 2026-03-29 17:55:40 | <lambdabot> | tomsmeding says: this channel |
| 2026-03-29 17:55:43 | <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 17:55:44 | <geekosaur> | ^ |
| 2026-03-29 17:56:48 | <int-e> | just get drunk in the bar while you deliberate the choice |
| 2026-03-29 17:57:20 | <monochrom> | heh that's a great plan |
| 2026-03-29 17:57:27 | → | Guest96 joins (~Guest62@p200300ca8f23fa0023c431aeeea1b74f.dip0.t-ipconnect.de) |
| 2026-03-29 17:57:46 | <monochrom> | "don't use your laptop/phone unless you're at a bar" |
| 2026-03-29 17:58:07 | <monochrom> | "a person and their phone entered a bar..." |
| 2026-03-29 17:58:35 | <int-e> | but you need at least 3 bars for a decent internet connection |
| 2026-03-29 17:58:46 | <monochrom> | hahaha |
| 2026-03-29 17:59:51 | <EvanR> | oops |
| 2026-03-29 18:00:09 | <EvanR> | @forget tomsmeding this channel |
| 2026-03-29 18:00:09 | <lambdabot> | Done. |
| 2026-03-29 18:00:19 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-29 18:00:47 | <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 18:00:57 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-29 18:01:22 | <tomsmeding> | nah I'm building an ircbrowse replacement |
| 2026-03-29 18:01:38 | <tomsmeding> | why else do you think I'm looking at random old logs that I have lying around ?! |
| 2026-03-29 18:01:43 | <monochrom> | Haha it contains its own side quest "chapter 10: the continuum hypothesis, a digression" |
| 2026-03-29 18:01:48 | <tomsmeding> | lol |
| 2026-03-29 18:04:11 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-29 18:06:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-29 18:11:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-29 18:20:47 | × | natto17 quits (~natto@129.154.243.159) (Quit: a.) |
| 2026-03-29 18:21:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-29 18:23:14 | × | abiss27 quits (~abiss27@user/abiss) (Ping timeout: 245 seconds) |
| 2026-03-29 18:24:51 | → | natto17 joins (~natto@129.154.243.159) |
| 2026-03-29 18:25:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-29 18:26:27 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-29 18:35:16 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-29 18:35:55 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-29 18:36:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-29 18:40:28 | → | notzmv joins (~umar@user/notzmv) |
| 2026-03-29 18:41:21 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 2026-03-29 18:41:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 18:42:04 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2026-03-29 18:42:06 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-29 18:47:22 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-03-29 18:47:37 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 2026-03-29 18:47:43 | → | elarks joins (~elarks@user/yerrii) |
| 2026-03-29 18:51:47 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-29 18:52:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-29 18:56:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 18:59:07 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-29 19:00:23 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-29 19:02:40 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-29 19:03:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-29 19:05:26 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) |
| 2026-03-29 19:05:26 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host) |
| 2026-03-29 19:05:26 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-29 19:06:44 | × | rabbull quits (~rabbull@user/rabbull) (Quit: And in case I don't see you, good afternoon, good evening and good night!) |
| 2026-03-29 19:06:59 | → | rabbull joins (~rabbull@user/rabbull) |
| 2026-03-29 19:08:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 19:09:54 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-29 19:18:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-29 19:20:53 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds) |
| 2026-03-29 19:22:55 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-29 19:23:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 19:23:59 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) |
| 2026-03-29 19:23:59 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host) |
| 2026-03-29 19:23:59 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-29 19:24:24 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 246 seconds) |
| 2026-03-29 19:24:37 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-29 19:25:01 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2026-03-29 19:28:11 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 2026-03-29 19:28:17 | → | michalz joins (~michalz@185.246.207.215) |
| 2026-03-29 19:30:43 | → | abiss27 joins (~abiss27@user/abiss) |
| 2026-03-29 19:33:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-29 19:38:30 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-03-29 19:39:26 | <tomsmeding> | [exa]: did you figure out how to tame warp's "yolo let's accept(2) until EMFILE" |
| 2026-03-29 19:40:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-29 19:42:41 | × | michalz quits (~michalz@185.246.207.215) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-03-29 19:42:59 | → | michalz joins (~michalz@185.246.207.203) |
| 2026-03-29 19:48:15 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-03-29 19:51:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-29 19:52:46 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-29 19:54:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2026-03-29 19:54:45 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-29 19:55:38 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-03-29 19:56:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-29 20:00:09 | <[exa]> | tomsmeding: tested the thing with the semaphore in the handler before fork, it apparently worked, so now it's stashed until I actually need it |
| 2026-03-29 20:00:42 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-29 20:00:48 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 246 seconds) |
| 2026-03-29 20:01:09 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
All times are in UTC.