Newest at the top
| 2025-03-28 08:56:56 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f71c835c1b6e3010b6c.dip0.t-ipconnect.de) acidjnk |
| 2025-03-28 08:54:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-03-28 08:53:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 08:52:39 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-03-28 08:44:16 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-03-28 08:42:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-28 08:37:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 08:33:39 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-28 08:31:37 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-03-28 08:30:06 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-03-28 08:26:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-28 08:21:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 08:19:25 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-28 08:19:11 +0100 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-28 08:18:43 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-03-28 08:17:48 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::6f7f) ensyde |
| 2025-03-28 08:15:59 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::8955) (Ping timeout: 260 seconds) |
| 2025-03-28 08:15:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-03-28 08:10:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-28 08:10:15 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 276 seconds) |
| 2025-03-28 08:05:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 08:05:36 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-28 08:03:08 +0100 | Digitteknohippie | Digit |
| 2025-03-28 08:01:02 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-28 08:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-28 07:58:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-28 07:56:09 +0100 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 2025-03-28 07:51:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 07:48:50 +0100 | <haskellbridge> | <thirdofmay18081814goya> Leary: am parsing these comments, thanks for the answer! |
| 2025-03-28 07:45:13 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-03-28 07:43:59 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-28 07:43:55 +0100 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2025-03-28 07:43:22 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2025-03-28 07:41:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-28 07:35:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 07:34:57 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 248 seconds) |
| 2025-03-28 07:33:50 +0100 | <Leary> | ski: I see. Those tail calls and algebraicity are probably related. |
| 2025-03-28 07:31:40 +0100 | hattckory | (~hattckory@70.27.118.207) |
| 2025-03-28 07:30:53 +0100 | <Leary> | ed `try` disguised as `catch`: `M a -> M (Either E a)` ~ `M a -> Codensity M (Either E a)` ~ `M a -> (Either E a -> M b) -> M b` ~ `Sig_Try (M b) -> M b` where `Sig_Try r = (M a, Either E a -> r)`. |
| 2025-03-28 07:30:52 +0100 | <Leary> | thirdofmay: I might be beating a dead horse at this point, but there are some details I kinda bungled due to algebraicity depending on precisely how on operation is expressed (and I prefer to fix these things). `catch :: M a -> (E -> M a) -> M a` naively becomes `catch :: Sig_Catch (M a) -> M a` with `Sig_Catch r = (r, E -> r)` which /isn't/ algebraic, but the last `data Catch` I wrote has a `runCatch` that actually /is/. That's because I cheated and us |
| 2025-03-28 07:30:14 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-28 07:24:49 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-28 07:24:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-28 07:23:49 +0100 | <sim590> | Ah. I get it. The second version doesn't take into account repeating numbers while the Set approach took care of that. |
| 2025-03-28 07:22:51 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-03-28 07:20:57 +0100 | <sim590> | The funny thing is with the first function, the algorithm executes in 280 seconds while with the second function, it executes in 420 seconds... (it's by now means optimal, I tried a brute force approach with the help of an upper bound) |
| 2025-03-28 07:20:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 07:19:09 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-28 07:17:23 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-28 07:16:51 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |