2025/04/27

2025-04-27 00:04:30 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds)
2025-04-27 00:06:19 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-04-27 00:08:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-27 00:11:38 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-04-27 00:14:43 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-04-27 00:14:43 +0200ljdarj1ljdarj
2025-04-27 00:18:12 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-04-27 00:21:22 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-27 00:22:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 00:23:19 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds)
2025-04-27 00:31:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-27 00:34:34 +0200emmanuelux_(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-27 00:41:15 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-04-27 00:42:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 00:42:55 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 00:42:57 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-04-27 00:49:55 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-04-27 00:51:44 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-04-27 00:51:52 +0200JoeRayner123(~Thunderbi@31.217.12.231) (Read error: Connection reset by peer)
2025-04-27 00:52:05 +0200JoeRayner123(~Thunderbi@31.217.12.231)
2025-04-27 00:52:14 +0200JoeRayner123(~Thunderbi@31.217.12.231) (Remote host closed the connection)
2025-04-27 00:57:15 +0200noteness(~noteness@user/noteness) (Quit: bye)
2025-04-27 00:58:29 +0200noteness(~noteness@user/noteness) nessessary129
2025-04-27 01:07:51 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-04-27 01:08:38 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-27 01:28:21 +0200todi1(~todi@p57803331.dip0.t-ipconnect.de)
2025-04-27 01:28:58 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-27 01:30:40 +0200kimiamania9(~65804703@user/kimiamania) (Quit: PegeLinux)
2025-04-27 01:32:08 +0200kimiamania99(~65804703@user/kimiamania) kimiamania
2025-04-27 01:36:04 +0200kimiamania99(~65804703@user/kimiamania) (Client Quit)
2025-04-27 01:37:34 +0200kimiamania99(~65804703@user/kimiamania) kimiamania
2025-04-27 01:46:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-27 01:53:31 +0200sprotte24(~sprotte24@p200300d16f0edb008da0b43d58ccc511.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-27 01:58:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 02:04:33 +0200jespada_(~jespada@r179-25-121-156.dialup.adsl.anteldata.net.uy) (Ping timeout: 244 seconds)
2025-04-27 02:26:51 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-27 02:27:12 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-04-27 02:35:16 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 276 seconds)
2025-04-27 02:39:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-04-27 02:39:10 +0200acidjnk_new(~acidjnk@p200300d6e71c4f09ad59765f396bb04f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-27 02:41:34 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-27 02:42:25 +0200otto_s(~user@p5b044fbe.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-27 02:43:31 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2025-04-27 02:43:56 +0200otto_s(~user@p5de2f428.dip0.t-ipconnect.de)
2025-04-27 02:47:40 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-04-27 02:56:09 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-04-27 03:02:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-27 03:14:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 03:17:16 +0200Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-04-27 03:20:46 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-27 03:35:03 +0200notdabs(~Owner@2600:1700:69cf:9000:6cf1:9b1a:eb92:4847) (Read error: Connection reset by peer)
2025-04-27 03:35:36 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 03:37:02 +0200Square2(~Square@user/square) (Ping timeout: 272 seconds)
2025-04-27 03:38:46 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 03:42:49 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-27 03:43:46 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-27 03:55:19 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-27 03:55:39 +0200__jmcantrell__(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-04-27 04:04:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-04-27 04:04:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-27 04:05:05 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-04-27 04:05:36 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-04-27 04:06:05 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-27 04:15:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-04-27 04:18:34 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 04:18:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-27 04:19:47 +0200ddb(ddb@tilde.club) (Quit: WeeChat 4.5.2)
2025-04-27 04:19:47 +0200anderson(anderson@user/anderson) (Quit: WeeChat 4.5.1)
2025-04-27 04:22:31 +0200td_(~td@i5387090C.versanet.de) (Ping timeout: 276 seconds)
2025-04-27 04:23:16 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 04:23:32 +0200td_(~td@i5387092A.versanet.de) td_
2025-04-27 04:25:45 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 04:28:49 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 04:30:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 04:35:15 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-27 04:39:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-27 04:41:02 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-04-27 04:45:40 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 252 seconds)
2025-04-27 04:50:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 04:58:55 +0200xff0x(~xff0x@2405:6580:b080:900:a16e:31f3:ac48:6e3d) (Ping timeout: 276 seconds)
2025-04-27 05:01:32 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-04-27 05:01:47 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 05:01:55 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-27 05:05:05 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-04-27 05:05:12 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-27 05:05:59 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 05:12:25 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 05:13:27 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-27 05:14:27 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-27 05:17:05 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-04-27 05:17:13 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 05:19:13 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 05:22:22 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 05:24:15 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 05:26:13 +0200Typedfern(~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Ping timeout: 276 seconds)
2025-04-27 05:31:12 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-04-27 05:31:45 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-04-27 05:44:40 +0200Typedfern(~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net)
2025-04-27 05:46:24 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 05:53:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-27 05:57:28 +0200todi1todi
2025-04-27 05:58:49 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-04-27 06:06:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 06:10:04 +0200Typedfern(~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2025-04-27 06:20:00 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-27 06:20:01 +0200down200(~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in)
2025-04-27 06:21:17 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-04-27 06:29:03 +0200Typedfern(~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net)
2025-04-27 06:32:32 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-27 06:34:30 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds)
2025-04-27 06:35:52 +0200euleritian(~euleritia@dynamic-176-006-128-109.176.6.pool.telefonica.de)
2025-04-27 06:41:41 +0200euleritian(~euleritia@dynamic-176-006-128-109.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-27 06:42:09 +0200euleritian(~euleritia@dynamic-176-006-128-109.176.6.pool.telefonica.de)
2025-04-27 06:42:28 +0200euleritian(~euleritia@dynamic-176-006-128-109.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-27 06:42:46 +0200euleritian(~euleritia@77.23.248.47)
2025-04-27 07:01:08 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-04-27 07:08:54 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds)
2025-04-27 07:10:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-27 07:21:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 07:42:03 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-27 07:47:00 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-27 07:47:41 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Max SendQ exceeded)
2025-04-27 07:48:26 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-27 08:11:40 +0200bitrot(~bitrot@2a09:bac5:3b4f:eaa::176:77)
2025-04-27 08:18:14 +0200haritz(~hrtz@user/haritz) (Remote host closed the connection)
2025-04-27 08:25:00 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2025-04-27 08:25:24 +0200xkuru(~xkuru@user/xkuru) xkuru
2025-04-27 08:25:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-27 08:37:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 08:41:45 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-27 08:50:09 +0200tromp(~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3)
2025-04-27 08:50:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-27 09:00:02 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-04-27 09:00:41 +0200caconym7(~caconym@user/caconym) caconym
2025-04-27 09:12:35 +0200xff0x(~xff0x@2409:251:9040:2c00:ac74:2d0a:8f8e:3f83)
2025-04-27 09:21:48 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-27 09:22:49 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2025-04-27 09:23:13 +0200Lord_of_Life_Lord_of_Life
2025-04-27 09:29:24 +0200xff0x(~xff0x@2409:251:9040:2c00:ac74:2d0a:8f8e:3f83) (Ping timeout: 276 seconds)
2025-04-27 09:35:49 +0200__jmcantrell__(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-04-27 09:41:35 +0200acidjnk_new(~acidjnk@p200300d6e71c4f296ce421454b8851ea.dip0.t-ipconnect.de) acidjnk
2025-04-27 09:44:35 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-27 09:57:00 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-04-27 10:10:49 +0200mistivia_(~mistivia@user/mistivia) mistivia
2025-04-27 10:11:42 +0200mistivia(~mistivia@user/mistivia) (Ping timeout: 252 seconds)
2025-04-27 10:12:25 +0200nckx(nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds)
2025-04-27 10:15:44 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-27 10:27:49 +0200bitrot(~bitrot@2a09:bac5:3b4f:eaa::176:77) (Quit: Client closed)
2025-04-27 10:29:40 +0200euleritian(~euleritia@77.23.248.47) (Ping timeout: 252 seconds)
2025-04-27 10:30:11 +0200euleritian(~euleritia@dynamic-176-006-128-100.176.6.pool.telefonica.de)
2025-04-27 10:30:36 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-04-27 10:33:01 +0200acidjnk_new(~acidjnk@p200300d6e71c4f296ce421454b8851ea.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-27 10:33:33 +0200 <[exa]> EvanR, int-e: btw re the ambiguity avoidance yesterday, wasn't there a proposal for that already? I recall I saw something
2025-04-27 10:37:53 +0200euphores(~SASL_euph@user/euphores) euphores
2025-04-27 10:43:00 +0200sprotte24(~sprotte24@p200300d16f174f00e11b2faf6af92897.dip0.t-ipconnect.de)
2025-04-27 10:49:30 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-04-27 10:50:16 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-27 10:50:44 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-04-27 10:53:14 +0200img_(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-04-27 10:54:39 +0200img(~img@user/img) img
2025-04-27 10:55:57 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-27 10:58:31 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-27 11:19:47 +0200xkuru(~xkuru@user/xkuru) (Remote host closed the connection)
2025-04-27 11:20:10 +0200xkuru(~xkuru@user/xkuru) xkuru
2025-04-27 11:24:16 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-04-27 11:25:02 +0200xkuru(~xkuru@user/xkuru) (Ping timeout: 252 seconds)
2025-04-27 11:27:32 +0200__monty__(~toonn@user/toonn) toonn
2025-04-27 11:41:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-27 11:53:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 11:55:29 +0200acidjnk_new(~acidjnk@p200300d6e71c4f296ce421454b8851ea.dip0.t-ipconnect.de)
2025-04-27 12:04:30 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-27 12:04:55 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 12:05:19 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-27 12:06:42 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds)
2025-04-27 12:09:31 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-04-27 12:43:42 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-27 12:43:45 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-27 12:45:31 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-04-27 12:59:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-27 13:01:49 +0200jespada(~jespada@r190-133-35-70.dialup.adsl.anteldata.net.uy) jespada
2025-04-27 13:05:15 +0200xff0x(~xff0x@2409:251:9040:2c00:9deb:37d0:5584:c159)
2025-04-27 13:09:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 13:15:53 +0200euleritian(~euleritia@dynamic-176-006-128-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-27 13:16:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-27 13:16:15 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-27 13:27:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 13:32:33 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds)
2025-04-27 13:34:04 +0200vgtw_(~vgtw@user/vgtw) vgtw
2025-04-27 13:34:28 +0200vgtw(~vgtw@user/vgtw) (Ping timeout: 252 seconds)
2025-04-27 13:48:40 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-04-27 13:54:44 +0200 <haskellbridge> <hellwolf> refactoring in Haskell is very satisfying... compiles -> works.
2025-04-27 13:54:44 +0200 <haskellbridge> Why would I let LLM takes that fun away from me..
2025-04-27 13:55:00 +0200 <haskellbridge> <hellwolf> Two day later: https://paste.tomsmeding.com/NxOWsZbb , I got rid of all the Rv/Uv decorators.
2025-04-27 13:55:27 +0200 <haskellbridge> <hellwolf> the dilemma is to "dumb down" things by "type Var = Ur".
2025-04-27 13:55:35 +0200 <haskellbridge> <hellwolf> *whether to
2025-04-27 14:01:51 +0200nckx(nckx@libera/staff/owl/nckx) nckx
2025-04-27 14:03:36 +0200 <haskellbridge> <hellwolf> and it is a type error if I swap some lines: power of LinearTypes
2025-04-27 14:03:51 +0200 <haskellbridge> <hellwolf> preventing temporal logic error using types.
2025-04-27 14:17:00 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-27 14:20:26 +0200Square2(~Square@user/square) Square
2025-04-27 14:24:27 +0200tromp(~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-27 14:28:58 +0200acidjnk_new(~acidjnk@p200300d6e71c4f296ce421454b8851ea.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-27 14:30:16 +0200adamCS(~adamCS@70.19.85.77) (Ping timeout: 276 seconds)
2025-04-27 14:30:49 +0200cstml(~Thunderbi@user/cstml) (Remote host closed the connection)
2025-04-27 14:31:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-27 14:34:15 +0200jespada_(~jespada@r186-49-245-168.dialup.adsl.anteldata.net.uy) jespada
2025-04-27 14:34:43 +0200jespada(~jespada@r190-133-35-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-04-27 14:35:03 +0200acidjnk_new(~acidjnk@p200300d6e71c4f291c3f5884f0a5aebe.dip0.t-ipconnect.de) acidjnk
2025-04-27 14:40:44 +0200adamCS(~adamCS@70.19.85.77) adamCS
2025-04-27 14:42:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 14:44:26 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-04-27 14:44:54 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-27 15:13:49 +0200Vajb(~Vajb@n83sqe30rcw6481fyv6-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds)
2025-04-27 15:14:00 +0200Vajb(~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi)
2025-04-27 15:14:36 +0200 <haskellbridge> <Liamzee> yo, EvanR, you here?
2025-04-27 15:15:16 +0200 <haskellbridge> <Liamzee> https://paste.tomsmeding.com/mGHVraNc
2025-04-27 15:15:16 +0200 <haskellbridge> <Liamzee> this solves my problem
2025-04-27 15:15:31 +0200 <haskellbridge> <Liamzee> the one with chained error handling without ExceptT
2025-04-27 15:15:36 +0200AlexZenon(~alzenon@178.34.151.238) (Ping timeout: 272 seconds)
2025-04-27 15:15:49 +0200 <haskellbridge> <Liamzee> explicit use of monadic bind and traverse to engage the error type
2025-04-27 15:21:47 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 15:22:13 +0200AlexZenon(~alzenon@178.34.151.238)
2025-04-27 15:22:34 +0200acidjnk_new(~acidjnk@p200300d6e71c4f291c3f5884f0a5aebe.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-27 15:24:57 +0200 <haskellbridge> <Liamzee> hmmm, this actually doesn't work, ugh
2025-04-27 15:25:01 +0200 <haskellbridge> <Liamzee> almost
2025-04-27 15:26:36 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 15:31:14 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 15:32:50 +0200 <haskellbridge> <Liamzee> ahhh
2025-04-27 15:33:31 +0200 <haskellbridge> <Liamzee> either (pure . Left) v works, as does u >>= fmap join . traverse v
2025-04-27 15:33:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 15:37:03 +0200 <haskellbridge> <Liamzee> there was a guy telling me that Haskell is actually underappreciated for Crud
2025-04-27 15:39:04 +0200 <haskellbridge> <Liamzee> and taking traverse / for_ as a way to propagate errors as an example
2025-04-27 15:40:40 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 15:40:46 +0200tromp(~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3)
2025-04-27 15:43:06 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 15:47:21 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-04-27 15:51:37 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-27 15:51:37 +0200ljdarj1ljdarj
2025-04-27 15:58:36 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 16:01:37 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-27 16:09:00 +0200Buliarous(~gypsydang@46.232.210.139) (Remote host closed the connection)
2025-04-27 16:09:28 +0200Buliarous(~gypsydang@46.232.210.139) Buliarous
2025-04-27 16:19:15 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-04-27 16:20:34 +0200hidjgr(~hidjgr@user/hidjgr) (Ping timeout: 252 seconds)
2025-04-27 16:30:06 +0200puke(~puke@user/puke) (Ping timeout: 252 seconds)
2025-04-27 16:41:57 +0200puke(~puke@user/puke) puke
2025-04-27 16:58:51 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-27 17:02:22 +0200xff0x(~xff0x@2409:251:9040:2c00:9deb:37d0:5584:c159) (Ping timeout: 276 seconds)
2025-04-27 17:03:29 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-27 17:03:46 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-27 17:13:04 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-27 17:13:41 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-04-27 17:25:45 +0200Buliarous(~gypsydang@46.232.210.139) (Remote host closed the connection)
2025-04-27 17:26:13 +0200Buliarous(~gypsydang@46.232.210.139) Buliarous
2025-04-27 17:30:58 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2025-04-27 17:33:04 +0200tromp(~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-27 17:47:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-27 17:47:53 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-04-27 17:48:12 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-27 17:58:50 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-04-27 17:59:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-27 18:07:44 +0200tromp(~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3)
2025-04-27 18:28:26 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-27 18:31:24 +0200j1n37(~j1n37@user/j1n37) j1n37