2024/10/08

Newest at the top

2024-10-08 16:10:07 +0200euleritian(~euleritia@dynamic-176-006-129-122.176.6.pool.telefonica.de)
2024-10-08 16:09:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-08 16:09:53 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-10-08 16:06:31 +0200ash3en(~Thunderbi@193.32.248.167) ash3en
2024-10-08 16:04:09 +0200ash3en(~Thunderbi@193.32.248.167) (Ping timeout: 276 seconds)
2024-10-08 16:02:34 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-08 16:02:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2024-10-08 16:01:29 +0200mari-estel(~mari-este@2a02:3032:307:1a8e:216:3eff:fe65:4eef) (Ping timeout: 244 seconds)
2024-10-08 16:00:49 +0200alp_(~alp@2001:861:e3d6:8f80:446d:e3f8:e9a4:2f3b) (Ping timeout: 260 seconds)
2024-10-08 15:54:17 +0200ash3en(~Thunderbi@193.32.248.167) ash3en
2024-10-08 15:31:06 +0200weary-traveler(~user@user/user363627) user363627
2024-10-08 15:30:33 +0200AlexZenon(~alzenon@178.34.151.120)
2024-10-08 15:28:22 +0200AlexNoo(~AlexNoo@178.34.151.120)
2024-10-08 15:27:34 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2024-10-08 15:21:38 +0200alexherbo2(~alexherbo@2a02-8440-3202-2f93-5c9a-6ec5-11de-f4fb.rev.sfr.net) alexherbo2
2024-10-08 15:12:19 +0200mari-estel(~mari-este@2a02:3032:307:1a8e:216:3eff:fe65:4eef)
2024-10-08 15:08:18 +0200zfnmxt(~zfnmxt@107.189.30.63) (Ping timeout: 245 seconds)
2024-10-08 15:07:42 +0200Angelz(Angelz@user/angelz) (Ping timeout: 272 seconds)
2024-10-08 15:04:47 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-08 15:04:13 +0200ash3en(~Thunderbi@193.32.248.167) (Quit: ash3en)
2024-10-08 15:02:45 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-08 15:01:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-08 14:55:13 +0200Pixi(~Pixi@user/pixi) (Ping timeout: 248 seconds)
2024-10-08 14:52:13 +0200Pixi`(~Pixi@user/pixi) Pixi
2024-10-08 14:52:01 +0200AlexNoo(~AlexNoo@178.34.151.120) (Quit: Leaving)
2024-10-08 14:51:33 +0200AlexZenon(~alzenon@178.34.151.120) (Quit: ;-)
2024-10-08 14:45:52 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-08 14:41:34 +0200identity(~identity@user/ZharMeny) identity
2024-10-08 14:41:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-08 14:40:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2024-10-08 14:38:11 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2024-10-08 14:34:17 +0200CiaoSen(~Jura@2a05:5800:225:700:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-08 14:30:23 +0200ash3en(~Thunderbi@193.32.248.167) ash3en
2024-10-08 14:30:03 +0200ash3en(~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds)
2024-10-08 14:22:41 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-08 14:15:43 +0200merijn(~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 +0200ash3en(~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 +0200ash3en(~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 +0200ash3en(~Thunderbi@89.246.174.164) ash3en
2024-10-08 13:55:55 +0200rvalue(~rvalue@user/rvalue) rvalue
2024-10-08 13:55:26 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-10-08 13:53:15 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-08 13:52:48 +0200rosco(~rosco@175.136.22.30) rosco