Newest at the top
| 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) |
| 2024-09-15 04:08:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-15 04:06:32 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) |
| 2024-09-15 04:05:35 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-09-15 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-09-15 04:03:31 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-15 03:59:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-15 03:57:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-15 03:52:44 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) (Ping timeout: 260 seconds) |
| 2024-09-15 03:52:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-15 03:48:00 +0200 | sw4n | (~sw4n@2605:59c0:40f0:9610:559:7713:a305:7d30) |
| 2024-09-15 03:47:25 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-15 03:47:16 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) |
| 2024-09-15 03:43:25 +0200 | krei-se | (~krei-se@p57af2718.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-15 03:41:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |