2023/09/28

2023-09-28 00:00:03 +0000puke(~puke@user/puke) (*.net *.split)
2023-09-28 00:00:03 +0000eggplant_(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (*.net *.split)
2023-09-28 00:00:03 +0000ft(~ft@p3e9bc680.dip0.t-ipconnect.de) (*.net *.split)
2023-09-28 00:00:03 +0000[exa](~exa@user/exa/x-3587197) (*.net *.split)
2023-09-28 00:00:03 +0000sympt(~sympt@user/sympt) (*.net *.split)
2023-09-28 00:00:03 +0000anderson(~anderson@user/anderson) (*.net *.split)
2023-09-28 00:00:03 +0000aforemny(~aforemny@i59F516DA.versanet.de) (*.net *.split)
2023-09-28 00:00:03 +0000hgolden_(~hgolden@2603-8000-9d00-3ed1-cee1-c701-fc94-6966.res6.spectrum.com) (*.net *.split)
2023-09-28 00:00:03 +0000Typedfern(~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (*.net *.split)
2023-09-28 00:00:03 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2023-09-28 00:00:03 +0000hexology(~hexology@user/hexology) (*.net *.split)
2023-09-28 00:00:04 +0000haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com) (*.net *.split)
2023-09-28 00:00:04 +0000johnw(~johnw@69.62.242.138) (*.net *.split)
2023-09-28 00:00:04 +0000elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (*.net *.split)
2023-09-28 00:00:04 +0000Adeon(sid418992@id-418992.lymington.irccloud.com) (*.net *.split)
2023-09-28 00:00:05 +0000andjjj23(~irc@107.170.228.47) (*.net *.split)
2023-09-28 00:00:05 +0000jludwig(~justin@li657-110.members.linode.com) (*.net *.split)
2023-09-28 00:00:05 +0000Dykam(Dykam@dykam.nl) (*.net *.split)
2023-09-28 00:00:05 +0000myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com) (*.net *.split)
2023-09-28 00:00:05 +0000quintasan(~quassel@quintasan.pl) (*.net *.split)
2023-09-28 00:00:05 +0000Igloo(~ian@matrix.chaos.earth.li) (*.net *.split)
2023-09-28 00:00:05 +0000Hecate(~mariposa@user/hecate) (*.net *.split)
2023-09-28 00:00:05 +0000B-J(~BenziJuni@88-149-64-112.du.xdsl.is) (*.net *.split)
2023-09-28 00:00:05 +0000kraftwerk28(~kraftwerk@164.92.219.160) (*.net *.split)
2023-09-28 00:00:06 +0000arkeet(~arkeet@moriya.ca) (*.net *.split)
2023-09-28 00:00:06 +0000meooow_(~meooow@165.232.184.169) (*.net *.split)
2023-09-28 00:00:06 +0000urdh(~urdh@user/urdh) (*.net *.split)
2023-09-28 00:00:06 +0000evanrelf(3addc196af@2604:bf00:561:2000::f0) (*.net *.split)
2023-09-28 00:00:06 +0000cpli(77fc530071@2604:bf00:561:2000::252) (*.net *.split)
2023-09-28 00:00:06 +0000sm2n(ae95cb1267@user/sm2n) (*.net *.split)
2023-09-28 00:00:06 +0000MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99) (*.net *.split)
2023-09-28 00:00:06 +0000jakzale(6291399afa@user/jakzale) (*.net *.split)
2023-09-28 00:00:06 +0000fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (*.net *.split)
2023-09-28 00:00:06 +0000probie(cc0b34050a@user/probie) (*.net *.split)
2023-09-28 00:00:06 +0000ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split)
2023-09-28 00:00:07 +0000flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2023-09-28 00:00:07 +0000Pent(sid313808@id-313808.lymington.irccloud.com) (*.net *.split)
2023-09-28 00:00:07 +0000joel135(sid136450@id-136450.hampstead.irccloud.com) (*.net *.split)
2023-09-28 00:00:07 +0000hamishmack(sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
2023-09-28 00:00:07 +0000NemesisD(sid24071@id-24071.lymington.irccloud.com) (*.net *.split)
2023-09-28 00:00:07 +0000actioninja(~actioninj@user/actioninja) (*.net *.split)
2023-09-28 00:00:07 +0000mhatta(~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
2023-09-28 00:00:07 +0000lottaquestions_(~nick@2607:fa49:503d:b200:c923:2296:5b4a:ca69) (*.net *.split)
2023-09-28 00:00:07 +0000neptun(neptun@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split)
2023-09-28 00:00:07 +0000Rembane(~Rembane@li346-36.members.linode.com) (*.net *.split)
2023-09-28 00:00:07 +0000V(~v@ircpuzzles/2022/april/winner/V) (*.net *.split)
2023-09-28 00:00:07 +0000s4msung(yn4wjv16Ef@user/s4msung) (*.net *.split)
2023-09-28 00:00:07 +0000xnbya(~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
2023-09-28 00:00:07 +0000gabiruh(~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
2023-09-28 00:00:07 +0000zups(~meow@static.170.50.21.65.clients.your-server.de) (*.net *.split)
2023-09-28 00:00:07 +0000codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split)
2023-09-28 00:00:07 +0000Vq(~vq@90-225-115-195-no122.tbcn.telia.com) (*.net *.split)
2023-09-28 00:00:07 +0000lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2023-09-28 00:00:07 +0000natto(~natto@129.154.243.159) (*.net *.split)
2023-09-28 00:00:07 +0000tomjaguarpaw(~tom@172-104-25-182.ip.linodeusercontent.com) (*.net *.split)
2023-09-28 00:00:07 +0000robertm(robertm@lattice.rojoma.com) (*.net *.split)
2023-09-28 00:00:08 +0000tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl) (*.net *.split)
2023-09-28 00:00:08 +0000lockywolf(~lockywolf@public.lockywolf.net) (*.net *.split)
2023-09-28 00:00:08 +0000stilgart(~Christoph@chezlefab.net) (*.net *.split)
2023-09-28 00:00:08 +0000tureba(~tureba@tureba.org) (*.net *.split)
2023-09-28 00:00:08 +0000berberman_(~berberman@user/berberman) (*.net *.split)
2023-09-28 00:00:08 +0000yushyin(QIgO0IDFsU@mail.karif.server-speed.net) (*.net *.split)
2023-09-28 00:00:08 +0000andreas303(andreas303@is.drunk.and.ready-to.party) (*.net *.split)
2023-09-28 00:00:08 +0000KBar(kbar@is.drunk.and.ready-to.party) (*.net *.split)
2023-09-28 00:00:08 +0000winny(~weechat@user/winny) (*.net *.split)
2023-09-28 00:00:09 +0000son0p(~ff@181.136.122.143) (*.net *.split)
2023-09-28 00:00:09 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (*.net *.split)
2023-09-28 00:00:09 +0000mrmr15(~mrmr@user/mrmr) (*.net *.split)
2023-09-28 00:00:09 +0000Fischmiep(~Fischmiep@user/Fischmiep) (*.net *.split)
2023-09-28 00:00:10 +0000iteratee(~kyle@162.218.222.207) (*.net *.split)
2023-09-28 00:00:10 +0000radiance(~renegade@bcdcac82.skybroadband.com) (*.net *.split)
2023-09-28 00:00:10 +0000cjay(cjay@nerdbox.nerd2nerd.org) (*.net *.split)
2023-09-28 00:00:10 +0000jjhoo(~jahakala@user/jjhoo) (*.net *.split)
2023-09-28 00:00:10 +0000migas(~migas@astra4961.startdedicated.net) (*.net *.split)
2023-09-28 00:00:10 +0000caubert(~caubert@user/caubert) (*.net *.split)
2023-09-28 00:00:10 +0000Ram-Z(~Ram-Z@li1814-254.members.linode.com) (*.net *.split)
2023-09-28 00:00:10 +0000monochrom(trebla@216.138.220.146) (*.net *.split)
2023-09-28 00:00:11 +0000sgarcia(sgarcia@swarm.znchost.com) (*.net *.split)
2023-09-28 00:00:11 +0000dostoyevsky2(~sck@user/dostoyevsky2) (*.net *.split)
2023-09-28 00:00:11 +0000Everything(~Everythin@static.208.206.21.65.clients.your-server.de) (*.net *.split)
2023-09-28 00:00:11 +0000ringo___(~ringo@157.230.117.128) (*.net *.split)
2023-09-28 00:00:11 +0000user2(~user@162.255.84.96) (*.net *.split)
2023-09-28 00:00:11 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net) (*.net *.split)
2023-09-28 00:00:11 +0000opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2023-09-28 00:00:11 +0000lilata(~lilata@static.5.54.140.128.clients.your-server.de) (*.net *.split)
2023-09-28 00:00:11 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split)
2023-09-28 00:00:12 +0000tomku(~tomku@user/tomku) (*.net *.split)
2023-09-28 00:00:12 +0000noctux(~noctux@user/noctux) (*.net *.split)
2023-09-28 00:00:12 +0000ridcully_(~ridcully@p57b5294c.dip0.t-ipconnect.de) (*.net *.split)
2023-09-28 00:00:12 +0000TMA(tma@twin.jikos.cz) (*.net *.split)
2023-09-28 00:00:12 +0000xnbya2(~xnbya@2a01:4f8:c17:cbdd::1)
2023-09-28 00:00:12 +0000ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2023-09-28 00:00:14 +0000hammond(proscan@user/hammond2) (K-Lined)
2023-09-28 00:00:17 +0000tomjaguarpaw(~tom@172.104.25.182)
2023-09-28 00:00:17 +0000Adeon(sid143283@id-418992.lymington.irccloud.com)
2023-09-28 00:00:17 +0000arkeet(arkeet@moriya.ca)
2023-09-28 00:00:18 +0000neptun(neptun@2607:5300:60:5910:dcad:beff:feef:5bc)
2023-09-28 00:00:19 +0000sgarcia(sgarcia@swarm.znchost.com)
2023-09-28 00:00:20 +0000johnw(~johnw@69.62.242.138)
2023-09-28 00:00:22 +0000codedmart(~codedmart@li335-49.members.linode.com)
2023-09-28 00:00:22 +0000iteratee(~kyle@162.218.222.207)
2023-09-28 00:00:24 +0000NemesisD(sid24071@id-24071.lymington.irccloud.com)
2023-09-28 00:00:25 +0000Typedfern(~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net)
2023-09-28 00:00:26 +0000migas(~migas@astra4961.startdedicated.net)
2023-09-28 00:00:28 +0000tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl)
2023-09-28 00:00:28 +0000fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2023-09-28 00:00:29 +0000hamishmack(sid389057@id-389057.hampstead.irccloud.com)
2023-09-28 00:00:29 +0000micro(~micro@user/micro) (*.net *.split)
2023-09-28 00:00:30 +0000bollu(~bollu@159.65.151.13) (*.net *.split)
2023-09-28 00:00:30 +0000kmein(~weechat@user/kmein) (*.net *.split)
2023-09-28 00:00:30 +0000dispater(~dispater@mail.brprice.uk) (*.net *.split)
2023-09-28 00:00:30 +0000Xe(~cadey@tailscale/xe) (*.net *.split)
2023-09-28 00:00:31 +0000telser(~quassel@user/telser) (*.net *.split)
2023-09-28 00:00:31 +0000adium(adium@user/adium) (*.net *.split)
2023-09-28 00:00:32 +0000nullie(~nullie@amsterdam.nullie.name) (*.net *.split)
2023-09-28 00:00:32 +0000madnight(~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split)
2023-09-28 00:00:32 +0000rembo10(~rembo10@main.remulis.com) (*.net *.split)
2023-09-28 00:00:32 +0000user2(~user@162.255.84.96)
2023-09-28 00:00:36 +0000robertm(robertm@lattice.rojoma.com)
2023-09-28 00:00:37 +0000Pent(sid313808@id-313808.lymington.irccloud.com)
2023-09-28 00:00:37 +0000zups(~meow@2a01:4f9:c010:6036::1)
2023-09-28 00:00:40 +0000totbwf(sid402332@id-402332.uxbridge.irccloud.com)
2023-09-28 00:00:41 +0000yushyin(2s7JFhwo4e@mail.karif.server-speed.net)
2023-09-28 00:00:46 +0000winny(~weechat@2001:19f0:5c01:d07:5400:3ff:fe8c:41a4)
2023-09-28 00:00:46 +0000myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com)
2023-09-28 00:00:48 +0000rembo10(~rembo10@main.remulis.com)
2023-09-28 00:00:50 +0000monochrom(trebla@216.138.220.146)
2023-09-28 00:01:00 +0000joel135(sid136450@id-136450.hampstead.irccloud.com)
2023-09-28 00:01:00 +0000caubert(~caubert@136.244.111.235)
2023-09-28 00:01:11 +0000Xe(~cadey@174.88.7.211)
2023-09-28 00:01:21 +0000aforemny(~aforemny@2001:9e8:6cdf:2000:71a7:5333:c9dd:787)
2023-09-28 00:01:23 +0000radiance(~renegade@bcdcac82.skybroadband.com)
2023-09-28 00:01:45 +0000winny(~weechat@2001:19f0:5c01:d07:5400:3ff:fe8c:41a4) (Changing host)
2023-09-28 00:01:45 +0000winny(~weechat@user/winny)
2023-09-28 00:01:46 +0000mjs2600(~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net)
2023-09-28 00:02:11 +0000lambdabot(~lambdabot@silicon.int-e.eu)
2023-09-28 00:02:11 +0000caubert(~caubert@136.244.111.235) (Changing host)
2023-09-28 00:02:11 +0000caubert(~caubert@user/caubert)
2023-09-28 00:02:15 +0000yushyin(2s7JFhwo4e@mail.karif.server-speed.net) (Client Quit)
2023-09-28 00:02:16 +0000Xe(~cadey@174.88.7.211) (Changing host)
2023-09-28 00:02:16 +0000Xe(~cadey@tailscale/xe)
2023-09-28 00:02:17 +0000opqdonut(opqdonut@pseudo.fixme.fi)
2023-09-28 00:02:21 +0000Benzi-Junior(~BenziJuni@88-149-64-112.du.xdsl.is)
2023-09-28 00:02:36 +0000yushyin(hzrLYvMpZO@mail.karif.server-speed.net)
2023-09-28 00:02:37 +0000nullie(~nullie@amsterdam.nullie.name)
2023-09-28 00:02:39 +0000lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2023-09-28 00:02:39 +0000lambdabot(~lambdabot@haskell/bot/lambdabot)
2023-09-28 00:02:50 +0000ridcully_(~ridcully@p57b5294c.dip0.t-ipconnect.de)
2023-09-28 00:02:52 +0000son0p(~ff@181.136.122.143)
2023-09-28 00:03:00 +0000noctux(~noctux@user/noctux)
2023-09-28 00:03:02 +0000flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2023-09-28 00:03:15 +0000yushyin(hzrLYvMpZO@mail.karif.server-speed.net) (Client Quit)
2023-09-28 00:03:36 +0000yushyin(RKULrKe6QT@mail.karif.server-speed.net)
2023-09-28 00:03:58 +0000jj_(uid620921@id-620921.hampstead.irccloud.com)
2023-09-28 00:04:07 +0000Dykam(Dykam@dykam.nl)
2023-09-28 00:04:17 +0000sm2n(ae95cb1267@user/sm2n)
2023-09-28 00:04:26 +0000elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
2023-09-28 00:04:27 +0000pounce(~pounce@user/cute/pounce) (Ping timeout: 260 seconds)
2023-09-28 00:04:28 +0000Teacup(~teacup@user/teacup)
2023-09-28 00:04:56 +0000evanrelf(3addc196af@2604:bf00:561:2000::f0)
2023-09-28 00:05:11 +0000[exa](~exa@srv3n.blesmrt.net)
2023-09-28 00:05:14 +0000Igloo(~ian@matrix.chaos.earth.li)
2023-09-28 00:05:17 +0000Rembane(~Rembane@li346-36.members.linode.com)
2023-09-28 00:05:20 +0000Everything(~Everythin@static.208.206.21.65.clients.your-server.de)
2023-09-28 00:05:20 +0000mhatta(~mhatta@www21123ui.sakura.ne.jp)
2023-09-28 00:05:22 +0000TMA(tma@twin.jikos.cz)
2023-09-28 00:05:24 +0000dostoyevsky2(~sck@static.251.39.47.78.clients.your-server.de)
2023-09-28 00:05:28 +0000dostoyevsky2(~sck@static.251.39.47.78.clients.your-server.de) (Changing host)
2023-09-28 00:05:28 +0000dostoyevsky2(~sck@user/dostoyevsky2)
2023-09-28 00:05:29 +0000jakzale(6291399afa@user/jakzale)
2023-09-28 00:05:37 +0000micro(micro@2a01:7e00::f03c:91ff:fe70:1d14)
2023-09-28 00:05:37 +0000byorgey(~byorgey@155.138.238.211)
2023-09-28 00:05:38 +0000meooow(~meooow@2400:6180:100:d0::ad9:e001)
2023-09-28 00:05:38 +0000quintasan(~quassel@quintasan.pl)
2023-09-28 00:05:42 +0000tomku(~tomku@141-126-184-057.res.spectrum.com)
2023-09-28 00:05:43 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6)
2023-09-28 00:06:06 +0000micro(micro@2a01:7e00::f03c:91ff:fe70:1d14) (Changing host)
2023-09-28 00:06:06 +0000micro(micro@user/micro)
2023-09-28 00:06:10 +0000tomku(~tomku@141-126-184-057.res.spectrum.com) (Changing host)
2023-09-28 00:06:10 +0000tomku(~tomku@user/tomku)
2023-09-28 00:06:48 +0000berberman(~berberman@user/berberman)
2023-09-28 00:07:30 +0000andreas303(andreas303@is.drunk.and.ready-to.party)
2023-09-28 00:07:39 +0000lottaquestions_(~nick@2607:fa49:503d:b200:19de:bb18:f703:bd80)
2023-09-28 00:07:52 +0000hexology(~hexology@user/hexology)
2023-09-28 00:07:54 +0000dispater(~dispater@mail.brprice.uk)
2023-09-28 00:08:05 +0000lockywolf(~lockywolf@public.lockywolf.net)
2023-09-28 00:08:06 +0000urdh(~urdh@user/urdh)
2023-09-28 00:08:19 +0000madnight(~madnight@static.59.103.201.195.clients.your-server.de)
2023-09-28 00:08:19 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-cee1-c701-fc94-6966.res6.spectrum.com)
2023-09-28 00:08:26 +0000Fischmiep(~Fischmiep@user/Fischmiep)
2023-09-28 00:08:27 +0000V_(~v@ircpuzzles/2022/april/winner/V)
2023-09-28 00:08:32 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-09-28 00:08:34 +0000KBar(kbar@is.drunk.and.ready-to.party)
2023-09-28 00:08:37 +0000cpli(77fc530071@2604:bf00:561:2000::252)
2023-09-28 00:08:38 +0000kraftwerk28(~kraftwerk@164.92.219.160)
2023-09-28 00:08:42 +0000jludwig(~justin@li657-110.members.linode.com)
2023-09-28 00:08:46 +0000gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2023-09-28 00:08:47 +0000adium(adium@user/adium)
2023-09-28 00:08:59 +0000telser(~quassel@user/telser)
2023-09-28 00:08:59 +0000MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99)
2023-09-28 00:09:06 +0000Ram-Z(~Ram-Z@li1814-254.members.linode.com)
2023-09-28 00:09:29 +0000probie(cc0b34050a@user/probie)
2023-09-28 00:09:33 +0000natto(~natto@129.154.243.159)
2023-09-28 00:10:05 +0000phma(~phma@2001:5b0:2172:8a38:8e65:9c01:9923:6726) (Ping timeout: 240 seconds)
2023-09-28 00:10:17 +0000Vq(~vq@90-225-115-195-no122.tbcn.telia.com)
2023-09-28 00:10:23 +0000Hecate(~mariposa@user/hecate)
2023-09-28 00:10:27 +0000ft(~ft@p3e9bc680.dip0.t-ipconnect.de)
2023-09-28 00:10:27 +0000cjay(cjay@nerdbox.nerd2nerd.org)
2023-09-28 00:10:27 +0000stilgart(~Christoph@chezlefab.net)
2023-09-28 00:10:29 +0000tureba(~tureba@tureba.org)
2023-09-28 00:10:48 +0000meejah(~meejah@rutas.meejah.ca)
2023-09-28 00:10:57 +0000jjhoo(~jahakala@user/jjhoo)
2023-09-28 00:11:08 +0000pounce(~pounce@user/cute/pounce)
2023-09-28 00:11:50 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-09-28 00:11:56 +0000hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2023-09-28 00:11:58 +0000ringo___(~ringo@157.230.117.128)
2023-09-28 00:11:59 +0000andjjj23(~irc@107.170.228.47)
2023-09-28 00:11:59 +0000drlkf(~drlkf@192.184.163.34.bc.googleusercontent.com)
2023-09-28 00:12:04 +0000s4msung(pcWAavz3xz@user/s4msung)
2023-09-28 00:12:38 +0000kmein(~weechat@user/kmein)
2023-09-28 00:12:40 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2023-09-28 00:14:52 +0000yushyin(RKULrKe6QT@mail.karif.server-speed.net) (Quit: WeeChat 4.0.4)
2023-09-28 00:15:02 +0000yushyin(9DYMgg4QG5@mail.karif.server-speed.net)
2023-09-28 00:17:44 +0000nyc(~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com)
2023-09-28 00:24:44 +0000esph(~weechat@user/esph) (Ping timeout: 248 seconds)
2023-09-28 00:25:34 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
2023-09-28 00:29:39 +0000son0p(~ff@181.136.122.143) (Ping timeout: 245 seconds)
2023-09-28 00:30:43 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-09-28 00:30:43 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-09-28 00:30:43 +0000wroathe(~wroathe@user/wroathe)
2023-09-28 00:35:04 +0000leah2(~leah@vuxu.org) (Ping timeout: 245 seconds)
2023-09-28 00:39:59 +0000lilata(~lilata@static.5.54.140.128.clients.your-server.de)
2023-09-28 00:40:56 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 00:43:07 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2023-09-28 00:45:45 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-09-28 00:47:35 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-09-28 00:48:13 +0000leah2(~leah@vuxu.org)
2023-09-28 00:48:43 +0000puke(~puke@user/puke)
2023-09-28 00:51:28 +0000Adran(~adran@botters/adran) (Quit: Este é o fim.)
2023-09-28 00:58:21 +0000Adran(~adran@botters/adran)
2023-09-28 01:04:47 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 01:08:50 +0000V_V
2023-09-28 01:13:58 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-28 01:16:41 +0000leah2(~leah@vuxu.org) (Ping timeout: 260 seconds)
2023-09-28 01:19:31 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-09-28 01:27:09 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds)
2023-09-28 01:29:11 +0000cptaffe(~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in)
2023-09-28 01:29:24 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-09-28 01:30:14 +0000cptaffe(~cptaffe@user/cptaffe)
2023-09-28 01:31:03 +0000leah2(~leah@vuxu.org)
2023-09-28 01:36:37 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-09-28 01:37:00 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-09-28 01:37:51 +0000otto_s(~user@p5b044302.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-09-28 01:39:52 +0000otto_s(~user@p5b0443b5.dip0.t-ipconnect.de)
2023-09-28 01:39:56 +0000leah2(~leah@vuxu.org) (Ping timeout: 272 seconds)
2023-09-28 01:54:07 +0000xff0x(~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2) (Ping timeout: 260 seconds)
2023-09-28 02:01:41 +0000haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com)
2023-09-28 02:09:14 +0000td_(~td@i53870923.versanet.de) (Ping timeout: 245 seconds)
2023-09-28 02:11:15 +0000td_(~td@i53870927.versanet.de)
2023-09-28 02:16:26 +0000leah2(~leah@vuxu.org)
2023-09-28 02:19:45 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-09-28 02:19:45 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-09-28 02:19:45 +0000finn_elijaFinnElija
2023-09-28 02:22:27 +0000dbeard(~dbeard@97-120-206-43.ptld.qwest.net)
2023-09-28 02:26:27 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-09-28 02:33:36 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-09-28 02:36:01 +0000leah2(~leah@vuxu.org) (Ping timeout: 255 seconds)
2023-09-28 02:38:01 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Remote host closed the connection)
2023-09-28 02:38:04 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-09-28 02:38:16 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6)
2023-09-28 02:40:55 +0000son0p(~ff@181.136.122.143)
2023-09-28 02:56:44 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds)
2023-09-28 02:58:29 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-09-28 03:01:05 +0000dbeard(~dbeard@97-120-206-43.ptld.qwest.net) (Quit: Konversation terminated!)
2023-09-28 03:24:09 +0000smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2023-09-28 03:25:29 +0000robertm(robertm@lattice.rojoma.com) (Quit: WeeChat 3.8)
2023-09-28 03:25:39 +0000robertm(robertm@lattice.rojoma.com)
2023-09-28 03:29:04 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 03:33:56 +0000sm(~sm@plaintextaccounting/sm) (Ping timeout: 272 seconds)
2023-09-28 03:34:57 +0000leah2(~leah@vuxu.org)
2023-09-28 03:35:05 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-09-28 03:42:15 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 03:54:23 +0000gehmehgeh(~user@user/gehmehgeh)
2023-09-28 03:55:37 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2023-09-28 03:57:22 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 272 seconds)
2023-09-28 03:58:56 +0000aforemny_(~aforemny@2001:9e8:6cc7:ea00:62c9:f31e:c08b:d2de)
2023-09-28 03:58:57 +0000aforemny(~aforemny@2001:9e8:6cdf:2000:71a7:5333:c9dd:787) (Ping timeout: 260 seconds)
2023-09-28 04:00:14 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-28 04:01:01 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 04:01:24 +0000paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com)
2023-09-28 04:05:07 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-09-28 04:05:47 +0000cptaffe(~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in)
2023-09-28 04:06:19 +0000todi(~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2023-09-28 04:06:55 +0000cptaffe(~cptaffe@user/cptaffe)
2023-09-28 04:08:43 +0000danza(~francesco@151.37.166.83)
2023-09-28 04:08:56 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-09-28 04:09:23 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-09-28 04:13:26 +0000Fischmiep(~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds)
2023-09-28 04:14:05 +0000johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-09-28 04:15:20 +0000danza(~francesco@151.37.166.83) (Ping timeout: 255 seconds)
2023-09-28 04:23:20 +0000space100051(~space1000@user/space1000)
2023-09-28 04:24:22 +0000space100051spacetaco
2023-09-28 04:26:03 +0000cptaffe(~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in)
2023-09-28 04:27:06 +0000cptaffe(~cptaffe@user/cptaffe)
2023-09-28 04:28:15 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds)
2023-09-28 04:40:26 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds)
2023-09-28 04:41:04 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2023-09-28 04:44:52 +0000spacetaco(~space1000@user/space1000) (Ping timeout: 272 seconds)
2023-09-28 04:48:09 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 04:52:31 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 04:52:42 +0000dhil(~dhil@2001:8e0:2014:3100:2a34:ac87:c9d1:ec13)
2023-09-28 04:53:17 +0000johnw(~johnw@69.62.242.138)
2023-09-28 04:55:43 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 04:57:11 +0000sm(~sm@plaintextaccounting/sm) (Ping timeout: 260 seconds)
2023-09-28 04:59:47 +0000qqq(~qqq@92.43.167.61)
2023-09-28 05:01:22 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-09-28 05:02:06 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 05:02:36 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds)
2023-09-28 05:03:05 +0000dhil(~dhil@2001:8e0:2014:3100:2a34:ac87:c9d1:ec13) (Ping timeout: 240 seconds)
2023-09-28 05:10:58 +0000acidjnk_new(~acidjnk@p200300d6e7072f601c835531c1f16ce9.dip0.t-ipconnect.de)
2023-09-28 05:13:23 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-09-28 05:15:43 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-28 05:16:51 +0000dcoutts(~duncan@88.211.110.163)
2023-09-28 05:17:21 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 05:17:29 +0000danse-nr3(~francesco@151.37.166.83)
2023-09-28 05:18:01 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2023-09-28 05:18:17 +0000Fischmiep(~Fischmiep@user/Fischmiep)
2023-09-28 05:18:46 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
2023-09-28 05:19:24 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2023-09-28 05:20:59 +0000ubert(~Thunderbi@77.119.205.80.wireless.dyn.drei.com)
2023-09-28 05:21:10 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-09-28 05:25:28 +0000michalz(~michalz@185.246.204.125)
2023-09-28 05:26:34 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 05:27:20 +0000Fischmiep(~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds)
2023-09-28 05:31:05 +0000sm(~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds)
2023-09-28 05:33:46 +0000chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
2023-09-28 05:35:49 +0000tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-09-28 05:37:01 +0000todi(~todi@p4fd1a856.dip0.t-ipconnect.de)
2023-09-28 05:41:31 +0000todi(~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-09-28 05:43:37 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-cee1-c701-fc94-6966.res6.spectrum.com) (Quit: Leaving)
2023-09-28 05:44:01 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-288d-d437-33d3-7e96.res6.spectrum.com)
2023-09-28 05:46:51 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-09-28 05:50:01 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-28 05:54:30 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-09-28 05:56:53 +0000hiyori(~hiyori@user/hiyori)
2023-09-28 06:01:24 +0000CiaoSen(~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef)
2023-09-28 06:09:11 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds)
2023-09-28 06:10:14 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-09-28 06:13:19 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-28 06:13:51 +0000gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2023-09-28 06:14:13 +0000chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 252 seconds)
2023-09-28 06:15:39 +0000chiselfuse(~chiselfus@user/chiselfuse)
2023-09-28 06:16:07 +0000gehmehgeh(~user@user/gehmehgeh)
2023-09-28 06:16:51 +0000 <danse-nr3> good morning all. I was thinking of a solution for safety with auto JSON deriving. When one uses auto deriving, changing a type can have far-reaching consequences. I guess a compact approach should use generic programming.
2023-09-28 06:16:52 +0000 <danse-nr3> The main problem that comes to mind is catching changes in `toJSON` results without skipping relevant values. This reminds me of quickcheck. Has anyone heard of an existing tool or ideas about a solution i could apply here?
2023-09-28 06:18:13 +0000Fischmiep(~Fischmiep@user/Fischmiep)
2023-09-28 06:18:46 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 06:20:28 +0000lottaquestions_(~nick@2607:fa49:503d:b200:19de:bb18:f703:bd80) (Remote host closed the connection)
2023-09-28 06:20:54 +0000lottaquestions_(~nick@2607:fa49:503d:b200:88c7:72c9:dd7f:ebe3)
2023-09-28 06:23:40 +0000sm(~sm@plaintextaccounting/sm) (Ping timeout: 272 seconds)
2023-09-28 06:25:24 +0000euleritian(~euleritia@77.22.252.18)
2023-09-28 06:26:12 +0000dcoutts(~duncan@88.211.110.163) (Remote host closed the connection)
2023-09-28 06:26:32 +0000dcoutts(~duncan@88.211.110.163)
2023-09-28 06:30:23 +0000hiyori99(~hiyori@user/hiyori)
2023-09-28 06:30:25 +0000hiyori99(~hiyori@user/hiyori) (Client Quit)
2023-09-28 06:32:37 +0000qqq(~qqq@92.43.167.61) (Quit: Lost terminal)
2023-09-28 06:37:23 +0000qqq(~qqq@92.43.167.61)
2023-09-28 06:38:04 +0000todi(~todi@p4fd1a856.dip0.t-ipconnect.de)
2023-09-28 06:40:41 +0000dcoutts(~duncan@88.211.110.163) (Ping timeout: 255 seconds)
2023-09-28 06:42:56 +0000todi(~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-09-28 06:48:47 +0000Fischmiep(~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds)
2023-09-28 06:49:10 +0000dcoutts(~duncan@sgyl-38-b2-v4wan-166939-cust201.vm6.cable.virginm.net)
2023-09-28 06:49:41 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds)
2023-09-28 06:49:52 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:92af:21b8:afdb:6256)
2023-09-28 06:54:15 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2023-09-28 06:58:10 +0000vpan(~vpan@212.117.1.172)
2023-09-28 06:58:28 +0000vpanGuest9411
2023-09-28 06:59:03 +0000Guest9411vpan
2023-09-28 06:59:45 +0000misterfish(~misterfis@87.215.131.102)
2023-09-28 07:00:18 +0000coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-09-28 07:04:51 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 07:05:54 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-28 07:06:33 +0000vpan(~vpan@212.117.1.172) (Read error: Connection reset by peer)
2023-09-28 07:06:50 +0000vpan(~vpan@212.117.1.172)
2023-09-28 07:11:27 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-28 07:24:55 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Remote host closed the connection)
2023-09-28 07:25:02 +0000econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-28 07:36:35 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 07:36:44 +0000Fischmiep(~Fischmiep@user/Fischmiep)
2023-09-28 07:38:24 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 272 seconds)
2023-09-28 07:39:09 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
2023-09-28 07:40:46 +0000Jackneill(~Jackneill@20014C4E1E0E96003FA457C0D681E6D4.dsl.pool.telekom.hu)
2023-09-28 07:41:34 +0000sm(~sm@plaintextaccounting/sm) (Ping timeout: 272 seconds)
2023-09-28 07:44:00 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 07:45:03 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-28 07:47:21 +0000mc47(~mc47@xmonad/TheMC47)
2023-09-28 07:47:27 +0000vglfr(~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 240 seconds)
2023-09-28 07:49:40 +0000dcoutts(~duncan@sgyl-38-b2-v4wan-166939-cust201.vm6.cable.virginm.net) (Ping timeout: 255 seconds)
2023-09-28 07:55:46 +0000ph88(~ph88@ip5b406c07.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-09-28 07:56:54 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-09-28 07:57:18 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-28 07:58:45 +0000dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk)
2023-09-28 07:59:16 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6)
2023-09-28 08:03:15 +0000todi(~todi@p4fd1a856.dip0.t-ipconnect.de)
2023-09-28 08:03:51 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Ping timeout: 260 seconds)
2023-09-28 08:05:10 +0000danse-nr3_(~francesco@151.35.222.149)
2023-09-28 08:06:38 +0000euleritian(~euleritia@77.22.252.18) (Ping timeout: 255 seconds)
2023-09-28 08:07:40 +0000todi(~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-09-28 08:07:56 +0000danse-nr3(~francesco@151.37.166.83) (Ping timeout: 260 seconds)
2023-09-28 08:10:07 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 08:14:49 +0000cfricke(~cfricke@user/cfricke)
2023-09-28 08:15:23 +0000todi(~todi@p4fd1a856.dip0.t-ipconnect.de)
2023-09-28 08:18:19 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 08:18:46 +0000phma(phma@2001:5b0:211b:87c8:28d4:e22f:2ee:7f96)
2023-09-28 08:22:44 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-28 08:25:04 +0000codedmart(~codedmart@li335-49.members.linode.com) (Ping timeout: 245 seconds)
2023-09-28 08:25:21 +0000codedmart(~codedmart@li335-49.members.linode.com)
2023-09-28 08:30:42 +0000privacy(~privacy@user/privacy)
2023-09-28 08:30:55 +0000jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-09-28 08:31:10 +0000jinsun(~jinsun@user/jinsun)
2023-09-28 08:32:47 +0000aku(~aku@65.108.245.241) (Ping timeout: 258 seconds)
2023-09-28 08:32:55 +0000aku(~aku@65.108.245.241)
2023-09-28 08:34:23 +0000renpose(~renpose@user/renpose)
2023-09-28 08:36:12 +0000solution(~solution@92-249-141-207.pool.digikabel.hu) (K-Lined)
2023-09-28 08:38:01 +0000solution(~solution@94-21-82-218.pool.digikabel.hu)
2023-09-28 08:38:24 +0000hiyori(~hiyori@user/hiyori) (Quit: Client closed)
2023-09-28 08:40:06 +0000gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2023-09-28 08:40:31 +0000TheCoffeMaker_(~TheCoffeM@201.235.1.143) (Ping timeout: 252 seconds)
2023-09-28 08:40:53 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2023-09-28 08:42:46 +0000gehmehgeh(~user@user/gehmehgeh)
2023-09-28 08:42:49 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 08:43:16 +0000sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-09-28 08:46:04 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-28 08:52:16 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6)
2023-09-28 09:03:11 +0000notzmv(~zmv@user/notzmv)
2023-09-28 09:15:03 +0000ft(~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving)
2023-09-28 09:17:29 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-28 09:17:35 +0000danse-nr3_(~francesco@151.35.222.149) (Remote host closed the connection)
2023-09-28 09:17:55 +0000danse-nr3_(~francesco@151.35.222.149)
2023-09-28 09:18:38 +0000 <lyxia> danse-nr3_: "don't use deriving" is a possible solution there
2023-09-28 09:22:41 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-09-28 09:29:03 +0000 <dminuoso> Indeed, this is one of those downsides of typeclass based de-/serialization approaches.
2023-09-28 09:29:22 +0000 <dminuoso> Changing types will compile but alter the behavior, which runs opposite of all the type safety we tend to embrace in Haskell.
2023-09-28 09:30:15 +0000 <dminuoso> Typeclasses are the Haskell way of implicit coercions.
2023-09-28 09:32:58 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-09-28 09:46:05 +0000califax(~califax@user/califx) (Remote host closed the connection)
2023-09-28 09:52:43 +0000 <haskellbridge> <t​ewuzij> What would deriving do?
2023-09-28 09:54:36 +0000subhuman(~user@user/subhuman)
2023-09-28 09:55:09 +0000subhuman(~user@user/subhuman) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2023-09-28 09:56:43 +0000 <danse-nr3_> they refer to what i asked some hours ago tewuzij: https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1094038#trid1094038
2023-09-28 09:57:02 +0000califax(~califax@user/califx)
2023-09-28 10:00:54 +0000chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 272 seconds)
2023-09-28 10:03:42 +0000smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-28 10:16:06 +0000CiaoSen(~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds)
2023-09-28 10:17:35 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 255 seconds)
2023-09-28 10:21:30 +0000jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-09-28 10:22:30 +0000jinsun(~jinsun@user/jinsun)
2023-09-28 10:31:58 +0000__monty__(~toonn@user/toonn)
2023-09-28 10:34:54 +0000aforemny_aforemny
2023-09-28 10:35:12 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-28 10:49:29 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-09-28 10:50:41 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 10:54:16 +0000privacy(~privacy@user/privacy) (Remote host closed the connection)
2023-09-28 10:56:40 +0000cpressey(~cpressey@host-92-10-148-184.as13285.net)
2023-09-28 11:03:10 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-09-28 11:03:51 +0000jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds)
2023-09-28 11:05:53 +0000jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-09-28 11:11:34 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 11:13:23 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection)
2023-09-28 11:15:58 +0000hseg(~gesh@77.137.68.224)
2023-09-28 11:16:25 +0000qqq(~qqq@92.43.167.61) (Quit: Lost terminal)
2023-09-28 11:20:35 +0000danse-nr3_(~francesco@151.35.222.149) (Ping timeout: 255 seconds)
2023-09-28 11:21:12 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-28 11:22:11 +0000infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2023-09-28 11:22:48 +0000infinity0(~infinity0@pwned.gg)
2023-09-28 11:23:35 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-09-28 11:24:35 +0000poscat(~poscat@2a09:bac1:19a0:58::1d3:53)
2023-09-28 11:25:16 +0000danse-nr3_(~francesco@151.35.222.149)
2023-09-28 11:29:05 +0000acidjnk_new(~acidjnk@p200300d6e7072f601c835531c1f16ce9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-09-28 11:32:10 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-28 11:33:33 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 11:33:54 +0000poscat(~poscat@2a09:bac1:19a0:58::1d3:53) (Remote host closed the connection)
2023-09-28 11:34:14 +0000poscat(~poscat@2a09:bac5:1f4e:1250::1d3:53)
2023-09-28 11:34:23 +0000bontaq(~user@ool-45707d2c.dyn.optonline.net)
2023-09-28 11:35:24 +0000billchenchina(~billchenc@117.136.52.66)
2023-09-28 11:37:21 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-09-28 11:39:15 +0000ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se)
2023-09-28 11:45:23 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-28 11:49:56 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 11:51:32 +0000acidjnk_new(~acidjnk@p200300d6e7072f60b8a25095474e5a96.dip0.t-ipconnect.de)
2023-09-28 11:52:07 +0000chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
2023-09-28 11:58:56 +0000dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 260 seconds)
2023-09-28 12:03:01 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds)
2023-09-28 12:05:01 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-28 12:05:17 +0000cpressey(~cpressey@host-92-10-148-184.as13285.net) (Quit: Client closed)
2023-09-28 12:05:18 +0000danse-nr3__(~francesco@151.37.139.244)
2023-09-28 12:05:37 +0000danse-nr3_(~francesco@151.35.222.149) (Read error: Connection reset by peer)
2023-09-28 12:07:00 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 12:08:35 +0000poscat(~poscat@2a09:bac5:1f4e:1250::1d3:53) (Leaving)
2023-09-28 12:10:23 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53)
2023-09-28 12:10:32 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds)
2023-09-28 12:10:40 +0000danse-nr3__(~francesco@151.37.139.244) (Ping timeout: 255 seconds)
2023-09-28 12:11:05 +0000CAT_S(apic@brezn3.muc.ccc.de) (Ping timeout: 240 seconds)
2023-09-28 12:11:15 +0000renpose(~renpose@user/renpose) (Quit: Client closed)
2023-09-28 12:11:51 +0000CAT_S(apic@brezn3.muc.ccc.de)
2023-09-28 12:14:00 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-09-28 12:26:49 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-28 12:26:57 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 12:30:55 +0000billchenchina(~billchenc@117.136.52.66) (Ping timeout: 255 seconds)
2023-09-28 12:31:23 +0000danse-nr3__(~francesco@151.37.139.244)
2023-09-28 12:35:53 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-09-28 12:38:07 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-09-28 12:40:56 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 260 seconds)
2023-09-28 12:41:25 +0000vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2023-09-28 12:47:06 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-09-28 12:47:30 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-09-28 12:56:40 +0000cpressey(~cpressey@host-92-10-148-184.as13285.net)
2023-09-28 13:03:09 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-09-28 13:04:32 +0000CAT_S(apic@brezn3.muc.ccc.de) (Ping timeout: 255 seconds)
2023-09-28 13:07:15 +0000CiaoSen(~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef)
2023-09-28 13:08:24 +0000EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2023-09-28 13:08:44 +0000EvanR(~EvanR@user/evanr)
2023-09-28 13:09:13 +0000billchenchina(~billchenc@117.136.52.66)
2023-09-28 13:10:16 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 272 seconds)
2023-09-28 13:17:39 +0000CAT_S(apic@brezn3.muc.ccc.de)
2023-09-28 13:18:02 +0000billchenchina(~billchenc@117.136.52.66) (Ping timeout: 255 seconds)
2023-09-28 13:18:56 +0000billchenchina(~billchenc@2a0c:b641:7a2:230::10)
2023-09-28 13:19:15 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-28 13:22:49 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-09-28 13:22:49 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-09-28 13:22:49 +0000wroathe(~wroathe@user/wroathe)
2023-09-28 13:24:36 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-09-28 13:25:27 +0000dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk)
2023-09-28 13:28:23 +0000billchenchina-(~billchenc@171.113.95.38)
2023-09-28 13:29:16 +0000billchenchina-(~billchenc@171.113.95.38) (Max SendQ exceeded)
2023-09-28 13:30:22 +0000billchenchina-(~billchenc@171.113.147.192)
2023-09-28 13:31:06 +0000billchenchina(~billchenc@2a0c:b641:7a2:230::10) (Ping timeout: 260 seconds)
2023-09-28 13:32:09 +0000billchenchina-(~billchenc@171.113.147.192) (Max SendQ exceeded)
2023-09-28 13:32:28 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53) (Quit: Bye)
2023-09-28 13:32:50 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53)
2023-09-28 13:33:53 +0000billchenchina-(~billchenc@171.113.147.192)
2023-09-28 13:34:40 +0000holsta(~holsta@user/holsta)
2023-09-28 13:34:46 +0000tomku(~tomku@user/tomku) (Ping timeout: 252 seconds)
2023-09-28 13:35:08 +0000hseg(~gesh@77.137.68.224) (Ping timeout: 255 seconds)
2023-09-28 13:35:08 +0000tomku(~tomku@user/tomku)
2023-09-28 13:36:54 +0000 <cpressey> Hi, I have a question about free monads.  I understand the Maybe monad is the Free monad over the functor Unit (data Unit a = MkUnit).  I can see how that is, I think.  But.  What functor is the Either monad the free monad over?  I have a much harder time seeing that.
2023-09-28 13:37:36 +0000gatekempt(~gatekempt@user/gatekempt)
2023-09-28 13:37:48 +0000 <dolio> Const e
2023-09-28 13:41:25 +0000 <cpressey> Thanks dolio.
2023-09-28 13:42:47 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-09-28 13:43:01 +0000Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 252 seconds)
2023-09-28 13:46:05 +0000 <holsta> Hi, I am totally new to Haskell and I am looking at hackage for postgrest. It says version 9.0.1, but on GitHub there is a version 11.2.0. Can I install directly from GitHub with, say, cabal?
2023-09-28 13:46:31 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds)
2023-09-28 13:46:48 +0000mmhat(~mmh@p200300f1c74e6fd2ee086bfffe095315.dip0.t-ipconnect.de)
2023-09-28 13:48:58 +0000 <mauke> apparently with cabal.project: https://cabal.readthedocs.io/en/stable/cabal-project.html#specifying-packages-from-remote-version-…
2023-09-28 13:49:49 +0000 <holsta> Thank you mauke. Do you know if it's normal in the Haskell world that new versions that not published to hackage?
2023-09-28 13:50:50 +0000 <mauke> no, that seems weird
2023-09-28 13:51:19 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 13:52:53 +0000 <haskellbridge> <s​m> most reputable packages will have their latest release on hackage. There are some exceptions
2023-09-28 13:53:22 +0000 <haskellbridge> <s​m> latest stable/recommended release
2023-09-28 13:53:45 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-28 13:54:34 +0000hiyori(~hiyori@user/hiyori)
2023-09-28 13:55:01 +0000 <holsta> Thank you sm. Turns out PostgREST has an open issue to automate hackage releases. Ha.
2023-09-28 13:55:29 +0000 <int-e> holsta: but see the final comment there
2023-09-28 13:55:53 +0000 <holsta> Looks blocked, yes.
2023-09-28 13:56:23 +0000 <int-e> See also #2422 I guess which indicates that they may not be eager to fix this any time soon, or at all: https://github.com/PostgREST/postgrest/issues/2422
2023-09-28 13:57:06 +0000sm(~sm@plaintextaccounting/sm)
2023-09-28 13:57:56 +0000 <holsta> Maybe not the ideal project to throw myself at as a Haskell new-person, then.
2023-09-28 13:59:01 +0000gatekempt(~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-09-28 13:59:14 +0000xff0x(~xff0x@2405:6580:b080:900:99ba:aaa8:54a8:3a75)
2023-09-28 14:01:39 +0000hiyori(~hiyori@user/hiyori) (Quit: Client closed)
2023-09-28 14:01:41 +0000sm(~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds)
2023-09-28 14:02:14 +0000hiyori(~hiyori@user/hiyori)
2023-09-28 14:03:59 +0000 <danse-nr3__> postgrest is written in haskell, but it is not a project that requires haskell knowledge to be used. The readme shows that they expect users to download a binary and run it, holsta. So in any case, lack of haskell knowledge should not be a blocker there
2023-09-28 14:05:32 +0000 <holsta> danse-nr3__: Right, I wanted to port it to OpenBSD.
2023-09-28 14:05:58 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-09-28 14:06:36 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53) (Ping timeout: 240 seconds)
2023-09-28 14:06:36 +0000 <holsta> But I just found some cabal v2-build tips. I'll try that.
2023-09-28 14:06:45 +0000 <holsta> Thank you all for your input so far. Very kind of you.
2023-09-28 14:09:15 +0000meinside(uid24933@id-24933.helmsley.irccloud.com)
2023-09-28 14:09:20 +0000 <danse-nr3__> thanks to you for trying a port. Are you familiar with nix? Personally i gave up with package managers time ago, and currently i try to use platform-independent dependency tracking
2023-09-28 14:10:04 +0000 <holsta> I have seen one other OpenBSD person talk about Nix, but I have zero knowledge otherwise.
2023-09-28 14:12:12 +0000poscat(~poscat@2a09:bac5:1f4f:1250::1d3:53)
2023-09-28 14:16:15 +0000CAT_S(apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer)
2023-09-28 14:19:19 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-09-28 14:19:57 +0000bontaq`(~user@165.1.205.230)
2023-09-28 14:21:29 +0000bontaq(~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 255 seconds)
2023-09-28 14:23:06 +0000stites(~stites@130.44.147.204) (Ping timeout: 260 seconds)
2023-09-28 14:23:14 +0000stites(~stites@2607:fb91:de3:8319:b090:fbd:4350:8f88)
2023-09-28 14:25:49 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
2023-09-28 14:32:06 +0000CAT_S(apic@brezn3.muc.ccc.de)
2023-09-28 14:38:22 +0000stites(~stites@2607:fb91:de3:8319:b090:fbd:4350:8f88) (Read error: Connection reset by peer)
2023-09-28 14:38:42 +0000stites(~stites@155.33.133.38)
2023-09-28 14:39:26 +0000vglfr(~vglfr@188.239.233.89)
2023-09-28 14:39:27 +0000stites(~stites@155.33.133.38) (Read error: Connection reset by peer)
2023-09-28 14:40:09 +0000bontaq``(~user@ool-45707d2c.dyn.optonline.net)
2023-09-28 14:40:19 +0000stites(~stites@155.33.133.38)
2023-09-28 14:41:44 +0000bontaq`(~user@165.1.205.230) (Ping timeout: 255 seconds)
2023-09-28 14:43:47 +0000johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-09-28 14:46:25 +0000shapr(~user@2600:1700:c640:3100:1e6f:a11f:46ec:704a)
2023-09-28 14:49:16 +0000poscat(~poscat@2a09:bac5:1f4f:1250::1d3:53) (Ping timeout: 260 seconds)
2023-09-28 14:50:29 +0000poscat(~poscat@2a09:bac5:1f4c:1250::1d3:53)
2023-09-28 14:55:24 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds)
2023-09-28 14:57:05 +0000hiyori(~hiyori@user/hiyori) (Quit: Client closed)
2023-09-28 14:57:17 +0000poscat(~poscat@2a09:bac5:1f4c:1250::1d3:53) (Remote host closed the connection)
2023-09-28 14:57:38 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53)
2023-09-28 15:01:42 +0000Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-09-28 15:02:38 +0000johnw(~johnw@69.62.242.138)
2023-09-28 15:04:41 +0000danse-nr3__(~francesco@151.37.139.244) (Ping timeout: 255 seconds)
2023-09-28 15:09:58 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53) (Ping timeout: 272 seconds)
2023-09-28 15:09:58 +0000CiaoSen(~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds)
2023-09-28 15:11:49 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 15:12:49 +0000poscat(~poscat@2a09:bac5:1f4b:1250::1d3:53)
2023-09-28 15:19:11 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:92af:21b8:afdb:6256) (Quit: WeeChat 2.8)
2023-09-28 15:20:41 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2023-09-28 15:22:31 +0000chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds)
2023-09-28 15:23:25 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Read error: Connection reset by peer)
2023-09-28 15:23:27 +0000gatekempt(~gatekempt@user/gatekempt)
2023-09-28 15:23:43 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6)
2023-09-28 15:26:03 +0000 <absence> OverloadedRecordDot doesn't seem to work with fields that have types like "forall m. MonadIO m => m ()", whereas "IO ()" works fine. The error is "Could not deduce (HasField "fieldName" TypeName (m ()))" etc. Is there a trick to make it work?
2023-09-28 15:30:04 +0000thyriaen(~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1)
2023-09-28 15:32:49 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 15:33:47 +0000tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-09-28 15:34:43 +0000cpressey(~cpressey@host-92-10-148-184.as13285.net) (Ping timeout: 245 seconds)
2023-09-28 15:35:04 +0000alphacentauri(alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 245 seconds)
2023-09-28 15:35:26 +0000 <geekosaur> "If a record field has a polymorphic type (and hence the selector function is higher-rank), the corresponding HasField constraint will not be solved, because doing so would violate the functional dependency on HasField and/or require impredicativity."
2023-09-28 15:35:32 +0000alphacentauri(alphacenta@gateway/vpn/protonvpn/alphacentauri)
2023-09-28 15:36:01 +0000 <geekosaur> you might be able to write the instance manually with `ImpredicativeTypes`
2023-09-28 15:36:14 +0000danse-nr3__(~francesco@151.37.139.244)
2023-09-28 15:36:18 +0000 <[Leary]> You can't. It doesn't apply to constraints.
2023-09-28 15:36:39 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-09-28 15:37:55 +0000cpressey(~cpressey@host-92-10-148-184.as13285.net)
2023-09-28 15:39:16 +0000 <absence> Ugh, have I run into this? https://gitlab.haskell.org/ghc/ghc/-/issues/20188
2023-09-28 15:42:33 +0000smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2023-09-28 15:43:44 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.4)
2023-09-28 15:43:56 +0000 <dolio> Is this only a problem because the field type is a type class parameter? If it were a family/associated type instead, would it just work?
2023-09-28 15:44:11 +0000 <absence> That makes NoFieldSelectors a bit less attractive, but oh well. Thanks!
2023-09-28 15:45:39 +0000 <dolio> I.E. it's very awkward to make type class parameters impredicative, because they're eligible to be case analyzed. But this one needn't even be a parameter, it just is one because someone decided to use fundeps.
2023-09-28 15:45:45 +0000chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
2023-09-28 15:45:56 +0000danse-nr3__(~francesco@151.37.139.244) (Read error: Connection reset by peer)
2023-09-28 15:48:53 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-09-28 15:49:02 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-09-28 15:49:29 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 15:49:39 +0000Athas(athas@sigkill.dk) (Ping timeout: 245 seconds)
2023-09-28 15:51:07 +0000Athas(athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d)
2023-09-28 15:52:16 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-09-28 15:52:35 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer)
2023-09-28 15:53:18 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-09-28 15:54:56 +0000poscat(~poscat@2a09:bac5:1f4b:1250::1d3:53) (Ping timeout: 272 seconds)
2023-09-28 15:55:34 +0000bjs(sid190364@user/bjs) (Ping timeout: 252 seconds)
2023-09-28 15:55:44 +0000bjs(sid190364@user/bjs)
2023-09-28 15:55:59 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-09-28 15:59:27 +0000poscat(~poscat@104.28.208.148)
2023-09-28 16:00:11 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-28 16:00:12 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection)
2023-09-28 16:00:36 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-28 16:02:54 +0000Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-190.cust.tzulo.com)
2023-09-28 16:03:30 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-09-28 16:03:36 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-09-28 16:03:48 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 272 seconds)
2023-09-28 16:04:40 +0000CAT_S(apic@brezn3.muc.ccc.de) (Ping timeout: 255 seconds)
2023-09-28 16:09:02 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 16:09:47 +0000wootehfoot(~wootehfoo@user/wootehfoot)
2023-09-28 16:12:06 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-09-28 16:14:10 +0000mmhat(~mmh@p200300f1c74e6fd2ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.5)
2023-09-28 16:14:47 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-09-28 16:15:44 +0000CAT_S(apic@brezn3.muc.ccc.de)
2023-09-28 16:15:51 +0000dhmltb^(~cd@c-66-56-7-24.hsd1.ga.comcast.net)
2023-09-28 16:16:41 +0000stites(~stites@155.33.133.38) (Ping timeout: 255 seconds)
2023-09-28 16:16:51 +0000stites(~stites@155.33.133.38)
2023-09-28 16:17:56 +0000poscat(~poscat@104.28.208.148) (Ping timeout: 260 seconds)
2023-09-28 16:18:06 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-09-28 16:18:22 +0000euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 16:19:02 +0000meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-28 16:19:43 +0000wootehfoot(~wootehfoo@user/wootehfoot)
2023-09-28 16:23:17 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53)
2023-09-28 16:24:14 +0000justsomeguy(~justsomeg@user/justsomeguy)
2023-09-28 16:25:47 +0000dhil(~dhil@2001:8e0:2014:3100:29e3:8177:21fe:94b3)
2023-09-28 16:28:31 +0000dcoutts(~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 255 seconds)
2023-09-28 16:29:04 +0000fr33domlover(~fr33domlo@towards.vision) (Remote host closed the connection)
2023-09-28 16:29:16 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2023-09-28 16:29:28 +0000stites(~stites@155.33.133.38) (Read error: Connection reset by peer)
2023-09-28 16:31:22 +0000stites(~stites@155.33.133.38)
2023-09-28 16:31:26 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds)
2023-09-28 16:33:03 +0000gatekempt(~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-09-28 16:33:09 +0000califax(~califax@user/califx) (Ping timeout: 252 seconds)
2023-09-28 16:33:21 +0000califax_(~califax@user/califx)
2023-09-28 16:33:31 +0000gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2023-09-28 16:33:53 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
2023-09-28 16:34:13 +0000gatekempt(~gatekempt@user/gatekempt)
2023-09-28 16:34:40 +0000califax_califax
2023-09-28 16:35:36 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Remote host closed the connection)
2023-09-28 16:35:53 +0000gehmehgeh(~user@user/gehmehgeh)
2023-09-28 16:36:03 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-09-28 16:39:32 +0000cpressey(~cpressey@host-92-10-148-184.as13285.net) (Quit: Client closed)
2023-09-28 16:41:22 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-09-28 16:41:54 +0000dcoutts(~duncan@88.211.110.163)
2023-09-28 16:44:14 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 16:46:14 +0000dcoutts(~duncan@88.211.110.163) (Remote host closed the connection)
2023-09-28 16:46:37 +0000dcoutts(~duncan@88.211.110.163)
2023-09-28 16:49:31 +0000drdo0(~drdo@bl8-38-186.dsl.telepac.pt)
2023-09-28 16:51:41 +0000drdo(~drdo@bl8-38-186.dsl.telepac.pt) (Ping timeout: 255 seconds)
2023-09-28 16:51:41 +0000drdo0drdo
2023-09-28 16:51:47 +0000dcoutts(~duncan@88.211.110.163) (Ping timeout: 255 seconds)
2023-09-28 16:52:44 +0000danza(~francesco@151.43.91.146)
2023-09-28 16:54:37 +0000Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-190.cust.tzulo.com) (Quit: Leaving)
2023-09-28 17:01:41 +0000space100084(~space1000@user/space1000)
2023-09-28 17:04:13 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds)
2023-09-28 17:09:53 +0000CAT_S(apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer)
2023-09-28 17:10:48 +0000m21it(~m21it@2800:ac:8022:da4a:8407:b9ec:1dda:f545)
2023-09-28 17:12:46 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-09-28 17:13:39 +0000 <m21it> Hello! I have a question about GHCJS. The fact it does not work with non-fully native Haskell libs where is dependency on C code is the fundamental limitation which is impossible or very hard to solve, or it was just not implemented? There are some C -> JS transpilers like emscripten and maybe others, why it was not used? I'm noob in C so I might
2023-09-28 17:13:40 +0000 <m21it> ask some obvious things.
2023-09-28 17:18:54 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 17:19:35 +0000notzmv(~zmv@user/notzmv)
2023-09-28 17:21:01 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-28 17:22:02 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-28 17:22:02 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving)
2023-09-28 17:22:39 +0000 <exarkun> m21it: FYI, a JS backend has been integrated in to ghc as of 9.6 and one supposes may superseded ghcjs in the fullness of time. Also, a wasm backend arrived at roughly the same time.
2023-09-28 17:22:58 +0000danza(~francesco@151.43.91.146) (Ping timeout: 272 seconds)
2023-09-28 17:23:07 +0000 <exarkun> m21it: The wasm support might be more interesting if you have native-code libraries you want to integrate.
2023-09-28 17:23:27 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-09-28 17:23:42 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:3d47:18f4:8e37:c1a4)
2023-09-28 17:25:21 +0000 <EvanR> you got your native-code libraries, then you have your native haskell libraries, which all compiles to native wasm so it runs natively on the browser
2023-09-28 17:25:59 +0000space100084(~space1000@user/space1000) (Ping timeout: 255 seconds)
2023-09-28 17:26:05 +0000CAT_S(apic@brezn3.muc.ccc.de)
2023-09-28 17:26:07 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-09-28 17:26:14 +0000 <m21it> Are there some batteries-included libs for it? Like Miso for GHCJS
2023-09-28 17:29:40 +0000 <exarkun> It's a very fresh space.
2023-09-28 17:29:49 +0000 <exarkun> The batteries are in the mail.
2023-09-28 17:32:59 +0000 <m21it> I guess I'll just wait for the batteries delivery. Thanks!
2023-09-28 17:37:35 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-09-28 17:45:14 +0000 <monochrom> Unpopular opinion: I hate the "batteries" analogy.
2023-09-28 17:46:31 +0000 <haskellbridge> <j​ade> I personally plug my libraries directly into the outlet
2023-09-28 17:46:52 +0000 <dolio> Is it worse than "daily drive" though?
2023-09-28 17:47:06 +0000ski(~ski@88.131.7.247)
2023-09-28 17:47:40 +0000dhil(~dhil@2001:8e0:2014:3100:29e3:8177:21fe:94b3) (Remote host closed the connection)
2023-09-28 17:47:46 +0000 <monochrom> I don't know "daily drive". But if you also bring up the "bare metal" analogy, that's as bad, too.
2023-09-28 17:48:03 +0000 <monochrom> Unpopular opinion: I hate most analogies from programmers!
2023-09-28 17:48:06 +0000 <EvanR> wasm runs on the bare browser
2023-09-28 17:48:21 +0000 <EvanR> natively
2023-09-28 17:48:29 +0000 <haskellbridge> <{NOPINGNICK}> Wait, I can write the messages to IRC directly from the element client? Does it work?
2023-09-28 17:48:58 +0000 <EvanR> alan turing's machine runs on your bare brain
2023-09-28 17:49:02 +0000 <dolio> I don't have the resources to program on bare metal, because I'm programming in the trenches.
2023-09-28 17:49:10 +0000 <monochrom> I think yes. I see: <haskellbridge> <{NOPINGNICK}> Wait, I can write the messages to IRC directly from the element client? Does it work?
2023-09-28 17:49:30 +0000 <EvanR> I also see that
2023-09-28 17:49:40 +0000Sgeo(~Sgeo@user/sgeo)
2023-09-28 17:49:51 +0000 <haskellbridge> <{NOPINGNICK}> Yeah, seems working. Nice. Strange nickname, but it's ok. Should be <21it>
2023-09-28 17:50:00 +0000 <monochrom> You can also write message to IRC by direct nc and /privmsg #haskell hi
2023-09-28 17:50:16 +0000billb(~billb@cpe-66-8-173-22.hawaii.res.rr.com)
2023-09-28 17:50:17 +0000 <monochrom> err without the slash. privmsg #haskell hi
2023-09-28 17:50:24 +0000 <EvanR> you'll have to negotiate bare TLS auth
2023-09-28 17:50:33 +0000 <monochrom> And yes, the command for public channel messages is privmsg >:)
2023-09-28 17:51:11 +0000 <monochrom> I don't use TLS. But you could insert stunnel somewhere...
2023-09-28 17:51:59 +0000m21it(~m21it@2800:ac:8022:da4a:8407:b9ec:1dda:f545) (Quit: Client closed)
2023-09-28 17:52:40 +0000 <monochrom> But on the vein on getting more bare... The TV series Heroes had someone whose brain could do wifi directly...
2023-09-28 17:54:02 +0000 <EvanR> if code runs on bare metal, and the internet is on bare fiber, what is wifi on
2023-09-28 17:54:16 +0000 <EvanR> bare ether?
2023-09-28 17:54:19 +0000 <monochrom> thin air? :)
2023-09-28 17:54:50 +0000 <monochrom> or bare photon field, if you're into QFT
2023-09-28 17:55:47 +0000 <EvanR> I guess ethernet predates wifi on bare ether
2023-09-28 17:55:56 +0000 <monochrom> heh
2023-09-28 17:56:44 +0000 <monochrom> both chips and fibre use silicon.
2023-09-28 17:58:10 +0000 <EvanR> bare metalloid
2023-09-28 18:01:02 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-09-28 18:02:56 +0000justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds)
2023-09-28 18:03:10 +0000danza(~francesco@151.43.91.146)
2023-09-28 18:04:42 +0000danza(~francesco@151.43.91.146) (Remote host closed the connection)
2023-09-28 18:07:03 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-28 18:10:18 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-28 18:11:05 +0000danse-nr3(~francesco@151.43.91.146)
2023-09-28 18:12:10 +0000ski(~ski@88.131.7.247) (Ping timeout: 255 seconds)
2023-09-28 18:13:51 +0000ski(~ski@88.131.7.247)
2023-09-28 18:21:10 +0000hiyori(~hiyori@user/hiyori)
2023-09-28 18:26:00 +0000CAT_S(apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer)
2023-09-28 18:30:03 +0000danse-nr3(~francesco@151.43.91.146) (Remote host closed the connection)
2023-09-28 18:32:17 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-09-28 18:32:18 +0000danza(~francesco@151.43.91.146)
2023-09-28 18:33:03 +0000g(g@libera/staff/glguy) (Remote host closed the connection)
2023-09-28 18:33:07 +0000g(g@libera/staff/glguy)
2023-09-28 18:34:17 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53) (Remote host closed the connection)
2023-09-28 18:36:23 +0000g(g@libera/staff/glguy) (Remote host closed the connection)
2023-09-28 18:36:26 +0000g(g@libera/staff/glguy)
2023-09-28 18:36:39 +0000poscat(~poscat@104.28.208.148)
2023-09-28 18:37:51 +0000hiyori(~hiyori@user/hiyori) (Quit: Client closed)
2023-09-28 18:38:34 +0000danza(~francesco@151.43.91.146) (Ping timeout: 255 seconds)
2023-09-28 18:40:14 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds)
2023-09-28 18:40:56 +0000cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-09-28 18:41:00 +0000cheater_(~Username@user/cheater)
2023-09-28 18:41:00 +0000cheater_cheater
2023-09-28 18:45:54 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 18:47:01 +0000qqq(~qqq@92.43.167.61)
2023-09-28 18:47:31 +0000CAT_S(apic@brezn3.muc.ccc.de)
2023-09-28 18:48:55 +0000CAT_S(apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer)
2023-09-28 19:03:32 +0000vglfr(~vglfr@188.239.233.89) (Read error: Connection reset by peer)
2023-09-28 19:03:52 +0000vglfr(vglfr@gateway/vpn/protonvpn/vglfr)
2023-09-28 19:05:41 +0000CAT_S(apic@brezn3.muc.ccc.de)
2023-09-28 19:06:19 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-28 19:07:10 +0000poscat(~poscat@104.28.208.148) (Remote host closed the connection)
2023-09-28 19:07:31 +0000poscat(~poscat@104.28.208.152)
2023-09-28 19:20:08 +0000 <exarkun> `newtype AES = AES ScrubbedBytes deriving newtype (ByteArrayAccess)`, `newtype AES128 = AES128 AES deriving newtype (ByteArrayAccess)` - why isn't this a valid way to say "make an AES128 ByteArrayAccess instance that is exactly the same as the transitively contained ScrubbedBytes' instance"?
2023-09-28 19:20:37 +0000 <exarkun> (it type checks fine, it just has the wrong behavior)
2023-09-28 19:22:10 +0000Pickchea(~private@user/pickchea)
2023-09-28 19:25:23 +0000phma(phma@2001:5b0:211b:87c8:28d4:e22f:2ee:7f96) (Read error: Connection reset by peer)
2023-09-28 19:26:32 +0000Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection)
2023-09-28 19:26:41 +0000 <monochrom> Hrm interesting. But that's not what I observed with newtype I1 = I1 Int deriving newtype Show; newtype I2 = I2 I1 deriving newtype Show
2023-09-28 19:26:43 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds)
2023-09-28 19:27:04 +0000 <monochrom> show (I2 (I1 5)) == show 5
2023-09-28 19:27:11 +0000 <exarkun> Hm :/
2023-09-28 19:28:25 +0000gatekempt(~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-09-28 19:29:27 +0000 <exarkun> oh noes am I making the exact same mistake again
2023-09-28 19:29:34 +0000 <exarkun> I think I am
2023-09-28 19:29:41 +0000 <monochrom> What is that mistake?
2023-09-28 19:29:51 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-09-28 19:30:16 +0000 <exarkun> assuming that just because I supplied a ByteString with interpretation A, the ByteString I find inside the resulting structure also has a meaningful interpretation under A
2023-09-28 19:30:32 +0000 <exarkun> which is a mistake I made back in march or so
2023-09-28 19:30:36 +0000 <exarkun> with this same library
2023-09-28 19:30:37 +0000 <exarkun> and this same type
2023-09-28 19:31:12 +0000 <exarkun> so the derived ByteArrayAccess is working fine, I'm just wrong in my expectation about the bytes it reveals
2023-09-28 19:32:20 +0000 <exarkun> and I filed an issue with cryptonite at the time and then had my mistake explained to me
2023-09-28 19:32:29 +0000 <monochrom> haha
2023-09-28 19:32:35 +0000 <exarkun> which I _thought_ I kind of remembered
2023-09-28 19:32:43 +0000 <exarkun> but when I looked in the _crypton_ issue tracker I didn't find it
2023-09-28 19:32:45 +0000 <monochrom> This is why an independent controlled experiment is so important.
2023-09-28 19:32:47 +0000 <exarkun> so I filed it again
2023-09-28 19:33:04 +0000 <exarkun> also, caves for crawling deep inside of.
2023-09-28 19:35:10 +0000CAT_S(apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer)
2023-09-28 19:38:39 +0000myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos)
2023-09-28 19:38:54 +0000myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com)
2023-09-28 19:39:11 +0000vglfr(vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 260 seconds)
2023-09-28 19:39:22 +0000todi1(~todi@p4fd1af6e.dip0.t-ipconnect.de)
2023-09-28 19:39:28 +0000vglfr(~vglfr@cli-188-239-233-89.bbn.slav.dn.ua)
2023-09-28 19:39:46 +0000todi(~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-09-28 19:41:12 +0000hugo(znc@verdigris.lysator.liu.se)
2023-09-28 19:41:44 +0000todi1todi
2023-09-28 19:45:11 +0000 <haskellbridge> <I​nst> ummm, could I ask a question about getArgs?
2023-09-28 19:45:26 +0000 <mauke> don't ask to ask, just ask
2023-09-28 19:45:33 +0000 <haskellbridge> <I​nst> actually, don't ask to ask, just ask
2023-09-28 19:45:36 +0000 <haskellbridge> <I​nst> whoops, you got to this first
2023-09-28 19:45:37 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-09-28 19:45:37 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-09-28 19:45:37 +0000wroathe(~wroathe@user/wroathe)
2023-09-28 19:45:39 +0000 <haskellbridge> <I​nst> i'm playing around with getArgs
2023-09-28 19:45:43 +0000 <haskellbridge> <I​nst> is getArgs at all eccentric?
2023-09-28 19:45:55 +0000 <haskellbridge> <I​nst> for instance, ./test "foo" """"
2023-09-28 19:46:00 +0000 <haskellbridge> <I​nst> on main = print =<< getArgs
2023-09-28 19:46:09 +0000 <haskellbridge> <I​nst> ["foo",""]
2023-09-28 19:46:15 +0000 <exarkun> What shell are you running your test from?
2023-09-28 19:46:19 +0000 <mauke> eccentric in what sense?
2023-09-28 19:46:20 +0000 <haskellbridge> <I​nst> bash
2023-09-28 19:46:29 +0000 <exarkun> bash parses argv into a list of strings
2023-09-28 19:46:36 +0000 <mauke> then """" is a weird way to write an empty string
2023-09-28 19:46:37 +0000 <exarkun> getArgs just reflects the result of that parsing
2023-09-28 19:46:50 +0000 <haskellbridge> <I​nst> ah, so it's a property of the shell, not getArgs?
2023-09-28 19:46:56 +0000 <exarkun> (rather: bash parses the command line into the argv)
2023-09-28 19:46:59 +0000 <haskellbridge> <I​nst> i'm just trying to insert erroneous data
2023-09-28 19:46:59 +0000 <exarkun> yes, exactly.
2023-09-28 19:47:17 +0000 <mauke> what result did you expect?
2023-09-28 19:47:21 +0000 <exarkun> it might be different on Windows, where command line parsing has different rules, but I'm not sure what Haskell / ghc do there.
2023-09-28 19:47:58 +0000 <haskellbridge> <I​nst> ["foo", "\"\"\"\""] or something like that
2023-09-28 19:48:22 +0000 <mauke> then you need to write something like '""""' or \"\"\"\" in bash
2023-09-28 19:49:20 +0000 <mauke> although it would be weird for bash to strip the quotes off "foo" but retain them in """"
2023-09-28 19:49:39 +0000pony(sid524992@smol/hors) ()
2023-09-28 19:51:45 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:3d47:18f4:8e37:c1a4) (Remote host closed the connection)
2023-09-28 19:51:48 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2023-09-28 19:53:58 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
2023-09-28 19:54:25 +0000phma(~phma@2001:5b0:212a:9b88:8859:52af:681:ff74)
2023-09-28 19:56:32 +0000dcoutts(~duncan@88.211.110.163)
2023-09-28 19:56:49 +0000CAT_S(apic@brezn3.muc.ccc.de)
2023-09-28 19:58:33 +0000 <haskellbridge> <I​nst> hmmm, wanna see some really obscure behavior?
2023-09-28 19:58:34 +0000 <haskellbridge> <I​nst> try this
2023-09-28 19:58:52 +0000 <haskellbridge> <I​nst> `cabal build @3`
2023-09-28 20:03:05 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-09-28 20:05:40 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-09-28 20:06:03 +0000gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2023-09-28 20:07:40 +0000ubert(~Thunderbi@77.119.205.80.wireless.dyn.drei.com) (Ping timeout: 255 seconds)
2023-09-28 20:09:31 +0000ski(~ski@88.131.7.247) (Ping timeout: 260 seconds)
2023-09-28 20:11:05 +0000poscat(~poscat@104.28.208.152) (Ping timeout: 240 seconds)
2023-09-28 20:15:14 +0000Jackneill(~Jackneill@20014C4E1E0E96003FA457C0D681E6D4.dsl.pool.telekom.hu) (Ping timeout: 272 seconds)
2023-09-28 20:15:40 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-09-28 20:16:10 +0000haritzondo(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
2023-09-28 20:16:15 +0000haritz(~hrtz@user/haritz) (Ping timeout: 240 seconds)
2023-09-28 20:16:24 +0000michalz(~michalz@185.246.204.125) (Remote host closed the connection)
2023-09-28 20:16:56 +0000poscat(~poscat@2a09:bac5:1f4f:1250::1d3:53)
2023-09-28 20:24:02 +0000haritzondoharitz
2023-09-28 20:24:02 +0000haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
2023-09-28 20:24:02 +0000haritz(~hrtz@user/haritz)
2023-09-28 20:27:44 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494)
2023-09-28 20:32:38 +0000poscat(~poscat@2a09:bac5:1f4f:1250::1d3:53) (Ping timeout: 255 seconds)
2023-09-28 20:35:37 +0000mrmr15(~mrmr@user/mrmr)
2023-09-28 20:36:27 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-09-28 20:37:18 +0000poscat(~poscat@2a09:bac5:1f48:1250::1d3:53)
2023-09-28 20:41:00 +0000justsomeguy(~justsomeg@user/justsomeguy)
2023-09-28 20:52:41 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2023-09-28 20:53:01 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-09-28 20:55:08 +0000poscat(~poscat@2a09:bac5:1f48:1250::1d3:53) (Ping timeout: 272 seconds)
2023-09-28 21:00:23 +0000poscat(~poscat@104.28.208.153)
2023-09-28 21:05:58 +0000Athas(athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) (Quit: ZNC 1.8.2 - https://znc.in)
2023-09-28 21:06:04 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-09-28 21:06:10 +0000Athas(athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d)
2023-09-28 21:13:27 +0000Me-me(~me-me@user/me-me) (Ping timeout: 240 seconds)
2023-09-28 21:15:29 +0000dcoutts(~duncan@88.211.110.163) (Ping timeout: 255 seconds)
2023-09-28 21:17:56 +0000poscat(~poscat@104.28.208.153) (Ping timeout: 272 seconds)
2023-09-28 21:20:11 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-09-28 21:20:45 +0000Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2023-09-28 21:21:19 +0000poscat(~poscat@104.28.208.149)
2023-09-28 21:21:57 +0000Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host)
2023-09-28 21:21:57 +0000Me-me(~me-me@user/me-me)
2023-09-28 21:22:08 +0000hugo-(znc@verdigris.lysator.liu.se)
2023-09-28 21:22:33 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-28 21:24:23 +0000thyriaen(~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Quit: Leaving)
2023-09-28 21:26:17 +0000stites(~stites@155.33.133.38) (Ping timeout: 255 seconds)
2023-09-28 21:27:13 +0000stites(~stites@2607:fb90:ade1:d83a:91a9:4117:2fe1:512e)
2023-09-28 21:28:16 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-09-28 21:34:16 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-09-28 21:38:48 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-28 21:39:35 +0000acidjnk_new(~acidjnk@p200300d6e7072f60b8a25095474e5a96.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-09-28 21:40:23 +0000poscat(~poscat@104.28.208.149) (Remote host closed the connection)
2023-09-28 21:40:43 +0000poscat(~poscat@2a09:bac5:1f4e:1250::1d3:53)
2023-09-28 21:46:11 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2023-09-28 21:46:16 +0000coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-09-28 21:48:04 +0000Guest57(~Guest57@2804:7f4:c983:5128:c949:8e39:3da0:c16)
2023-09-28 21:48:12 +0000Guest57(~Guest57@2804:7f4:c983:5128:c949:8e39:3da0:c16) (Client Quit)
2023-09-28 21:53:29 +0000stites(~stites@2607:fb90:ade1:d83a:91a9:4117:2fe1:512e) (Read error: Connection reset by peer)
2023-09-28 21:53:49 +0000stites(~stites@130.44.147.204)
2023-09-28 21:55:21 +0000poscat(~poscat@2a09:bac5:1f4e:1250::1d3:53) (Remote host closed the connection)
2023-09-28 21:55:42 +0000poscat(~poscat@2a09:bac1:19a0:58::1d3:53)
2023-09-28 21:56:35 +0000chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds)
2023-09-28 21:58:23 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds)
2023-09-28 21:58:28 +0000stites(~stites@130.44.147.204) (Ping timeout: 272 seconds)
2023-09-28 21:59:28 +0000danza(~francesco@151.57.33.249)
2023-09-28 21:59:30 +0000stites(~stites@2607:fb90:ade1:d83a:91a9:4117:2fe1:512e)
2023-09-28 22:02:41 +0000poscat(~poscat@2a09:bac1:19a0:58::1d3:53) (Ping timeout: 260 seconds)
2023-09-28 22:05:06 +0000ft(~ft@p3e9bc680.dip0.t-ipconnect.de)
2023-09-28 22:08:31 +0000stites(~stites@2607:fb90:ade1:d83a:91a9:4117:2fe1:512e) (Ping timeout: 260 seconds)
2023-09-28 22:08:59 +0000poscat(~poscat@2a09:bac5:1f48:1250::1d3:53)
2023-09-28 22:09:46 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-09-28 22:10:04 +0000bontaq``(~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 255 seconds)
2023-09-28 22:10:31 +0000danza(~francesco@151.57.33.249) (Ping timeout: 255 seconds)
2023-09-28 22:11:34 +0000stites(~stites@2607:fb91:de1:e0c6:52ef:1441:c74a:ddbe)
2023-09-28 22:12:36 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds)
2023-09-28 22:13:21 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-09-28 22:16:06 +0000stites(~stites@2607:fb91:de1:e0c6:52ef:1441:c74a:ddbe) (Ping timeout: 260 seconds)
2023-09-28 22:16:32 +0000stites(~stites@2607:fb91:de1:468d:b4f8:bece:7f15:37bd)
2023-09-28 22:25:26 +0000poscat(~poscat@2a09:bac5:1f48:1250::1d3:53) (Ping timeout: 260 seconds)
2023-09-28 22:26:01 +0000stites(~stites@2607:fb91:de1:468d:b4f8:bece:7f15:37bd) (Ping timeout: 260 seconds)
2023-09-28 22:26:23 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2023-09-28 22:27:46 +0000stites(~stites@2607:fb91:dc6:f87d:ffa1:11d6:cdc4:a2b0)
2023-09-28 22:29:49 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53)
2023-09-28 22:32:35 +0000stites(~stites@2607:fb91:dc6:f87d:ffa1:11d6:cdc4:a2b0) (Read error: Connection reset by peer)
2023-09-28 22:32:54 +0000stites(~stites@130.44.147.204)
2023-09-28 22:33:31 +0000wroathe(~wroathe@user/wroathe)
2023-09-28 22:38:55 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-09-28 22:39:51 +0000oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 240 seconds)
2023-09-28 22:48:41 +0000hgolden(~hgolden@2603-8000-9d00-3ed1-288d-d437-33d3-7e96.res6.spectrum.com) (Remote host closed the connection)
2023-09-28 22:48:46 +0000poscat(~poscat@2a09:bac5:1f4a:1250::1d3:53) (Ping timeout: 260 seconds)
2023-09-28 22:53:49 +0000poscat(~poscat@2a09:bac5:1f48:1250::1d3:53)
2023-09-28 23:07:26 +0000hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-09-28 23:14:46 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-09-28 23:16:40 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-09-28 23:20:57 +0000statusbot11(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2023-09-28 23:21:19 +0000statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer)
2023-09-28 23:22:14 +0000EvanR_(~EvanR@user/evanr)
2023-09-28 23:22:14 +0000nshepperd21(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2023-09-28 23:22:32 +0000hugo-(znc@verdigris.lysator.liu.se)
2023-09-28 23:23:02 +0000Athas_(athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d)
2023-09-28 23:23:24 +0000Athas(athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) (Ping timeout: 248 seconds)
2023-09-28 23:23:33 +0000jbalint_(~jbalint@071-090-119-177.res.spectrum.com)
2023-09-28 23:23:56 +0000ggVGc(~ggVGc@a.lowtech.earth) (Ping timeout: 248 seconds)
2023-09-28 23:24:28 +0000EvanR(~EvanR@user/evanr) (Ping timeout: 248 seconds)
2023-09-28 23:24:29 +0000adeptangel(cren@tilde.team) (Ping timeout: 248 seconds)
2023-09-28 23:24:29 +0000nshepperd2(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 248 seconds)
2023-09-28 23:24:29 +0000earthy(~arthurvl@2a02:a469:f5e2:1:83d2:ca43:57a2:dc81) (Ping timeout: 248 seconds)
2023-09-28 23:24:29 +0000jackhill(~jackhill@2604:180:f2::1a5) (Ping timeout: 248 seconds)
2023-09-28 23:24:29 +0000nshepperd21nshepperd2
2023-09-28 23:25:00 +0000jbalint(~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Ping timeout: 248 seconds)
2023-09-28 23:25:00 +0000landonf(landonf@mac68k.info) (Ping timeout: 248 seconds)
2023-09-28 23:25:29 +0000jackhill(~jackhill@kalessin.dragonsnail.net)
2023-09-28 23:25:50 +0000ggVGc(~ggVGc@a.lowtech.earth)
2023-09-28 23:25:53 +0000earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
2023-09-28 23:29:30 +0000landonf(landonf@mac68k.info)