Newest at the top
2024-10-08 14:38:11 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2024-10-08 14:34:17 +0200 | CiaoSen | (~Jura@2a05:5800:225:700:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-08 14:30:23 +0200 | ash3en | (~Thunderbi@193.32.248.167) ash3en |
2024-10-08 14:30:03 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
2024-10-08 14:22:41 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-08 14:15:43 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
2024-10-08 14:15:08 +0200 | <Rembane> | Or create a datatype for effects and then create an interpreter for it |
2024-10-08 14:13:58 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm no particular library atm, maybe it would make more sense to use one |
2024-10-08 14:13:54 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
2024-10-08 14:09:36 +0200 | <Rembane> | Are you using a particular library? Something to make this more concrete. |
2024-10-08 14:08:41 +0200 | <haskellbridge> | <thirdofmay18081814goya> Rembane: hm I see, each effect/handler pair a fragment? |
2024-10-08 14:08:41 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 255 seconds) |
2024-10-08 14:07:40 +0200 | <Rembane> | I'm usually thinking about it as building a very small EDSL |
2024-10-08 14:06:41 +0200 | <probie> | <bad joke>A burrito</bad joke> |
2024-10-08 14:04:04 +0200 | <haskellbridge> | <thirdofmay18081814goya> what's a mental picture to use when structuring a program through algebraic effects and handlers? |
2024-10-08 14:01:58 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
2024-10-08 13:55:55 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-08 13:55:26 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-10-08 13:53:15 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-08 13:52:48 +0200 | rosco | (~rosco@175.136.22.30) rosco |
2024-10-08 13:50:23 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2024-10-08 13:40:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-08 13:39:01 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-08 13:33:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-10-08 13:25:17 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2024-10-08 13:21:39 +0200 | mari-estel | (~mari-este@2a02:3032:307:1a8e:216:3eff:fe65:4eef) (Client Quit) |
2024-10-08 13:19:46 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-08 13:17:56 +0200 | mari-estel | (~mari-este@2a02:3032:307:1a8e:216:3eff:fe65:4eef) |
2024-10-08 13:14:58 +0200 | mari-estel | (~mari-este@2a02:3032:307:1a8e:216:3eff:fe65:4eef) (Ping timeout: 272 seconds) |
2024-10-08 13:12:14 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2024-10-08 13:10:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:da07:5be8:5f56:f410) |
2024-10-08 13:05:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-08 13:02:34 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-08 13:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-08 12:58:31 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
2024-10-08 12:51:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-08 12:51:31 +0200 | euleritian | (~euleritia@dynamic-176-006-134-097.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-08 12:48:49 +0200 | euleritian | (~euleritia@dynamic-176-006-134-097.176.6.pool.telefonica.de) |
2024-10-08 12:47:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2024-10-08 12:42:58 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-08 12:42:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-08 12:40:59 +0200 | mari-estel | (~mari-este@2a02:3032:307:1a8e:216:3eff:fe65:4eef) |
2024-10-08 12:39:21 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:446d:e3f8:e9a4:2f3b) |
2024-10-08 12:38:26 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
2024-10-08 12:35:26 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2024-10-08 12:31:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-08 12:31:23 +0200 | euleritian | (~euleritia@dynamic-176-006-134-097.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-08 12:31:21 +0200 | supercode | (~supercode@user/supercode) (Killed (NickServ (GHOST command used by supercode63))) |
2024-10-08 12:28:44 +0200 | CiaoSen | (~Jura@2a05:5800:225:700:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
2024-10-08 12:21:07 +0200 | __monty__ | (~toonn@user/toonn) toonn |