IRCBrowse

2022/10/27

2022-10-27 00:00:17 +0200acidjnk(~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-10-27 00:00:41 +0200acidjnk_new(~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-10-27 00:08:11 +0200Midjak(~Midjak@82.66.147.146)
2022-10-27 00:12:20 +0200michalz(~michalz@185.246.207.205) (Remote host closed the connection)
2022-10-27 00:13:44 +0200quintasan(~quassel@quintasan.pl) ()
2022-10-27 00:14:20 +0200quintasan(~quassel@quintasan.pl)
2022-10-27 00:15:44 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org)
2022-10-27 00:16:15 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-10-27 00:16:57 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Remote host closed the connection)
2022-10-27 00:18:11 +0200vglfr(~vglfr@145.224.100.190) (Ping timeout: 272 seconds)
2022-10-27 00:18:48 +0200 <SrPx> https://www.reddit.com/r/haskell/comments/yeae50/hvm_the_parallel_functional_runtime_will_soon_run/
2022-10-27 00:18:58 +0200 <SrPx> Haskell on GPUs soon?
2022-10-27 00:19:49 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 272 seconds)
2022-10-27 00:31:23 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2022-10-27 00:34:19 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2022-10-27 00:44:16 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-10-27 00:45:45 +0200mixfix41(~sdeny9ee@user/mixfix41) (Ping timeout: 255 seconds)
2022-10-27 00:46:08 +0200quintasan(~quassel@quintasan.pl) ()
2022-10-27 00:46:38 +0200quintasan(~quassel@quintasan.pl)
2022-10-27 00:50:28 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 272 seconds)
2022-10-27 00:50:50 +0200polo(~polo@user/polo) (Ping timeout: 276 seconds)
2022-10-27 00:52:39 +0200beteigeuze1(~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73)
2022-10-27 00:53:10 +0200beteigeuze(~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73) (Ping timeout: 246 seconds)
2022-10-27 00:53:10 +0200beteigeuze1beteigeuze
2022-10-27 00:54:55 +0200redmp(~redmp@eduroam-169-233-179-23.ucsc.edu) (Ping timeout: 272 seconds)
2022-10-27 00:55:50 +0200 <zzz> can anyone remind me of the name of the function that returns the full name of a character?
2022-10-27 00:58:43 +0200 <zzz> maybe i'm thinking of Data.Char.generalCategory
2022-10-27 00:59:00 +0200 <zzz> thought there was something more specific
2022-10-27 01:00:30 +0200 <geekosaur> https://hackage.haskell.org/package/text-icu-0.8.0.2/docs/Data-Text-ICU-Char.html#v:charName ?
2022-10-27 01:01:19 +0200 <Axman6> SrPx: Accelerate has been a thing for over a decade
2022-10-27 01:02:20 +0200 <SrPx> Axman6: no, the point is to run arbitrary Haskell programs on the GPU. As in, literally anything. Not just a map over a buffer or similarly restricted cases
2022-10-27 01:02:34 +0200 <Axman6> yeah that's pretty cool, reading now
2022-10-27 01:03:28 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
2022-10-27 01:04:11 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-10-27 01:04:13 +0200freeside(~mengwong@103.252.202.193)
2022-10-27 01:05:14 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-10-27 01:05:19 +0200 <Axman6> their QSort example is strange, both programs mention an argument "pivot" but don't define it
2022-10-27 01:09:13 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 272 seconds)
2022-10-27 01:09:31 +0200ubert1(~Thunderbi@178.165.192.156.wireless.dyn.drei.com)
2022-10-27 01:10:57 +0200ubert(~Thunderbi@77.119.201.227.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2022-10-27 01:10:57 +0200ubert1ubert
2022-10-27 01:20:44 +0200quintasan(~quassel@quintasan.pl) ()
2022-10-27 01:21:12 +0200quintasan(~quassel@quintasan.pl)
2022-10-27 01:22:07 +0200vglfr(~vglfr@145.224.100.164)
2022-10-27 01:23:59 +0200dextaa(~DV@user/dextaa) (Ping timeout: 276 seconds)
2022-10-27 01:26:57 +0200zeenk(~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!)
2022-10-27 01:34:00 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-10-27 01:34:17 +0200dextaa(~DV@user/dextaa)
2022-10-27 01:37:34 +0200freeside(~mengwong@103.252.202.193)
2022-10-27 01:38:52 +0200polo(~polo@user/polo)
2022-10-27 01:41:09 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-10-27 01:42:14 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 250 seconds)
2022-10-27 01:54:37 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2022-10-27 01:54:56 +0200EvanR(~EvanR@user/evanr)
2022-10-27 01:55:11 +0200freeside(~mengwong@103.252.202.193)
2022-10-27 01:57:45 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2022-10-27 01:58:06 +0200Tuplanolla(~Tuplanoll@91-159-68-111.elisa-laajakaista.fi) (Quit: Leaving.)
2022-10-27 02:01:03 +0200mixfix41(~sdeny9ee@user/mixfix41)
2022-10-27 02:01:57 +0200ubert(~Thunderbi@178.165.192.156.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2022-10-27 02:03:29 +0200redmp(~redmp@166.170.42.41)
2022-10-27 02:03:53 +0200ubert(~Thunderbi@178.165.169.91)
2022-10-27 02:06:59 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2022-10-27 02:08:23 +0200califax(~califax@user/califx)
2022-10-27 02:10:26 +0200mmhat(~mmh@p200300f1c73076a6ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1)
2022-10-27 02:11:22 +0200Buliarous(~gypsydang@46.232.210.139) (Remote host closed the connection)
2022-10-27 02:14:11 +0200nate2(~nate@98.45.169.16)
2022-10-27 02:17:40 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2022-10-27 02:18:10 +0200califax(~califax@user/califx) (Ping timeout: 258 seconds)
2022-10-27 02:18:57 +0200nate2(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-10-27 02:23:31 +0200califax(~califax@user/califx)
2022-10-27 02:24:12 +0200redmp(~redmp@166.170.42.41) (Ping timeout: 272 seconds)
2022-10-27 02:33:39 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2022-10-27 02:33:42 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-10-27 02:36:17 +0200talismanick(~talismani@76.133.152.122) (Remote host closed the connection)
2022-10-27 02:45:31 +0200polo_(~polo@user/polo)
2022-10-27 02:46:42 +0200quintasan(~quassel@quintasan.pl) ()
2022-10-27 02:47:41 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-10-27 02:47:41 +0200quintasan(~quassel@188.226.239.107)
2022-10-27 02:49:08 +0200polo(~polo@user/polo) (Ping timeout: 276 seconds)
2022-10-27 02:51:17 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 240 seconds)
2022-10-27 02:52:20 +0200polo_(~polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-27 02:52:27 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-27 02:53:24 +0200polo(~polo@user/polo)
2022-10-27 02:53:43 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-27 02:58:14 +0200polo(~polo@user/polo) (Ping timeout: 276 seconds)
2022-10-27 02:59:36 +0200redmp(~redmp@mobile-166-177-249-89.mycingular.net)
2022-10-27 03:00:05 +0200Kaipei(~Kaiepi@108.175.84.104)
2022-10-27 03:04:29 +0200Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 272 seconds)
2022-10-27 03:07:59 +0200beteigeuze(~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73) (Ping timeout: 276 seconds)
2022-10-27 03:08:06 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-10-27 03:08:06 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-10-27 03:08:06 +0200wroathe(~wroathe@user/wroathe)
2022-10-27 03:10:33 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-10-27 03:16:16 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2022-10-27 03:17:12 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-10-27 03:17:26 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-10-27 03:18:17 +0200xff0x(~xff0x@2405:6580:b080:900:658c:a3a:4ac3:c2c4) (Ping timeout: 240 seconds)
2022-10-27 03:21:02 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds)
2022-10-27 03:25:37 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-10-27 03:48:11 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-10-27 03:48:17 +0200crns(~netcrns@user/crns) (Ping timeout: 240 seconds)
2022-10-27 03:49:30 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection)
2022-10-27 03:49:58 +0200crns(~netcrns@user/crns)
2022-10-27 03:56:18 +0200grantonthenet(~Grant@72.47.110.194)
2022-10-27 03:58:51 +0200inversed(~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer)
2022-10-27 03:59:32 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-10-27 04:00:43 +0200razetime(~quassel@49.207.192.79)
2022-10-27 04:01:25 +0200nate2(~nate@98.45.169.16)
2022-10-27 04:01:47 +0200xff0x(~xff0x@125.103.176.34)
2022-10-27 04:02:44 +0200inversed(~inversed@bcdcac82.skybroadband.com)
2022-10-27 04:04:55 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 272 seconds)
2022-10-27 04:09:37 +0200td_(~td@83.135.9.27) (Ping timeout: 240 seconds)
2022-10-27 04:11:36 +0200td_(~td@83.135.9.51)
2022-10-27 04:17:08 +0200nate3(~nate@98.45.169.16)
2022-10-27 04:17:09 +0200nate2(~nate@98.45.169.16) (Read error: Connection reset by peer)
2022-10-27 04:17:32 +0200freeside(~mengwong@103.252.202.193)
2022-10-27 04:18:25 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-10-27 04:18:25 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-10-27 04:18:25 +0200wroathe(~wroathe@user/wroathe)
2022-10-27 04:19:18 +0200 <sm> Text not always > String:
2022-10-27 04:19:18 +0200 <sm> "inliner is getting really happy with certain combinations of <> for Text. The <> for String doesn't appear to cause any issues at all, and memory use holds prety consistent around 150MB."
2022-10-27 04:20:09 +0200xff0x(~xff0x@125.103.176.34) (*.net *.split)
2022-10-27 04:20:09 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2022-10-27 04:20:09 +0200quintasan(~quassel@188.226.239.107) (*.net *.split)
2022-10-27 04:20:09 +0200ubert(~Thunderbi@178.165.169.91) (*.net *.split)
2022-10-27 04:20:09 +0200EvanR(~EvanR@user/evanr) (*.net *.split)
2022-10-27 04:20:09 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (*.net *.split)
2022-10-27 04:20:09 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107) (*.net *.split)
2022-10-27 04:20:09 +0200Sauvin(~sauvin@user/Sauvin) (*.net *.split)
2022-10-27 04:20:09 +0200m5zs7k(aquares@web10.mydevil.net) (*.net *.split)
2022-10-27 04:20:09 +0200ajb(~ajb@mimas.whatbox.ca) (*.net *.split)
2022-10-27 04:20:09 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (*.net *.split)
2022-10-27 04:20:09 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (*.net *.split)
2022-10-27 04:20:09 +0200teddyc(theodorc@cassarossa.samfundet.no) (*.net *.split)
2022-10-27 04:20:09 +0200AkechiShiro(~licht@user/akechishiro) (*.net *.split)
2022-10-27 04:20:09 +0200mcfrdy(~mcfrdy@user/mcfrdy) (*.net *.split)
2022-10-27 04:20:09 +0200hexology(~hexology@user/hexology) (*.net *.split)
2022-10-27 04:20:09 +0200earthy(~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (*.net *.split)
2022-10-27 04:20:09 +0200lieven(~mal@ns2.wyrd.be) (*.net *.split)
2022-10-27 04:20:09 +0200spaced(uid572193@user/spaced) (*.net *.split)
2022-10-27 04:20:09 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split)
2022-10-27 04:20:09 +0200rembo10(~rembo10@main.remulis.com) (*.net *.split)
2022-10-27 04:20:09 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
2022-10-27 04:20:09 +0200lechner(lechner@debian/lechner) (*.net *.split)
2022-10-27 04:20:09 +0200lagash(lagash@lagash.shelltalk.net) (*.net *.split)
2022-10-27 04:20:09 +0200Luj3(~Luj@2a01:e0a:5f9:9681:9cda:ce1d:ce82:c3dd) (*.net *.split)
2022-10-27 04:20:09 +0200Unhammer(~Unhammer@user/unhammer) (*.net *.split)
2022-10-27 04:20:09 +0200anderson(~ande@user/anderson) (*.net *.split)
2022-10-27 04:20:09 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2022-10-27 04:20:09 +0200PHO`(~pho@akari.cielonegro.org) (*.net *.split)
2022-10-27 04:20:09 +0200p3n(~p3n@217.198.124.246) (*.net *.split)
2022-10-27 04:20:09 +0200vjoki(~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split)
2022-10-27 04:20:09 +0200Aleksejs(~Aleksejs@107.170.21.106) (*.net *.split)
2022-10-27 04:20:09 +0200acertain(sid470584@2a03:5180:f:4::7:2e38) (*.net *.split)
2022-10-27 04:20:09 +0200b20n(sid115913@2a03:5180:f:5::1:c4c9) (*.net *.split)
2022-10-27 04:20:09 +0200davetapley_(sid666@2a03:5180:f:5::29a) (*.net *.split)
2022-10-27 04:20:09 +0200Firedancer(sid336191@2a03:5180:f:4::5:213f) (*.net *.split)
2022-10-27 04:20:09 +0200lally(sid388228@2a03:5180:f:5::5:ec84) (*.net *.split)
2022-10-27 04:20:09 +0200liskin(~liskin@xmonad/liskin) (*.net *.split)
2022-10-27 04:20:09 +0200aristid(sid1599@2a03:5180:f:5::63f) (*.net *.split)
2022-10-27 04:20:09 +0200kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split)
2022-10-27 04:20:09 +0200dexter1(dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split)
2022-10-27 04:20:09 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp) (*.net *.split)
2022-10-27 04:20:09 +0200conjunctive(sid433686@id-433686.helmsley.irccloud.com) (*.net *.split)
2022-10-27 04:20:09 +0200_\_(~o@user/offon) (*.net *.split)
2022-10-27 04:20:09 +0200nisstyre(wes@user/nisstyre) (*.net *.split)
2022-10-27 04:20:09 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (*.net *.split)
2022-10-27 04:20:09 +0200shinjipf(~shinjipf@2a01:4f8:1c1c:c1be::1) (*.net *.split)
2022-10-27 04:20:09 +0200tomku(~tomku@user/tomku) (*.net *.split)
2022-10-27 04:20:09 +0200bonz060(~quassel@2001:bc8:47a4:a23::1) (*.net *.split)
2022-10-27 04:20:09 +0200Yumemi(~Yumemi@chamoin.net) (*.net *.split)
2022-10-27 04:20:09 +0200Moyst(~moyst@user/moyst) (*.net *.split)
2022-10-27 04:20:09 +0200kritzefitz(~kritzefit@debian/kritzefitz) (*.net *.split)
2022-10-27 04:20:09 +0200immae(~immae@2a01:4f8:141:53e7::) (*.net *.split)
2022-10-27 04:20:09 +0200lbseale(~quassel@user/ep1ctetus) (*.net *.split)
2022-10-27 04:20:09 +0200haasn(~nand@haasn.dev) (*.net *.split)
2022-10-27 04:20:09 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (*.net *.split)
2022-10-27 04:20:09 +0200jackhill(~jackhill@kalessin.dragonsnail.net) (*.net *.split)
2022-10-27 04:20:18 +0200tomku(~tomku@user/tomku)
2022-10-27 04:20:20 +0200rembo10(~rembo10@main.remulis.com)
2022-10-27 04:20:20 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2022-10-27 04:20:21 +0200lagash(lagash@lagash.shelltalk.net)
2022-10-27 04:20:23 +0200ajb(~ajb@mimas.whatbox.ca)
2022-10-27 04:20:24 +0200edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se)
2022-10-27 04:20:26 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-10-27 04:20:29 +0200bonz060(~quassel@2001:bc8:47a4:a23::1)
2022-10-27 04:20:32 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-10-27 04:20:34 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com)
2022-10-27 04:20:35 +0200quintasan(~quassel@quintasan.pl)
2022-10-27 04:20:36 +0200acertain(sid470584@id-470584.hampstead.irccloud.com)
2022-10-27 04:20:37 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com)
2022-10-27 04:20:38 +0200spaced(uid572193@user/spaced)
2022-10-27 04:20:38 +0200 <sm> https://github.com/yesodweb/persistent/pull/1434
2022-10-27 04:20:39 +0200dexter1(dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2022-10-27 04:20:39 +0200shinjipf(~shinjipf@2a01:4f8:1c1c:c1be::1)
2022-10-27 04:20:39 +0200kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2022-10-27 04:20:41 +0200lieven(~mal@ns2.wyrd.be)
2022-10-27 04:20:42 +0200liskin(~liskin@ackle.nomi.cz)
2022-10-27 04:20:42 +0200lechner(lechner@linode.us-core.com)
2022-10-27 04:20:43 +0200lally(sid388228@id-388228.uxbridge.irccloud.com)
2022-10-27 04:20:44 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-10-27 04:20:45 +0200Unhammer(~Unhammer@2a01:799:40:f700::237)
2022-10-27 04:20:46 +0200edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host)
2022-10-27 04:20:46 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2022-10-27 04:20:47 +0200teddyc(theodorc@cassarossa.samfundet.no)
2022-10-27 04:20:48 +0200AkechiShiro(~licht@2a01:e0a:5f9:9681:53a9:19ec:6934:da62)
2022-10-27 04:20:49 +0200earthy(~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net)
2022-10-27 04:20:50 +0200Firedancer(sid336191@hampstead.irccloud.com)
2022-10-27 04:20:50 +0200conjunctive(sid433686@id-433686.helmsley.irccloud.com)
2022-10-27 04:21:07 +0200nisstyre(~wes@li798-187.members.linode.com)
2022-10-27 04:21:09 +0200davetapley_(sid666@uxbridge.irccloud.com)
2022-10-27 04:21:12 +0200lechner(lechner@linode.us-core.com) (Changing host)
2022-10-27 04:21:12 +0200lechner(lechner@debian/lechner)
2022-10-27 04:21:12 +0200liskin(~liskin@ackle.nomi.cz) (Changing host)
2022-10-27 04:21:12 +0200liskin(~liskin@xmonad/liskin)
2022-10-27 04:21:12 +0200Unhammer(~Unhammer@2a01:799:40:f700::237) (Changing host)
2022-10-27 04:21:12 +0200Unhammer(~Unhammer@user/unhammer)
2022-10-27 04:21:54 +0200ubert(~Thunderbi@178.165.169.91.wireless.dyn.drei.com)
2022-10-27 04:21:54 +0200Yumemi(~Yumemi@chamoin.net)
2022-10-27 04:22:00 +0200Sauvin(~sauvin@user/Sauvin)
2022-10-27 04:22:01 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2022-10-27 04:22:03 +0200hexology(~hexology@user/hexology)
2022-10-27 04:22:09 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
2022-10-27 04:22:11 +0200m5zs7k(aquares@web10.mydevil.net)
2022-10-27 04:22:16 +0200EvanR(~EvanR@user/evanr)
2022-10-27 04:22:21 +0200_\_(~o@user/offon)
2022-10-27 04:22:24 +0200lbseale(~quassel@user/ep1ctetus)
2022-10-27 04:22:32 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp)
2022-10-27 04:22:32 +0200haasn(~nand@haasn.dev)
2022-10-27 04:22:39 +0200anderson(~ande@user/anderson)
2022-10-27 04:22:45 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2022-10-27 04:22:46 +0200PHO`(~pho@akari.cielonegro.org)
2022-10-27 04:22:47 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2022-10-27 04:22:54 +0200mcfrdy(~mcfrdy@user/mcfrdy)
2022-10-27 04:23:11 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 260 seconds)
2022-10-27 04:23:30 +0200vjoki(~vjoki@2a00:d880:3:1::fea1:9ae)
2022-10-27 04:24:57 +0200Moyst(~moyst@user/moyst)
2022-10-27 04:25:22 +0200jackhill(~jackhill@kalessin.dragonsnail.net)
2022-10-27 04:25:24 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107)
2022-10-27 04:26:41 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-10-27 04:27:40 +0200polo(~polo@user/polo)
2022-10-27 04:27:55 +0200freeside(~mengwong@103.252.202.193)
2022-10-27 04:29:48 +0200Aleksejs(~Aleksejs@107.170.21.106)
2022-10-27 04:34:20 +0200grantonthenet(~Grant@72.47.110.194) (Remote host closed the connection)
2022-10-27 04:37:31 +0200polo(~polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-10-27 04:42:01 +0200boxscape(~boxscape@81.191.27.107)
2022-10-27 04:43:40 +0200fluxit(~fluxit@2604:a880:1:20::ab:1001)
2022-10-27 04:44:14 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds)
2022-10-27 04:47:39 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-10-27 04:47:39 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-10-27 04:47:39 +0200finn_elijaFinnElija
2022-10-27 04:49:56 +0200 <boxscape> a little surprised that this compiles https://paste.tomsmeding.com/rZ1L7KIV
2022-10-27 04:50:01 +0200boxscapeboxscape_
2022-10-27 04:50:04 +0200 <EvanR> as much crap as haskell gets for String Text etc I appreciate having options when it comes to performance. Though it's still a questionable situation not having a good standard for when you specifically don't care about performance
2022-10-27 04:53:21 +0200 <boxscape_> (Also, just found out my link is parsed *not* as `do f a b c d e`, but instead as `(do f) a b c d e`)
2022-10-27 04:54:21 +0200jero98772(~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection)
2022-10-27 05:01:42 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2022-10-27 05:04:11 +0200cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 272 seconds)
2022-10-27 05:04:45 +0200boxscape_(~boxscape@81.191.27.107) (Remote host closed the connection)
2022-10-27 05:04:57 +0200boxscape(~boxscape@81.191.27.107)
2022-10-27 05:04:57 +0200boxscapeboxscape_
2022-10-27 05:04:59 +0200nate3(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-10-27 05:05:37 +0200HackingSpring(~haru@189-69-2-94.dsl.telesp.net.br) (Remote host closed the connection)
2022-10-27 05:09:41 +0200jargon(~jargon@184.101.208.112)
2022-10-27 05:21:22 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2022-10-27 05:22:13 +0200dfee(~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2022-10-27 05:32:20 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 250 seconds)
2022-10-27 05:32:42 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-10-27 05:32:43 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-10-27 05:32:43 +0200wroathe(~wroathe@user/wroathe)
2022-10-27 05:39:08 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 244 seconds)
2022-10-27 05:40:08 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2022-10-27 05:40:09 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer)
2022-10-27 05:41:22 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2022-10-27 05:43:26 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-10-27 06:02:20 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-10-27 06:03:54 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-10-27 06:04:10 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57)
2022-10-27 06:04:54 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-10-27 06:05:31 +0200dfee(~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net)
2022-10-27 06:06:35 +0200dfee(~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Client Quit)
2022-10-27 06:07:26 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds)
2022-10-27 06:07:37 +0200phma(~phma@host-67-44-208-129.hnremote.net) (Read error: Connection reset by peer)
2022-10-27 06:07:45 +0200img(~img@user/img)
2022-10-27 06:08:31 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-10-27 06:08:33 +0200phma(phma@2001:5b0:212a:d108:940:4877:1056:c32c)
2022-10-27 06:10:29 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-10-27 06:10:29 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer)
2022-10-27 06:11:06 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2022-10-27 06:12:06 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-27 06:13:27 +0200kjak(~kjak@pool-108-31-114-135.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2022-10-27 06:22:43 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-10-27 06:25:50 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-10-27 06:27:24 +0200califax(~califax@user/califx)
2022-10-27 06:29:55 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-10-27 06:30:09 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57)
2022-10-27 06:38:38 +0200kenran(~user@user/kenran)
2022-10-27 06:44:51 +0200kjak(~kjak@pool-108-31-114-135.washdc.fios.verizon.net)
2022-10-27 06:46:02 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2022-10-27 06:46:59 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-10-27 06:47:55 +0200kmein(~weechat@user/kmein) (Quit: ciao kakao)
2022-10-27 06:50:01 +0200kmein(~weechat@user/kmein)
2022-10-27 06:55:58 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107)
2022-10-27 06:57:02 +0200mbuf(~Shakthi@49.205.82.97)
2022-10-27 07:03:20 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2022-10-27 07:09:46 +0200foul_owl(~kerry@23.82.194.107) (Ping timeout: 246 seconds)
2022-10-27 07:18:51 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-10-27 07:22:02 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2022-10-27 07:22:17 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 240 seconds)
2022-10-27 07:26:40 +0200foul_owl(~kerry@174-21-75-230.tukw.qwest.net)
2022-10-27 07:31:45 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 272 seconds)
2022-10-27 07:33:04 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-10-27 07:35:37 +0200redmp(~redmp@mobile-166-177-249-89.mycingular.net) (Ping timeout: 240 seconds)
2022-10-27 07:36:24 +0200chomwitt(~chomwitt@2a02:587:dc10:8200:1ac0:4dff:fedb:a3f1)
2022-10-27 07:37:43 +0200redmp(~redmp@mobile-166-170-43-19.mycingular.net)
2022-10-27 07:48:59 +0200sleym(~sleym@user/sleym)
2022-10-27 07:56:29 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-10-27 07:59:16 +0200zaquest(~notzaques@5.130.79.72)
2022-10-27 08:06:10 +0200michalz(~michalz@185.246.207.205)
2022-10-27 08:19:06 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz)
2022-10-27 08:23:31 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 260 seconds)
2022-10-27 08:26:20 +0200ft(~ft@p3e9bc845.dip0.t-ipconnect.de) (Quit: leaving)
2022-10-27 08:26:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-27 08:29:57 +0200chele(~chele@user/chele)
2022-10-27 08:30:03 +0200nate3(~nate@98.45.169.16)
2022-10-27 08:33:52 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-27 08:34:48 +0200nate3(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-10-27 08:36:13 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-27 08:36:15 +0200titibandit(~titibandi@xdsl-87-78-36-34.nc.de)
2022-10-27 08:36:55 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107)
2022-10-27 08:43:17 +0200redmp(~redmp@mobile-166-170-43-19.mycingular.net) (Ping timeout: 240 seconds)
2022-10-27 08:45:11 +0200boxscape_(~boxscape@81.191.27.107) (Remote host closed the connection)
2022-10-27 08:45:31 +0200freeside(~mengwong@122.11.214.170)
2022-10-27 08:46:07 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-10-27 08:50:02 +0200mncheck(~mncheck@193.224.205.254)
2022-10-27 08:55:45 +0200phma(phma@2001:5b0:212a:d108:940:4877:1056:c32c) (Read error: Connection reset by peer)
2022-10-27 08:56:11 +0200zeenk(~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494)
2022-10-27 08:56:39 +0200phma(phma@2001:5b0:211b:f7d8:de0a:370f:6369:177e)
2022-10-27 08:59:34 +0200sleym(~sleym@user/sleym) (Quit: sleym)
2022-10-27 09:00:40 +0200phma_(phma@2001:5b0:212a:dc08:e5cf:eb43:fa9d:159c)
2022-10-27 09:02:49 +0200phma(phma@2001:5b0:211b:f7d8:de0a:370f:6369:177e) (Ping timeout: 246 seconds)
2022-10-27 09:04:02 +0200phma_phma
2022-10-27 09:14:57 +0200jargon(~jargon@184.101.208.112) (Remote host closed the connection)
2022-10-27 09:18:30 +0200phma_(phma@2001:5b0:211b:bac8:e3f1:be8:3db9:1c2a)
2022-10-27 09:20:34 +0200phma(phma@2001:5b0:212a:dc08:e5cf:eb43:fa9d:159c) (Ping timeout: 255 seconds)
2022-10-27 09:22:57 +0200birdgoose(~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe)
2022-10-27 09:23:17 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-27 09:24:57 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 240 seconds)
2022-10-27 09:25:13 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-27 09:25:58 +0200m5zs7k(aquares@web10.mydevil.net)
2022-10-27 09:26:55 +0200jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-10-27 09:27:02 +0200acidjnk_new(~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de)
2022-10-27 09:27:02 +0200acidjnk(~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de)
2022-10-27 09:28:04 +0200jpds1(~jpds@gateway/tor-sasl/jpds)
2022-10-27 09:36:39 +0200phma_phma
2022-10-27 09:37:29 +0200nschoe(~q@141.101.51.197)
2022-10-27 09:40:40 +0200Luj3(~Luj@2a01:e0a:5f9:9681:bbd7:4981:7fe5:6e34)
2022-10-27 09:43:15 +0200danza(~francesco@151.68.190.47)
2022-10-27 09:50:42 +0200 <Profpatsch> It’s pretty arbitrary that Just a <> Nothing == Just a right?
2022-10-27 09:50:45 +0200 <Profpatsch> Might as well be Nothing
2022-10-27 09:51:02 +0200 <Profpatsch> Or is there any deeper meaning to having this instance?
2022-10-27 09:51:30 +0200 <Franciman> hi Profpatsch
2022-10-27 09:51:50 +0200 <Franciman> it's in that way so that Nothing works as identity for <>
2022-10-27 09:52:05 +0200 <Franciman> and it renders `Maybe a` a monoid too
2022-10-27 09:52:40 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Remote host closed the connection)
2022-10-27 09:53:14 +0200 <Profpatsch> Ah, right
2022-10-27 09:53:17 +0200 <Profpatsch> thx
2022-10-27 09:53:49 +0200 <Franciman> actually `Maybe a` is a monoid if `a` is a monoid
2022-10-27 09:53:54 +0200 <Franciman> because you have
2022-10-27 09:54:02 +0200 <Franciman> Just x <> Just y == Just (x <> y)
2022-10-27 09:54:09 +0200gurkenglas(~gurkengla@84.138.199.46)
2022-10-27 09:54:35 +0200 <Profpatsch> Franciman: Semigroup
2022-10-27 09:54:43 +0200 <Franciman> yes sorry
2022-10-27 09:54:46 +0200 <Profpatsch> you can also have the other way, but then you need a Monoid
2022-10-27 09:54:54 +0200 <Profpatsch> they are both equally feasible
2022-10-27 09:55:01 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-10-27 09:55:20 +0200 <Profpatsch> one uses Nothing as the mempty, the other `Just mempty`
2022-10-27 09:55:48 +0200 <Profpatsch> Unless I got something wrong?
2022-10-27 09:57:30 +0200 <[Leary]> Introducting a special element and making it the indentity by definition is a standard algebraic construction. Maybe, it was decided, should have the corresponding instance. The other one can be used via `Ap` anyway.
2022-10-27 09:58:53 +0200 <[Leary]> > Nothing <> Just []
2022-10-27 09:58:54 +0200danza(~francesco@151.68.190.47) (Read error: Connection reset by peer)
2022-10-27 09:58:55 +0200 <lambdabot> Just []
2022-10-27 09:59:01 +0200 <[Leary]> > Ap Nothing <> Ap (Just [])
2022-10-27 09:59:02 +0200 <lambdabot> Ap {getAp = Nothing}
2022-10-27 10:00:53 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-10-27 10:01:36 +0200 <chreekat> Ap is a mystery to me. I understood it once, in 2020, for about 20 minutes
2022-10-27 10:03:31 +0200 <[Leary]> There's nothing complicated about it; it's just a newtype to host instances that con be produced by lifting over Applicative.
2022-10-27 10:03:51 +0200 <[Leary]> So (<>) on the underlying becomes liftA2 (<>) on the Applicative, etc.
2022-10-27 10:05:36 +0200 <chreekat> The first thing that's complicated about it is its description. ;) "witnesses the lifting of a Monoid into an Applicative pointwise".
2022-10-27 10:05:54 +0200 <chreekat> "lift" means about 10 different things, so which is it in this case? and I do not know what "pointwise" means
2022-10-27 10:07:18 +0200 <chreekat> "witness" is (I think) a term from theorem proving?
2022-10-27 10:08:49 +0200 <[Leary]> To "lift pointwise" is exactly Applicative's `liftA2`. It's "lifting" an `g :: a -> b -> c` to a `f a -> f b -> f c` by applying `g` to `a`s and `b`s produced by `f` "pointwise".
2022-10-27 10:09:56 +0200 <[Leary]> A key point to note is that Applicative cannot produce an `f c` without matching every single `a` with `b`, so there's a kind of zipping up going on.
2022-10-27 10:10:33 +0200gmg(~user@user/gehmehgeh)
2022-10-27 10:10:46 +0200 <[Leary]> And yeah, a witness is basically just something that proves a result by fact of its existence.
2022-10-27 10:11:18 +0200 <[Leary]> Rather than reading the description of `Ap`, I guess it's more helpful to read the Semigroup, Monoid and Num instances.
2022-10-27 10:11:29 +0200 <[Leary]> Though the latter is unfortunately unlawful.
2022-10-27 10:12:48 +0200 <chreekat> Indeed, I think just writing the Semigroup instance out would be better documentation. From that, I can see how you can make a Monoid out of an (f a) if a is a Semigroup and f is an Monoid. What's funny is Maybe is both an Applicative *and* 'Maybe a' is already a Monoid (if a is a Semigroup). So `Ap Maybe` is another applicative with a different Monoid instance!
2022-10-27 10:13:03 +0200 <chreekat> typo, 'if f is an Applicative'
2022-10-27 10:13:08 +0200fserucas|eod(~fserucas|@2001:818:e376:a400:fb92:70c1:dd88:c7d7)
2022-10-27 10:13:50 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:6ed5:a768:4b55:2df1)
2022-10-27 10:15:58 +0200vglfr(~vglfr@145.224.100.164) (Remote host closed the connection)
2022-10-27 10:15:58 +0200mmhat(~mmh@p200300f1c73076a6ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-27 10:16:32 +0200vglfr(~vglfr@145.224.100.164)
2022-10-27 10:21:22 +0200freeside(~mengwong@122.11.214.170) (Read error: Connection reset by peer)
2022-10-27 10:21:37 +0200 <Profpatsch> chreekat: yeah, I’m tempted to do a docs pass over the base docs
2022-10-27 10:22:07 +0200 <Profpatsch> The one thing with the most payoff the Haskell foundation could do would be to hire one of the technical writers that were fired by Mozilla
2022-10-27 10:22:23 +0200 <Profpatsch> the ones that wrote the original rust stdlib documentation
2022-10-27 10:22:39 +0200 <Profpatsch> Hecate: ^
2022-10-27 10:23:07 +0200gurkenglas(~gurkengla@84.138.199.46) (Ping timeout: 260 seconds)
2022-10-27 10:23:16 +0200 <Profpatsch> e.g. the documentation for `Monoid (Maybe a)` should probably just read: `mempty = Nothing`
2022-10-27 10:23:29 +0200 <Profpatsch> instead of whatever stuff it says right now
2022-10-27 10:23:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-27 10:27:13 +0200titibandit(~titibandi@xdsl-87-78-36-34.nc.de) (Remote host closed the connection)
2022-10-27 10:27:30 +0200lambdap237(~lambdap@static.167.190.119.168.clients.your-server.de)
2022-10-27 10:27:41 +0200 <Hecate> hello
2022-10-27 10:28:11 +0200 <Hecate> yes we have the money to hire technical writers
2022-10-27 10:30:11 +0200freeside(~mengwong@122.11.214.170)
2022-10-27 10:32:47 +0200shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-10-27 10:36:49 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-10-27 10:53:08 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
2022-10-27 10:55:20 +0200birdgoose(~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 244 seconds)
2022-10-27 10:57:20 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Ping timeout: 250 seconds)
2022-10-27 10:59:46 +0200__monty__(~toonn@user/toonn)
2022-10-27 11:01:37 +0200birdgoose(~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe)
2022-10-27 11:03:45 +0200kuribas(~user@silversquare.silversquare.eu)
2022-10-27 11:09:37 +0200razetime(~quassel@49.207.192.79) (Ping timeout: 240 seconds)
2022-10-27 11:13:23 +0200DavidBinder(~DavidBind@134.2.10.18)
2022-10-27 11:22:37 +0200Batzy_(~quassel@user/batzy)
2022-10-27 11:24:43 +0200Batzy(~quassel@user/batzy) (Ping timeout: 246 seconds)
2022-10-27 11:31:44 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-10-27 11:34:50 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-27 11:42:12 +0200thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1)
2022-10-27 11:44:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-27 11:49:45 +0200kenran(~user@user/kenran) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50))
2022-10-27 11:51:25 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-27 11:54:14 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-10-27 11:57:20 +0200birdgoose(~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 244 seconds)
2022-10-27 11:57:28 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-10-27 11:58:16 +0200nschoe(~q@141.101.51.197) (Quit: Switching off)
2022-10-27 11:58:24 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-10-27 12:04:05 +0200freeside(~mengwong@122.11.214.170) (Read error: Connection reset by peer)
2022-10-27 12:04:40 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-10-27 12:05:14 +0200nschoe(~q@141.101.51.197)
2022-10-27 12:06:37 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds)
2022-10-27 12:09:03 +0200jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-10-27 12:09:03 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-10-27 12:10:15 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-10-27 12:10:40 +0200jpds1(~jpds@gateway/tor-sasl/jpds)
2022-10-27 12:12:57 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-27 12:18:00 +0200 <jackdk> The challenge is to do it in a way that adds the technical terms to the reader's vocabulary
2022-10-27 12:18:39 +0200kraftwerk28_(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-10-27 12:23:47 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 12:24:20 +0200ec(~ec@gateway/tor-sasl/ec)
2022-10-27 12:26:08 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:6ed5:a768:4b55:2df1) (Ping timeout: 252 seconds)
2022-10-27 12:27:17 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-27 12:28:20 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds)
2022-10-27 12:29:02 +0200 <chreekat> Why? :) I don't learn the technical terms of astrophysics to sit in the warm sun
2022-10-27 12:31:31 +0200nate3(~nate@98.45.169.16)
2022-10-27 12:31:47 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 12:32:43 +0200razetime(~quassel@49.207.192.79)
2022-10-27 12:35:19 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-10-27 12:36:19 +0200nate3(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-10-27 12:39:52 +0200ubert(~Thunderbi@178.165.169.91.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2022-10-27 12:40:05 +0200ubert(~Thunderbi@178.165.169.91.wireless.dyn.drei.com)
2022-10-27 12:44:51 +0200axeman(~quassel@2a02:8109:a380:78:1814:a548:47e3:820e)
2022-10-27 12:47:12 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-10-27 12:49:03 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-10-27 12:55:26 +0200DavidBinder(~DavidBind@134.2.10.18) (Remote host closed the connection)
2022-10-27 12:56:45 +0200 <probie> Are there any widely used alternatives to aeson?
2022-10-27 13:04:14 +0200yoneda(~mike@193.206.102.122)
2022-10-27 13:05:37 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-10-27 13:06:43 +0200kraftwerk28(~kraftwerk@178.62.210.83)
2022-10-27 13:06:53 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-10-27 13:09:10 +0200xff0x(~xff0x@2405:6580:b080:900:4ce0:8375:d2a4:aff0)
2022-10-27 13:09:53 +0200mixfix41(~sdeny9ee@user/mixfix41) (Ping timeout: 276 seconds)
2022-10-27 13:12:58 +0200mixfix41(~sdeny9ee@user/mixfix41)
2022-10-27 13:13:10 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-10-27 13:13:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-10-27 13:13:56 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:637b:a50c:b6e4:f848)
2022-10-27 13:15:55 +0200kraftwerk28(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-10-27 13:17:13 +0200kraftwerk28(~kraftwerk@178.62.210.83)
2022-10-27 13:18:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-10-27 13:23:23 +0200detuneattune(~detuneatt@user/detuneattune)
2022-10-27 13:26:43 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 244 seconds)
2022-10-27 13:26:51 +0200ubert(~Thunderbi@178.165.169.91.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2022-10-27 13:27:06 +0200ubert(~Thunderbi@178.165.169.91.wireless.dyn.drei.com)
2022-10-27 13:27:30 +0200vglfr(~vglfr@145.224.100.164) (Remote host closed the connection)
2022-10-27 13:27:46 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107)
2022-10-27 13:28:05 +0200vglfr(~vglfr@145.224.100.164)
2022-10-27 13:28:32 +0200ubert(~Thunderbi@178.165.169.91.wireless.dyn.drei.com) (Client Quit)
2022-10-27 13:28:48 +0200ubert(~Thunderbi@178.165.169.91.wireless.dyn.drei.com)
2022-10-27 13:31:40 +0200ubert(~Thunderbi@178.165.169.91.wireless.dyn.drei.com) (Client Quit)
2022-10-27 13:31:57 +0200ubert(~Thunderbi@178.165.169.91.wireless.dyn.drei.com)
2022-10-27 13:32:00 +0200 <jackdk> no. there is waargonaut and I only just heard of hermes-json, because I saw it used in something the other day
2022-10-27 13:32:38 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-27 13:32:44 +0200 <tomsmeding> there is the 'json' package, which is not _widely_ used but is used, and is very simple
2022-10-27 13:33:46 +0200razetime(~quassel@49.207.192.79) (Ping timeout: 250 seconds)
2022-10-27 13:35:05 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-10-27 13:36:52 +0200axeman(~quassel@2a02:8109:a380:78:1814:a548:47e3:820e) (Ping timeout: 246 seconds)
2022-10-27 13:41:08 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-27 13:45:19 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 244 seconds)
2022-10-27 13:57:23 +0200Alex_test(~al_test@178.34.162.124) (Read error: Connection reset by peer)
2022-10-27 13:57:23 +0200AlexNoo(~AlexNoo@178.34.162.124) (Read error: Connection reset by peer)
2022-10-27 13:57:23 +0200AlexZenon(~alzenon@178.34.162.124) (Read error: Connection reset by peer)
2022-10-27 13:57:52 +0200AlexNoo(~AlexNoo@178.34.162.124)
2022-10-27 14:00:03 +0200Alex_test(~al_test@178.34.162.124)
2022-10-27 14:01:38 +0200AlexZenon(~alzenon@178.34.162.124)
2022-10-27 14:04:27 +0200 <dminuoso> One thing that additionally comes to mind, is that haddock documentation on instances is somewhat lacking.
2022-10-27 14:04:52 +0200 <dminuoso> I would like being able to document individual methods on an instance somehow
2022-10-27 14:05:35 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-27 14:09:31 +0200lyle(~lyle@104.246.145.85)
2022-10-27 14:19:10 +0200 <chreekat> Yes, that would be nice
2022-10-27 14:19:15 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-10-27 14:29:17 +0200nschoe(~q@141.101.51.197) (Ping timeout: 260 seconds)
2022-10-27 14:31:12 +0200cfricke(~cfricke@user/cfricke)
2022-10-27 14:32:07 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-10-27 14:32:30 +0200 <dminuoso> Does someone have some intuition as to why `arbitraryChar` might generate a \NUL character here? https://gist.github.com/dminuoso/dd9faad54d7719392319032ed8430916
2022-10-27 14:32:46 +0200 <dminuoso> Im using QuickCheck-2.14.2, and arbitraryPrintableChar is not shadowed
2022-10-27 14:33:15 +0200 <dminuoso> arbitraryPrintableChar = arbitrary `suchThat` isPrint
2022-10-27 14:33:20 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-10-27 14:33:20 +0200 <dminuoso> % import Data.Char
2022-10-27 14:33:20 +0200 <yahb2> <no output>
2022-10-27 14:33:25 +0200 <dminuoso> % isPrint '\NUL'
2022-10-27 14:33:25 +0200 <yahb2> False
2022-10-27 14:34:19 +0200nschoe(~q@141.101.51.197)
2022-10-27 14:42:14 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107)
2022-10-27 14:46:17 +0200cytokine_storm(~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 244 seconds)
2022-10-27 14:47:04 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-27 14:48:05 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-10-27 14:49:27 +0200 <[Leary]> % isPrint . Data.Char.chr <$> [256,512..25600]
2022-10-27 14:49:27 +0200 <yahb2> [True,True,True,True,True,False,True,True,True,False,False,True,True,False,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,Tr...
2022-10-27 14:49:32 +0200 <[Leary]> % BS8.pack $ Data.Char.chr <$> [256,512..25600]
2022-10-27 14:49:32 +0200 <yahb2> "\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL...
2022-10-27 14:49:42 +0200 <[Leary]> dminuoso: Probably truncation.
2022-10-27 14:54:34 +0200 <dminuoso> [Leary]: Good catch, thank you very much
2022-10-27 14:58:31 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-27 14:59:49 +0200acidjnk_new(~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-27 14:59:49 +0200acidjnk(~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-27 15:03:59 +0200phma_(phma@2001:5b0:211f:28f8:a44f:c2f6:a710:7cf)
2022-10-27 15:06:04 +0200phma(phma@2001:5b0:211b:bac8:e3f1:be8:3db9:1c2a) (Ping timeout: 250 seconds)
2022-10-27 15:12:34 +0200Raito_Bezarius(~Raito@2a01:e0a:5f9:9681:92a1:cfc4:8cb0:c6ed) (Ping timeout: 250 seconds)
2022-10-27 15:12:44 +0200AkechiShiro(~licht@2a01:e0a:5f9:9681:53a9:19ec:6934:da62) (Ping timeout: 276 seconds)
2022-10-27 15:12:46 +0200Luj3(~Luj@2a01:e0a:5f9:9681:bbd7:4981:7fe5:6e34) (Ping timeout: 246 seconds)
2022-10-27 15:15:03 +0200mc47(~mc47@xmonad/TheMC47)
2022-10-27 15:16:27 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-27 15:17:04 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-27 15:25:31 +0200kuribas(~user@silversquare.silversquare.eu) (Read error: Connection reset by peer)
2022-10-27 15:26:11 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-10-27 15:26:14 +0200kuribas(~user@silversquare.silversquare.eu)
2022-10-27 15:27:31 +0200eL_Bart0(eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer)
2022-10-27 15:29:01 +0200mastarija(~mastarija@188.252.199.190)
2022-10-27 15:29:22 +0200king_gs(~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3)
2022-10-27 15:29:45 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-10-27 15:32:25 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2022-10-27 15:32:30 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-10-27 15:32:33 +0200Sgeo(~Sgeo@user/sgeo)
2022-10-27 15:37:28 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-10-27 15:49:23 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-10-27 15:52:17 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-10-27 15:53:43 +0200ccapndave(~ccapndave@mob-194-230-161-192.cgn.sunrise.net)
2022-10-27 15:56:09 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-10-27 15:57:35 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 244 seconds)
2022-10-27 15:57:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
2022-10-27 16:01:17 +0200kuribas(~user@silversquare.silversquare.eu) (Ping timeout: 240 seconds)
2022-10-27 16:01:52 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-10-27 16:01:58 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Ping timeout: 250 seconds)
2022-10-27 16:03:13 +0200kuribas(~user@silversquare.silversquare.eu)
2022-10-27 16:08:49 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
2022-10-27 16:08:51 +0200irrgit_(~irrgit@176.113.74.138)
2022-10-27 16:09:10 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds)
2022-10-27 16:09:40 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-27 16:11:34 +0200ccapndave(~ccapndave@mob-194-230-161-192.cgn.sunrise.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-27 16:17:27 +0200Luj3(~Luj@2a01:e0a:5f9:9681:8793:bc4b:8d3c:489e)
2022-10-27 16:19:29 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-10-27 16:20:13 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-10-27 16:22:05 +0200ccapndave(~ccapndave@mob-194-230-161-192.cgn.sunrise.net)
2022-10-27 16:22:56 +0200ssw(~ssw@user/ssw) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2022-10-27 16:23:11 +0200ssw(~ssw@user/ssw)
2022-10-27 16:23:21 +0200 <Profpatsch> probie: why do you ask?
2022-10-27 16:23:38 +0200 <Profpatsch> I don’t like the aeson interface very much, either, but I use libraries like https://hackage.haskell.org/package/aeson-better-errors to work around it
2022-10-27 16:24:32 +0200 <Profpatsch> With OverloadedRecordDot, is there a way to automatically import the fields of recursive types?
2022-10-27 16:25:07 +0200 <Profpatsch> I made the decision (mistake?) to enable NoFieldSelectors, but now I get a very confusing “no HasField instance” error every time I forget to import a nested field
2022-10-27 16:25:32 +0200 <Profpatsch> I guess it’s not directly related to NoFieldSelectors, just to the bad UX of dot syntax atm
2022-10-27 16:27:02 +0200 <merijn> All the record extensions are a mistake :p
2022-10-27 16:27:13 +0200 <merijn> With the exception of NamedFieldPuns and NoFieldSelectors :p
2022-10-27 16:27:28 +0200 <merijn> RecordWildCard is a mistake, but also guilty pleasure :p
2022-10-27 16:31:10 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds)
2022-10-27 16:33:02 +0200nate3(~nate@98.45.169.16)
2022-10-27 16:34:00 +0200 <AndreasK> bgamari: are you around
2022-10-27 16:37:56 +0200nate3(~nate@98.45.169.16) (Ping timeout: 250 seconds)
2022-10-27 16:38:16 +0200 <Profpatsch> merijn: I don’t believe so. With OverloadedRecordDot I can finally in good conscience recommend Haskell as a modern language
2022-10-27 16:38:29 +0200 <Profpatsch> Well, if the error message & hls support were better, but I hope it’s getting there
2022-10-27 16:38:34 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 16:39:37 +0200king_gs(~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3) (Ping timeout: 240 seconds)
2022-10-27 16:41:31 +0200phma_phma
2022-10-27 16:43:27 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-27 16:46:55 +0200mastarija(~mastarija@188.252.199.190) (Quit: Leaving)
2022-10-27 16:46:58 +0200razetime(~quassel@49.207.192.79)
2022-10-27 16:48:20 +0200xff0x(~xff0x@2405:6580:b080:900:4ce0:8375:d2a4:aff0) (Ping timeout: 250 seconds)
2022-10-27 16:48:54 +0200ccapndave(~ccapndave@mob-194-230-161-192.cgn.sunrise.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-10-27 16:51:07 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-10-27 16:58:07 +0200yrlnry(~yrlnry@pool-108-36-173-41.phlapa.fios.verizon.net) (Quit: Leaving...)
2022-10-27 17:01:21 +0200 <maralorn> Yeah, the no instance thingy is really stupid. Because in Haskell missing instance nearly never means that you just forgot to import it.
2022-10-27 17:06:34 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
2022-10-27 17:08:53 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-27 17:09:06 +0200phma(phma@2001:5b0:211f:28f8:a44f:c2f6:a710:7cf) (Read error: Connection reset by peer)
2022-10-27 17:09:42 +0200xff0x(~xff0x@2405:6580:b080:900:4ce0:8375:d2a4:aff0)
2022-10-27 17:09:59 +0200phma(phma@2001:5b0:211f:9a38:3171:77a0:4a89:d9f6)
2022-10-27 17:10:57 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 17:15:36 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds)
2022-10-27 17:23:52 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-10-27 17:24:39 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
2022-10-27 17:25:20 +0200Kaipei(~Kaiepi@108.175.84.104) (Remote host closed the connection)
2022-10-27 17:25:40 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-27 17:25:44 +0200Kaipei(~Kaiepi@108.175.84.104)
2022-10-27 17:28:21 +0200constxd(~brad@47.55.121.233) (Ping timeout: 272 seconds)
2022-10-27 17:30:20 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
2022-10-27 17:30:21 +0200king_gs(~Thunderbi@187.201.47.251)
2022-10-27 17:31:22 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-27 17:31:46 +0200Kaipii(~Kaiepi@108.175.84.104)
2022-10-27 17:34:12 +0200Kaipei(~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds)
2022-10-27 17:34:38 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-10-27 17:35:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-27 17:38:10 +0200razetime(~quassel@49.207.192.79) (Ping timeout: 252 seconds)
2022-10-27 17:42:28 +0200 <AlexZenon> C:\Program Files\Borland\Delphi5
2022-10-27 17:42:29 +0200 <AlexZenon> C:\Program Files\Common Files\Borland Shared\
2022-10-27 17:42:29 +0200 <AlexZenon> C:\Program Files\Common Files\Borland Shared\BDE\
2022-10-27 17:42:29 +0200 <AlexZenon> C:\Program Files\Borland\Database Desktop\
2022-10-27 17:42:29 +0200 <AlexZenon> C:\PROGRA~1\Borland\vbroker
2022-10-27 17:43:06 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 17:43:09 +0200 <geekosaur> ?
2022-10-27 17:43:25 +0200 <Alex_test> ��.
2022-10-27 17:43:25 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection)
2022-10-27 17:43:48 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2)
2022-10-27 17:43:50 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-10-27 17:47:18 +0200Tuplanolla(~Tuplanoll@91-159-69-11.elisa-laajakaista.fi)
2022-10-27 17:47:43 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds)
2022-10-27 17:50:15 +0200razetime(~quassel@49.207.192.79)
2022-10-27 17:50:32 +0200king_gs1(~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3)
2022-10-27 17:50:40 +0200king_gs(~Thunderbi@187.201.47.251) (Read error: Connection reset by peer)
2022-10-27 17:50:40 +0200king_gs1king_gs
2022-10-27 17:51:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-27 17:52:49 +0200slac31229(~slack1256@191.125.227.73)
2022-10-27 17:54:16 +0200acidjnk_new(~acidjnk@p200300d6e7137a04040206df7d69f9dc.dip0.t-ipconnect.de)
2022-10-27 17:54:16 +0200acidjnk(~acidjnk@p200300d6e7137a04040206df7d69f9dc.dip0.t-ipconnect.de)
2022-10-27 17:55:11 +0200slack1256(~slack1256@186.11.17.82) (Ping timeout: 260 seconds)
2022-10-27 17:58:51 +0200 <probie> Profpatsch: On a personal note, I think Aeson has too many dependencies and it doesn't care about key ordering (or at least didn't). On a practical note, I want to be able to "stream" values
2022-10-27 18:04:02 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-10-27 18:07:00 +0200 <probie> I guess I just really want a dumb parser/printer instead of a full serialisation library (or at least separate from it). I'll probably just write what I want, since none of the alternatives seem much better
2022-10-27 18:08:15 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-27 18:11:43 +0200 <Profpatsch> probie: yeah, the parser does not keep the order of elements in object
2022-10-27 18:11:50 +0200 <Profpatsch> that’s a hard technical limitation if you need that
2022-10-27 18:12:03 +0200kuribas(~user@silversquare.silversquare.eu) (Quit: ERC (IRC client for Emacs 27.1))
2022-10-27 18:12:11 +0200 <Profpatsch> But I *think* you could re-use the underlying parser combinators if you need that
2022-10-27 18:12:36 +0200 <Profpatsch> I wouldn’t really recommend writing a json parser yourself if it can be avoided
2022-10-27 18:12:43 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:637b:a50c:b6e4:f848) (Quit: WeeChat 2.8)
2022-10-27 18:13:47 +0200 <Profpatsch> probie: this is the parser you need: https://hackage.haskell.org/package/aeson-2.1.1.0/docs/Data-Aeson-Parser-Internal.html#v:jsonWith
2022-10-27 18:15:49 +0200 <Profpatsch> or well, it’s the thing you need to change slightly to be useful to you
2022-10-27 18:16:34 +0200king_gs(~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3) (Ping timeout: 244 seconds)
2022-10-27 18:16:47 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 18:21:04 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds)
2022-10-27 18:24:09 +0200boxscape(~boxscape@81.191.27.107)
2022-10-27 18:26:05 +0200econo(uid147250@user/econo)
2022-10-27 18:27:07 +0200Kephasp(~Kephasp@2a01:e34:ec26:6b40:3666:f94b:8042:c0cb)
2022-10-27 18:28:39 +0200kenran(~user@user/kenran)
2022-10-27 18:31:30 +0200Guest76(~Guest76@lfbn-idf2-1-1285-246.w92-169.abo.wanadoo.fr)
2022-10-27 18:33:26 +0200boxscape(~boxscape@81.191.27.107) (Remote host closed the connection)
2022-10-27 18:33:50 +0200constxd(~brad@nat-137-186-18-122.wireless.telus.com)
2022-10-27 18:36:07 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds)
2022-10-27 18:36:55 +0200Guest76(~Guest76@lfbn-idf2-1-1285-246.w92-169.abo.wanadoo.fr) (Quit: Client closed)
2022-10-27 18:37:46 +0200yoneda(~mike@193.206.102.122) (Quit: leaving)
2022-10-27 18:40:02 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2022-10-27 18:42:16 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
2022-10-27 18:44:21 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2022-10-27 18:44:27 +0200king_gs(~Thunderbi@187.201.47.251)
2022-10-27 18:47:56 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-10-27 18:49:13 +0200jtomas(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-27 18:49:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-27 18:50:45 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 18:51:50 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 250 seconds)
2022-10-27 18:52:11 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-10-27 18:53:26 +0200 <EvanR> Alex_test is on DOS and their IRC client and C compiler address space collided
2022-10-27 18:53:34 +0200jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-10-27 18:53:57 +0200 <EvanR> s/C/Delphi/
2022-10-27 18:54:34 +0200Kaipei(~Kaiepi@108.175.84.104)
2022-10-27 18:55:13 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds)
2022-10-27 18:55:27 +0200jpds1(~jpds@gateway/tor-sasl/jpds)
2022-10-27 18:57:54 +0200Kaipii(~Kaiepi@108.175.84.104) (Ping timeout: 250 seconds)
2022-10-27 19:02:06 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-27 19:03:06 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 250 seconds)
2022-10-27 19:05:25 +0200 <geekosaur> qemm worked better than that usually 🙂
2022-10-27 19:06:17 +0200 <geekosaur> well, desqview, it took more than just an emm to get multiple dos programs running that way
2022-10-27 19:06:27 +0200 <geekosaur> maybe windows 3.10
2022-10-27 19:06:55 +0200 <geekosaur> desqview was always more reliable for me
2022-10-27 19:07:12 +0200constxd(~brad@nat-137-186-18-122.wireless.telus.com) (Ping timeout: 244 seconds)
2022-10-27 19:07:12 +0200nschoe(~q@141.101.51.197) (Ping timeout: 244 seconds)
2022-10-27 19:09:14 +0200constxd(~brad@nat-137-186-18-122.wireless.telus.com)
2022-10-27 19:10:00 +0200fserucas|eod(~fserucas|@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving)
2022-10-27 19:10:50 +0200redmp(~redmp@lib-02-subnet-194.rdns.cenic.net)
2022-10-27 19:16:08 +0200Kaipii(~Kaiepi@108.175.84.104)
2022-10-27 19:16:29 +0200razetime(~quassel@49.207.192.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-10-27 19:19:37 +0200Kaipei(~Kaiepi@108.175.84.104) (Ping timeout: 240 seconds)
2022-10-27 19:23:40 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 19:23:40 +0200king_gs(~Thunderbi@187.201.47.251) (Read error: Connection reset by peer)
2022-10-27 19:23:55 +0200king_gs(~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3)
2022-10-27 19:27:52 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds)
2022-10-27 19:30:25 +0200slac31229(~slack1256@191.125.227.73) (Read error: Connection reset by peer)
2022-10-27 19:30:31 +0200slack1256(~slack1256@186.11.17.82)
2022-10-27 19:30:52 +0200shriekingnoise(~shrieking@186.137.167.202) (Ping timeout: 260 seconds)
2022-10-27 19:33:39 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 19:35:01 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 272 seconds)
2022-10-27 19:35:03 +0200ft(~ft@p3e9bc845.dip0.t-ipconnect.de)
2022-10-27 19:35:21 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-10-27 19:36:28 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-10-27 19:37:27 +0200 <EvanR> TIL DOS could multitask. But I guess windows 3.1 had to somehow
2022-10-27 19:37:41 +0200mbuf(~Shakthi@49.205.82.97) (Quit: Leaving)
2022-10-27 19:38:42 +0200 <Athas> Cooperatively, right?
2022-10-27 19:38:49 +0200 <Athas> Basically the concurrency monad.
2022-10-27 19:39:10 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-27 19:39:36 +0200 <jean-paul[m]> is there a way to point a stack `extra-deps` item at a local filesystem directory (not a .zip)?
2022-10-27 19:40:50 +0200 <geekosaur> Athas, yes unless the program had support for preemptive multitasking and declarerd it via the appropriate API
2022-10-27 19:41:18 +0200 <geekosaur> quite a few programs knew how to use the DV API. I don't recall if Windows for DOS had such an API
2022-10-27 19:42:10 +0200 <geekosaur> there were other programs which supported internal cooperative threading (notably NOS.EXE variants used in ham radio)
2022-10-27 19:43:14 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-27 19:43:24 +0200 <EvanR> concurrency monad?
2022-10-27 19:44:42 +0200 <geekosaur> if only it were that organized 🙂
2022-10-27 19:45:07 +0200 <geekosaur> setjmp-based multitasking was always a hack
2022-10-27 19:47:17 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 240 seconds)
2022-10-27 19:48:51 +0200 <Athas> Well, so is the concurrency monad!
2022-10-27 19:48:53 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-10-27 19:48:57 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-10-27 19:49:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-27 19:49:37 +0200 <EvanR> what is >>= for the concurrency monad
2022-10-27 19:50:16 +0200 <Athas> Either sequential composition or a switch to another "thread".
2022-10-27 19:50:27 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Remote host closed the connection)
2022-10-27 19:50:28 +0200ec(~ec@gateway/tor-sasl/ec)
2022-10-27 19:50:30 +0200 <Athas> The concurrency monad really isn't as interesting as it sounds.
2022-10-27 19:51:45 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-27 19:52:41 +0200 <jean-paul[m]> (extra-deps accepts a local path as a string ... duh)
2022-10-27 19:52:55 +0200 <EvanR> is it like, a rebranded List monad
2022-10-27 19:53:30 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 19:54:07 +0200 <Athas> EvanR: to be frank, there is no *the* concurrency monad, but it's basically a kind of continuation monad with multiple running continuations: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A369E310ADAE4455020C918FC1…
2022-10-27 19:55:09 +0200Kephasp(~Kephasp@2a01:e34:ec26:6b40:3666:f94b:8042:c0cb) (Quit: Client closed)
2022-10-27 19:56:17 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-10-27 19:56:48 +0200 <EvanR> the title a poor man's concurrency monad implies there is a proper privileged concurrency monad somewhere and we won't be implementing that xD
2022-10-27 19:57:21 +0200desantra(~skykanin@user/skykanin)
2022-10-27 19:57:50 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds)
2022-10-27 19:58:17 +0200 <Athas> A rich man's concurrency monad actually uses proper platform concurrency primitives.
2022-10-27 19:58:32 +0200 <Athas> But the proletariat can only afford longjmp().
2022-10-27 19:58:51 +0200 <EvanR> ah ok, IO
2022-10-27 19:59:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-27 20:00:53 +0200iteratee(~kyle@162.218.222.107)
2022-10-27 20:01:14 +0200desantra(~skykanin@user/skykanin) (Client Quit)
2022-10-27 20:05:35 +0200redmp(~redmp@lib-02-subnet-194.rdns.cenic.net) (Ping timeout: 244 seconds)
2022-10-27 20:07:47 +0200desantra(~skykanin@user/skykanin)
2022-10-27 20:07:57 +0200constxd(~brad@nat-137-186-18-122.wireless.telus.com) (Ping timeout: 272 seconds)
2022-10-27 20:08:11 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
2022-10-27 20:09:45 +0200iteratee_(~kyle@162.218.222.107)
2022-10-27 20:11:06 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 20:11:12 +0200iteratee(~kyle@162.218.222.107) (Quit: leaving)
2022-10-27 20:11:29 +0200iteratee_iteratee
2022-10-27 20:12:24 +0200 <EvanR> ah MonadPlus for such a monad is parallel composition
2022-10-27 20:15:04 +0200Kaipei(~Kaiepi@108.175.84.104)
2022-10-27 20:15:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-27 20:18:04 +0200Kaipii(~Kaiepi@108.175.84.104) (Ping timeout: 250 seconds)
2022-10-27 20:18:47 +0200constxd(~brad@nat-137-186-18-122.wireless.telus.com)
2022-10-27 20:19:22 +0200king_gs(~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3) (Ping timeout: 250 seconds)
2022-10-27 20:20:03 +0200 <EvanR> in two places in the paper they refer to "non-proper morphisms of [some monad]"
2022-10-27 20:20:16 +0200 <EvanR> what is a proper / non-proper morphism
2022-10-27 20:21:48 +0200 <darkling> I'd guess that a proper morphism excludes the identity?
2022-10-27 20:26:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-27 20:27:35 +0200dkeohane(~dkeohane@csm-wl-dhcp-205-230.mines.edu)
2022-10-27 20:30:21 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-10-27 20:31:12 +0200 <EvanR> like, it lists 3 functions used to access IORefs in the IO monad, it calls all 3 non-proper morphisms of IO. Maybe some weird historical jargon
2022-10-27 20:32:45 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-27 20:34:07 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-27 20:34:31 +0200lyle(~lyle@104.246.145.85) (Quit: WeeChat 3.7.1)
2022-10-27 20:34:31 +0200nate3(~nate@98.45.169.16)
2022-10-27 20:35:37 +0200Kaipei(~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds)
2022-10-27 20:39:37 +0200nate3(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-27 20:40:00 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Remote host closed the connection)
2022-10-27 20:47:26 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-10-27 20:51:34 +0200constxd(~brad@nat-137-186-18-122.wireless.telus.com) (Ping timeout: 244 seconds)
2022-10-27 20:58:42 +0200gqplox(~textual@2a02:c7c:941d:fd00:4102:e413:2c06:9bc1)
2022-10-27 20:58:44 +0200Kaipei(~Kaiepi@108.175.84.104)
2022-10-27 21:00:13 +0200slac73716(~slack1256@191.125.227.73)
2022-10-27 21:01:06 +0200talismanick(~talismani@76.133.152.122)
2022-10-27 21:01:50 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-10-27 21:03:06 +0200slack1256(~slack1256@186.11.17.82) (Ping timeout: 272 seconds)
2022-10-27 21:05:03 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-27 21:06:10 +0200Guest6(~Guest6@host-87-18-171-201.retail.telecomitalia.it)
2022-10-27 21:06:17 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-10-27 21:07:16 +0200Guest6(~Guest6@host-87-18-171-201.retail.telecomitalia.it) (Client Quit)
2022-10-27 21:14:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
2022-10-27 21:15:05 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2022-10-27 21:17:21 +0200mixfix41(~sdeny9ee@user/mixfix41) (Quit: channeling away)
2022-10-27 21:18:21 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-10-27 21:19:22 +0200Sauvin(~sauvin@user/Sauvin) (Ping timeout: 260 seconds)
2022-10-27 21:21:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-27 21:29:36 +0200 <energizer> is python the only language that has a variadic `zip`?
2022-10-27 21:34:12 +0200Sauvin(~sauvin@user/Sauvin)
2022-10-27 21:34:21 +0200 <EvanR> lisp
2022-10-27 21:34:29 +0200 <energizer> which one
2022-10-27 21:37:22 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2022-10-27 21:39:42 +0200 <EvanR> while trying to find the answer to that, I also found a variadic zip function in R
2022-10-27 21:40:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
2022-10-27 21:41:17 +0200 <energizer> what's it called in R?
2022-10-27 21:43:29 +0200 <energizer> i'm trying to figure out what a variadic zip should do with zero arguments
2022-10-27 21:44:15 +0200constxd(~brad@nat-137-186-18-122.wireless.telus.com)
2022-10-27 21:44:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Ping timeout: 244 seconds)
2022-10-27 21:45:09 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-27 21:45:37 +0200 <EvanR> zip
2022-10-27 21:46:19 +0200 <probie> does lisp have variadic zip, or is it just something like `(map list arg1 arg2 arg3 .. argn)`?
2022-10-27 21:46:24 +0200 <EvanR> if you think of zip as a matrix transpose, then zero arguments could indicate a 0xN Nx0 or 0x0 matrix transpose
2022-10-27 21:46:46 +0200 <EvanR> i.e. not usually expressible using lists
2022-10-27 21:47:02 +0200 <EvanR> or, not distinguishable
2022-10-27 21:48:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-27 21:49:00 +0200pavonia(~user@user/siracusa)
2022-10-27 21:54:43 +0200 <energizer> EvanR: zip seems to be about creating zip archives https://www.rdocumentation.org/packages/utils/versions/3.6.2/topics/zip
2022-10-27 21:54:46 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 255 seconds)
2022-10-27 21:55:06 +0200 <probie> I think that zip with zero args should be `repeat ()`
2022-10-27 21:55:28 +0200 <energizer> probie: can you explain why
2022-10-27 21:57:32 +0200 <EvanR> repeat () is one of the interpretations of the matrix transpose
2022-10-27 21:57:42 +0200constxd(~brad@nat-137-186-18-122.wireless.telus.com) (Ping timeout: 244 seconds)
2022-10-27 21:57:59 +0200 <EvanR> since the size of the matrix is unknown and not represented we don't know what the answer should be
2022-10-27 21:59:04 +0200 <probie> I'd like `zip a (zip b c)`, `zip a b c`, `zip (zip a b) c` to provide the same answer, modulo some tuple-juggling
2022-10-27 21:59:42 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 255 seconds)
2022-10-27 22:01:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-27 22:01:25 +0200slac73716(~slack1256@191.125.227.73) (Read error: Connection reset by peer)
2022-10-27 22:01:33 +0200irrgit_(~irrgit@176.113.74.138) (Read error: Connection reset by peer)
2022-10-27 22:02:54 +0200slack1256(~slack1256@186.11.17.82)
2022-10-27 22:02:56 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241)
2022-10-27 22:02:59 +0200irrgit_(~irrgit@176.113.74.130)
2022-10-27 22:03:17 +0200 <EvanR> well I closed the tab with that zip function in R and I can't find it
2022-10-27 22:04:10 +0200LambdaDuck(~anka@ksit.fixme.fi) (Ping timeout: 246 seconds)
2022-10-27 22:04:19 +0200LambdaDuck(~anka@ksit.fixme.fi)
2022-10-27 22:04:33 +0200 <EvanR> the graphical linear algebra blob also motivates the well-typed matrix view of this
2022-10-27 22:04:50 +0200 <EvanR> which list of list isn't a good example
2022-10-27 22:05:01 +0200 <EvanR> blog*
2022-10-27 22:05:36 +0200 <gqplox> Hi guys
2022-10-27 22:05:38 +0200 <gqplox> how's it going
2022-10-27 22:06:08 +0200 <gqplox> Please could you give some feedback on my code
2022-10-27 22:07:01 +0200 <gqplox> http://sprunge.us/PXE7if?hs
2022-10-27 22:08:03 +0200 <gqplox> (Somewhat similar thing in python) http://sprunge.us/Q59Oql?py
2022-10-27 22:09:36 +0200 <gqplox> My main "concern" is that it is really inefficient. However n practice I ran this script on an 80k word string and it took 0.2 sec so it's not an issue and I've heard that the Haskell compiler is pretty smart.
2022-10-27 22:12:11 +0200 <EvanR> if it runs fast, that's great. But it may be using egregious amount of memory, which you can see by profiling. And if it's fast and not using a lot of memory, I question the question's premise xD
2022-10-27 22:13:20 +0200 <probie> frequencies is a lot slower than it needs to be, since you "count" frequencies once for every word in your input, not once for every distinct word
2022-10-27 22:13:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-27 22:14:14 +0200 <gqplox> Haha fair enough, what I mean to say is from my naiive understanding for example to calculate the count of each word i loop through the entire array whereas in the python one is O(n)
2022-10-27 22:14:57 +0200 <gqplox> anyway Im an extreme beginner so if you had tips on improving the clarity of the code or how to make it more efficient i would be very grateful
2022-10-27 22:14:58 +0200 <EvanR> looping through an array and looping through a list is O(n) regardless
2022-10-27 22:15:29 +0200 <gqplox> But for each word if i loop over the words array then it's O(n^2) total as i have to calculate count of each word
2022-10-27 22:15:31 +0200 <probie> also, it's probably preferable to go `length (filter p xs)` instead of `foldr (\x r -> if p x then 1 + r else r) 0 xs`.
2022-10-27 22:15:55 +0200 <EvanR> also it should be foldl there (prime)
2022-10-27 22:16:56 +0200 <EvanR> yeah you can avoid n^2 by using a Map of seen words and their counts
2022-10-27 22:18:47 +0200 <gqplox> oh yeah the length filter is cool thank you
2022-10-27 22:18:52 +0200 <gqplox> i didn't think of that lol
2022-10-27 22:19:42 +0200 <gqplox> sorry what do you mean foldl (prime)?
2022-10-27 22:20:04 +0200 <EvanR> foldl and foldl' is basically for when you want to loop over a list and accumulate something
2022-10-27 22:20:19 +0200 <EvanR> or any Foldable
2022-10-27 22:20:20 +0200 <probie> There's foldr and foldl. You almost never want to use foldl. Instead you want foldl' from Data.List
2022-10-27 22:20:40 +0200 <gqplox> Oh right
2022-10-27 22:20:48 +0200 <gqplox> ah that's why :t foldl' didnt work
2022-10-27 22:20:56 +0200 <gqplox> ill read up on the difference thx
2022-10-27 22:21:03 +0200 <EvanR> strictness analysis can make foldl work like foldl', I just mentioned foldl because mentioning ONLY foldl' might lead to a huge discussion about what happened to foldl, and so here we are anyway xD
2022-10-27 22:21:12 +0200 <gqplox> but what was wrong with foldr there?
2022-10-27 22:21:16 +0200 <EvanR> but they are both logically for the same purpose
2022-10-27 22:21:29 +0200 <alexfmpe[m]> explanation of foldl vs foldr vs strict variants: https://github.com/hasura/graphql-engine/pull/2933#discussion_r328821960
2022-10-27 22:21:43 +0200 <probie> If you're curious, here's my attempt at translating your python into Haskell https://paste.tomsmeding.com/qWTsnlOh
2022-10-27 22:21:48 +0200 <EvanR> foldr would still technically work but inefficiently, and is just inappropriate
2022-10-27 22:21:59 +0200 <EvanR> foldr is constructor replacement
2022-10-27 22:22:11 +0200 <EvanR> it's quite lazy
2022-10-27 22:22:36 +0200 <gqplox> wow cool thank you probie
2022-10-27 22:22:45 +0200 <gqplox> time to look at what all that stuff does now :)
2022-10-27 22:26:43 +0200 <EvanR> that discussion of foldl and foldr for lists makes it seem more symmetric than it is, especially once the folding is over some other structure
2022-10-27 22:28:13 +0200 <EvanR> advice I never got, they are totally different and for different purposes
2022-10-27 22:30:06 +0200 <geekosaur> right, that foldr works the way it does on lists is more or less an accidental correspondence with how lists are defined
2022-10-27 22:30:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-27 22:30:53 +0200 <energizer> EvanR: how is `repeat ()` a matrix transpose?
2022-10-27 22:31:11 +0200boxscape(~boxscape@81.191.27.107)
2022-10-27 22:33:13 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-27 22:33:15 +0200 <EvanR> if you represent a matrix as a list of rows where rows are tuples, repeat () is inf x 0 matrix
2022-10-27 22:33:40 +0200 <EvanR> so a transpose of a 0 x inf matrix
2022-10-27 22:34:23 +0200 <EvanR> which I guess you could represent as [], but ymmv
2022-10-27 22:39:58 +0200ozkutuk(~ozkutuk@176.240.173.153)
2022-10-27 22:44:12 +0200mmhat(~mmh@p200300f1c73076a6ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-10-27 22:44:20 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-10-27 22:45:35 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-10-27 22:48:01 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-27 22:48:20 +0200jtomas(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 244 seconds)
2022-10-27 22:48:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-27 22:58:23 +0200mmhat(~mmh@p200300f1c730768bee086bfffe095315.dip0.t-ipconnect.de)
2022-10-27 23:03:45 +0200thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection)
2022-10-27 23:06:26 +0200desantra(~skykanin@user/skykanin) (Quit: WeeChat 3.6)
2022-10-27 23:07:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-27 23:07:27 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-10-27 23:11:05 +0200Midjak(~Midjak@82.66.147.146)
2022-10-27 23:12:53 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-27 23:25:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-10-27 23:28:15 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-27 23:40:09 +0200Lycurgus(~juan@user/Lycurgus)
2022-10-27 23:41:44 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com)
2022-10-27 23:43:15 +0200caryhartline(~caryhartl@107.140.218.181)
2022-10-27 23:43:52 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
2022-10-27 23:45:20 +0200iteratee(~kyle@162.218.222.107) (Remote host closed the connection)
2022-10-27 23:46:25 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-27 23:47:40 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-10-27 23:50:20 +0200michalz(~michalz@185.246.207.205) (Remote host closed the connection)
2022-10-27 23:56:52 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-27 23:57:52 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-10-27 23:58:15 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)