Newest at the top
| 2026-02-23 22:49:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-23 22:48:42 +0100 | c_wraith | (~c_wraith@adjoint.us) c_wraith |
| 2026-02-23 22:47:57 +0100 | c_wraith | (~c_wraith@adjoint.us) (Server closed connection) |
| 2026-02-23 22:45:34 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:ad7c:fa54:e40d:9544) |
| 2026-02-23 22:44:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-23 22:43:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-23 22:43:01 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-23 22:41:31 +0100 | st_aldini | (~Thunderbi@136.48.46.187) st_aldini |
| 2026-02-23 22:39:16 +0100 | <lambdabot> | "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... |
| 2026-02-23 22:39:14 +0100 | <tomsmeding> | > fix error |
| 2026-02-23 22:39:12 +0100 | <tomsmeding> | yeah Foldable (,) is good; I guess there is also the classic |
| 2026-02-23 22:38:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2026-02-23 22:38:25 +0100 | <EvanR> | or length of that is 1 |
| 2026-02-23 22:37:42 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-23 22:36:37 +0100 | <lambdabot> | 2 |
| 2026-02-23 22:36:35 +0100 | <EvanR> | > sum (1,2) |
| 2026-02-23 22:36:20 +0100 | <tomsmeding> | better |
| 2026-02-23 22:36:15 +0100 | <lambdabot> | Sum {getSum = 2} |
| 2026-02-23 22:36:13 +0100 | <EvanR> | > fold (Sum 1, Sum 2) |
| 2026-02-23 22:34:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-23 22:34:08 +0100 | <tomsmeding> | does that count as one? |
| 2026-02-23 22:34:03 +0100 | <yahb2> | () |
| 2026-02-23 22:34:03 +0100 | <tomsmeding> | % mempty |
| 2026-02-23 22:32:23 +0100 | <tomsmeding> | nope, unfortunately |
| 2026-02-23 22:31:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-23 22:30:26 +0100 | morj | (~morj@user/morj) (Quit: Konversation terminated!) |
| 2026-02-23 22:29:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-23 22:28:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2026-02-23 22:28:04 +0100 | <EvanR> | I was hoping he was going to show some haskell wats |
| 2026-02-23 22:26:14 +0100 | tromp | (~textual@2001:1c00:3487:1b00:1a7:fa86:12e2:7e3d) |
| 2026-02-23 22:25:24 +0100 | <tomsmeding> | EvanR: how does it feel |
| 2026-02-23 22:22:12 +0100 | mmaruseacph2 | (~mihai@mihai.page) mmaruseacph2 |
| 2026-02-23 22:21:57 +0100 | mmaruseacph2 | (~mihai@mihai.page) (Server closed connection) |
| 2026-02-23 22:21:10 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-23 22:19:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 264 seconds) |
| 2026-02-23 22:16:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-23 22:14:56 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) sp1ff |
| 2026-02-23 22:12:58 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-23 22:11:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-23 22:11:17 +0100 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-23 22:06:32 +0100 | AlexZenon | (~alzenon@178.34.151.130) |
| 2026-02-23 22:06:12 +0100 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2026-02-23 22:05:58 +0100 | constxd | (~constxd@user/constxd) constxd |
| 2026-02-23 22:05:57 +0100 | distopico | (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Server closed connection) |
| 2026-02-23 22:05:49 +0100 | <EvanR> | which might still be unenlightened dependent on precision |
| 2026-02-23 22:05:29 +0100 | <EvanR> | I was unenlightened but now I'm unenlightened minus that bit of enlightenment |
| 2026-02-23 22:04:06 +0100 | constxd | (~constxd@user/constxd) (Server closed connection) |
| 2026-02-23 22:02:38 +0100 | AlexZenon | (~alzenon@178.34.151.130) (Ping timeout: 256 seconds) |
| 2026-02-23 22:00:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-23 21:59:43 +0100 | <tomsmeding> | the imagery in the video is appropriate |