| 2026-05-14 00:06:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 00:09:43 +0000 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-05-14 00:13:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 00:18:29 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-14 00:18:47 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-05-14 00:20:51 +0000 | DetourNe- | DetourNetworkUK |
| 2026-05-14 00:24:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 00:29:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-14 00:37:02 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2026-05-14 00:38:23 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-05-14 00:39:44 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-05-14 00:39:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 00:44:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-14 00:45:20 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-14 00:50:51 +0000 | skum | (~skum@user/skum) (Ping timeout: 255 seconds) |
| 2026-05-14 00:51:29 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5416f8ea815b85e39c9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-05-14 00:52:01 +0000 | skum | (~skum@user/skum) skum |
| 2026-05-14 00:54:24 +0000 | xff0x | (~xff0x@ai083050.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 2026-05-14 00:55:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 00:55:58 +0000 | skum | (~skum@user/skum) (Excess Flood) |
| 2026-05-14 00:56:25 +0000 | skum | (~skum@user/skum) skum |
| 2026-05-14 01:00:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-14 01:00:51 +0000 | layline_ | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-14 01:11:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 01:16:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 01:16:22 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-14 01:28:40 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-14 01:29:27 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-05-14 01:31:26 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-14 01:32:31 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Read error: Connection reset by peer) |
| 2026-05-14 01:33:04 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-05-14 01:36:53 +0000 | spew | (~spew@user/spew) (Quit: zzz) |
| 2026-05-14 01:42:02 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-14 01:43:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 01:51:15 +0000 | AlexNoo_ | (~AlexNoo@85.174.182.49) |
| 2026-05-14 01:51:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-14 01:53:43 +0000 | AlexZenon | (~alzenon@5.139.233.78) (Ping timeout: 264 seconds) |
| 2026-05-14 01:53:43 +0000 | Alex_delenda_set | (~al_test@5.139.233.78) (Ping timeout: 264 seconds) |
| 2026-05-14 01:53:47 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-05-14 01:55:13 +0000 | AlexNoo | (~AlexNoo@5.139.233.78) (Ping timeout: 276 seconds) |
| 2026-05-14 01:57:12 +0000 | AlexZenon | (~alzenon@85.174.182.49) |
| 2026-05-14 02:01:35 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-05-14 02:01:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 02:03:51 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2026-05-14 02:05:30 +0000 | yin | (~zero@user/zero) (Ping timeout: 244 seconds) |
| 2026-05-14 02:05:46 +0000 | yin | (~zero@user/zero) zero |
| 2026-05-14 02:06:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-14 02:06:58 +0000 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 256 seconds) |
| 2026-05-14 02:08:18 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-05-14 02:08:25 +0000 | td_ | (~td@i5387092A.versanet.de) |
| 2026-05-14 02:17:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 02:22:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 02:33:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 02:38:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 02:41:39 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c347:f768:e2bf:15ae) |
| 2026-05-14 02:44:57 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c347:f768:e2bf:15ae) (Client Quit) |
| 2026-05-14 02:49:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 02:54:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 03:02:16 +0000 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2026-05-14 03:07:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 03:12:19 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-14 03:12:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 03:13:03 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 276 seconds) |
| 2026-05-14 03:13:15 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-14 03:23:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 03:26:27 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 03:28:11 +0000 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2026-05-14 03:28:54 +0000 | <tri> | the haskell extension in vscode is not very reliable. I often need to restart the haskell language server. I once saw someone mentioned that he used some kind of haskell tool to run in a separate terminal that keep compiling the project to find compile error. Does anyone knows what that is? |
| 2026-05-14 03:28:54 +0000 | <tri> | Or, in general, what can I use instead of the HLS to compile check my code? |
| 2026-05-14 03:28:54 +0000 | <tri> | thank you |
| 2026-05-14 03:29:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 03:31:19 +0000 | <geekosaur> | ghcid? |
| 2026-05-14 03:31:32 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-05-14 03:32:11 +0000 | <tri> | oh yes that's right. Is that still a thing? Should I use that? |
| 2026-05-14 03:32:19 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c347:f768:e2bf:15ae) |
| 2026-05-14 03:32:33 +0000 | <geekosaur> | up to you, but many people do |
| 2026-05-14 03:33:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 03:33:23 +0000 | <tri> | thank you, I will look up how to use that |
| 2026-05-14 03:34:12 +0000 | <tri> | https://github.com/tri97nguyen/codecrafters-shell-haskell/blob/main/app/Main.hs#L56-L62 |
| 2026-05-14 03:35:02 +0000 | <tri> | I'm thinking of using maybeT here, since I'm having Maybe inside an IO. And I'm having to duplicate the cmd <> ": not found" |
| 2026-05-14 03:35:15 +0000 | <tri> | maybeT is the first thing I think of. Is that valid? |
| 2026-05-14 03:36:47 +0000 | <geekosaur> | that condition looks reversed to me fwiw, also you should keep searching in the path if it's not |
| 2026-05-14 03:37:57 +0000 | <geekosaur> | which would also solve this as you never need the second one |
| 2026-05-14 03:38:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-14 03:38:48 +0000 | <geekosaur> | and if you _do_ want to keep it this way, you should probably say "not executable" instead of "not found" |
| 2026-05-14 03:39:36 +0000 | <tri> | ah I'm just following this requirement from an assignment |
| 2026-05-14 03:39:39 +0000 | <tri> | Check if the command is a builtin command (like exit or echo). If it is, report it as a builtin (<command> is a shell builtin) and stop. |
| 2026-05-14 03:39:39 +0000 | <tri> | If the command is not a builtin, your shell must go through every directory in PATH. For each directory: |
| 2026-05-14 03:39:39 +0000 | <tri> | Check if a file with the command name exists. |
| 2026-05-14 03:39:41 +0000 | <tri> | Check if the file has execute permissions. |
| 2026-05-14 03:39:43 +0000 | <tri> | If the file exists and has execute permissions, print <command> is <full_path> and stop. |
| 2026-05-14 03:39:45 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c347:f768:e2bf:15ae) (Quit: ricardomaps) |
| 2026-05-14 03:39:45 +0000 | <tri> | If the file exists but lacks execute permissions, skip it and continue to the next directory. |
| 2026-05-14 03:39:47 +0000 | <tri> | If no executable is found in any directory, print <command>: not found. |
| 2026-05-14 03:40:04 +0000 | <geekosaur> | yes, now look at your condition and what you do |
| 2026-05-14 03:40:14 +0000 | <tri> | ok let me see... |
| 2026-05-14 03:40:29 +0000 | <geekosaur> | oh, in fact, reread what you just wrote and compare to what I suggested |
| 2026-05-14 03:41:22 +0000 | <tri> | ah yea I see I got the if else inversed. I will fix that |
| 2026-05-14 03:42:38 +0000 | <tri> | also you should keep searching in the path if it's not |
| 2026-05-14 03:42:39 +0000 | <tri> | 23:37 geekosaur: which would also solve this as you never need the second one |
| 2026-05-14 03:42:42 +0000 | <tri> | I don't get this "" |
| 2026-05-14 03:42:59 +0000 | <geekosaur> | look at "If the file exists but lacks…" |
| 2026-05-14 03:43:25 +0000 | <tri> | ok lmc |
| 2026-05-14 03:43:28 +0000 | <geekosaur> | if all matching files on the PATH lack execute, you'll get Nothing back |
| 2026-05-14 03:43:41 +0000 | <tri> | ah... |
| 2026-05-14 03:44:06 +0000 | <tri> | ok so I misread the requirement |
| 2026-05-14 03:44:23 +0000 | <tri> | but I do want to carry out the maybeT though, it's a chance to try it |
| 2026-05-14 03:44:25 +0000 | <geekosaur> | so the execute check needs to be in isCommandInPath, which keeps searching if it finds a non-executable |
| 2026-05-14 03:44:26 +0000 | Square | (~Square@user/square) Square |
| 2026-05-14 03:45:12 +0000 | <tri> | so in a situation like this, where I got maybe in IO, it's a valid reason to use maybeT right? |
| 2026-05-14 03:45:26 +0000 | <geekosaur> | yes |
| 2026-05-14 03:45:36 +0000 | <tri> | I mean I know I could keep it simple and pattern match the maybe, but a transfromer here to group the 2 monad would be good |
| 2026-05-14 03:45:37 +0000 | <geekosaur> | for now at least |
| 2026-05-14 03:46:06 +0000 | <tri> | ok thank you, I will work it out |
| 2026-05-14 03:48:57 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-14 03:54:00 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-14 04:04:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 04:09:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-14 04:10:41 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-14 04:11:34 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-05-14 04:14:23 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-05-14 04:15:05 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2026-05-14 04:20:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 04:25:30 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-05-14 04:25:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 04:49:09 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-14 04:50:26 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-14 04:52:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 04:52:15 +0000 | michalz | (~michalz@185.246.207.205) |
| 2026-05-14 04:57:07 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2026-05-14 04:57:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 04:58:08 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 05:02:50 +0000 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2026-05-14 05:03:05 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-05-14 05:03:29 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-14 05:06:21 +0000 | Digit | (~user@user/digit) Digit |
| 2026-05-14 05:07:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 05:08:09 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-05-14 05:14:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 05:18:40 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-05-14 05:20:59 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-14 05:24:09 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 05:25:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 05:28:30 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-05-14 05:29:26 +0000 | remexre | (~remexre@2607:ea00:101:421:20::) (Remote host closed the connection) |
| 2026-05-14 05:29:34 +0000 | remexre | (~remexre@user/remexre) remexre |
| 2026-05-14 05:30:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-14 05:34:08 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-14 05:34:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 05:39:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-14 05:46:49 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-14 05:49:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 05:54:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-14 05:55:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 05:58:31 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 06:00:19 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-05-14 06:00:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 06:03:55 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-14 06:10:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 06:15:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-14 06:20:22 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 06:24:41 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-05-14 06:26:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 06:31:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-14 06:32:18 +0000 | myme | (~myme@2a01:799:d5e:5f00:12e5:7e18:d093:9592) (Ping timeout: 248 seconds) |
| 2026-05-14 06:33:11 +0000 | myme | (~myme@2a01:799:d5e:5f00:aa37:f500:ec80:2f00) myme |
| 2026-05-14 06:35:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 06:37:59 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 06:40:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 06:43:05 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-14 06:50:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 06:52:23 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) random-jellyfish |
| 2026-05-14 06:55:14 +0000 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2026-05-14 06:57:34 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 06:57:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-14 07:02:13 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-14 07:07:56 +0000 | Digit | (~user@user/digit) Digit |
| 2026-05-14 07:08:11 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-14 07:08:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 07:13:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-14 07:17:23 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-05-14 07:23:48 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-05-14 07:24:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 07:29:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 07:31:16 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 07:35:44 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2026-05-14 07:36:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 07:37:56 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Quit: rainbyte) |
| 2026-05-14 07:41:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 07:49:46 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e54130db3c95a29b4b60.dip0.t-ipconnect.de) |
| 2026-05-14 07:51:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 07:56:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 08:06:54 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 08:07:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 08:11:36 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-05-14 08:12:08 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-14 08:12:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-14 08:13:29 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-05-14 08:15:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 08:17:28 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-14 08:18:00 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-14 08:20:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 08:26:35 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 08:30:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 08:31:51 +0000 | moritz | (~moritz@185.124.140.122) |
| 2026-05-14 08:32:24 +0000 | moritz | mo1108 |
| 2026-05-14 08:33:10 +0000 | mo1108 | (~moritz@185.124.140.122) (Client Quit) |
| 2026-05-14 08:33:30 +0000 | mo1108 | (~mo1108@185.124.140.122) |
| 2026-05-14 08:42:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 08:44:39 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-14 08:44:54 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-14 08:52:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 08:56:07 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-14 08:56:35 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-14 08:57:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-14 09:00:10 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-14 09:01:13 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 2026-05-14 09:05:58 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-14 09:08:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 09:09:51 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 09:13:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-14 09:13:57 +0000 | slomp | (~slomp@47-158-177-202.fdr02.brdn.ca.ip.frontiernet.net) (Ping timeout: 255 seconds) |
| 2026-05-14 09:14:18 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e572c501f488808c0283.dip0.t-ipconnect.de) acidjnk |
| 2026-05-14 09:15:10 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-14 09:15:41 +0000 | mo1108 | (~mo1108@185.124.140.122) (Quit: mo1108) |
| 2026-05-14 09:17:52 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e54130db3c95a29b4b60.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-05-14 09:19:33 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-05-14 09:24:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 09:25:30 +0000 | danza2418 | (~danza@user/danza) danza |
| 2026-05-14 09:27:04 +0000 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-05-14 09:29:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 09:33:39 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
| 2026-05-14 09:38:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 09:43:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-14 09:44:24 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 09:49:32 +0000 | mo1108 | (~mo1108@185.124.140.122) |
| 2026-05-14 09:49:39 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-05-14 09:53:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 09:58:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 09:59:18 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 276 seconds) |
| 2026-05-14 10:00:12 +0000 | AlexNoo_ | AlexNoo |
| 2026-05-14 10:00:38 +0000 | Alex_delenda_est | (~al_test@85.174.182.49) |
| 2026-05-14 10:05:56 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 10:09:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 10:09:51 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-14 10:09:58 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-14 10:11:03 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-14 10:11:12 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-14 10:13:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 10:14:52 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-14 10:15:33 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-05-14 10:23:43 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-05-14 10:24:35 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 10:24:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 10:29:05 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-14 10:31:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 10:39:09 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-14 10:39:40 +0000 | <ski> | jreicher : implement it, how ? |
| 2026-05-14 10:44:02 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-05-14 10:44:43 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 10:46:20 +0000 | random-6 | (~random-je@109.166.129.10) |
| 2026-05-14 10:48:42 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-14 10:49:04 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-05-14 10:49:09 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-05-14 10:49:18 +0000 | mo1108 | (~mo1108@185.124.140.122) (Quit: mo1108) |
| 2026-05-14 10:49:26 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2026-05-14 10:55:20 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-14 10:56:19 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 10:58:01 +0000 | danza2418 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-14 10:59:39 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-05-14 11:00:46 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2026-05-14 11:10:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 11:15:09 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 11:15:47 +0000 | czan | (~czan@user/mange) czan |
| 2026-05-14 11:15:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 11:19:20 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-14 11:26:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 11:31:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 11:34:37 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-14 11:37:23 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Quit: WeeChat 4.1.1) |
| 2026-05-14 11:38:37 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 11:38:39 +0000 | czan | (~czan@user/mange) (Ping timeout: 245 seconds) |
| 2026-05-14 11:40:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 11:44:03 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-14 11:44:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-14 11:54:21 +0000 | bb010g | (~bb010g@wank.party) (Remote host closed the connection) |
| 2026-05-14 11:54:35 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-14 11:54:50 +0000 | bb010g | (~bb010g@wank.party) bb010g |
| 2026-05-14 11:55:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 11:59:48 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 12:02:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 12:04:18 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-14 12:10:21 +0000 | random-6 | (~random-je@109.166.129.10) (Quit: KVIrc 5.2.10 Quasar http://www.kvirc.net/) |
| 2026-05-14 12:10:34 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) random-jellyfish |
| 2026-05-14 12:12:31 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-14 12:14:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 12:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 12:29:35 +0000 | <jreicher> | Roughly, put the implementation to be dispatched in the handler of a tagged prompt, and control the dispatch by invoking (or not) a control with that prompt |
| 2026-05-14 12:29:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 12:29:48 +0000 | <jreicher> | I mean a control with that tag |
| 2026-05-14 12:31:08 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-05-14 12:34:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-14 12:34:58 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 12:39:55 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-14 12:41:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 12:46:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-14 12:49:21 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-14 12:52:50 +0000 | AlexZenon | (~alzenon@85.174.182.49) (Quit: ;-) |
| 2026-05-14 12:53:13 +0000 | Alex_delenda_est | (~al_test@85.174.182.49) (Quit: ;-) |
| 2026-05-14 12:53:39 +0000 | AlexNoo | (~AlexNoo@85.174.182.49) (Quit: Leaving) |
| 2026-05-14 12:54:02 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 12:56:50 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 245 seconds) |
| 2026-05-14 12:56:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 13:01:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-14 13:05:48 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-14 13:07:20 +0000 | Digit | (~user@user/digit) Digit |
| 2026-05-14 13:09:40 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 13:12:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 13:13:44 +0000 | Digit | Digitteknohippie |
| 2026-05-14 13:14:59 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-14 13:16:56 +0000 | AlexNoo | (~AlexNoo@94.233.241.177) |
| 2026-05-14 13:17:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 13:18:36 +0000 | biberu | (~biberu@user/biberu) biberu |
| 2026-05-14 13:22:07 +0000 | AlexZenon | (~alzenon@94.233.241.177) |
| 2026-05-14 13:22:56 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-14 13:24:14 +0000 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2026-05-14 13:24:20 +0000 | Alex_delenda_est | (~al_test@94.233.241.177) |
| 2026-05-14 13:24:43 +0000 | Digitteknohippie | Digit |
| 2026-05-14 13:26:07 +0000 | layline_ | layline-away |
| 2026-05-14 13:26:22 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-14 13:28:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 13:29:44 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-05-14 13:30:45 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 13:33:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 13:33:20 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-14 13:37:21 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-05-14 13:39:33 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c0ba:1c73:d25a:2e80) |
| 2026-05-14 13:42:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 13:42:24 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Quit: WeeChat 4.9.0) |
| 2026-05-14 13:46:57 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-14 13:48:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-14 13:50:47 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 13:51:03 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2026-05-14 13:55:00 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-05-14 13:56:31 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 14:00:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 14:02:07 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-14 14:02:23 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-14 14:05:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 14:08:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 14:16:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 14:16:31 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 14:20:43 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-14 14:26:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 14:29:50 +0000 | layline_ | layline-away |
| 2026-05-14 14:30:16 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 265 seconds) |
| 2026-05-14 14:32:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 14:35:11 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 14:37:50 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2026-05-14 14:42:04 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2026-05-14 14:42:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 14:47:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 14:51:41 +0000 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |
| 2026-05-14 14:53:11 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-14 14:53:35 +0000 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-05-14 14:55:39 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 14:55:45 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-05-14 14:58:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 15:00:06 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-05-14 15:00:42 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e9b6:2948:2f99:312f) |
| 2026-05-14 15:02:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-14 15:07:48 +0000 | noscript | (~noscript@user/earldouglas) earldouglas |
| 2026-05-14 15:08:30 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e9b6:2948:2f99:312f) (Quit: ricardomaps) |
| 2026-05-14 15:09:14 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 15:14:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 15:14:44 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-14 15:15:11 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e9b6:2948:2f99:312f) |
| 2026-05-14 15:17:37 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e9b6:2948:2f99:312f) (Client Quit) |
| 2026-05-14 15:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 15:19:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-14 15:27:49 +0000 | spew | (~spew@user/spew) (Quit: zzz) |
| 2026-05-14 15:28:10 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 15:29:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 15:30:53 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e9b6:2948:2f99:312f) |
| 2026-05-14 15:32:32 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-14 15:34:37 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-14 15:36:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-14 15:36:45 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-14 15:43:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 15:45:20 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e9b6:2948:2f99:312f) (Quit: ricardomaps) |
| 2026-05-14 15:47:08 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 15:48:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-14 15:50:31 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e9b6:2948:2f99:312f) |
| 2026-05-14 15:51:55 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-14 15:53:24 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-14 15:55:02 +0000 | <gentauro> | anybody else noticying that `styalish-haskell` goes a bit wacko? |
| 2026-05-14 15:55:29 +0000 | <gentauro> | it's only with imports. It doesn't seem to do it properly anymore (never ever had this happened) :| |
| 2026-05-14 15:56:11 +0000 | <Inline> | then solve the equation which causes that! |
| 2026-05-14 15:56:14 +0000 | <Inline> | lol |
| 2026-05-14 15:58:11 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 15:59:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 16:04:20 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-14 16:04:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-14 16:09:38 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e9b6:2948:2f99:312f) (Quit: ricardomaps) |
| 2026-05-14 16:10:20 +0000 | <ski> | hm, it's unclear to me which particular problem is being solved (something like object-oriented method dispatch ? type class operation dispatch ? `case' branch dispatch ? something else ?) |
| 2026-05-14 16:10:39 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2026-05-14 16:15:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 16:18:42 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 16:20:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 16:21:00 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-05-14 16:22:06 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-14 16:24:09 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-05-14 16:29:16 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-05-14 16:29:39 +0000 | Square | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2026-05-14 16:30:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 16:32:21 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-05-14 16:35:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 16:37:59 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 16:39:37 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-14 16:40:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-14 16:44:14 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-14 16:44:24 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2026-05-14 16:44:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 16:46:18 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-14 16:46:27 +0000 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-05-14 16:47:00 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 256 seconds) |
| 2026-05-14 16:47:04 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-05-14 16:49:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-14 17:00:18 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-14 17:06:21 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-14 17:07:05 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-14 17:15:32 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 17:18:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 17:22:29 +0000 | craunts795335385 | (~craunts@136.158.7.226) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-14 17:23:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-14 17:31:46 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-05-14 17:32:29 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-14 17:33:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 17:35:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-05-14 17:35:44 +0000 | gf31 | (~gf3@user/gf3) (Quit: Ping timeout (120 seconds)) |
| 2026-05-14 17:36:03 +0000 | gf31 | (~gf3@user/gf3) gf3 |
| 2026-05-14 17:38:01 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-05-14 17:38:18 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-05-14 17:38:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 17:38:36 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2026-05-14 17:39:29 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
| 2026-05-14 17:45:12 +0000 | gf31 | (~gf3@user/gf3) (Ping timeout: 244 seconds) |
| 2026-05-14 17:45:39 +0000 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 246 seconds) |
| 2026-05-14 17:49:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 17:53:19 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-05-14 17:53:22 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds) |
| 2026-05-14 17:54:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-14 17:56:44 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-05-14 17:57:31 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-05-14 18:01:44 +0000 | spew | (~spew@user/spew) (Ping timeout: 244 seconds) |
| 2026-05-14 18:05:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 18:10:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-14 18:14:51 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 18:15:48 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-14 18:20:43 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-14 18:21:47 +0000 | gf31 | (~gf3@user/gf3) gf3 |
| 2026-05-14 18:22:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 18:24:21 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-14 18:27:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-14 18:28:40 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-14 18:29:24 +0000 | gf31 | (~gf3@user/gf3) (Quit: bye bye bye) |
| 2026-05-14 18:29:45 +0000 | gf31 | (~gf3@user/gf3) gf3 |
| 2026-05-14 18:32:33 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-05-14 18:32:38 +0000 | leppard | (~noOne@92.208.182.236) Inline |
| 2026-05-14 18:36:53 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-05-14 18:37:13 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-05-14 18:37:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 18:38:54 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:829b:c64:54b4:4855) |
| 2026-05-14 18:41:22 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-05-14 18:43:11 +0000 | gf31 | (~gf3@user/gf3) (Ping timeout: 244 seconds) |
| 2026-05-14 18:44:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-14 18:49:58 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 18:55:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 18:56:09 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-14 19:00:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-14 19:17:56 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 19:18:50 +0000 | leppard | (~noOne@92.208.182.236) (Ping timeout: 244 seconds) |
| 2026-05-14 19:23:39 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-14 19:26:47 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-14 19:31:59 +0000 | gf31 | (~gf3@user/gf3) gf3 |
| 2026-05-14 19:37:31 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 19:44:07 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-14 19:49:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-14 19:50:33 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds) |
| 2026-05-14 19:54:56 +0000 | gf31 | (~gf3@user/gf3) (Quit: bye bye bye) |
| 2026-05-14 19:56:12 +0000 | biberu | (~biberu@user/biberu) (Remote host closed the connection) |
| 2026-05-14 19:56:26 +0000 | gf31 | (~gf3@user/gf3) gf3 |
| 2026-05-14 19:57:29 +0000 | synchromesh | (~john@2406:5a00:247e:1500:2937:5bd3:2b69:3d9e) synchromesh |
| 2026-05-14 20:00:32 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 20:07:09 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-14 20:07:51 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-05-14 20:08:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 20:13:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-14 20:15:44 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-14 20:15:50 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-05-14 20:17:58 +0000 | DetourNe- | DetourNetworkUK |
| 2026-05-14 20:18:19 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |
| 2026-05-14 20:24:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 20:29:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-14 20:37:35 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 20:40:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 20:42:19 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 264 seconds) |
| 2026-05-14 20:42:43 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-05-14 20:43:55 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-14 20:45:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-14 20:51:05 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:829b:c64:54b4:4855) (Quit: ricardomaps) |
| 2026-05-14 20:52:41 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-05-14 20:55:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 21:00:24 +0000 | eL_Bart0 | (eL_Bart02@dietunichtguten.org) (Quit: Restarting) |
| 2026-05-14 21:00:40 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 21:00:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-14 21:01:23 +0000 | eL_Bart0 | (eL_Bart02@dietunichtguten.org) |
| 2026-05-14 21:11:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-14 21:18:04 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2026-05-14 21:18:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-14 21:18:29 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-05-14 21:19:27 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-14 21:24:19 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-05-14 21:28:39 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-14 21:29:41 +0000 | merijn | (~merijn@62.45.136.136) merijn |