2023/09/27

2023-09-27 00:04:58 +0200cyphase(~cyphase@user/cyphase)
2023-09-27 00:09:46 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-09-27 00:14:08 +0200sudden(~cat@user/sudden) (Ping timeout: 246 seconds)
2023-09-27 00:15:19 +0200sudden(~cat@user/sudden)
2023-09-27 00:21:22 +0200xff0x(~xff0x@2405:6580:b080:900:ee82:be9d:3e7c:9aae)
2023-09-27 00:23:34 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2023-09-27 00:26:42 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7) (Remote host closed the connection)
2023-09-27 00:30:16 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-09-27 00:35:36 +0200Sgeo(~Sgeo@user/sgeo)
2023-09-27 00:39:05 +0200wroathe(~wroathe@user/wroathe)
2023-09-27 00:48:28 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7)
2023-09-27 00:48:51 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-09-27 00:53:46 +0200bontaq(~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 258 seconds)
2023-09-27 01:08:23 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7) (Remote host closed the connection)
2023-09-27 01:32:03 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 244 seconds)
2023-09-27 01:33:51 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds)
2023-09-27 01:35:43 +0200qqq(~qqq@92.43.167.61) (Ping timeout: 240 seconds)
2023-09-27 01:39:25 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f492:4050:8c5d:37a2)
2023-09-27 01:43:56 +0200qqq(~qqq@92.43.167.61)
2023-09-27 01:44:27 +0200hexology-(~hexology@user/hexology) (Remote host closed the connection)
2023-09-27 01:45:09 +0200hexology(~hexology@user/hexology)
2023-09-27 01:52:15 +0200powderedhorn(~powderhor@207-153-12-54.static.fttp.usinternet.com)
2023-09-27 01:52:41 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2023-09-27 01:53:58 +0200emmanuelux_(~emmanuelu@user/emmanuelux)
2023-09-27 01:57:19 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds)
2023-09-27 01:59:17 +0200emmanuelux_(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2023-09-27 02:01:49 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2023-09-27 02:04:03 +0200ubert1(~Thunderbi@77.119.223.36.wireless.dyn.drei.com)
2023-09-27 02:04:15 +0200xff0x(~xff0x@2405:6580:b080:900:ee82:be9d:3e7c:9aae) (Ping timeout: 240 seconds)
2023-09-27 02:04:58 +0200ubert(~Thunderbi@178.115.46.247.wireless.dyn.drei.com) (Ping timeout: 255 seconds)
2023-09-27 02:04:58 +0200ubert1ubert
2023-09-27 02:05:12 +0200bienjensu(~user@user/bienjensu)
2023-09-27 02:06:16 +0200xff0x(~xff0x@178.255.149.135)
2023-09-27 02:06:58 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-09-27 02:13:35 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds)
2023-09-27 02:16:35 +0200xff0x(~xff0x@178.255.149.135) (Ping timeout: 240 seconds)
2023-09-27 02:18:34 +0200xff0x(~xff0x@2405:6580:b080:900:41ff:c0f:cf6a:f335)
2023-09-27 02:20:24 +0200hexology(~hexology@user/hexology) (Remote host closed the connection)
2023-09-27 02:20:43 +0200hexology(~hexology@user/hexology)
2023-09-27 02:21:02 +0200hexology(~hexology@user/hexology) (Remote host closed the connection)
2023-09-27 02:21:43 +0200qqq(~qqq@92.43.167.61) (Ping timeout: 240 seconds)
2023-09-27 02:21:45 +0200hexology(~hexology@user/hexology)
2023-09-27 02:23:37 +0200qqq(~qqq@92.43.167.61)
2023-09-27 02:24:27 +0200bienjensu(~user@user/bienjensu) (Remote host closed the connection)
2023-09-27 02:26:11 +0200bienjensu(~user@user/bienjensu)
2023-09-27 02:27:27 +0200bilegeek(~bilegeek@2600:1008:b0ad:cc36:cdcb:d721:4a07:b641)
2023-09-27 02:32:18 +0200hexology(~hexology@user/hexology) (Remote host closed the connection)
2023-09-27 02:32:37 +0200hexology(~hexology@user/hexology)
2023-09-27 02:33:37 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2023-09-27 02:34:00 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2023-09-27 02:34:25 +0200Typedfern(~Typedfern@81.red-83-37-27.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2023-09-27 02:35:35 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2023-09-27 02:35:58 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com)
2023-09-27 02:38:13 +0200hexology(~hexology@user/hexology) (Remote host closed the connection)
2023-09-27 02:38:58 +0200hexology(~hexology@user/hexology)
2023-09-27 02:39:44 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Client Quit)
2023-09-27 02:43:47 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2023-09-27 02:44:06 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-09-27 02:53:13 +0200Typedfern(~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net)
2023-09-27 02:59:48 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-09-27 02:59:48 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-09-27 02:59:48 +0200wroathe(~wroathe@user/wroathe)
2023-09-27 03:03:52 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-27 03:06:19 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 245 seconds)
2023-09-27 03:08:31 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-09-27 03:08:39 +0200nicosm(~nicosm@host98.181-4-190.telecom.net.ar)
2023-09-27 03:09:44 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-09-27 03:10:14 +0200ystael(~ystael@user/ystael) (Ping timeout: 258 seconds)
2023-09-27 03:33:04 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f492:4050:8c5d:37a2) (Remote host closed the connection)
2023-09-27 03:34:16 +0200nicosm(~nicosm@host98.181-4-190.telecom.net.ar) (Remote host closed the connection)
2023-09-27 03:39:13 +0200otto_s(~user@p5b04494d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-09-27 03:41:05 +0200otto_s(~user@p5b044302.dip0.t-ipconnect.de)
2023-09-27 03:47:49 +0200nicosm(~nicosm@host98.181-4-190.telecom.net.ar)
2023-09-27 03:49:24 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-09-27 03:49:46 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28)
2023-09-27 03:53:52 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-09-27 04:03:52 +0200nicosm(~nicosm@host98.181-4-190.telecom.net.ar) (Remote host closed the connection)
2023-09-27 04:08:00 +0200hugo(znc@verdigris.lysator.liu.se)
2023-09-27 04:09:39 +0200xff0x(~xff0x@2405:6580:b080:900:41ff:c0f:cf6a:f335) (Ping timeout: 245 seconds)
2023-09-27 04:10:16 +0200pavonia(~user@user/siracusa)
2023-09-27 04:10:48 +0200td_(~td@i53870926.versanet.de) (Ping timeout: 258 seconds)
2023-09-27 04:11:26 +0200space100022(~space1000@user/space1000)
2023-09-27 04:12:30 +0200td_(~td@i53870923.versanet.de)
2023-09-27 04:21:48 +0200jargon(~jargon@184.101.67.95) (Remote host closed the connection)
2023-09-27 04:22:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds)
2023-09-27 04:25:07 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-09-27 04:44:57 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-09-27 04:47:10 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-27 04:47:23 +0200qqq(~qqq@92.43.167.61) (Read error: Connection reset by peer)
2023-09-27 04:52:06 +0200qqq(~qqq@92.43.167.61)
2023-09-27 05:00:50 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-09-27 05:01:31 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds)
2023-09-27 05:01:43 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-09-27 05:03:42 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 258 seconds)
2023-09-27 05:05:38 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-09-27 05:26:18 +0200hugo(znc@verdigris.lysator.liu.se)
2023-09-27 05:27:22 +0200bilegeek(~bilegeek@2600:1008:b0ad:cc36:cdcb:d721:4a07:b641) (Quit: Leaving)
2023-09-27 05:55:23 +0200gmg(~user@user/gehmehgeh)
2023-09-27 05:55:24 +0200space100022(~space1000@user/space1000) (Ping timeout: 240 seconds)
2023-09-27 05:57:11 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2023-09-27 05:58:59 +0200hgolden_(~hgolden@2603-8000-9d00-3ed1-cee1-c701-fc94-6966.res6.spectrum.com)
2023-09-27 05:59:13 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-fcc0-fa4b-2157-39f4.res6.spectrum.com) (Ping timeout: 240 seconds)
2023-09-27 06:00:23 +0200aforemny_(~aforemny@2001:9e8:6cf7:2600:8cfd:3e44:4f1a:c0ee) (Ping timeout: 255 seconds)
2023-09-27 06:00:32 +0200aforemny(~aforemny@i59F516DA.versanet.de)
2023-09-27 06:09:21 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-09-27 06:12:22 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2023-09-27 06:13:55 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2023-09-27 06:33:07 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 06:34:21 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-09-27 06:39:29 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 06:55:27 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2023-09-27 06:59:39 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 07:00:07 +0200acidjnk_new(~acidjnk@p200300d6e7072f4340109536a6857484.dip0.t-ipconnect.de)
2023-09-27 07:05:37 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-27 07:10:31 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2023-09-27 07:16:43 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 07:17:18 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 07:24:17 +0200thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2023-09-27 07:25:22 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-09-27 07:27:34 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2023-09-27 07:29:13 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds)
2023-09-27 07:32:06 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 07:33:35 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2023-09-27 07:33:58 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-09-27 07:38:35 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-09-27 07:41:32 +0200tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-09-27 07:43:24 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2023-09-27 07:44:51 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 07:48:18 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-27 07:51:22 +0200sm(~sm@plaintextaccounting/sm)
2023-09-27 07:54:30 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2023-09-27 08:03:25 +0200michalz(~michalz@185.246.204.105)
2023-09-27 08:04:25 +0200qqq(~qqq@92.43.167.61) (Quit: leaving)
2023-09-27 08:07:08 +0200CiaoSen(~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef)
2023-09-27 08:07:40 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-09-27 08:12:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-27 08:15:18 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-09-27 08:17:17 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 08:17:40 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 08:18:43 +0200shapr(~user@2600:1700:c640:3100:3cbf:7898:1195:ccad) (Ping timeout: 240 seconds)
2023-09-27 08:20:31 +0200hugo(znc@verdigris.lysator.liu.se)
2023-09-27 08:22:15 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 08:22:25 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 08:31:31 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-09-27 08:32:18 +0200danza(~francesco@151.35.214.2)
2023-09-27 08:32:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:2fe5:7197:b580:702)
2023-09-27 08:32:42 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 08:36:51 +0200Inst(~Inst@120.244.192.250)
2023-09-27 08:39:05 +0200todi(~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-09-27 08:48:27 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving)
2023-09-27 08:52:15 +0200ubert(~Thunderbi@77.119.223.36.wireless.dyn.drei.com) (Ping timeout: 244 seconds)
2023-09-27 08:56:00 +0200danza(~francesco@151.35.214.2) (Ping timeout: 258 seconds)
2023-09-27 08:56:31 +0200danza(~francesco@151.35.214.2)
2023-09-27 09:00:13 +0200danza(~francesco@151.35.214.2) (Read error: Connection reset by peer)
2023-09-27 09:00:31 +0200danza(~francesco@151.37.151.250)
2023-09-27 09:02:13 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-09-27 09:02:34 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-09-27 09:08:33 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 09:08:51 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 09:11:09 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 09:12:41 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 09:15:50 +0200hugo(znc@verdigris.lysator.liu.se)
2023-09-27 09:16:16 +0200mc47(~mc47@xmonad/TheMC47)
2023-09-27 09:16:38 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 09:18:00 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 09:20:12 +0200danza(~francesco@151.37.151.250) (Ping timeout: 248 seconds)
2023-09-27 09:21:21 +0200sabino(~sabino@user/sabino) (Quit: Lambda _ -> x)
2023-09-27 09:21:31 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 09:21:43 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 09:33:35 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-09-27 09:35:52 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-09-27 09:36:30 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-27 09:36:57 +0200chele(~chele@user/chele)
2023-09-27 09:39:00 +0200dcoutts(~duncan@94.119.64.0)
2023-09-27 09:41:47 +0200Inst(~Inst@120.244.192.250) (Read error: Connection reset by peer)
2023-09-27 09:41:50 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-09-27 09:47:26 +0200cfricke(~cfricke@user/cfricke)
2023-09-27 09:47:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-27 09:50:27 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 09:52:42 +0200danse-nr3(~francesco@151.37.151.250)
2023-09-27 09:53:58 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28) (Remote host closed the connection)
2023-09-27 09:57:03 +0200sm(~sm@plaintextaccounting/sm)
2023-09-27 09:57:26 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-09-27 09:57:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-27 09:59:34 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-09-27 09:59:42 +0200mc47(~mc47@xmonad/TheMC47)
2023-09-27 10:00:41 +0200vpan(~vpan@212.117.1.172)
2023-09-27 10:01:24 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-09-27 10:03:13 +0200dcoutts(~duncan@94.119.64.0) (Ping timeout: 240 seconds)
2023-09-27 10:06:05 +0200Inst(~Inst@120.244.192.250)
2023-09-27 10:12:41 +0200mmhat(~mmh@p200300f1c74e6facee086bfffe095315.dip0.t-ipconnect.de)
2023-09-27 10:16:40 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-27 10:17:05 +0200mmhat(~mmh@p200300f1c74e6facee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-09-27 10:22:29 +0200dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk)
2023-09-27 10:24:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28)
2023-09-27 10:24:34 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-27 10:25:32 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-27 10:30:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-27 10:38:13 +0200dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 240 seconds)
2023-09-27 10:39:11 +0200dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk)
2023-09-27 10:40:13 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
2023-09-27 10:40:27 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-09-27 10:40:38 +0200vglfr(~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Read error: Connection reset by peer)
2023-09-27 10:40:58 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr)
2023-09-27 10:49:16 +0200Pickchea(~private@user/pickchea)
2023-09-27 10:49:47 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 252 seconds)
2023-09-27 10:49:58 +0200vglfr(~vglfr@cli-188-239-233-89.bbn.slav.dn.ua)
2023-09-27 11:01:12 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-09-27 11:07:01 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-09-27 11:07:10 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-27 11:07:27 +0200Pickchea(~private@user/pickchea) (Ping timeout: 240 seconds)
2023-09-27 11:10:17 +0200privacy(~privacy@47.219.84.6)
2023-09-27 11:12:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-09-27 11:16:44 +0200vpan(~vpan@212.117.1.172) (Ping timeout: 245 seconds)
2023-09-27 11:17:59 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 11:18:07 +0200dhil(~dhil@2001:8e0:2014:3100:b35e:6470:ff2b:e5d8)
2023-09-27 11:22:26 +0200Inst(~Inst@120.244.192.250) (Ping timeout: 260 seconds)
2023-09-27 11:24:03 +0200Inst(~Inst@120.244.192.250)
2023-09-27 11:25:51 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-09-27 11:26:48 +0200NinjaTrappeur(~ninja@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.0.4)
2023-09-27 11:27:46 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds)
2023-09-27 11:29:20 +0200acidjnk_new(~acidjnk@p200300d6e7072f4340109536a6857484.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-09-27 11:29:59 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-27 11:30:05 +0200NinjaTrappeur(~ninja@about/aquilenet/vodoo/NinjaTrappeur)
2023-09-27 11:34:31 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2023-09-27 11:34:54 +0200privacy(~privacy@47.219.84.6) (Changing host)
2023-09-27 11:34:54 +0200privacy(~privacy@user/privacy)
2023-09-27 11:37:07 +0200privacy(~privacy@user/privacy) (Quit: Leaving)
2023-09-27 11:37:39 +0200privacy(~privacy@user/privacy)
2023-09-27 11:41:44 +0200shryke(~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd)
2023-09-27 11:47:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-27 11:52:47 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-09-27 11:53:24 +0200arahael(~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net)
2023-09-27 11:53:42 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
2023-09-27 11:54:07 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds)
2023-09-27 11:54:13 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-09-27 11:54:59 +0200[exa](~exa@user/exa/x-3587197) (Remote host closed the connection)
2023-09-27 11:59:36 +0200acidjnk_new(~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de)
2023-09-27 12:00:50 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in)
2023-09-27 12:00:55 +0200CiaoSen(~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds)
2023-09-27 12:01:16 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
2023-09-27 12:03:52 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Client Quit)
2023-09-27 12:04:14 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
2023-09-27 12:04:38 +0200chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
2023-09-27 12:04:38 +0200hseg(~gesh@77.137.68.224)
2023-09-27 12:06:36 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
2023-09-27 12:06:44 +0200ft(~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving)
2023-09-27 12:06:55 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
2023-09-27 12:07:23 +0200 <hseg> Any standard monoid instance with a distinguished element Bot st a <> b = Bot for a,b /= mempty?
2023-09-27 12:07:43 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
2023-09-27 12:08:09 +0200 <hseg> (idea is that I have multiple fallback options for a functionality, only one of which may be configured at a time)
2023-09-27 12:09:16 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
2023-09-27 12:09:34 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
2023-09-27 12:10:53 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
2023-09-27 12:11:12 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
2023-09-27 12:11:55 +0200Inst(~Inst@120.244.192.250) (Ping timeout: 252 seconds)
2023-09-27 12:12:38 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Client Quit)
2023-09-27 12:12:58 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
2023-09-27 12:13:44 +0200 <hseg> ie sth like http://ix.io/4Hy7
2023-09-27 12:14:51 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds)
2023-09-27 12:16:57 +0200 <kuribas> First?
2023-09-27 12:16:57 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2023-09-27 12:17:04 +0200 <kuribas> :t First
2023-09-27 12:17:05 +0200 <lambdabot> Maybe a -> First a
2023-09-27 12:17:49 +0200 <kuribas> oh you want to fail if there are more...
2023-09-27 12:18:04 +0200 <hseg> exactly
2023-09-27 12:18:15 +0200 <hseg> perhaps I'm being ridiculous here
2023-09-27 12:19:26 +0200 <kuribas> I don't think there is such a standard monoid.
2023-09-27 12:19:43 +0200 <kuribas> But it's easy to define
2023-09-27 12:19:43 +0200 <ncf> this reminds me of NixOS' mergeOneOption
2023-09-27 12:20:05 +0200 <ncf> and the closely related mergeEqualOption, which would allow a <> b | a == b = a
2023-09-27 12:20:15 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 12:20:56 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in)
2023-09-27 12:20:57 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 12:21:00 +0200 <hseg> frankly, dislike the code I'm refactoring here, but there's a limit to how much i can throw out
2023-09-27 12:21:11 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
2023-09-27 12:21:56 +0200Inst(~Inst@120.244.192.250)
2023-09-27 12:23:09 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
2023-09-27 12:23:24 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
2023-09-27 12:23:26 +0200 <[Leary]> hseg: I guess you could have `newtype Absorbing a = Absorbing (Maybe a); instance Semigroup (Absorbing a) where _ <> _ = Absorbing Nothing`, then your monoid is ~ `Maybe (Absorbing a)`.
2023-09-27 12:23:44 +0200 <[Leary]> But I haven't seen this anywhere.
2023-09-27 12:24:28 +0200 <hseg> yeah. This is basically Max for FreeBounded a = Bot | An a | Top
2023-09-27 12:24:38 +0200 <hseg> s/Max/Min
2023-09-27 12:25:14 +0200 <hseg> (ie a flat domain in domain-theoretic terms)
2023-09-27 12:25:19 +0200 <ncf> none-one-tons
2023-09-27 12:25:29 +0200 <hseg> ooh, like that name
2023-09-27 12:25:37 +0200 <ncf> (from https://personal.cis.strath.ac.uk/conor.mcbride/PlentyO-CR.pdf)
2023-09-27 12:26:57 +0200 <ncf> does FreeBounded mean this is the free bounded monoid on a set? what's a bounded monoid?
2023-09-27 12:27:12 +0200 <hseg> free bounded order
2023-09-27 12:27:19 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 12:27:25 +0200 <hseg> ie you're throwing in a top and bottom
2023-09-27 12:27:45 +0200 <ncf> ah, right
2023-09-27 12:28:05 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
2023-09-27 12:28:17 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
2023-09-27 12:33:21 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 258 seconds)
2023-09-27 12:34:14 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds)
2023-09-27 12:35:09 +0200privacy(~privacy@user/privacy) (Quit: Leaving)
2023-09-27 12:37:12 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-09-27 12:44:17 +0200ubert(~Thunderbi@2001:871:263:926a:cc51:e766:20bc:649c)
2023-09-27 12:47:48 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in)
2023-09-27 12:48:03 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 12:49:12 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-09-27 12:51:19 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it)
2023-09-27 12:51:31 +0200dhil(~dhil@2001:8e0:2014:3100:b35e:6470:ff2b:e5d8) (Ping timeout: 252 seconds)
2023-09-27 12:53:03 +0200 <hseg> ... am doubting whether this code is worth it, trying to find a better solution
2023-09-27 12:58:34 +0200 <ncf> what's the problem?
2023-09-27 12:59:20 +0200 <hseg> am looking for a script to manage oauth2 tokens, dislike mailctl's implementation
2023-09-27 13:00:07 +0200 <hseg> (it's broken in one way, for which I've filed an unmerged PR, and is code-aesthetically displeasing in multiple ways, making me uncomfortable trusting it)
2023-09-27 13:00:08 +0200rickbonavigo(~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in)
2023-09-27 13:00:25 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
2023-09-27 13:00:48 +0200danse-nr3_(~francesco@151.35.199.58)
2023-09-27 13:00:50 +0200danse-nr3(~francesco@151.37.151.250) (Read error: Connection reset by peer)
2023-09-27 13:02:42 +0200hiyori(~hiyori@user/hiyori)
2023-09-27 13:03:35 +0200dhil(~dhil@2001:8e0:2014:3100:d77a:88d:bf12:3925)
2023-09-27 13:04:20 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit)
2023-09-27 13:04:32 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
2023-09-27 13:07:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-09-27 13:09:00 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
2023-09-27 13:11:02 +0200xff0x(~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2)
2023-09-27 13:17:56 +0200danse-nr3_(~francesco@151.35.199.58) (Ping timeout: 260 seconds)
2023-09-27 13:22:54 +0200meinside(uid24933@helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-27 13:23:13 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 13:26:54 +0200danse-nr3_(~francesco@151.35.199.58)
2023-09-27 13:27:08 +0200Lycurgus(~juan@user/Lycurgus)
2023-09-27 13:31:37 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-09-27 13:32:15 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-09-27 13:34:24 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-09-27 13:34:44 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-09-27 13:37:13 +0200danse-nr3_(~francesco@151.35.199.58) (Ping timeout: 240 seconds)
2023-09-27 13:39:55 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 13:41:23 +0200dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 252 seconds)
2023-09-27 13:41:33 +0200vpan(~vpan@212.117.1.172)
2023-09-27 13:41:56 +0200vpanGuest6424
2023-09-27 13:46:08 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2023-09-27 13:51:28 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds)
2023-09-27 13:54:30 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-09-27 14:01:03 +0200__monty__(~toonn@user/toonn)
2023-09-27 14:01:41 +0200acidjnk_new(~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-09-27 14:03:56 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 14:07:07 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 14:08:04 +0200bienjensu(~user@user/bienjensu) (Remote host closed the connection)
2023-09-27 14:11:08 +0200xff0x(~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2) (Quit: xff0x)
2023-09-27 14:11:29 +0200xff0x(~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2)
2023-09-27 14:12:04 +0200Inst(~Inst@120.244.192.250) (Ping timeout: 244 seconds)
2023-09-27 14:12:45 +0200Inst(~Inst@120.244.192.250)
2023-09-27 14:13:00 +0200 <Inst> hmmm
2023-09-27 14:13:09 +0200 <Inst> Haskell for me is really disappointing when I don't have the skills to do GHC dev
2023-09-27 14:13:13 +0200 <Inst> -XPolymorphicMain
2023-09-27 14:13:22 +0200 <Inst> class IsMain where
2023-09-27 14:13:47 +0200 <Inst> class IsMain a where
2023-09-27 14:14:05 +0200 <Inst> toIO :: a b -> IO b
2023-09-27 14:16:13 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2023-09-27 14:18:09 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-09-27 14:19:33 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 14:21:49 +0200danse-nr3_(~francesco@151.35.199.58)
2023-09-27 14:24:43 +0200 <Inst> instance IsMain IO where
2023-09-27 14:24:52 +0200 <Inst> toIO = id
2023-09-27 14:30:51 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-09-27 14:39:09 +0200stites(~stites@130.44.147.204) (Ping timeout: 252 seconds)
2023-09-27 14:43:24 +0200stites(~stites@2607:fb90:ade1:40bc:7260:fcae:b31c:7cc)
2023-09-27 14:46:10 +0200__monty__(~toonn@user/toonn) (Ping timeout: 244 seconds)
2023-09-27 14:48:45 +0200__monty__(~toonn@user/toonn)
2023-09-27 14:49:23 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-09-27 14:50:38 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-27 15:06:27 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2023-09-27 15:08:55 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-27 15:13:43 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-09-27 15:19:15 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-09-27 15:19:15 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-09-27 15:19:15 +0200wroathe(~wroathe@user/wroathe)
2023-09-27 15:19:37 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 15:22:28 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-09-27 15:23:36 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Quit: ZNC 1.8.2 - https://znc.in)
2023-09-27 15:23:48 +0200rickbonavigo(~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46)
2023-09-27 15:25:16 +0200dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk)
2023-09-27 15:28:44 +0200acidjnk_new(~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de)
2023-09-27 15:32:51 +0200bontaq(~user@ool-45707d2c.dyn.optonline.net)
2023-09-27 15:34:26 +0200arahael(~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds)
2023-09-27 15:38:05 +0200 <Axman6> that seems not very useful
2023-09-27 15:38:58 +0200 <Axman6> only monads which are basically just IO can have a useful instance; maybe Writer but that's about it
2023-09-27 15:40:23 +0200stites(~stites@2607:fb90:ade1:40bc:7260:fcae:b31c:7cc) (Read error: Connection reset by peer)
2023-09-27 15:40:43 +0200stites(~stites@130.44.147.204)
2023-09-27 15:41:54 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-27 15:43:53 +0200ystael(~ystael@user/ystael)
2023-09-27 15:45:41 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-09-27 15:47:59 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-09-27 15:48:49 +0200hiyori(~hiyori@user/hiyori) (Quit: Ping timeout (120 seconds))
2023-09-27 15:50:57 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection)
2023-09-27 15:52:58 +0200eggplant_(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
2023-09-27 15:54:43 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-09-27 15:55:43 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28) (Ping timeout: 240 seconds)
2023-09-27 15:58:35 +0200hseg(~gesh@77.137.68.224) (Ping timeout: 240 seconds)
2023-09-27 16:00:24 +0200 <dolio> Haskell is "really disappointing" when there isn't another language extension entirely so that you can write a slightly shorter main function?
2023-09-27 16:01:33 +0200 <kuribas> should use lisp then
2023-09-27 16:01:44 +0200 <kuribas> you can completely redefine the syntax!
2023-09-27 16:02:31 +0200CiaoSen(~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef)
2023-09-27 16:02:49 +0200 <danse-nr3_> not the syntax, probably
2023-09-27 16:04:51 +0200gatekempt(~gatekempt@user/gatekempt)
2023-09-27 16:08:39 +0200hiyori(~hiyori@user/hiyori)
2023-09-27 16:11:20 +0200hiyori(~hiyori@user/hiyori) (Client Quit)
2023-09-27 16:11:41 +0200 <dolio> You can in Racket.
2023-09-27 16:11:48 +0200 <dolio> I think it's a lot of work, though.
2023-09-27 16:12:14 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 258 seconds)
2023-09-27 16:13:06 +0200ubert(~Thunderbi@2001:871:263:926a:cc51:e766:20bc:649c) (Remote host closed the connection)
2023-09-27 16:13:26 +0200ubert(~Thunderbi@2001:871:263:926a:b9b0:15b4:d989:38ff)
2023-09-27 16:20:53 +0200Inst(~Inst@120.244.192.250) (Ping timeout: 252 seconds)
2023-09-27 16:23:33 +0200Inst(~Inst@120.244.192.250)
2023-09-27 16:24:29 +0200shapr(~user@2600:1700:c640:3100:1deb:a641:b3ec:34e6)
2023-09-27 16:25:03 +0200 <Inst> It's more that I have a ton of crackpot language extension ideas
2023-09-27 16:25:06 +0200 <Inst> that are useless to me
2023-09-27 16:25:10 +0200 <Inst> because I can't implement them
2023-09-27 16:25:53 +0200 <Inst> and it's more in the vein of Gabriella Gonzalez's https://www.youtube.com/watch?v=fNpsgTIpODA
2023-09-27 16:26:07 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-09-27 16:26:25 +0200 <Inst> that is to say, if you look at the NeoHaskell project, one promising possibility (and I don't think Nick necessarily likes this) is to fulfill Gabriella Gonzalez's suggestion
2023-09-27 16:26:40 +0200 <Inst> i.e, the end user is locked into an eDSL or a family of eDSLs, in other words, a framework
2023-09-27 16:26:46 +0200 <Inst> the eDSL / family is implemented in Haskell
2023-09-27 16:26:57 +0200 <Inst> the end user gets what they want, i.e, extremely low complexity, simple projects, etc
2023-09-27 16:27:50 +0200 <Inst> There is a chance the best possible outcome for NeoHaskell is for it to be a partial project that fails, but one that generates useful lessons for another attempt
2023-09-27 16:28:24 +0200 <Inst> so with polymorphic main, what you can do is that the user just sees main :: MyEDSLMonadTrans ()
2023-09-27 16:28:33 +0200 <Inst> they don't have to know about IO, etc
2023-09-27 16:28:34 +0200 <Inst> it's all hidden
2023-09-27 16:29:46 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-27 16:30:26 +0200anderson(~anderson@user/anderson) (Quit: bye)
2023-09-27 16:30:31 +0200 <Inst> I think with NeoHaskell, it's possible to implement Elm values without neuroses, i.e, when language founders tells you to just use Haskell because foo feature isn't in NeoHaskell, that's not Elm committing suicide with tons of users migrating off, it's just telling you to build the relevant Haskell module, then import it
2023-09-27 16:30:47 +0200anderson(~anderson@user/anderson)
2023-09-27 16:33:39 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Client Quit)
2023-09-27 16:33:58 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-27 16:34:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:2fe5:7197:b580:702) (Quit: WeeChat 2.8)
2023-09-27 16:37:43 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds)
2023-09-27 16:37:46 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds)
2023-09-27 16:37:59 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-09-27 16:38:22 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2023-09-27 16:41:19 +0200Guest6424vpan
2023-09-27 16:44:07 +0200hiyori(~hiyori@user/hiyori)
2023-09-27 16:45:08 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 16:45:16 +0200anderson(~anderson@user/anderson) (Quit: bye)
2023-09-27 16:46:44 +0200dhil(~dhil@2001:8e0:2014:3100:d77a:88d:bf12:3925) (Ping timeout: 245 seconds)
2023-09-27 16:48:50 +0200 <glguy> Turning on the extension works take more characters than the code it saves
2023-09-27 16:49:37 +0200 <glguy> You'd need a language pragma to turn it on but it would save 5 characters of typing after main=
2023-09-27 16:51:10 +0200 <glguy> If you wanted an environment that didn't expect the user to use IO, you'd just provide modules with no IO operations and expose start::T a->IO a to be used when defining main
2023-09-27 16:51:15 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 16:52:16 +0200 <glguy> There savings works out with something like OverloadedStrings where you get to omit as many fromString calls as you have literals
2023-09-27 16:53:43 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 264 seconds)
2023-09-27 16:59:28 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds)
2023-09-27 16:59:46 +0200anderson(~anderson@user/anderson)
2023-09-27 17:00:18 +0200ori_sky(~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17)
2023-09-27 17:00:19 +0200son0p(~ff@181.136.122.143) (Ping timeout: 264 seconds)
2023-09-27 17:00:41 +0200danse-nr3__(~francesco@151.35.147.243)
2023-09-27 17:01:08 +0200ori_skyorisky
2023-09-27 17:01:12 +0200orisky(~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Client Quit)
2023-09-27 17:01:31 +0200ori_sky(~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17)
2023-09-27 17:01:39 +0200ori_sky(~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Client Quit)
2023-09-27 17:01:58 +0200ori__sky(~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17)
2023-09-27 17:03:11 +0200danse-nr3_(~francesco@151.35.199.58) (Ping timeout: 246 seconds)
2023-09-27 17:08:12 +0200chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2023-09-27 17:09:04 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 17:10:45 +0200 <Inst> glguy: In reality, I'm thinking more about the possibility of having multiple languages within the GHC ecosystem, i.e, it could be implicitly on with other languages
2023-09-27 17:10:58 +0200pyooque(~puke@user/puke)
2023-09-27 17:10:58 +0200pukeGuest4444
2023-09-27 17:10:58 +0200Guest4444(~puke@user/puke) (Killed (molybdenum.libera.chat (Nickname regained by services)))
2023-09-27 17:10:58 +0200pyooquepuke
2023-09-27 17:12:05 +0200 <ori__sky> hello, I'm having an issue with lenses in my code and wondered if someone could assist -- https://paste.tomsmeding.com/CEf30rDa has the error I'm seeing, as well as the code in question (I've tried to include just the relevant code but let me know if anything further is needed). the issue here is, `duration` should result in a DiffTime, but for
2023-09-27 17:12:05 +0200 <ori__sky> some reason it appears to be expecting a UTCTime, despite the type of _userCooldownDuration being DiffTime, so I'm kind of at a loss here
2023-09-27 17:12:23 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2023-09-27 17:12:32 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-27 17:12:40 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 17:12:52 +0200puke(~puke@user/puke)
2023-09-27 17:14:00 +0200 <glguy> ori__sky: it looks like the following code is trying to use the result of that line as a UTCTime
2023-09-27 17:14:33 +0200 <ori__sky> I'm using userCDTime in that following line, but userCDLength is what's using the duration lens, and I'm not using the result of that anywhere
2023-09-27 17:15:36 +0200 <ncf> i smell monomorphism
2023-09-27 17:15:52 +0200 <ncf> what's preuse?
2023-09-27 17:16:43 +0200danse-nr3__(~francesco@151.35.147.243) (Ping timeout: 240 seconds)
2023-09-27 17:17:09 +0200 <ori__sky> `ix usr` is indexing into the HashMap but the key might not exist, in which case `preuse` results in `Nothing`, from my understanding at least
2023-09-27 17:18:13 +0200 <ori__sky> maybe I should read up on it more, I might be misunderstanding that
2023-09-27 17:18:15 +0200 <ncf> oh it's from lens
2023-09-27 17:18:20 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-09-27 17:18:46 +0200 <ori__sky> oh yeah it is, it's not my function
2023-09-27 17:19:46 +0200 <ncf> the error message hints at a functional dependency problem
2023-09-27 17:19:56 +0200 <ncf> is HasDuration yours?
2023-09-27 17:20:52 +0200 <ncf> i guess that's a class generated by makeClassy or whatever
2023-09-27 17:21:08 +0200 <ncf> makeFields
2023-09-27 17:21:21 +0200CAT_S(apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer)
2023-09-27 17:23:55 +0200 <ncf> what happens if you swap the userCDTime and userCDLength lines?
2023-09-27 17:24:05 +0200eggplant_(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
2023-09-27 17:24:20 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
2023-09-27 17:24:43 +0200ori__sky(~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Ping timeout: 245 seconds)
2023-09-27 17:24:55 +0200ori__sky(~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17)
2023-09-27 17:25:08 +0200 <ori__sky> apologies, got disconnected
2023-09-27 17:25:58 +0200 <ncf> so, things to try:
2023-09-27 17:26:03 +0200 <ncf> what happens if you don't use ($) ?
2023-09-27 17:26:14 +0200 <ncf> what happens if you swap the userCDTime and userCDLength lines?
2023-09-27 17:29:24 +0200Inst(~Inst@120.244.192.250) (Remote host closed the connection)
2023-09-27 17:29:45 +0200Inst(~Inst@120.244.192.250)
2023-09-27 17:31:17 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-09-27 17:34:00 +0200 <ori__sky> doing the latter results in the same error, doing the former however gives me a whole host of different errors, I can post them but it seems like isn't right because `use` is meant to take the lens from what I understand (with `preuse` being `use . pre`)
2023-09-27 17:34:25 +0200thegeekinside(~thegeekin@189.217.90.224) (Remote host closed the connection)
2023-09-27 17:35:27 +0200 <ncf> to be clear i meant to inline ($): preuse (actCD . global), preuse (actCD . users . ix usr . time), ...
2023-09-27 17:35:38 +0200tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-09-27 17:38:11 +0200 <ori__sky> ahh I misunderstood, have just tried now but still seeing the same error
2023-09-27 17:39:34 +0200 <ncf> then i'm out of ideas :) if you can make your code self-contained i can investigate further
2023-09-27 17:40:45 +0200 <ori__sky> hm, yeah, I'll see what I can do, might take me a bit of time
2023-09-27 17:40:50 +0200 <EvanR> minimal reproducible example ftw
2023-09-27 17:41:23 +0200CAT_S(apic@brezn3.muc.ccc.de)
2023-09-27 17:42:40 +0200 <ncf> (the lazy way out is to post your entire project)
2023-09-27 17:43:14 +0200sympt(~sympt@user/sympt) (Quit: Ping timeout (120 seconds))
2023-09-27 17:43:22 +0200 <ori__sky> I would do that but right now I can't (don't want to) make the entire thing public just because it has specific names of twitch channels hardcoded as well as an oauth token lmao
2023-09-27 17:44:10 +0200sympt(~sympt@user/sympt)
2023-09-27 17:45:01 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.4)
2023-09-27 17:48:24 +0200danse-nr3__(~francesco@151.35.147.243)
2023-09-27 17:49:28 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-27 17:49:53 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2023-09-27 17:50:34 +0200 <ori__sky> oh, hold on. I have figured it out
2023-09-27 17:51:20 +0200 <ori__sky> that line `let actCD = channelEnvs . ix chan . actionCooldowns . ix aName` seems to be causing the problem; if I write out the entire combination of lenses when getting the duration, it *does* work
2023-09-27 17:52:38 +0200 <ori__sky> maybe an issue arising from the fact that I'm using  it in two contexts where maybe it's inferring a different type for actCD
2023-09-27 17:54:18 +0200 <dostoyevsky2> Someone was asking in ##programming about adding an `is' keyword to a NeoHaskell, whether that would be a good idea... I was wondering how open Haskell is in general to introducing new keywords, or even redefining existing operators
2023-09-27 17:55:21 +0200 <exarkun> Why?
2023-09-27 17:55:47 +0200 <dolio> `is` at least used to be a commonly used variable name.
2023-09-27 17:56:00 +0200hiyori(~hiyori@user/hiyori) (Quit: Client closed)
2023-09-27 17:56:13 +0200 <dostoyevsky2> > > the keyword I'm looking for is "is", as a synonym for = to stop people from being confused by = means const and to get people into a declarative mindset
2023-09-27 17:56:15 +0200 <lambdabot> <hint>:1:1: error: parse error on input ‘>’
2023-09-27 17:56:26 +0200 <exarkun> I think GHC adds new keywords all the time. All you have to do is get a language extension accepted.
2023-09-27 17:57:02 +0200hiyori(~hiyori@user/hiyori)
2023-09-27 17:57:04 +0200 <EvanR> wtf is NeoHaskell
2023-09-27 17:57:15 +0200 <exarkun> some pseudo-vaporware everyone is talking about this week
2023-09-27 17:57:26 +0200 <exarkun> to make Haskell appeal to the masses
2023-09-27 17:57:33 +0200 <Inst> quasi-vaporware i think
2023-09-27 17:57:36 +0200 <dolio> Oh, so make it worse in a bunch of ways?
2023-09-27 17:57:53 +0200 <Inst> the way I'm thinking of it is basically "If Simple Haskell were a Language"
2023-09-27 17:58:03 +0200 <EvanR> wake me up when it's Haskell vaporwave
2023-09-27 17:58:05 +0200 <Inst> and could import into "Real Haskell"
2023-09-27 17:58:13 +0200 <dostoyevsky2> Inst: so you made it here ;-)
2023-09-27 17:58:14 +0200 <exarkun> "Replace = in some places with `is`" seems consistent with the other ideas I've read
2023-09-27 17:58:29 +0200 <monochrom> No, GHC avoids adding new keywords, even with extensions. Example: Part of the reason ExistentialTypes reuses "forall" instead of introducing "exists" is because of that.
2023-09-27 17:58:36 +0200 <Inst> I think we need some more traditional Haskellers watching NeoHaskell, if only to:
2023-09-27 17:58:42 +0200 <Inst> #1, steal ideas when if it fails
2023-09-27 17:58:48 +0200 <Inst> #2, stop the project from going completely off the rails
2023-09-27 17:59:00 +0200 <exarkun> Inst: why not just ignore it and let it go off the rails if it wants to
2023-09-27 17:59:06 +0200 <Inst> because I like it
2023-09-27 17:59:11 +0200 <EvanR> I'm not sure what the problem with = is for there to be a replacement
2023-09-27 17:59:20 +0200 <Inst> I'm more trying to get the author to go release his purported "fast android Haskell app" lib
2023-09-27 17:59:23 +0200 <exarkun> Inst: why should anyone _else_ burn a bunch of energy saving it just because you like it
2023-09-27 17:59:31 +0200 <Inst> and retrofitting Haskell's CPython so it works
2023-09-27 17:59:44 +0200 <Inst> if you're interested in the project, burn energy, it's fun, if not, don't
2023-09-27 17:59:57 +0200 <EvanR> generate entropy
2023-09-27 18:00:05 +0200 <exarkun> you've showed up in every haskell channel I'm in trying to engage people with neohaskell
2023-09-27 18:00:15 +0200 <exarkun> I successfully ignore you for a while but I failed my will save this time
2023-09-27 18:01:18 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
2023-09-27 18:01:21 +0200 <monochrom> I'm just annoyed at the lack of novelty in the name "NeoHaskell". Recall Javascript, C#, Ultra HD.
2023-09-27 18:02:05 +0200 <Inst> I'd rather have called it Neo, but there's apparently some niche lang that already has that name, actually, two
2023-09-27 18:02:14 +0200 <Inst> sorry exarkun
2023-09-27 18:02:30 +0200 <EvanR> DarkHaskell
2023-09-27 18:02:30 +0200CAT_S(apic@brezn3.muc.ccc.de) (Ping timeout: 244 seconds)
2023-09-27 18:02:39 +0200 <monochrom> Well "Neo" is even worse in lack of novelty.
2023-09-27 18:02:42 +0200 <Clint> so it's just haskell plus a library plus a build tool?
2023-09-27 18:02:50 +0200 <EvanR> haskell with a dark theme
2023-09-27 18:02:51 +0200 <yushyin> how about NotHaskell
2023-09-27 18:03:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-27 18:03:35 +0200 <yushyin> then it can also do whatever it wants syntax-wise
2023-09-27 18:03:36 +0200 <monochrom> Learn from the Agda people and the Idris people. Choose a completely independent name.
2023-09-27 18:03:50 +0200 <ddellacosta> EvanR: my Haskell automatically shifts when dusks hits, it gets warmer, more yellow/reddish
2023-09-27 18:03:51 +0200 <EvanR> Frege was a waste of a name
2023-09-27 18:03:56 +0200 <Inst> I think the association with Haskell, at least at this stage, has drawn eyeballs
2023-09-27 18:04:04 +0200 <monochrom> Don't learn from the Javascript, then Typescript, then Purescript people.
2023-09-27 18:04:23 +0200 <EvanR> scriptscript
2023-09-27 18:06:09 +0200 <EvanR> dostoyevsky2, haskell already lets you define what operators do via type classes
2023-09-27 18:06:16 +0200 <Inst> Clint: It's more an attempt to make Haskell approachable and ready for lower-skilled production programmers, I think
2023-09-27 18:06:29 +0200 <Inst> Haskell also lets you rampantly declare your own operators
2023-09-27 18:06:41 +0200 <EvanR> yeah maybe NeoHaskell will remove that ability
2023-09-27 18:06:49 +0200 <EvanR> new languages tend to hate that
2023-09-27 18:06:50 +0200 <ddellacosta> I mean, I think it's fundamentally naive to think it would go any way other than Elm
2023-09-27 18:06:52 +0200 <Inst> The way I'm hoping is that you'd need to import operators from Haskell
2023-09-27 18:07:01 +0200 <glguy> You'll never be able to stop people from writing unreadable or unmaintainable code
2023-09-27 18:07:11 +0200 <monochrom> Clint: At this point since it's hypothetical it's Haskell minus libary minus build tool minus implementation minus semantics minus even Haskell. :)
2023-09-27 18:07:14 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-09-27 18:07:24 +0200 <Inst> ^^^ @monochrom
2023-09-27 18:07:29 +0200 <EvanR> monochrom, all of that is easily offset by fanbase hype
2023-09-27 18:07:37 +0200 <EvanR> elixir
2023-09-27 18:07:38 +0200 <Inst> it's only existed for like 3 days!
2023-09-27 18:07:43 +0200 <ddellacosta> it doesn't exist
2023-09-27 18:07:48 +0200CAT_S(apic@brezn3.muc.ccc.de)
2023-09-27 18:07:48 +0200 <exarkun> ^^
2023-09-27 18:07:51 +0200 <Inst> it's only not existed for like 3 days!
2023-09-27 18:07:57 +0200 <ddellacosta> hahaha touche
2023-09-27 18:08:06 +0200 <monochrom> At any rate, /ignore is a great tool.
2023-09-27 18:08:13 +0200 <Inst> :(
2023-09-27 18:08:19 +0200 <monochrom> Except I can't because I have op duties.
2023-09-27 18:08:25 +0200 <monochrom> But most of you can!
2023-09-27 18:08:27 +0200 <Inst> I'm sorry, monochrom
2023-09-27 18:08:56 +0200 <EvanR> I kind of like the idea of an influencer creating a new terrible programming language with more success than someone in their basement slaving away for 5 months and no one ever sees the results, and it dies
2023-09-27 18:09:10 +0200 <EvanR> as long as it dies either way we're good
2023-09-27 18:10:12 +0200 <EvanR> maybe new programming languages should have a built-in self destruct just in case
2023-09-27 18:10:15 +0200puke(~puke@user/puke) (Ping timeout: 240 seconds)
2023-09-27 18:10:29 +0200 <monochrom> And yeah Elm and Typescript already exist for popularism and/or lower-skill.
2023-09-27 18:10:57 +0200 <Inst> Elm afaik has terrible governance problems and tons of people ran off when the leadership blocked access to features their libs were depending on
2023-09-27 18:11:21 +0200 <monochrom> Oh well the not-invented-here problem. Everyone thinks they should invent one more language.
2023-09-27 18:11:23 +0200 <Inst> The more important thing I'm trying to push for
2023-09-27 18:11:27 +0200 <monochrom> @quote monochrom downloaded
2023-09-27 18:11:27 +0200 <lambdabot> monochrom says: I was trying to design a sensible language... then I downloaded ghc.
2023-09-27 18:11:32 +0200 <Inst> is two-way lib compat because this seems as though, at the very least
2023-09-27 18:11:36 +0200 <Inst> it'll be on GHC
2023-09-27 18:12:01 +0200 <EvanR> will it be a syntax reskin like coffeescript
2023-09-27 18:12:07 +0200 <EvanR> that'll be stupid
2023-09-27 18:12:10 +0200 <Inst> but w/e, forget it, let me watch the damn thing on my own, it's not really worth talking about until it's no longer vaporware
2023-09-27 18:13:19 +0200 <haskellbridge> <e​ldritchcookie> compdata has the HFunctor typeclass i wanted to make a HApplicative type class but i have no idea which type the opration should have to support lifting 2 3 4 5 etc natural tranformations of type forall i. f1 i -> f2 i -> f3 i
2023-09-27 18:13:25 +0200 <monochrom> We can discuss reserving more/fewer words fine. But it's already answered.
2023-09-27 18:13:59 +0200 <monochrom> SML reserved "as". Haskell changed it to "@". You can see the trend, Haskell actually tries to reserve fewer.
2023-09-27 18:14:14 +0200 <monochrom> And GHC extensions, I have also gave an example.
2023-09-27 18:14:19 +0200 <mauke> import qualified ... as
2023-09-27 18:14:38 +0200 <mauke> maybe that should be import qualified Data.Text @ T
2023-09-27 18:14:40 +0200 <glguy> import ... qualified as ...
2023-09-27 18:14:47 +0200 <monochrom> See the Haskell Report again. That "as" actually isn't reserved.
2023-09-27 18:14:52 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-09-27 18:15:23 +0200 <mauke> in that sense, Perl doesn't have any "reserved words"
2023-09-27 18:15:24 +0200 <haskellbridge> <e​ldritchcookie> do people on IRC cannot see matrix messages or was i just ignored?
2023-09-27 18:15:26 +0200 <monochrom> They pulled it off because "import ..." disambiguates without needed to reserve "as".
2023-09-27 18:15:29 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-09-27 18:15:45 +0200 <monochrom> > let as is = is + 1 in as 4
2023-09-27 18:15:47 +0200 <lambdabot> 5
2023-09-27 18:15:58 +0200 <mauke> e​ldritchcookie: yes
2023-09-27 18:15:59 +0200 <monochrom> In that sense, "as" is still not a reserved word.
2023-09-27 18:16:02 +0200 <glguy> eldrichcookie: I see your message, but it looked like a statement. What response did you expect?
2023-09-27 18:16:04 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-09-27 18:16:26 +0200 <monochrom> > let as if = if + 1 in as 4"
2023-09-27 18:16:27 +0200 <lambdabot> <hint>:1:11: error: parse error on input ‘=’
2023-09-27 18:16:28 +0200 <Inst> in theory, even import could not be a reserved word
2023-09-27 18:16:37 +0200 <haskellbridge> <e​ldritchcookie> oh sorry, which type should the operation have?
2023-09-27 18:16:42 +0200 <Inst> with the caveat that you'd have to make some other declaration before trying to define import
2023-09-27 18:16:42 +0200 <monochrom> And In that sense, Haskell still has some reserved words.
2023-09-27 18:17:15 +0200chele(~chele@user/chele) (Remote host closed the connection)
2023-09-27 18:17:53 +0200ori__sky(~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Quit: Client closed)
2023-09-27 18:18:13 +0200 <haskellbridge> <j​ade> is there an ergonomic way for a language to disambiguate so thoroughly as to completely avoid reserved keywords
2023-09-27 18:19:02 +0200 <haskellbridge> <e​ldritchcookie> no but you could do like F# and have a way to declare names which are keyword
2023-09-27 18:19:08 +0200 <glguy> eldritcookie, I guess you'd want to compare: liftA and liftA2c
2023-09-27 18:19:18 +0200 <mauke> be like perl4 and require sigils on all user-defined entities
2023-09-27 18:19:29 +0200 <monochrom> SML reserves "as" because it's our "@". f (xs as x::xt) = ...
2023-09-27 18:19:58 +0200 <mauke> was it C# that lets you use any word as an identifier if you use a @ prefix?
2023-09-27 18:19:59 +0200 <glguy> eldritchcookie, so you'd have: hlifta2 :: (f :-> g :-> h) -> n f :-> n g :-> n h
2023-09-27 18:20:24 +0200 <mauke> int @if = 42;
2023-09-27 18:20:36 +0200 <EvanR> jade: to let anything potentially mean anything is counterproductive to useful language
2023-09-27 18:20:42 +0200nyc(~nyc@user/nyc) (Ping timeout: 260 seconds)
2023-09-27 18:20:43 +0200 <EvanR> reserved words are power
2023-09-27 18:21:36 +0200 <Inst> but tbh, I want to talk about NH a bit more, to defend myself, my three goals with NH are: "get the guy to release CPython updates, and his fast Android lib in Haskell framework"
2023-09-27 18:21:39 +0200 <glguy> jade, you could use some other lexical syntax for what would have been reserved words. Maybe they have to be wrapped in <> to have what would have been reserved meaning
2023-09-27 18:21:49 +0200 <Inst> "make sure that NH is locked, and if you want more powerful programming, you need to learn Haskell and FFI / import from Haskell"
2023-09-27 18:22:03 +0200 <Inst> "make sure that NH libs are callable from Haskell"
2023-09-27 18:22:12 +0200 <Inst> so that's understandable from a Haskeller point of view?
2023-09-27 18:22:13 +0200 <monochrom> Is "the guy" here at all?
2023-09-27 18:22:29 +0200 <EvanR> this channel probably doesn't have enough of an audience
2023-09-27 18:22:37 +0200 <mauke> is he in the room with us right now
2023-09-27 18:22:56 +0200 <EvanR> Inst is channeling
2023-09-27 18:23:15 +0200 <glguy> mauke, let's join hands
2023-09-27 18:23:29 +0200 <monochrom> eww :)
2023-09-27 18:23:43 +0200 <glguy> monochrom: virtually, of course
2023-09-27 18:23:56 +0200 <EvanR> elbows
2023-09-27 18:24:42 +0200 <EvanR> Inst, your goals?
2023-09-27 18:24:47 +0200 <mauke> Hand (Hand a) -> Hand a
2023-09-27 18:25:01 +0200 <mauke> hth, hand
2023-09-27 18:25:10 +0200 <monochrom> haha
2023-09-27 18:25:13 +0200 <glguy> Yes, hands are a monad
2023-09-27 18:25:25 +0200 <glguy> my hands are pure *nod*
2023-09-27 18:26:57 +0200 <haskellbridge> <j​ade> you can indeed bind hands
2023-09-27 18:27:12 +0200 <EvanR> are Feet comonads?
2023-09-27 18:27:29 +0200 <monochrom> Only if you can Feet a -> Feet (Feet a)
2023-09-27 18:27:37 +0200 <EvanR> I've seen cartoons like that
2023-09-27 18:28:01 +0200 <monochrom> AFAIK the only closest thing is the Alien exomorph doing Mouth a -> Mouth (Mouth a)
2023-09-27 18:28:17 +0200 <mauke> I like your feet around your feet
2023-09-27 18:28:26 +0200 <mauke> https://www.youtube.com/watch?v=C3GpJzMZiXY
2023-09-27 18:29:23 +0200 <monochrom> No, that one is like Feet -| Pants or Pants -| Feet :)
2023-09-27 18:29:56 +0200 <monochrom> And then Feet (Pants (Feet)) is the monad or comonad.
2023-09-27 18:30:48 +0200 <haskellbridge> <t​ewuzij> What r u even coding abt feet and hand?
2023-09-27 18:31:00 +0200 <Clint> don't encourage them
2023-09-27 18:31:07 +0200 <monochrom> Err sorry, Feet (Pants) or Pants (Feet). Feet (Pants (Feet)) is some other nice thing.
2023-09-27 18:31:08 +0200 <EvanR> kung fu algebra
2023-09-27 18:32:15 +0200 <danse-nr3__> never saw kung fu with pants before
2023-09-27 18:33:20 +0200 <haskellbridge> <e​ldritchcookie> glguy: hliftA2 id doesn't typecheck?
2023-09-27 18:33:43 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-09-27 18:34:09 +0200 <glguy> eldritchbookie, probably not in this higher-order context, no
2023-09-27 18:34:39 +0200 <glguy> eldritchcookie, you're kind of making up new stuff, so you'll have to figure out what translates and what doesn't
2023-09-27 18:35:56 +0200CiaoSen(~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds)
2023-09-27 18:36:50 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-09-27 18:38:58 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
2023-09-27 18:41:31 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2023-09-27 18:45:37 +0200euleritian(~euleritia@77.22.252.18)
2023-09-27 18:47:36 +0200euleritian(~euleritia@77.22.252.18) (Read error: Connection reset by peer)
2023-09-27 18:47:58 +0200dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 244 seconds)
2023-09-27 18:48:49 +0200euleritian(~euleritia@77.22.252.18)
2023-09-27 18:53:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-27 18:56:09 +0200[exa](~exa@user/exa/x-3587197)
2023-09-27 18:59:55 +0200Lycurgus(~juan@user/Lycurgus)
2023-09-27 19:01:23 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 19:06:05 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-09-27 19:06:36 +0200 <haskellbridge> <e​ldritchcookie> ok i am just so close https://play.haskell.org/saved/mnh0vxX3
2023-09-27 19:07:10 +0200euleritian(~euleritia@77.22.252.18) (Ping timeout: 252 seconds)
2023-09-27 19:07:30 +0200 <haskellbridge> <e​ldritchcookie> why does it think my i in the coerce signature isn't the i in the method signature?
2023-09-27 19:09:15 +0200son0p(~ff@181.136.122.143)
2023-09-27 19:09:29 +0200 <haskellbridge> <e​ldritchcookie> my understanding of rank 2 types is that the caller must provide a polymorphic function as the callee chooses the type
2023-09-27 19:10:41 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-27 19:12:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-27 19:12:24 +0200Inst(~Inst@120.244.192.250) (Ping timeout: 258 seconds)
2023-09-27 19:12:59 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-09-27 19:13:32 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
2023-09-27 19:13:44 +0200chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
2023-09-27 19:13:49 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
2023-09-27 19:15:16 +0200 <haskellbridge> <e​ldritchcookie> yay coerce doesn't work but applying the constructor works
2023-09-27 19:15:17 +0200dcoutts(~duncan@88.211.110.163)
2023-09-27 19:15:28 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2023-09-27 19:16:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-09-27 19:16:57 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2023-09-27 19:19:46 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-27 19:24:19 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
2023-09-27 19:29:07 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 19:36:18 +0200sm(~sm@plaintextaccounting/sm)
2023-09-27 19:38:24 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds)
2023-09-27 19:39:00 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-09-27 19:39:01 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-09-27 19:39:01 +0200wroathe(~wroathe@user/wroathe)
2023-09-27 19:42:52 +0200euleritian(~euleritia@77.22.252.18)
2023-09-27 19:44:06 +0200ubert(~Thunderbi@2001:871:263:926a:b9b0:15b4:d989:38ff) (Ping timeout: 260 seconds)
2023-09-27 19:46:39 +0200Inst_(~Inst@120.244.192.250)
2023-09-27 19:46:41 +0200Inst_Inst
2023-09-27 19:46:52 +0200euleritian(~euleritia@77.22.252.18) (Ping timeout: 244 seconds)
2023-09-27 19:47:42 +0200euleritian(~euleritia@77.22.252.18)
2023-09-27 19:48:53 +0200 <Inst> About Cabal, is there a command that only causes Cabal to do a build plan?
2023-09-27 19:50:39 +0200dcoutts(~duncan@88.211.110.163) (Ping timeout: 240 seconds)
2023-09-27 19:51:25 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-27 19:51:29 +0200 <haskellbridge> <s​m> build --dry-run
2023-09-27 19:51:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
2023-09-27 19:52:02 +0200euleritian(~euleritia@77.22.252.18) (Ping timeout: 244 seconds)
2023-09-27 19:52:36 +0200 <Inst> thanks @sm
2023-09-27 19:52:55 +0200 <haskellbridge> <s​m> np
2023-09-27 19:55:05 +0200hugo(znc@verdigris.lysator.liu.se)
2023-09-27 19:56:45 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-27 20:00:42 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
2023-09-27 20:03:43 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-09-27 20:05:23 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Read error: Connection reset by peer)
2023-09-27 20:09:05 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-27 20:10:14 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-09-27 20:11:53 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
2023-09-27 20:12:09 +0200danse-nr3__(~francesco@151.35.147.243) (Ping timeout: 255 seconds)
2023-09-27 20:18:43 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds)
2023-09-27 20:21:23 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-09-27 20:25:42 +0200ubert(~Thunderbi@91.141.39.180.wireless.dyn.drei.com)
2023-09-27 20:26:24 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-09-27 20:26:30 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-09-27 20:35:30 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection)
2023-09-27 20:36:11 +0200hugo-hugo
2023-09-27 20:39:20 +0200lg188(~lg188@82.18.98.230)
2023-09-27 20:47:34 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
2023-09-27 20:51:05 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection)
2023-09-27 20:55:16 +0200Inst(~Inst@120.244.192.250) (Read error: Connection reset by peer)
2023-09-27 20:55:34 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-27 20:59:35 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-09-27 21:07:15 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80)
2023-09-27 21:07:32 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2023-09-27 21:13:32 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds)
2023-09-27 21:15:39 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2023-09-27 21:15:46 +0200bontaq(~user@ool-45707d2c.dyn.optonline.net) (Remote host closed the connection)
2023-09-27 21:16:35 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-09-27 21:18:56 +0200 <shapr> What version of GHC has the wasm backend?
2023-09-27 21:19:03 +0200 <shapr> Would ghc 9.6.2 be sufficient?
2023-09-27 21:21:12 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 258 seconds)
2023-09-27 21:21:42 +0200renpose(~renpose@user/renpose)
2023-09-27 21:24:07 +0200hiyori(~hiyori@user/hiyori) (Quit: Client closed)
2023-09-27 21:25:52 +0200 <renpose> new to Servant and read about the named routes approach, is there a way to inject the field names into the route? I had a stab at https://paste.tomsmeding.com/1KDNqcU1 but am struggling to mending that
2023-09-27 21:26:39 +0200 <renpose> do i just add more type families lol
2023-09-27 21:27:28 +0200hugo(znc@verdigris.lysator.liu.se)
2023-09-27 21:28:00 +0200 <renpose> I feel like i need to do something like AsServerT .. but not so sure
2023-09-27 21:28:34 +0200shapr(~user@2600:1700:c640:3100:1deb:a641:b3ec:34e6) (Remote host closed the connection)
2023-09-27 21:28:44 +0200 <monochrom> shapr: I think yes. But 9.6.3 is recently out too.
2023-09-27 21:28:50 +0200 <renpose> ah, that small example should give me routes /public/count and /private/secret
2023-09-27 21:31:11 +0200 <renpose> i guess i can also do `data Root mode = Root { private :: mode :- "private" :> NamedRoutes Private, public :: mode :- "public" :> NamedRoutes Public }` but my question is how to get rid of that duplication
2023-09-27 21:33:37 +0200phma(~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer)
2023-09-27 21:33:55 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds)
2023-09-27 21:34:11 +0200 <renpose> oh no i mean AsApi not AsServerT
2023-09-27 21:34:29 +0200phma(~phma@2001:5b0:2172:8a38:8e65:9c01:9923:6726)
2023-09-27 21:36:24 +0200swamp_(~zmt00@user/zmt00) (Quit: Leaving)
2023-09-27 21:36:49 +0200pavonia(~user@user/siracusa)
2023-09-27 21:38:42 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-27 21:39:31 +0200todi(~todi@p4fd1a856.dip0.t-ipconnect.de)
2023-09-27 21:40:42 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2023-09-27 21:45:13 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-09-27 21:46:36 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-09-27 21:49:26 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-09-27 21:49:34 +0200stites(~stites@130.44.147.204) (Ping timeout: 258 seconds)
2023-09-27 21:51:39 +0200stites(~stites@2607:fb91:de2:d846:f12a:627c:15b7:9d9c)
2023-09-27 22:01:35 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-09-27 22:04:04 +0200Pickchea(~private@user/pickchea)
2023-09-27 22:04:29 +0200stites(~stites@2607:fb91:de2:d846:f12a:627c:15b7:9d9c) (Read error: Connection reset by peer)
2023-09-27 22:04:47 +0200stites(~stites@c-71-232-14-73.hsd1.ma.comcast.net)
2023-09-27 22:06:12 +0200dhil(~dhil@2001:8e0:2014:3100:f6cc:7091:d257:79e0)
2023-09-27 22:06:34 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-09-27 22:10:11 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-09-27 22:10:38 +0200shapr(~user@2600:1700:c640:3100:1e6f:a11f:46ec:704a)
2023-09-27 22:11:43 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2023-09-27 22:12:52 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-09-27 22:13:52 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-27 22:19:52 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2023-09-27 22:20:40 +0200hugo(znc@verdigris.lysator.liu.se)
2023-09-27 22:30:29 +0200 <dmj`> renpose: type SomeRoute (route :: Symbol) (routeType :: Type) = mode :- route :> NamedRoutes routeType ?
2023-09-27 22:33:49 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds)
2023-09-27 22:34:02 +0200dhil(~dhil@2001:8e0:2014:3100:f6cc:7091:d257:79e0) (Ping timeout: 258 seconds)
2023-09-27 22:34:53 +0200taktoa[c](sid282096@tinside.irccloud.com) (Ping timeout: 252 seconds)
2023-09-27 22:34:55 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-09-27 22:36:33 +0200pepeiborra(sid443799@ilkley.irccloud.com) (Ping timeout: 252 seconds)
2023-09-27 22:37:23 +0200haasn(sid579015@hampstead.irccloud.com) (Read error: Connection reset by peer)
2023-09-27 22:37:32 +0200haasn(sid579015@id-579015.hampstead.irccloud.com)
2023-09-27 22:38:12 +0200evertedsphere(sid434122@hampstead.irccloud.com) (Ping timeout: 252 seconds)
2023-09-27 22:38:28 +0200 <renpose> Not sure I understand. and then `data Private mode = Private { secret :: SomeRoute "secret" (Get ...) }` (and fix mode) ?
2023-09-27 22:38:55 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-09-27 22:39:02 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2023-09-27 22:39:15 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-09-27 22:39:17 +0200buhman(sid411355@user/buhman) (Ping timeout: 252 seconds)
2023-09-27 22:39:23 +0200 <renpose> if so then it's not really much different from `data Private mode = Private { secret :: "secret" :> Get ... }` except being able to tell where the route prefix came from hmm
2023-09-27 22:39:42 +0200pepeiborra(sid443799@id-443799.ilkley.irccloud.com)
2023-09-27 22:40:49 +0200buhman(sid411355@user/buhman)
2023-09-27 22:41:23 +0200evertedsphere(sid434122@id-434122.hampstead.irccloud.com)
2023-09-27 22:42:18 +0200 <dmj`> type PrivateRoute = SomeRoute "private" Private; data Root mode = Root { private :: PrivateRoute, ... }
2023-09-27 22:47:49 +0200renpose(~renpose@user/renpose) (Quit: Client closed)
2023-09-27 22:49:33 +0200renpose(~renpose@user/renpose)
2023-09-27 22:50:44 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2023-09-27 22:50:55 +0200 <renpose> All the same, my goal was to eliminate duplicating it.
2023-09-27 22:51:33 +0200 <renpose> https://paste.tomsmeding.com/7LIQ5HUo is going nowhere haha but it highlights the problematic of matching `serveRoot` with `rootServer`
2023-09-27 22:52:30 +0200michalz(~michalz@185.246.204.105) (Remote host closed the connection)
2023-09-27 22:52:37 +0200 <renpose> I believe i need to change the generics typeclass, the leaves don't get prefixed and it (the current injecting) should be at some other level maybe.
2023-09-27 22:52:57 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2023-09-27 22:54:17 +0200 <renpose> fwiw it's what i'm using currently is similar to your suggestion, i try to change it
2023-09-27 22:55:00 +0200pieguy128_(~pieguy128@65.92.163.232)
2023-09-27 22:55:04 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-188.dsl.bell.ca) (Ping timeout: 255 seconds)
2023-09-27 23:04:46 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds)
2023-09-27 23:05:28 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-09-27 23:09:18 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-09-27 23:11:35 +0200danza(~francesco@151.35.186.191)
2023-09-27 23:12:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-27 23:13:03 +0200micro(~micro@user/micro) (Ping timeout: 240 seconds)
2023-09-27 23:14:07 +0200Jackneill(~Jackneill@20014C4E1E0E9600C465D2876F556952.dsl.pool.telekom.hu) (Ping timeout: 260 seconds)
2023-09-27 23:15:45 +0200micro(~micro@user/micro)
2023-09-27 23:17:47 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-09-27 23:20:29 +0200hugo(znc@verdigris.lysator.liu.se)
2023-09-27 23:24:43 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-09-27 23:26:43 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-09-27 23:28:58 +0200acidjnk_new(~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-09-27 23:34:47 +0200renpose(~renpose@user/renpose) (Quit: Client closed)
2023-09-27 23:38:00 +0200hugo(znc@verdigris.lysator.liu.se)
2023-09-27 23:39:21 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-09-27 23:39:39 +0200zer0bitz(~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer)
2023-09-27 23:39:55 +0200zer0bitz(~zer0bitz@user/zer0bitz)
2023-09-27 23:44:09 +0200son0p(~ff@181.136.122.143) (Quit: Bye)
2023-09-27 23:48:43 +0200danza(~francesco@151.35.186.191) (Ping timeout: 240 seconds)
2023-09-27 23:53:02 +0200gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com)