Newest at the top
2024-10-09 00:18:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 00:12:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-09 00:12:31 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
2024-10-09 00:11:57 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-10-09 00:11:27 +0200 | arahael | (~arahael@user/arahael) arahael |
2024-10-09 00:07:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 00:06:12 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-09 00:04:16 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-09 00:02:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-08 23:51:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-08 23:46:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-08 23:42:48 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2024-10-08 23:40:29 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:cf3a:e88a:f2c8:6274) (Ping timeout: 252 seconds) |
2024-10-08 23:35:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-08 23:33:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-08 23:33:29 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2024-10-08 23:31:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-08 23:25:49 +0200 | biberu | (~biberu@user/biberu) biberu |
2024-10-08 23:25:17 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-08 23:25:04 +0200 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
2024-10-08 23:24:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-08 23:20:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-08 23:19:56 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-08 23:17:38 +0200 | <haskellbridge> | <thirdofmay18081814goya> ah right, strict statement is: the free models of an algebraic theory form a monad |
2024-10-08 23:17:12 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
2024-10-08 23:15:26 +0200 | <dolio> | They don't have to be. |
2024-10-08 23:15:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-08 23:13:04 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2024-10-08 23:11:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> dolio: models for algebraic theories are given by monads |
2024-10-08 23:10:35 +0200 | <monochrom> | Because I write code like "foo x = { y <- op0 x; if | pred1 y -> op1 y | pred2 y -> op2 y | otherwise -> {z <- op3 y; foo z}}". That needs at least Selective+Arrow. |
2024-10-08 23:09:46 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-08 23:08:59 +0200 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
2024-10-08 23:06:09 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-10-08 23:05:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-08 23:03:10 +0200 | <dolio> | I.E. that looks basically like, 'M is a family of S-models,' but why only consider S-models that can be assembled into a monad? |
2024-10-08 23:01:14 +0200 | ubert | (~Thunderbi@178.165.187.120.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
2024-10-08 23:01:13 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3215-f56e-1190-0b59-796f-612e.rev.sfr.net) (Ping timeout: 256 seconds) |
2024-10-08 22:59:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-08 22:57:13 +0200 | <biberao> | monochrom: so you're a professor? |
2024-10-08 22:54:23 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
2024-10-08 22:53:18 +0200 | moe_ | (~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-10-08 22:50:03 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Ping timeout: 246 seconds) |
2024-10-08 22:48:49 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 248 seconds) |
2024-10-08 22:48:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-08 22:46:14 +0200 | <dolio> | You probably replace the monad with 'models'. |
2024-10-08 22:46:08 +0200 | <monochrom> | Did you know: When teaching computability, I pioneered renaming "not recognizable" to "unrecognizable". >:) |
2024-10-08 22:45:10 +0200 | <tomsmeding> | (talking about English: "upplay" is a nice coinage) |
2024-10-08 22:44:45 +0200 | <tomsmeding> | Lears: but thanks for the concise and understandable (to my haskell brain) definition! |
2024-10-08 22:44:00 +0200 | <monochrom> | Many effect languages (eg Koka) don't expose the underlying monads to the programmers. However, the monad is there in the math theory. You can always choose to upplay or downplay it though. |
2024-10-08 22:43:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |