Newest at the top
| 2025-03-28 04:23:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-28 04:21:33 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-28 04:18:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 04:17:51 +0100 | <haskellbridge> | <thirdofmay18081814goya> is it an effect that takes another effect? something like "Effect a -> Effect b"? |
| 2025-03-28 04:17:35 +0100 | <haskellbridge> | <thirdofmay18081814goya> what exactly is a higher-order effect that algebraic effects can't handle? |
| 2025-03-28 04:16:15 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 276 seconds) |
| 2025-03-28 04:16:05 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 268 seconds) |
| 2025-03-28 04:14:36 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-03-28 04:13:23 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-03-28 04:12:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:f8c0:4558:f838:6f52) (Ping timeout: 260 seconds) |
| 2025-03-28 04:11:17 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-28 04:07:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-28 04:02:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 04:00:02 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 248 seconds) |
| 2025-03-28 03:59:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-28 03:59:06 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-28 03:55:33 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-28 03:54:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 03:52:16 +0100 | <haskellbridge> | <Bowuigi> Mendler-style recursion schemes are fantastic though, if only there was a way to get histomorphisms working on a total setting... |
| 2025-03-28 03:51:28 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2025-03-28 03:51:24 +0100 | <haskellbridge> | <Bowuigi> EvanR programming with rank N stuff only can be annoying sometimes, specially on a total system |
| 2025-03-28 03:51:13 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 245 seconds) |
| 2025-03-28 03:44:44 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 260 seconds) |
| 2025-03-28 03:43:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-28 03:43:30 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::8955) |
| 2025-03-28 03:39:54 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-28 03:38:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 03:27:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-28 03:22:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 03:17:39 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-03-28 03:11:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-28 03:05:20 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-03-28 03:04:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 03:04:39 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-28 03:04:32 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-28 03:03:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-03-28 03:03:48 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-03-28 02:59:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-28 02:56:09 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-28 02:53:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-28 02:49:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 02:45:59 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 260 seconds) |
| 2025-03-28 02:44:12 +0100 | anselmschueler | (~quassel@user/schuelermine) (Ping timeout: 268 seconds) |
| 2025-03-28 02:41:02 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-28 02:38:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-28 02:37:22 +0100 | ljdarj1 | ljdarj |
| 2025-03-28 02:37:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-03-28 02:36:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-01d5-c415-995d-99e3-7810.pool6.digikabel.hu) |
| 2025-03-28 02:35:43 +0100 | Googulator | (~Googulato@2a01-036d-0106-01d5-c415-995d-99e3-7810.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-28 02:35:14 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |