Newest at the top
| 2024-10-09 00:29:56 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Quit: Leaving) |
| 2024-10-09 00:29:15 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb34519e9ca14c5ce943.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-09 00:23:41 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 244 seconds) |
| 2024-10-09 00:23:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 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". >:) |