Newest at the top
| 2024-10-09 01:26:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-09 01:21:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-09 01:20:22 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-09 01:19:48 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-09 01:10:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-09 01:05:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-09 01:05:52 +0200 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2024-10-09 00:54:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-09 00:50:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-09 00:46:05 +0200 | thelounge6036 | (~thelounge@ip4d14fa4d.dynamic.kabel-deutschland.de) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-09 00:41:26 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-09 00:39:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-09 00:34:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-09 00:33:28 +0200 | thelounge6036 | (~thelounge@ip4d14fa4d.dynamic.kabel-deutschland.de) |
| 2024-10-09 00:30:37 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 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 |