Newest at the top
2024-09-15 06:19:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-15 06:17:30 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) |
2024-09-15 06:14:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 06:13:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-15 06:08:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 06:03:18 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) (Ping timeout: 246 seconds) |
2024-09-15 05:58:54 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) |
2024-09-15 05:56:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-15 05:52:30 +0200 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
2024-09-15 05:51:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 05:50:35 +0200 | telser | (~quassel@user/telser) |
2024-09-15 05:44:44 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) (Ping timeout: 260 seconds) |
2024-09-15 05:40:23 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) |
2024-09-15 05:40:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-15 05:35:31 +0200 | telser | (~quassel@user/telser) (Client Quit) |
2024-09-15 05:35:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 05:34:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-09-15 05:33:07 +0200 | telser | (~quassel@user/telser) |
2024-09-15 05:32:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2024-09-15 05:31:41 +0200 | ridcully | (~ridcully@p57b528bc.dip0.t-ipconnect.de) |
2024-09-15 05:24:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-15 05:19:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 05:18:36 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2024-09-15 05:13:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-15 05:12:06 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) (Ping timeout: 276 seconds) |
2024-09-15 05:07:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-15 05:06:52 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) |
2024-09-15 05:03:54 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) (Ping timeout: 260 seconds) |
2024-09-15 05:03:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 04:59:25 +0200 | synchromesh | (~john@2406:5a00:241a:5600:16f:d6b6:8ecf:f15b) |
2024-09-15 04:59:03 +0200 | synchromesh | (~john@2406:5a00:241a:5600:16f:d6b6:8ecf:f15b) (Read error: Connection reset by peer) |
2024-09-15 04:59:03 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) |
2024-09-15 04:55:21 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-09-15 04:55:04 +0200 | jathan | (~jathan@69.61.93.38) |
2024-09-15 04:51:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-15 04:47:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 04:43:59 +0200 | td_ | (~td@i5387091C.versanet.de) |
2024-09-15 04:42:19 +0200 | td_ | (~td@i5387091B.versanet.de) (Ping timeout: 260 seconds) |
2024-09-15 04:36:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-15 04:31:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 04:30:27 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-15 04:29:29 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) (Ping timeout: 260 seconds) |
2024-09-15 04:25:03 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) |
2024-09-15 04:18:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-15 04:14:01 +0200 | caconym9 | caconym |
2024-09-15 04:13:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-15 04:12:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-15 04:11:51 +0200 | <Leary> | ol for the mathematician, of which the free monad is an implementation detail. |
2024-09-15 04:11:51 +0200 | <Leary> | thirdofmay: I didn't read the first article closely (it would be too much effort with my weak cat-fu), but I think it's just saying that `iter` takes (endofunctorial) f-algebrae to (monadic / Eilenberg-Moore) `Free f`-algebrae, with an inverse `unIter = \alg -> alg . Op . fmap Pure` making it an isomorphism. This lets your transfer results about (more structured) algebrae over monads to (less structured) algebrae over endofunctors. But this is just a to |
2024-09-15 04:10:55 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) (Ping timeout: 252 seconds) |