IRCBrowse

2023/10/27

2023-10-27 00:01:32 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-10-27 00:02:01 +0000califax(~califax@user/califx) (Remote host closed the connection)
2023-10-27 00:02:44 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-10-27 00:03:38 +0000califax(~califax@user/califx)
2023-10-27 00:06:20 +0000pixelmonk(~pixelmonk@50.205.76.66) (Quit: WeeChat 4.1.0)
2023-10-27 00:17:43 +0000Square2(~Square@user/square)
2023-10-27 00:24:14 +0000kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-10-27 00:34:15 +0000ania123(~ania123@wl-pool2-ont-004.uni-muenster.de) (Quit: Ping timeout (120 seconds))
2023-10-27 00:39:25 +0000random-jellyfish(~tiber@2a02:2f04:11e:c600:895a:e128:f425:deba)
2023-10-27 00:39:25 +0000random-jellyfish(~tiber@2a02:2f04:11e:c600:895a:e128:f425:deba) (Changing host)
2023-10-27 00:39:25 +0000random-jellyfish(~tiber@user/random-jellyfish)
2023-10-27 00:41:51 +0000dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection)
2023-10-27 00:43:31 +0000dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-10-27 00:51:19 +0000biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-10-27 00:51:43 +0000biberu(~biberu@user/biberu)
2023-10-27 00:52:04 +0000apache2(apache2@anubis.0x90.dk) (Remote host closed the connection)
2023-10-27 00:52:13 +0000apache2(apache2@anubis.0x90.dk)
2023-10-27 00:53:49 +0000Hafydd(~Hafydd@user/hafydd) (Ping timeout: 245 seconds)
2023-10-27 00:54:44 +0000peutri(~peutri@bobo.desast.re) (Ping timeout: 246 seconds)
2023-10-27 00:54:55 +0000peutri(~peutri@bobo.desast.re)
2023-10-27 01:02:14 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-10-27 01:02:36 +0000sabino(~sabino@user/sabino) (Quit: Lambda _ -> x)
2023-10-27 01:03:00 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
2023-10-27 01:03:35 +0000Lord_of_Life_Lord_of_Life
2023-10-27 01:07:20 +0000Hafydd(~Hafydd@user/hafydd)
2023-10-27 01:21:27 +0000CiaoSen(~Jura@2a05:5800:2bd:b300:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds)
2023-10-27 01:23:31 +0000CiaoSen(~Jura@2a05:5800:2dd:c500:664b:f0ff:fe37:9ef)
2023-10-27 01:35:40 +0000sansk(~sansk@user/sansk) (Quit: WeeChat 4.0.4)
2023-10-27 01:42:04 +0000Lycurgus(~georg@user/Lycurgus)
2023-10-27 01:43:40 +0000talismanick(~user@2601:204:ef80:2980::b23e)
2023-10-27 01:43:58 +0000Lycurgus(~georg@user/Lycurgus) (Client Quit)
2023-10-27 01:47:10 +0000Square2(~Square@user/square) (Ping timeout: 258 seconds)
2023-10-27 01:51:04 +0000fryguybob(~fryguybob@cpe-24-94-50-22.stny.res.rr.com) (Quit: leaving)
2023-10-27 01:51:29 +0000fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-10-27 01:52:38 +0000Lycurgus(~georg@user/Lycurgus)
2023-10-27 02:00:31 +0000Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-10-27 02:01:41 +0000Lycurgus(~georg@user/Lycurgus)
2023-10-27 02:01:44 +0000otto_s(~user@p4ff2729b.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2023-10-27 02:01:46 +0000 <Inst_> yeah, for whatever reason, i mapM_ (flip hSetBuffering NoBuffering) [stdin, stdout)
2023-10-27 02:01:47 +0000 <Inst_> ]
2023-10-27 02:02:32 +0000 <EvanR> sometimes when presented with stuff you can do, it's better to just not xD
2023-10-27 02:03:32 +0000otto_s(~user@p5de2f7d1.dip0.t-ipconnect.de)
2023-10-27 02:04:50 +0000Lycurgus(~georg@user/Lycurgus) (Client Quit)
2023-10-27 02:05:13 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-10-27 02:05:28 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-10-27 02:05:30 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-10-27 02:09:54 +0000fryguybob(~fryguybob@cpe-24-94-50-22.stny.res.rr.com)
2023-10-27 02:17:36 +0000accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-10-27 02:25:07 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds)
2023-10-27 02:31:27 +0000xff0x(~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 240 seconds)
2023-10-27 02:43:31 +0000td_(~td@i53870935.versanet.de) (Ping timeout: 258 seconds)
2023-10-27 02:45:16 +0000td_(~td@i53870923.versanet.de)
2023-10-27 02:46:20 +0000liamzy__(~Inst@120.244.192.250)
2023-10-27 02:48:56 +0000Inst_(~Inst@120.244.192.250) (Ping timeout: 255 seconds)
2023-10-27 02:59:40 +0000Buliarous(~gypsydang@46.232.210.139)
2023-10-27 03:09:55 +0000aforemny(~aforemny@2001:9e8:6cce:d400:a4f1:e7f8:9aed:6739) (Ping timeout: 264 seconds)
2023-10-27 03:10:05 +0000aforemny_(~aforemny@2001:9e8:6cf6:7100:4ac5:e904:a193:520d)
2023-10-27 03:15:21 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112) (Remote host closed the connection)
2023-10-27 03:15:37 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112)
2023-10-27 03:15:51 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2023-10-27 03:16:45 +0000euleritian(~euleritia@dynamic-046-114-201-136.46.114.pool.telefonica.de)
2023-10-27 03:20:08 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-10-27 03:22:04 +0000liamzy__(~Inst@120.244.192.250) (Ping timeout: 255 seconds)
2023-10-27 03:23:05 +0000srk_(~sorki@user/srk)
2023-10-27 03:24:38 +0000srk|(~sorki@user/srk)
2023-10-27 03:25:51 +0000srk(~sorki@user/srk) (Ping timeout: 240 seconds)
2023-10-27 03:27:24 +0000srk_(~sorki@user/srk) (Ping timeout: 240 seconds)
2023-10-27 03:27:55 +0000srk|srk
2023-10-27 03:28:21 +0000vglfr(~vglfr@88.155.140.136)
2023-10-27 03:37:42 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-27 03:38:25 +0000srk(~sorki@user/srk) (Ping timeout: 252 seconds)
2023-10-27 03:38:37 +0000srk_(~sorki@user/srk)
2023-10-27 03:39:31 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 252 seconds)
2023-10-27 03:41:24 +0000srk_srk
2023-10-27 03:41:28 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-10-27 03:41:52 +0000kantokuenkanto
2023-10-27 03:42:37 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-10-27 03:43:18 +0000liamzy__(~Inst@120.244.192.250)
2023-10-27 03:45:53 +0000infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2023-10-27 03:48:00 +0000infinity0(~infinity0@pwned.gg)
2023-10-27 03:50:02 +0000CiaoSen(~Jura@2a05:5800:2dd:c500:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds)
2023-10-27 03:53:20 +0000Inst_(~Inst@120.244.192.250)
2023-10-27 03:54:33 +0000talismanick(~user@2601:204:ef80:2980::b23e) (Remote host closed the connection)
2023-10-27 03:55:54 +0000liamzy__(~Inst@120.244.192.250) (Ping timeout: 245 seconds)
2023-10-27 03:57:49 +0000vglfr(~vglfr@88.155.140.136) (Read error: Connection reset by peer)
2023-10-27 04:04:18 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-10-27 04:07:07 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-10-27 04:08:23 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-10-27 04:09:20 +0000img(~img@user/img)
2023-10-27 04:11:43 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds)
2023-10-27 04:17:39 +0000euleritian(~euleritia@dynamic-046-114-201-136.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-10-27 04:17:56 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 04:25:56 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2023-10-27 04:35:04 +0000Fischmiep(~Fischmiep@user/Fischmiep) (Ping timeout: 258 seconds)
2023-10-27 04:35:07 +0000rgw(~R@2605:a601:a0df:5600:589:1f53:7d7d:df53) (Read error: Connection reset by peer)
2023-10-27 04:36:07 +0000michalz(~michalz@185.246.207.193)
2023-10-27 04:36:36 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-10-27 04:37:08 +0000Fischmiep(~Fischmiep@user/Fischmiep)
2023-10-27 04:37:28 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 04:42:03 +0000Fischmiep(~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer)
2023-10-27 04:42:35 +0000Fischmiep(~Fischmiep@user/Fischmiep)
2023-10-27 04:54:55 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2023-10-27 04:58:48 +0000rosco(~rosco@yp-150-69.tm.net.my)
2023-10-27 05:04:51 +0000liamzy__(~Inst@120.244.192.250)
2023-10-27 05:07:03 +0000Inst_(~Inst@120.244.192.250) (Ping timeout: 240 seconds)
2023-10-27 05:31:17 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-10-27 05:31:37 +0000euleritian(~euleritia@dynamic-046-114-201-136.46.114.pool.telefonica.de)
2023-10-27 05:39:05 +0000liamzy__(~Inst@120.244.192.250) (Ping timeout: 258 seconds)
2023-10-27 05:39:29 +0000euleritian(~euleritia@dynamic-046-114-201-136.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-10-27 05:39:48 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 05:41:17 +0000liamzy__(~Inst@120.244.192.250)
2023-10-27 05:44:43 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2023-10-27 05:45:10 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-10-27 05:46:19 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-10-27 05:46:30 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-10-27 05:46:50 +0000euleritian(~euleritia@dynamic-046-114-201-136.46.114.pool.telefonica.de)
2023-10-27 05:46:57 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-10-27 05:47:43 +0000random-jellyfish(~tiber@user/random-jellyfish) (Ping timeout: 264 seconds)
2023-10-27 05:51:51 +0000raym(~ray@user/raym) (Ping timeout: 240 seconds)
2023-10-27 05:59:08 +0000raym(~ray@user/raym)
2023-10-27 06:05:08 +0000echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2023-10-27 06:05:57 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 06:06:27 +0000echoreply(~echoreply@45.32.163.16)
2023-10-27 06:13:03 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2023-10-27 06:17:49 +0000jtza8(~user@165.255.63.194)
2023-10-27 06:17:49 +0000jtza8(~user@165.255.63.194) (Changing host)
2023-10-27 06:17:49 +0000jtza8(~user@user/jtza8)
2023-10-27 06:24:03 +0000aljazmc(~aljazmc@user/aljazmc)
2023-10-27 06:24:30 +0000aljazmc(~aljazmc@user/aljazmc) (Read error: Connection reset by peer)
2023-10-27 06:27:21 +0000Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2023-10-27 06:29:44 +0000euleritian(~euleritia@dynamic-046-114-201-136.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-10-27 06:30:02 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 06:37:55 +0000arahael(~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net)
2023-10-27 06:38:14 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-10-27 06:42:25 +0000vpan(~vpan@212.117.1.172)
2023-10-27 06:43:48 +0000jtza8(~user@user/jtza8) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.2))
2023-10-27 06:46:00 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-10-27 06:46:58 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-10-27 06:48:33 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 06:51:17 +0000Jackneill(~Jackneill@20014C4E1E03D8000F82DBB60140E9E2.dsl.pool.telekom.hu)
2023-10-27 06:54:48 +0000Inst_(~Inst@120.244.192.250)
2023-10-27 06:56:28 +0000johnw(~johnw@69.62.242.138)
2023-10-27 06:57:28 +0000liamzy__(~Inst@120.244.192.250) (Ping timeout: 255 seconds)
2023-10-27 07:00:50 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:9328:d635:4cb3:ebef)
2023-10-27 07:07:29 +0000gmg(~user@user/gehmehgeh)
2023-10-27 07:17:56 +0000yoyofreeman(~yoyofreem@176.97.76.178)
2023-10-27 07:21:50 +0000liamzy__(~Inst@120.244.192.250)
2023-10-27 07:22:09 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
2023-10-27 07:24:12 +0000Inst_(~Inst@120.244.192.250) (Ping timeout: 240 seconds)
2023-10-27 07:25:31 +0000chomwitt(~chomwitt@2a02:587:7a01:8f00:1ac0:4dff:fedb:a3f1)
2023-10-27 07:29:33 +0000MajorBiscuit(~MajorBisc@2001:610:450:a0::8:62)
2023-10-27 07:34:45 +0000random-jellyfish(~tiber@2a02:2f04:11e:c600:895a:e128:f425:deba)
2023-10-27 07:34:45 +0000random-jellyfish(~tiber@2a02:2f04:11e:c600:895a:e128:f425:deba) (Changing host)
2023-10-27 07:34:45 +0000random-jellyfish(~tiber@user/random-jellyfish)
2023-10-27 07:39:13 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-27 07:41:47 +0000tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-10-27 07:44:00 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-10-27 07:44:33 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-10-27 07:44:51 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 07:45:31 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-10-27 07:59:56 +0000coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-10-27 08:00:02 +0000coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2023-10-27 08:00:14 +0000coot(~coot@89.69.206.216)
2023-10-27 08:02:22 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 08:05:05 +0000__monty__(~toonn@user/toonn)
2023-10-27 08:07:25 +0000son0p(~ff@181.136.122.143) (Ping timeout: 258 seconds)
2023-10-27 08:09:30 +0000CiaoSen(~Jura@2a05:5800:2dd:c500:664b:f0ff:fe37:9ef)
2023-10-27 08:10:17 +0000acidjnk(~acidjnk@p200300d6e72b9302c5eda31b9368d419.dip0.t-ipconnect.de)
2023-10-27 08:12:55 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112) (Remote host closed the connection)
2023-10-27 08:13:54 +0000ubert(~Thunderbi@91.141.46.255.wireless.dyn.drei.com)
2023-10-27 08:15:13 +0000tabemann_(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2023-10-27 08:16:44 +0000tabemann__(~tabemann@2600:1700:7990:24e0:a299:50e0:47de:b82a) (Ping timeout: 248 seconds)
2023-10-27 08:19:41 +0000chele(~chele@user/chele)
2023-10-27 08:19:54 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-10-27 08:22:57 +0000kenran(~johannes@user/kenran)
2023-10-27 08:30:18 +0000Inst_(~Inst@120.244.192.250)
2023-10-27 08:32:44 +0000liamzy__(~Inst@120.244.192.250) (Ping timeout: 258 seconds)
2023-10-27 08:36:15 +0000yoyofreeman(~yoyofreem@176.97.76.178) (Remote host closed the connection)
2023-10-27 08:36:57 +0000yoyofreeman(~yoyofreem@176.97.76.178)
2023-10-27 08:40:39 +0000yoyofreeman(~yoyofreem@176.97.76.178) (Max SendQ exceeded)
2023-10-27 08:40:53 +0000zer0bitz_(~zer0bitz@user/zer0bitz)
2023-10-27 08:41:25 +0000yoyofreeman(~yoyofreem@176.97.76.178)
2023-10-27 08:45:03 +0000zer0bitz(~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds)
2023-10-27 08:45:22 +0000mc47(~mc47@xmonad/TheMC47)
2023-10-27 08:45:38 +0000fendor(~fendor@2a02:8388:1640:be00:8798:5fe9:9ffe:940c)
2023-10-27 08:45:38 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-10-27 08:46:02 +0000mc47(~mc47@xmonad/TheMC47)
2023-10-27 08:46:06 +0000Inst_(~Inst@120.244.192.250) (Ping timeout: 260 seconds)
2023-10-27 08:47:58 +0000stefan-_(~cri@42dots.de) (Remote host closed the connection)
2023-10-27 08:48:13 +0000stefan-_(~cri@42dots.de)
2023-10-27 08:49:06 +0000jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-10-27 08:49:29 +0000fendor(~fendor@2a02:8388:1640:be00:8798:5fe9:9ffe:940c) (Remote host closed the connection)
2023-10-27 08:49:49 +0000fendor(~fendor@2a02:8388:1640:be00:4648:ee17:640e:e578)
2023-10-27 08:50:03 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-10-27 08:50:24 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112)
2023-10-27 08:53:34 +0000jjhoo(~jahakala@user/jjhoo) (Quit: leaving)
2023-10-27 08:53:44 +0000jjhoo(jahakala@user/jjhoo)
2023-10-27 08:56:00 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl)
2023-10-27 08:58:13 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl) (Client Quit)
2023-10-27 08:58:31 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl)
2023-10-27 08:59:35 +0000`2jt(~jtomas@vdf-128.vdf.upv.es)
2023-10-27 09:04:18 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 09:05:49 +0000ft(~ft@p4fc2a529.dip0.t-ipconnect.de) (Quit: leaving)
2023-10-27 09:09:28 +0000aljazmc(~aljazmc@user/aljazmc)
2023-10-27 09:14:43 +0000econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-10-27 09:17:30 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-10-27 09:22:38 +0000danse-nr3(~francesco@151.57.207.38)
2023-10-27 09:24:55 +0000`2jt(~jtomas@vdf-128.vdf.upv.es) (Ping timeout: 264 seconds)
2023-10-27 09:25:04 +0000 <haskellbridge> 06<s​m> like I was hinting the other day, there are so many weird hard details with small terminal I/O games.. makes me pine for the old 8 bit computers
2023-10-27 09:27:40 +0000 <tomsmeding> the matrix bridge has now decided to colour the nick prefix, meaning my script _again_ doesn't pick it up >.>
2023-10-27 09:27:56 +0000 <tomsmeding> but perhaps this is a good status quo
2023-10-27 09:31:45 +0000yoyofreeman(~yoyofreem@176.97.76.178) (Remote host closed the connection)
2023-10-27 09:32:41 +0000 <haskellbridge> 12<C​elestial> How does the renamer work in terms of keeping track what variable is what internally? does it keep representing it as a string and just appends some garbage at the end of shadowed names or is there a more introcate way with having ids or whatever?
2023-10-27 09:32:56 +0000yoyofreeman(~yoyofreem@176.97.76.178)
2023-10-27 09:33:37 +0000tv(~tv@user/tv) (Ping timeout: 255 seconds)
2023-10-27 09:33:45 +0000kenran(~johannes@user/kenran) (Remote host closed the connection)
2023-10-27 09:34:34 +0000tv(~tv@user/tv)
2023-10-27 09:38:43 +0000danse-nr3(~francesco@151.57.207.38) (Remote host closed the connection)
2023-10-27 09:39:08 +0000danse-nr3(~francesco@151.57.207.38)
2023-10-27 09:45:35 +0000CiaoSen(~Jura@2a05:5800:2dd:c500:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds)
2023-10-27 09:46:33 +0000Inst_(~Inst@120.244.192.250)
2023-10-27 09:46:45 +0000yoyofreeman(~yoyofreem@176.97.76.178) (Remote host closed the connection)
2023-10-27 09:51:38 +0000billchenchina(~billchenc@61.183.83.60)
2023-10-27 09:53:51 +0000billchenchina-(~billchenc@2408:844f:1540:3a14:66f7:dd31:6474:1bb6)
2023-10-27 09:54:47 +0000billchenchina-(~billchenc@2408:844f:1540:3a14:66f7:dd31:6474:1bb6) (Max SendQ exceeded)
2023-10-27 09:55:14 +0000billchenchina-(~billchenc@2408:844f:1540:3a14:66f7:dd31:6474:1bb6)
2023-10-27 09:56:43 +0000billchenchina(~billchenc@61.183.83.60) (Ping timeout: 255 seconds)
2023-10-27 09:57:28 +0000Square2(~Square@user/square)
2023-10-27 09:59:28 +0000 <Jon> I have a type that looks like this: data Variant = Variant { variantGraph :: Graph, rule : : String, parent :: Variant } | Original Graph . I have a function :: Variant -> Graph (i.e., it handles both constructors). Is there a good convention to name it? The trouble is I've already used 'variantGraph' for the accessor.
2023-10-27 10:00:17 +0000 <tomsmeding> fromVariant is a typical name, but that assumes it's in a module that deals solely with Graph, and is typically imported qualified
2023-10-27 10:01:53 +0000 <Jon> thank you I forgot about 'from'
2023-10-27 10:02:05 +0000Square2(~Square@user/square) (Ping timeout: 240 seconds)
2023-10-27 10:02:31 +0000billchenchina-(~billchenc@2408:844f:1540:3a14:66f7:dd31:6474:1bb6) (Ping timeout: 260 seconds)
2023-10-27 10:02:43 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-10-27 10:03:34 +0000liamzy__(~Inst@120.244.192.250)
2023-10-27 10:05:31 +0000rosco(~rosco@yp-150-69.tm.net.my) (Quit: Lost terminal)
2023-10-27 10:06:10 +0000Inst_(~Inst@120.244.192.250) (Ping timeout: 255 seconds)
2023-10-27 10:06:43 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2023-10-27 10:13:21 +0000 <merijn> Jon: Alternatively, there's NoFieldSelectors which disables the generation of accessors so the name is free (whether that's a price worth paying in your code is unclear)
2023-10-27 10:15:38 +0000Square2(~Square@user/square)
2023-10-27 10:17:34 +0000Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 245 seconds)
2023-10-27 10:19:38 +0000Maxdamantus(~Maxdamant@user/maxdamantus)
2023-10-27 10:21:44 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 10:22:26 +0000 <ski> Jon : `data Variant = Variant {variantGraph :: Graph,rule : : String,parent :: Variant} | Original {variantGraph :: Graph}' ?
2023-10-27 10:23:23 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 10:23:36 +0000 <tomsmeding> clever
2023-10-27 10:24:45 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-10-27 10:25:35 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 10:26:02 +0000danse-nr3(~francesco@151.57.207.38) (Ping timeout: 255 seconds)
2023-10-27 10:37:38 +0000cheater_(~Username@user/cheater)
2023-10-27 10:38:28 +0000cheater(~Username@user/cheater) (Ping timeout: 258 seconds)
2023-10-27 10:38:33 +0000cheater_cheater
2023-10-27 10:39:04 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-10-27 10:39:47 +0000cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2023-10-27 10:40:32 +0000cheater(~Username@user/cheater)
2023-10-27 10:44:35 +0000ubert(~Thunderbi@91.141.46.255.wireless.dyn.drei.com) (Remote host closed the connection)
2023-10-27 10:53:24 +0000ubert(~Thunderbi@91.141.46.255.wireless.dyn.drei.com)
2023-10-27 11:00:17 +0000Lycurgus(~georg@user/Lycurgus)
2023-10-27 11:04:19 +0000danse-nr3(~francesco@151.57.207.38)
2023-10-27 11:06:37 +0000kilolympus(~kilolympu@31.205.200.235) (Remote host closed the connection)
2023-10-27 11:10:12 +0000kilolympus(~kilolympu@31.205.200.235)
2023-10-27 11:12:10 +0000liamzy__(~Inst@120.244.192.250) (Ping timeout: 255 seconds)
2023-10-27 11:12:39 +0000danse-nr3(~francesco@151.57.207.38) (Remote host closed the connection)
2023-10-27 11:12:57 +0000Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-10-27 11:13:05 +0000danse-nr3(~francesco@151.57.207.38)
2023-10-27 11:13:24 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-10-27 11:23:04 +0000 <Jon> ski, that's a far simpler solution, thank you; for some reason I thought that couldn't work.
2023-10-27 11:27:03 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl)
2023-10-27 11:27:21 +0000falafel_(~falafel@62.175.113.194.dyn.user.ono.com)
2023-10-27 11:30:35 +0000phma(phma@2001:5b0:211b:d548:ffd5:bf9a:b80f:c063) (Read error: Connection reset by peer)
2023-10-27 11:31:14 +0000falafel_(~falafel@62.175.113.194.dyn.user.ono.com) (Client Quit)
2023-10-27 11:31:18 +0000phma(~phma@host-67-44-208-142.hnremote.net)
2023-10-27 11:31:29 +0000falafel_(~falafel@62.175.113.194.dyn.user.ono.com)
2023-10-27 11:33:46 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2023-10-27 11:34:40 +0000yoyofreeman(~yoyofreem@176.97.76.178)
2023-10-27 11:34:49 +0000 <ski> Jon : well .. i was thinking you might've considered it already, and decided you didn't want it .. but decided to mention it nonetheless
2023-10-27 11:36:03 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl)
2023-10-27 11:37:10 +0000 <danse-nr3> reddit.com/r/haskell/comments/17bneno/best_wayresource_to_learn_haskell_with_a_week_to good luck with that hiring policy
2023-10-27 11:40:09 +0000 <danse-nr3> but of course only hiring newcomers is a great way not to get questioned and to make them feel really humble
2023-10-27 11:40:43 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-27 11:45:29 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-10-27 11:46:42 +0000yoyofreeman(~yoyofreem@176.97.76.178) (Remote host closed the connection)
2023-10-27 11:49:15 +0000falafel_(~falafel@62.175.113.194.dyn.user.ono.com) (Quit: Leaving)
2023-10-27 11:49:35 +0000falafel(~falafel@62.175.113.194.dyn.user.ono.com)
2023-10-27 11:50:35 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-10-27 11:50:52 +0000fweht(uid404746@id-404746.lymington.irccloud.com)
2023-10-27 11:53:36 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds)
2023-10-27 11:56:04 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 11:56:52 +0000 <exarkun> danse-nr3: How did you conclude the company _only_ hires newcomers?
2023-10-27 12:00:11 +0000 <danse-nr3> good point, i wanted to say "hiring", without only. I guess this is a policy one applies in most cases or in no case, but i have no evidence about that so could be wrong
2023-10-27 12:04:06 +0000Lycurgus(~georg@li1192-118.members.linode.com)
2023-10-27 12:04:06 +0000Lycurgus(~georg@li1192-118.members.linode.com) (Changing host)
2023-10-27 12:04:06 +0000Lycurgus(~georg@user/Lycurgus)
2023-10-27 12:07:17 +0000xff0x(~xff0x@ai101218.d.east.v6connect.net)
2023-10-27 12:15:37 +0000falafel(~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds)
2023-10-27 12:16:01 +0000kokomop3n0r(~kokomop3n@189.174.11.231)
2023-10-27 12:16:03 +0000 <kokomop3n0r> Geddy Lee, Edna Skilton, and the Gay Dogs - Mrs. Skilton had always loved dogs, and when she learned that many of them were being abandoned or put down because of their sexuality, she knew she had to do something. She started a shelter for gay dogs in Regina, but she faced a lot of opposition from the local Muslim Iman at Darul Falah Islamic Centre, who believed that homosexuality was a sin and
2023-10-27 12:16:07 +0000 <kokomop3n0r> that dogs were impure animals. Read all about it here: https://pastebin.com/MDeBRL0Y
2023-10-27 12:16:37 +0000 <tomsmeding> ozone?!
2023-10-27 12:16:59 +0000 <tomsmeding> dibblego: you still have your @
2023-10-27 12:17:14 +0000 <haskellbridge> 06<e​ldritchcookie> hello people with experience with the katip library how do i close the file handle of the file scribe?
2023-10-27 12:17:41 +0000 <kokomop3n0r> eldritchcookie Do you like gay dogs?
2023-10-27 12:18:15 +0000 <danse-nr3> yeah gay dogs are cute kokomop3n0r
2023-10-27 12:18:18 +0000 <haskellbridge> 06<e​ldritchcookie> sure why no gay dogs straight dogs bisexual dog asexual dogs all dog are cute
2023-10-27 12:18:34 +0000 <tomsmeding> eldritchcookie: closeScribe? (I have no clue, just peeked at the haddocks)
2023-10-27 12:18:40 +0000 <haskellbridge> 06<e​ldritchcookie> why not?
2023-10-27 12:18:58 +0000 <haskellbridge> 06<e​ldritchcookie> let me show the test
2023-10-27 12:20:10 +0000 <haskellbridge> 06<e​ldritchcookie> https://play.haskell.org/saved/BfmY3P0P
2023-10-27 12:20:25 +0000 <haskellbridge> 06<e​ldritchcookie> this is failing with a file closed exception
2023-10-27 12:20:32 +0000 <tomsmeding> where
2023-10-27 12:21:05 +0000 <haskellbridge> 06<e​ldritchcookie> on the first readfile if i remove it then the test passes
2023-10-27 12:21:20 +0000 <tomsmeding> what is the exact exception being thrown?
2023-10-27 12:21:44 +0000 <haskellbridge> 06<e​ldritchcookie> *** Failed! Exception: 'scribeKCT.log: withFile: resource busy (file is locked)' (after 1 test):
2023-10-27 12:21:58 +0000 <tomsmeding> that's not a "file closed" execption ;)
2023-10-27 12:22:20 +0000 <haskellbridge> 06<e​ldritchcookie> sorry i meant to say file not closed
2023-10-27 12:23:00 +0000 <tomsmeding> okay yeah I don't know :)
2023-10-27 12:23:03 +0000kokomop3n0r(~kokomop3n@189.174.11.231) (K-Lined)
2023-10-27 12:23:40 +0000 <haskellbridge> 06<e​ldritchcookie> would more context help? i can publish my full code to github it is less than 200 lines total
2023-10-27 12:24:43 +0000 <tomsmeding> not for me I guess -- I'm not actually familiar with katip, just peeked at the haddocks
2023-10-27 12:25:32 +0000 <lortabac> C​elestial: names in GHC are not just strings, they are structured
2023-10-27 12:26:42 +0000 <lortabac> there are various kinds of names, one of them is 'Name': https://hackage.haskell.org/package/ghc-9.8.1/docs/GHC-Types-Name.html#t:Name
2023-10-27 12:26:54 +0000 <haskellbridge> 06<e​ldritchcookie> question can i perform multiple writes in a handle simultaneously? i think the problem is opening the file while it is already open
2023-10-27 12:27:46 +0000kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2023-10-27 12:30:34 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 12:32:23 +0000 <merijn> eldritchcookie: Is that readFile from base? i.e. `String -> IO String`?
2023-10-27 12:32:55 +0000 <haskellbridge> 06<e​ldritchcookie> yeah
2023-10-27 12:33:14 +0000 <merijn> That uses lazy IO, which means it won't be closed until the entire output is forced
2023-10-27 12:33:20 +0000edr(~edr@user/edr)
2023-10-27 12:33:24 +0000 <merijn> It is a Bad (TM) function, best avoided
2023-10-27 12:33:37 +0000 <merijn> Not to mention String is a bad datatype for reading in entire files :p
2023-10-27 12:34:32 +0000 <haskellbridge> 14<m​auke> But the readFile is after the withFile
2023-10-27 12:34:37 +0000 <merijn> You probably want to use `Data.Text.IO.readFile :: FilePath -> IO Text` which 1) is strict and will close the file before returning and 2) is a more efficient format
2023-10-27 12:35:15 +0000 <merijn> hmm
2023-10-27 12:36:29 +0000 <merijn> I don't know what logEnvWithScribe and closeScribes are actually doing
2023-10-27 12:36:46 +0000 <merijn> also, which OS is this? and are there other test interacting with the same paths?
2023-10-27 12:37:09 +0000 <haskellbridge> 06<e​ldritchcookie> yeah i guess it only closes the handle later because after switch mkFileScribe to mkHAndleScribe it worked
2023-10-27 12:37:19 +0000 <haskellbridge> 06<e​ldritchcookie> *switching
2023-10-27 12:37:38 +0000 <haskellbridge> 06<e​ldritchcookie> it is on Linux more specifically NixOS unstable
2023-10-27 12:39:09 +0000Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-10-27 12:41:14 +0000danse-nr3(~francesco@151.57.207.38) (Ping timeout: 272 seconds)
2023-10-27 12:41:44 +0000arahael(~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
2023-10-27 12:45:00 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-10-27 12:45:41 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-10-27 12:46:07 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-10-27 12:46:31 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-10-27 12:47:19 +0000 <haskellbridge> 06<e​ldritchcookie> ok what are the steps before uploading to hackage what should i keep in mind?
2023-10-27 12:48:42 +0000 <tomsmeding> eldritchcookie: 'cabal check', in any case
2023-10-27 12:50:31 +0000pounce(~pounce@user/cute/pounce) (Remote host closed the connection)
2023-10-27 12:50:49 +0000pounce(~pounce@user/cute/pounce)
2023-10-27 12:54:10 +0000mjs2600(~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2023-10-27 12:55:58 +0000mjs2600(~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net)
2023-10-27 13:01:40 +0000 <haskellbridge> 06<e​ldritchcookie> cabal gen-bounds isn't generating bounds for my test dependencies
2023-10-27 13:04:55 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-10-27 13:04:56 +0000danse-nr3(~francesco@151.57.162.152)
2023-10-27 13:05:28 +0000euleritian(~euleritia@dynamic-046-114-205-230.46.114.pool.telefonica.de)
2023-10-27 13:05:57 +0000 <merijn> eldritchcookie: It's because you don't have --enable-tests set :p
2023-10-27 13:06:38 +0000 <haskellbridge> 06<e​ldritchcookie> Error: cabal: unrecognized 'gen-bounds' option `--enable-tests'
2023-10-27 13:06:39 +0000 <merijn> "cabal configure --enable-tests --enable-benchmarks" should make a cabal.project.local that ensures they're set to true for every command
2023-10-27 13:07:06 +0000 <merijn> hmm, maybe gen-bounds isn't smart enough to know about it
2023-10-27 13:08:15 +0000 <haskellbridge> 06<e​ldritchcookie> ok how do i choose the bounds manually?
2023-10-27 13:16:31 +0000 <merijn> Generally I just use ^>= (PVP compatible) for the latest version unless I have reasons to do something different
2023-10-27 13:17:16 +0000 <merijn> See also: http://pvp.haskell.org
2023-10-27 13:17:49 +0000fendor(~fendor@2a02:8388:1640:be00:4648:ee17:640e:e578) (Remote host closed the connection)
2023-10-27 13:19:38 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-10-27 13:19:57 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-10-27 13:20:04 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
2023-10-27 13:20:24 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2023-10-27 13:22:14 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-10-27 13:23:07 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-10-27 13:25:10 +0000danse-nr3(~francesco@151.57.162.152) (Remote host closed the connection)
2023-10-27 13:25:35 +0000danse-nr3(~francesco@151.57.162.152)
2023-10-27 13:40:20 +0000dorin(~dorin@user/dorin)
2023-10-27 13:41:35 +0000Benzi-Junior(~BenziJuni@88-149-64-112.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in)
2023-10-27 13:42:05 +0000 <haskellbridge> 06<e​ldritchcookie> ok when will hackage accept packges with cabal 3.4 at least?
2023-10-27 13:42:06 +0000Benzi-Junior(~BenziJuni@88-149-64-112.du.xdsl.is)
2023-10-27 13:42:30 +0000 <haskellbridge> 06<e​ldritchcookie> is there a schedule or is it in the future?
2023-10-27 13:43:03 +0000euleritian(~euleritia@dynamic-046-114-205-230.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-10-27 13:43:21 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 13:49:42 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2023-10-27 13:50:25 +0000rosco(~rosco@yp-150-69.tm.net.my)
2023-10-27 13:52:27 +0000 <merijn> What makes you say it doesn't?
2023-10-27 13:53:58 +0000Buggys(Buggys@Buggy.shelltalk.net) (Ping timeout: 258 seconds)
2023-10-27 13:54:41 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-10-27 13:55:35 +0000euleritian(~euleritia@dynamic-046-114-205-230.46.114.pool.telefonica.de)
2023-10-27 13:56:16 +0000 <haskellbridge> 06<e​ldritchcookie> i tried to upload a package candidates and it gave me an error saying the max version accepted is 3.0
2023-10-27 13:57:01 +0000 <merijn> hmm
2023-10-27 13:57:09 +0000 <merijn> Pretty sure I've stuff uploaded newer than that
2023-10-27 13:57:22 +0000 <merijn> What's the full error?
2023-10-27 13:59:24 +0000 <haskellbridge> 06<e​ldritchcookie> 'cabal-version' must be at most 3.0
2023-10-27 13:59:51 +0000liamzy__(~Inst@120.244.192.250)
2023-10-27 14:02:36 +0000 <zero> GHC2021 enables OverloadedStrings by default?
2023-10-27 14:03:36 +0000heichro(~user@p200300c3cf492d00d2e6407fb98ca48c.dip0.t-ipconnect.de)
2023-10-27 14:04:33 +0000heichro(~user@p200300c3cf492d00d2e6407fb98ca48c.dip0.t-ipconnect.de) (Client Quit)
2023-10-27 14:05:08 +0000Buggys(Buggys@Buggy.shelltalk.net)
2023-10-27 14:09:29 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 14:11:05 +0000 <tomsmeding> zero: no https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/control.html#extension-GHC2021
2023-10-27 14:11:06 +0000 <merijn> zero: Consult the User's Guide? :)
2023-10-27 14:11:31 +0000 <tomsmeding> I have this thing bookmarked, it appears if I even type "lan"(guage) in my URL bar https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/table.html
2023-10-27 14:14:23 +0000 <merijn> In general I consider the GHC User's Guide one of the most underrated documents for beginners
2023-10-27 14:14:40 +0000 <merijn> (or experts, tbh :p)
2023-10-27 14:16:58 +0000danse-nr3(~francesco@151.57.162.152) (Ping timeout: 252 seconds)
2023-10-27 14:21:11 +0000euleritian(~euleritia@dynamic-046-114-205-230.46.114.pool.telefonica.de) (Ping timeout: 258 seconds)
2023-10-27 14:21:37 +0000euleritian(~euleritia@x52716298.dyn.telefonica.de)
2023-10-27 14:27:14 +0000Lycurgus(~georg@user/Lycurgus)
2023-10-27 14:27:36 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:9328:d635:4cb3:ebef) (Quit: WeeChat 2.8)
2023-10-27 14:27:58 +0000 <haskellbridge> 06<e​ldritchcookie> if am correct ghci can load compiled code how does it do that?
2023-10-27 14:28:52 +0000 <haskellbridge> 06<e​ldritchcookie> yeah according to the manual ghci can load ghc compiled modules
2023-10-27 14:29:16 +0000 <geekosaur> it can load them but it can't do much with them; it has to load interpreted to set breakpoints, for instance
2023-10-27 14:29:27 +0000 <geekosaur> or to see anything that wasn't exported
2023-10-27 14:30:24 +0000 <geekosaur> and it loads them the same way ghc does, loading the .hi file for type information and linking the .o / .a file into the ghc instance
2023-10-27 14:30:36 +0000 <geekosaur> ghci has its own linker
2023-10-27 14:31:52 +0000 <geekosaur> (well, shared with TH)
2023-10-27 14:33:33 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2023-10-27 14:33:42 +0000 <haskellbridge> 06<e​ldritchcookie> oh hello geekosaur do you know something amazing? do you remember that old package that loaded dynamically code? it compiles like something from 2016 compiles in modern ghc it is amazing i immediately get a segmentation fault but it is an error that seem resolvable
2023-10-27 14:33:42 +0000 <haskellbridge> 06<e​ldritchcookie>  placeholder-test: test/Test.o: unknown symbol `base_SystemziIO_putStrLn1_info'
2023-10-27 14:33:43 +0000 <haskellbridge> 06<e​ldritchcookie> if i am correct i just need to find out how to load base on via the rts
2023-10-27 14:34:26 +0000 <geekosaur> the plugins package?
2023-10-27 14:34:51 +0000 <haskellbridge> 06<e​ldritchcookie> https://hackage.haskell.org/package/dynamic-loader
2023-10-27 14:34:56 +0000 <geekosaur> oh
2023-10-27 14:35:00 +0000 <haskellbridge> 06<e​ldritchcookie> yeah
2023-10-27 14:35:06 +0000 <geekosaur> I guess there's several then
2023-10-27 14:35:21 +0000 <geekosaur> plugins is probably the best known but I don't think it was updated to ghc 9.x
2023-10-27 14:36:07 +0000rosco(~rosco@yp-150-69.tm.net.my) (Quit: Lost terminal)
2023-10-27 14:36:29 +0000 <geekosaur> you can also use hint but it's more work; plugins wraps hint functionality
2023-10-27 14:37:56 +0000 <geekosaur> also you can't load base as such, you have to link to the existing instance, aiui
2023-10-27 14:38:26 +0000 <haskellbridge> 06<e​ldritchcookie> does plugins load compiled code or does it interpret code?
2023-10-27 14:39:35 +0000 <geekosaur> compiled code
2023-10-27 14:39:53 +0000 <geekosaur> hint can load interpreted code as well, but plugins doesn't use that functionality
2023-10-27 14:40:14 +0000sansk(~sansk@user/sansk)
2023-10-27 14:40:38 +0000 <sansk> Is there a way to turn [IO a] -> IO [a] inside a do block?
2023-10-27 14:40:51 +0000 <geekosaur> :t sequence
2023-10-27 14:40:52 +0000 <lambdabot> (Traversable t, Monad m) => t (m a) -> m (t a)
2023-10-27 14:41:11 +0000 <geekosaur> also known as sequenceA since it really only needs Applicative
2023-10-27 14:41:38 +0000 <geekosaur> @src sequence
2023-10-27 14:41:38 +0000 <lambdabot> sequence [] = return []
2023-10-27 14:41:38 +0000 <lambdabot> sequence (x:xs) = do v <- x; vs <- sequence xs; return (v:vs)
2023-10-27 14:41:39 +0000 <lambdabot> --OR
2023-10-27 14:41:39 +0000 <lambdabot> sequence xs = foldr (liftM2 (:)) (return []) xs
2023-10-27 14:42:49 +0000MajorBiscuit(~MajorBisc@2001:610:450:a0::8:62) (Quit: WeeChat 4.1.0)
2023-10-27 14:43:10 +0000 <haskellbridge> 06<e​ldritchcookie> above you said i can't load base as such why?
2023-10-27 14:43:17 +0000 <sansk> thank you, i will try that
2023-10-27 14:43:30 +0000 <sansk> btw what is this bridging from?
2023-10-27 14:43:50 +0000Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-10-27 14:44:02 +0000 <geekosaur> matrix #haskell-irc
2023-10-27 14:44:23 +0000 <geekosaur> eldritchcookie, because base is wired into the compiler and as such is always loaded
2023-10-27 14:44:33 +0000 <sansk> ah ok
2023-10-27 14:44:57 +0000Guest|16(~Guest|16@130.209.157.49)
2023-10-27 14:44:57 +0000 <geekosaur> but you sometimes need to do some gymnastics to get at already-loaded symbols
2023-10-27 14:46:15 +0000rgw(~R@2605:a601:a0df:5600:8d84:33a2:dab6:e31f)
2023-10-27 14:47:37 +0000ham(~ham@user/ham)
2023-10-27 14:47:51 +0000Guest|16(~Guest|16@130.209.157.49) (Client Quit)
2023-10-27 14:48:36 +0000Guest|16(~Guest|16@130.209.157.49)
2023-10-27 14:49:46 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 14:51:35 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl) (Ping timeout: 240 seconds)
2023-10-27 14:51:51 +0000Guest|48(~Guest|48@162.218.92.25)
2023-10-27 14:52:41 +0000notzmv(~zmv@user/notzmv)
2023-10-27 14:54:28 +0000 <ski> sansk : also `sequence (map f xs) = mapM f xs' (and `sequence_ (map f xs) = mapM_ f xs')
2023-10-27 14:54:39 +0000Sgeo(~Sgeo@user/sgeo)
2023-10-27 15:00:40 +0000ski(~ski@c188-148-130-34.bredband.tele2.se) (Ping timeout: 258 seconds)
2023-10-27 15:03:24 +0000aljazmc_(~aljazmc@user/aljazmc)
2023-10-27 15:05:39 +0000 <haskellbridge> 06<e​ldritchcookie> yeah you arer wrong i added base then ghc prim then ghc-bignum and it actually worked
2023-10-27 15:06:10 +0000 <haskellbridge> 06<e​ldritchcookie> unbelievable
2023-10-27 15:06:10 +0000aljazmc(~aljazmc@user/aljazmc) (Remote host closed the connection)
2023-10-27 15:09:03 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-10-27 15:15:10 +0000sansk(~sansk@user/sansk) (WeeChat 4.0.4)
2023-10-27 15:15:23 +0000chele(~chele@user/chele) (Remote host closed the connection)
2023-10-27 15:16:20 +0000Guest|48(~Guest|48@162.218.92.25) (Quit: Connection closed)
2023-10-27 15:19:23 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-10-27 15:19:41 +0000kiriakos(~kiriakos@p57b651b6.dip0.t-ipconnect.de) (Quit: kiriakos)
2023-10-27 15:20:33 +0000gatekempt(~gatekempt@user/gatekempt)
2023-10-27 15:20:44 +0000kiriakos(~kiriakos@p57b651b6.dip0.t-ipconnect.de)
2023-10-27 15:23:30 +0000wjm(~work@2600:4040:5c44:a500:2680:cfb3:b9fe:815d)
2023-10-27 15:23:33 +0000santiagopim(~user@90.167.66.131)
2023-10-27 15:27:03 +0000zeroyin
2023-10-27 15:30:03 +0000biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-10-27 15:32:08 +0000vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2023-10-27 15:36:30 +0000 <haskellbridge> 06<e​ldritchcookie> was i rude ?
2023-10-27 15:37:27 +0000 <EvanR> I know one thing, your nick is the only thing with a weird color in this channel xD
2023-10-27 15:38:10 +0000 <haskellbridge> 06<e​ldritchcookie> it is because i am on matrix xD
2023-10-27 15:38:32 +0000ft(~ft@p4fc2a529.dip0.t-ipconnect.de)
2023-10-27 15:40:26 +0000 <geekosaur> I turned on nick coloring on the bridge
2023-10-27 15:40:35 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112) (Remote host closed the connection)
2023-10-27 15:40:51 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112)
2023-10-27 15:40:58 +0000 <tomsmeding> 1c2o3l4o5u6r7s
2023-10-27 15:41:21 +0000 <geekosaur> (also no, I'm just clearing out my inbox)
2023-10-27 15:42:05 +0000 <int-e> . o O ( quick, somebody set +c )
2023-10-27 15:42:14 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-27 15:42:52 +0000 <EvanR> all our technology is from early 20th century so this channel should get a sepiatone filter or something
2023-10-27 15:43:29 +0000 <int-e> Sounds like a client feature. (my client does filter colors, I'm happier that way)
2023-10-27 15:47:20 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-10-27 15:47:34 +0000liamzy__(~Inst@120.244.192.250) (Ping timeout: 255 seconds)
2023-10-27 15:48:02 +0000 <rgw> or irssi running cool-retro-term
2023-10-27 15:51:49 +0000ski(~ski@c188-148-130-34.bredband.tele2.se)
2023-10-27 15:52:07 +0000Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 252 seconds)
2023-10-27 15:53:58 +0000 <int-e> rgw: I would consider the terminal emulator to be part of the client stack.
2023-10-27 15:56:54 +0000Ranhir(~Ranhir@157.97.53.139)
2023-10-27 15:58:02 +0000 <EvanR> is parsec or read worse in terms of parsing performance
2023-10-27 15:58:12 +0000 <EvanR> or are they the same
2023-10-27 15:58:43 +0000 <EvanR> on show data type-like languages
2023-10-27 15:59:10 +0000 <geekosaur> read is significantly worse
2023-10-27 16:00:16 +0000wjm(~work@2600:4040:5c44:a500:2680:cfb3:b9fe:815d) (Remote host closed the connection)
2023-10-27 16:00:24 +0000 <EvanR> why is that
2023-10-27 16:02:08 +0000gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-10-27 16:02:16 +0000Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2023-10-27 16:02:17 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2023-10-27 16:05:40 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-10-27 16:08:14 +0000gentauro(~gentauro@user/gentauro)
2023-10-27 16:09:53 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-10-27 16:12:48 +0000EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2023-10-27 16:13:07 +0000EvanR(~EvanR@user/evanr)
2023-10-27 16:13:13 +0000 <geekosaur> it does a lot of extra work to stay within Haskell98 compatibility, and because the underlying parser framework supports multiple parse results (that are never used, but may cause extra backtracking)
2023-10-27 16:14:45 +0000 <EvanR> what's with the multiple parse results
2023-10-27 16:14:53 +0000kiriakos(~kiriakos@p57b651b6.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-10-27 16:15:01 +0000 <EvanR> is that critical to the parsing strategy
2023-10-27 16:15:10 +0000 <geekosaur> "that are never used"
2023-10-27 16:15:25 +0000 <EvanR> I understand never used, so why does it exist
2023-10-27 16:15:33 +0000 <geekosaur> I'm not sure anyone knows
2023-10-27 16:15:36 +0000 <EvanR> lol
2023-10-27 16:15:55 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds)
2023-10-27 16:16:47 +0000ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-10-27 16:18:56 +0000liamzy__(~Inst@120.244.192.250)
2023-10-27 16:23:05 +0000ski(~ski@c188-148-130-34.bredband.tele2.se) (Ping timeout: 258 seconds)
2023-10-27 16:24:26 +0000 <EvanR> what about comparing Show and something like blaze-html, is show respectively "significantly worse"
2023-10-27 16:25:58 +0000 <geekosaur> it's not a whol lot worse but it's not going to be as optimized as blaze-html is
2023-10-27 16:26:20 +0000 <geekosaur> and I'd expect blaze-html to follow at least slightly different rules
2023-10-27 16:26:55 +0000 <geekosaur> since Haskell values as source and HTML are somewhat different
2023-10-27 16:28:18 +0000fendor(~fendor@2a02:8388:1640:be00:4648:ee17:640e:e578)
2023-10-27 16:28:25 +0000Ranhir(~Ranhir@157.97.53.139)
2023-10-27 16:33:39 +0000danza(~francesco@151.57.162.152)
2023-10-27 16:33:47 +0000 <liamzy__> hmmm, a bit unfortunate, looks like Chinese Haskell scene is dead
2023-10-27 16:33:50 +0000liamzy__Inst
2023-10-27 16:34:34 +0000 <Inst> there's a 1150 person QQ group, of which only 17 people are highly active :(
2023-10-27 16:35:09 +0000 <EvanR> that sounds better than this channel
2023-10-27 16:35:18 +0000 <EvanR> should I learn chinese
2023-10-27 16:37:18 +0000billchenchina(~billchenc@103.152.35.21)
2023-10-27 16:38:25 +0000 <haskellbridge> 08<t​ewuzij> What is Chinese Haskell scene?
2023-10-27 16:39:35 +0000euleritian(~euleritia@x52716298.dyn.telefonica.de) (Read error: Connection reset by peer)
2023-10-27 16:39:53 +0000euleritian(~euleritia@77.22.252.56)
2023-10-27 16:44:17 +0000danza(~francesco@151.57.162.152) (Ping timeout: 246 seconds)
2023-10-27 16:47:58 +0000billchenchina(~billchenc@103.152.35.21) (Remote host closed the connection)
2023-10-27 16:53:10 +0000 <ghoulguy> geekosaur: is this new color-rendered, highlight breaking matterbridge configuration a standard matterbridge thing?
2023-10-27 16:53:32 +0000 <geekosaur> yes. I can turn it back off if it's causing problems
2023-10-27 16:54:06 +0000 <geekosaur> (but highlights should already be broken because I disabled that some time ago by having it insert nonbreaking spaces into nicks, which is another standard thing)
2023-10-27 16:54:17 +0000 <ghoulguy> it breaks my client support for making the messages look native, so I need to update my client. I mostly wonder what the range of options is and if its natively supported in matterbridge so I can undo it generically
2023-10-27 16:54:21 +0000trillp(~trillp@2603-8080-6ef0-40f0-0000-0000-0000-1c3a.res6.spectrum.com)
2023-10-27 16:55:20 +0000 <geekosaur> `Colornicks=true` is an option in standard matterbridge
2023-10-27 16:55:32 +0000 <ghoulguy> thanks
2023-10-27 16:55:39 +0000 <Inst> EvanR: I know someone ended up getting recruited for compilers in Nanjing, which is the nice part of China (the area clustered near Shanghai, but not Shanghai itself).
2023-10-27 16:55:44 +0000 <geekosaur> the only change I made to matterbridge was to update the version of girc it uses as part of trying to diagnose a crash
2023-10-27 16:56:08 +0000CO2(CO2@gateway/vpn/protonvpn/co2) (Quit: WeeChat 4.1.0)
2023-10-27 16:57:15 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-10-27 16:57:16 +0000 <geekosaur> I tried at one point to disable sending edits to IRC but it failed because the bridge apparently knows not to send edit notifications to IRC, just the edits as new messages 😞
2023-10-27 16:57:57 +0000sansk(~sansk@user/sansk)
2023-10-27 16:58:09 +0000danza(~francesco@151.47.118.222)
2023-10-27 16:58:32 +0000 <Inst> is it true that Haskell is THE language for parsers? ?:(
2023-10-27 16:58:53 +0000 <sansk> well it is very easy to write a parser in haskell
2023-10-27 16:59:07 +0000 <sansk> *parsec libraries are great!
2023-10-27 16:59:09 +0000 <geekosaur> I would expect SML/NJ to be pretty good at it too
2023-10-27 16:59:15 +0000 <Inst> and flatparse can outperform nom <3
2023-10-27 16:59:30 +0000Guest|16(~Guest|16@130.209.157.49) (Quit: Connection closed)
2023-10-27 16:59:50 +0000 <geekosaur> it just doesn't have the cachet that Haskell has
2023-10-27 17:00:51 +0000 <sansk> scala also has parsley which i have heard good things about
2023-10-27 17:01:16 +0000 <int-e> It has been said that Haskell is a DSL for writing compilers but I think that has more to do with A(lgebraic)DTs and to some extent with first-class functions than with anything relating to the ease or lack thereof of writing parsers.
2023-10-27 17:02:10 +0000euleritian(~euleritia@77.22.252.56) (Ping timeout: 272 seconds)
2023-10-27 17:02:15 +0000 <int-e> (ADTs come with pattern matching)
2023-10-27 17:03:04 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 17:04:19 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-10-27 17:04:29 +0000random-jellyfish(~tiber@user/random-jellyfish) (Ping timeout: 258 seconds)
2023-10-27 17:05:27 +0000jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2023-10-27 17:05:27 +0000pixelmonk(~pixelmonk@173.46.79.26)
2023-10-27 17:05:31 +0000tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-10-27 17:05:50 +0000 <EvanR> Inst, I just wrote a parser for the type signatures in STLC... without a library, but with ViewPatterns https://paste.tomsmeding.com/UTwTZ4BN, type = * | type -> type
2023-10-27 17:06:22 +0000 <Inst> i'm just wondering if Haskell is worth FFI-ing into for parsers :(
2023-10-27 17:06:37 +0000 <exarkun> Probably depends what the other side is.
2023-10-27 17:08:24 +0000 <geekosaur> I'm not sure I would bother, most languages have at least parser generators if not parser combinator libraries
2023-10-27 17:08:57 +0000Fischmiep(~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in)
2023-10-27 17:08:58 +0000Guest|17(~Guest|17@068-186-020-129.res.spectrum.com)
2023-10-27 17:09:00 +0000 <sansk> Yeah, most languages have libraries for that
2023-10-27 17:09:06 +0000 <sansk> Inst: what language?
2023-10-27 17:09:33 +0000 <Inst> nothing in mind, but i just get the impression that parsers is where Haskell is extremely developed
2023-10-27 17:09:44 +0000waleee(~waleee@h-176-10-144-38.na.cust.bahnhof.se)
2023-10-27 17:09:46 +0000 <Inst> compilers, I'm guessing Rust went with OCaml because OCaml has a lower skill ceiling
2023-10-27 17:10:16 +0000 <EvanR> I get the impression many languages have parser libraries optimized for one sort of subject language over another, usually influenced by the language itself
2023-10-27 17:10:32 +0000 <EvanR> so megaparsec has a snazzy thing to parse an arbitrary expression language
2023-10-27 17:10:46 +0000danza(~francesco@151.47.118.222) (Ping timeout: 252 seconds)
2023-10-27 17:13:01 +0000 <EvanR> what you make up for in the "ease" of writing the parser in haskell you will pay for in tooling complexity and marshalling the data across process or FFI boundary
2023-10-27 17:13:26 +0000 <sansk> Inst: yeah you can find a parser library in just about any language, don't worry about using haskell ffi
2023-10-27 17:13:56 +0000 <Inst> it's more my obsession with Haskell being more used :(
2023-10-27 17:14:15 +0000 <EvanR> wrote the parser in haskell, now I serialized it to source for so it can go over a link to C, now just gotta parse it xD
2023-10-27 17:14:36 +0000 <sansk> Inst: then just write the whole thing in haskell :)
2023-10-27 17:14:54 +0000 <EvanR> ^
2023-10-27 17:16:27 +0000Simikando(~Simikando@adsl-dyn216.91-127-84.t-com.sk)
2023-10-27 17:18:59 +0000phma(~phma@host-67-44-208-142.hnremote.net) (Read error: Connection reset by peer)
2023-10-27 17:19:47 +0000phma(phma@2001:5b0:211f:d828:d963:986:c941:cee8)
2023-10-27 17:22:35 +0000Simikando(~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 240 seconds)
2023-10-27 17:23:36 +0000Moyst_(~moyst@user/moyst) (Read error: Connection reset by peer)
2023-10-27 17:24:25 +0000CO2(CO2@gateway/vpn/protonvpn/co2)
2023-10-27 17:25:46 +0000Moyst_(~moyst@user/moyst)
2023-10-27 17:25:49 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-10-27 17:26:43 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112) (Remote host closed the connection)
2023-10-27 17:30:31 +0000dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2023-10-27 17:31:30 +0000dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-10-27 17:32:37 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-10-27 17:33:27 +0000danza(~francesco@151.47.118.222)
2023-10-27 17:42:33 +0000gatekempt(~gatekempt@user/gatekempt) (Remote host closed the connection)
2023-10-27 17:45:32 +0000sansk(~sansk@user/sansk) (Quit: WeeChat 4.0.4)
2023-10-27 17:48:28 +0000danza(~francesco@151.47.118.222) (Ping timeout: 248 seconds)
2023-10-27 17:53:30 +0000Simikando(~Simikando@adsl-dyn216.91-127-84.t-com.sk)
2023-10-27 17:54:28 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-10-27 17:55:09 +0000euleritian(~euleritia@x52716298.dyn.telefonica.de)
2023-10-27 18:00:34 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-10-27 18:00:59 +0000 <__monty__> Inst: OCaml has a higher skill ceiling than Haskell? What does that mean?
2023-10-27 18:02:05 +0000 <Inst> i mean Haskell has a higher skill ceiling than OCaml
2023-10-27 18:02:37 +0000 <__monty__> The second question still remains.
2023-10-27 18:02:39 +0000 <geekosaur> you actually said OCaml has a lower skill ceiling
2023-10-27 18:02:45 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112)
2023-10-27 18:03:13 +0000euleritian(~euleritia@x52716298.dyn.telefonica.de) (Read error: Connection reset by peer)
2023-10-27 18:03:25 +0000 <Inst> in the sense that Haskell requires more effort to achieve mastery than OCaml
2023-10-27 18:03:35 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 18:03:42 +0000 <__monty__> Yes they did, I might be reading challenged.
2023-10-27 18:04:42 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112) (Read error: Connection reset by peer)
2023-10-27 18:04:50 +0000 <EvanR> language mastery haha
2023-10-27 18:04:56 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112)
2023-10-27 18:04:57 +0000 <__monty__> Inst: So you mean the barrier to entry is higher for Haskell than OCaml?
2023-10-27 18:05:10 +0000 <__monty__> Or do you mean you can only get so leet in OCaml?
2023-10-27 18:05:26 +0000juri_(~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 258 seconds)
2023-10-27 18:07:06 +0000juri_(~juri@84-19-175-187.pool.ovpn.com)
2023-10-27 18:07:55 +0000coot(~coot@89.69.206.216) (Quit: coot)
2023-10-27 18:08:06 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-10-27 18:08:50 +0000 <EvanR> your progress bar in language X starts empty then takes a varying number of XP to reach 100%
2023-10-27 18:08:51 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 18:08:54 +0000trillp(~trillp@2603-8080-6ef0-40f0-0000-0000-0000-1c3a.res6.spectrum.com) (Leaving)
2023-10-27 18:09:04 +0000 <EvanR> at which point you put master programmer of that language on the resume
2023-10-27 18:09:18 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-10-27 18:09:31 +0000 <geekosaur> yeh, I think they meant the first, although I would define "skill ceiling" to be the second
2023-10-27 18:10:03 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-10-27 18:10:10 +0000CO2(CO2@gateway/vpn/protonvpn/co2) (Quit: WeeChat 4.1.0)
2023-10-27 18:10:33 +0000 <int-e> The whole idea of a skill ceiling is so odd... there's always more to learn.
2023-10-27 18:10:53 +0000 <int-e> (programming isn't tic-tac-toe)
2023-10-27 18:11:54 +0000 <[exa]> I hoped the enumerability bois completely dismantled the whole idea of skill ceiling?
2023-10-27 18:12:22 +0000grimacer(~grimacer@189.172.57.182)
2023-10-27 18:12:48 +0000 <haskellbridge> 12<C​elestial> and if there isn't you have to be creative and make up stuff to learn
2023-10-27 18:12:52 +0000 <haskellbridge> 12<C​elestial> science :D
2023-10-27 18:13:15 +0000 <geekosaur> first, enumerate every valid program…
2023-10-27 18:13:26 +0000 <exarkun> [0..]
2023-10-27 18:13:27 +0000 <exarkun> what next
2023-10-27 18:14:16 +0000 <haskellbridge> 12<C​elestial> if you give me a finite character limit ...
2023-10-27 18:15:29 +0000 <grimacer> Read about Governor Samuel Garcia and Naruto's sexual relationship! Check out the exerpt here and click on the link to read the whole thing!
2023-10-27 18:15:29 +0000 <grimacer> But Samuel Garcia wasn't done yet. He pulled Naruto into one of the bathroom stalls and began to fist him with a rough, insistent force. Naruto cried out with a mix of pain and pleasure as Samuel Garcia's hand stretched him open, his body shaking with intense sensations. As they continued to explore each other's bodies, Naruto couldn't help but feel a sense of taboo excitement. He knew that what they were doing was dangerous and could
2023-10-27 18:15:29 +0000 <grimacer> ruin both of their reputations, but he couldn't resist the intense pleasure that Samuel Garcia brought him. 
2023-10-27 18:15:29 +0000 <grimacer> After they finished, Samuel Garcia casually picked the little bits of undigested corn and shrimp tails from the ramen that Naruto had eaten earlier and licked them off his fingers, savoring the flavor. Naruto felt a mix of disgust and arousal as he watched Samuel Garcia, but he knew that he couldn't deny the passion that existed between them. https://justpaste.it/Naruto_Makes_Love_Samuel_Garcia
2023-10-27 18:15:38 +0000ChanServ+o geekosaur
2023-10-27 18:15:43 +0000geekosaur+b *!*@189.172.57.182
2023-10-27 18:15:43 +0000grimacergeekosaur (grimacer)
2023-10-27 18:15:52 +0000geekosaur-o geekosaur
2023-10-27 18:16:18 +0000 <EvanR> you don't need a finite character limit!
2023-10-27 18:16:41 +0000coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-10-27 18:18:34 +0000 <haskellbridge> 12<C​elestial> well yeah, you could produce infinitely many valud programs then
2023-10-27 18:18:47 +0000 <haskellbridge> 12<C​elestial> s/valud/valid
2023-10-27 18:19:55 +0000 <EvanR> then filter by "makes the person who runs this program rich"
2023-10-27 18:20:47 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 18:22:37 +0000dostoyevsky2(~sck@user/dostoyevsky2) (Ping timeout: 248 seconds)
2023-10-27 18:24:18 +0000 <haskellbridge> 12<C​elestial> if you write that function for me, I will gladly `filter makesRich`
2023-10-27 18:25:15 +0000 <haskellbridge> 12<C​elestial> while at it, please also write me a function that tells me whether a given haskell program terminates in finite time, thanks
2023-10-27 18:27:47 +0000 <exarkun> is `mapConcurrently id` the most direct thing to do with `[IO a]`? to get `IO [a]` concurrently?
2023-10-27 18:28:39 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112) (Remote host closed the connection)
2023-10-27 18:28:39 +0000michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2023-10-27 18:28:52 +0000 <exarkun> The list comes from the applicative instance of [] so I don't know how to go directly from the function that makes the IO a to the mapConcurrently call
2023-10-27 18:30:01 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2023-10-27 18:30:29 +0000dostoyevsky2(~sck@user/dostoyevsky2)
2023-10-27 18:31:44 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 18:34:51 +0000 <Inst> __monty__: I actually mean the second, in the sense that in an OCaml codebase, it's reasonable for everyone to be expected to have proficient to master-level understanding of the language and its idioms
2023-10-27 18:35:01 +0000CO2(CO2@gateway/vpn/protonvpn/co2)
2023-10-27 18:35:09 +0000 <Inst> in Haskell, the same doesn't apply, so that can create issues for onboarding and maintainability
2023-10-27 18:36:37 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-10-27 18:42:12 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 18:43:04 +0000Simikando(~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Quit: Leaving)
2023-10-27 18:46:11 +0000ChanServ+o litharge
2023-10-27 18:46:12 +0000litharge-bo *!*@189.172.57.182 litharge
2023-10-27 18:51:32 +0000 <duncan> Inst: It isn't clear to me that that is a real distinction
2023-10-27 18:52:09 +0000 <Inst> duncan: what is a real distinction?
2023-10-27 18:53:03 +0000 <duncan> Well, it's not a technical distinction, and there are (shockingly) people who are beginning to learn ocaml
2023-10-27 18:53:24 +0000 <Inst> but to get to proficiency, does it require more, less, or the same amount of effort?
2023-10-27 18:57:53 +0000 <exarkun> different people learn in different ways, at different rates, with different outcomes
2023-10-27 18:58:07 +0000 <exarkun> and effort is hard to measure anyway
2023-10-27 18:58:08 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-10-27 18:58:14 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 255 seconds)
2023-10-27 18:58:17 +0000 <c_wraith> exarkun: can you make use of the Concurrently wrapper in the process? if that's not something you can work in easily, mapConcurrently id is fine
2023-10-27 18:58:29 +0000 <exarkun> and then how do you measure "mastery"
2023-10-27 18:58:55 +0000 <exarkun> c_wraith: hm!
2023-10-27 18:59:25 +0000_xor(~xor@72.49.199.93) (Read error: Connection reset by peer)
2023-10-27 18:59:56 +0000dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-10-27 19:01:47 +0000_xor(~xor@72.49.199.93)
2023-10-27 19:02:20 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112)
2023-10-27 19:03:48 +0000 <duncan> Inst: there are two different things going on, there's proficiency in the language and there's a commercial codebase
2023-10-27 19:04:20 +0000 <duncan> the latter is distinctly unlikely to require less effort in Haskell than ocaml
2023-10-27 19:04:28 +0000 <geekosaur> three, since a commercial codebase implies commercial users and you need familiarity with what they need
2023-10-27 19:04:34 +0000 <geekosaur> or are looking for
2023-10-27 19:06:46 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112) (Ping timeout: 260 seconds)
2023-10-27 19:09:04 +0000Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 258 seconds)
2023-10-27 19:11:02 +0000Maxdamantus(~Maxdamant@user/maxdamantus)
2023-10-27 19:11:07 +0000heichro(~user@p200300c3cf492d00d2e6407fb98ca48c.dip0.t-ipconnect.de)
2023-10-27 19:13:08 +0000heichro(~user@p200300c3cf492d00d2e6407fb98ca48c.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-10-27 19:13:42 +0000pavonia(~user@user/siracusa)
2023-10-27 19:19:02 +0000pixelmonk(~pixelmonk@173.46.79.26) (Ping timeout: 258 seconds)
2023-10-27 19:21:56 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-10-27 19:28:37 +0000 <int-e> Oh yeah what happened to ozone?
2023-10-27 19:29:31 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 19:29:35 +0000 <geekosaur> left the channel because it didn't seem to be needed. we can /invite it again if needed
2023-10-27 19:30:57 +0000 <geekosaur> Oct 18 16:24:50 * ozone (ozone@libera/bot/ozone) has left (Leaving the channel. /invite ozone again if needed)
2023-10-27 19:31:02 +0000 <int-e> Would it help with that Samuel Garcia spam? That's the only recurring thing right now I think.
2023-10-27 19:31:43 +0000 <tomsmeding> that's what it was invited for in the first place, recently
2023-10-27 19:31:57 +0000 <tomsmeding> it was so-so effective with it
2023-10-27 19:32:51 +0000pixelmonk(~pixelmonk@173.46.79.26)
2023-10-27 19:38:03 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 19:42:03 +0000target_i(~target_i@217.175.14.39)
2023-10-27 19:43:44 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-27 19:44:00 +0000michalz(~michalz@185.246.207.200)
2023-10-27 19:44:45 +0000idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
2023-10-27 19:47:09 +0000Lycurgus(~georg@user/Lycurgus)
2023-10-27 19:48:33 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2023-10-27 19:49:13 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 19:49:48 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:a583:cfb:37b7:5112)
2023-10-27 19:52:24 +0000 <EvanR> I was looking for the proper nomenclature for this thing back when we were talking about DList... data JList a = Empty | Single a | Join (JList a) (JList a), called a join list by ghc wiki
2023-10-27 19:54:04 +0000 <EvanR> O(1) concat! ooo ahh
2023-10-27 19:54:23 +0000 <int-e> "binary tree"
2023-10-27 19:54:55 +0000 <exarkun> int-e: so pedestrian
2023-10-27 19:55:11 +0000 <int-e> Just telling it how I see it.
2023-10-27 19:58:42 +0000 <[exa]> isn't it kinda isomorphic to a free Maybe?
2023-10-27 19:59:55 +0000 <[exa]> ah no it branches too much :D
2023-10-27 20:00:15 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2023-10-27 20:00:35 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 20:01:41 +0000 <c_wraith> It's like Free Pair
2023-10-27 20:01:41 +0000 <int-e> It's more of a monoid over `a` without the monoid laws.
2023-10-27 20:02:08 +0000 <c_wraith> where data Pair a = Pair a a
2023-10-27 20:02:15 +0000 <int-e> (...which given that it captures a monoid shouldn't be surprising)
2023-10-27 20:02:49 +0000 <c_wraith> Oh, not quite. It needs an empty constructor too. Well that's not a common type at all.
2023-10-27 20:02:50 +0000 <int-e> wouldn't you need `Pair a a | Empty`
2023-10-27 20:03:05 +0000 <int-e> What's that, Compose Maybe Pair
2023-10-27 20:03:15 +0000 <c_wraith> yes
2023-10-27 20:03:24 +0000 <c_wraith> Free (Compose Maybe Pair)
2023-10-27 20:03:30 +0000 <c_wraith> ... that's way too awkward :)
2023-10-27 20:03:51 +0000 <EvanR> JList
2023-10-27 20:04:00 +0000 <EvanR> you're welcome
2023-10-27 20:04:04 +0000 <int-e> obfuscation++; insight--;
2023-10-27 20:04:28 +0000 <EvanR> @karma obfuscation
2023-10-27 20:04:28 +0000 <lambdabot> obfuscation has a karma of 0
2023-10-27 20:05:23 +0000 <int-e> I don't think it triggers like that.
2023-10-27 20:05:44 +0000sm(~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds)
2023-10-27 20:07:17 +0000gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
2023-10-27 20:09:18 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-10-27 20:11:43 +0000Square2(~Square@user/square) (Remote host closed the connection)
2023-10-27 20:11:45 +0000Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-10-27 20:12:19 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2023-10-27 20:12:54 +0000drjeff16(~drjeff16@user/K3nnethJ3fferson)
2023-10-27 20:13:09 +0000drjeff16DrKJeff16
2023-10-27 20:14:14 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-10-27 20:16:58 +0000DrKJeff16is away: AFK
2023-10-27 20:17:46 +0000 <int-e> I hate clients that do that.
2023-10-27 20:19:13 +0000qqq(~qqq@92.43.167.61) (Quit: leaving)
2023-10-27 20:21:01 +0000 <DrKJeff16> Pardon me?
2023-10-27 20:21:23 +0000 <geekosaur> verbose away
2023-10-27 20:21:30 +0000 <geekosaur> [27 20:16:58] * DrKJeff16 is away: AFK
2023-10-27 20:21:45 +0000Pickchea(~private@user/pickchea)
2023-10-27 20:22:03 +0000DrKJeff16is back (gone 00:05:05)
2023-10-27 20:22:06 +0000 <EvanR> sorry for barging in but I'm Away
2023-10-27 20:22:33 +0000 <DrKJeff16> Apologies, I'm getting the hang of using Weechat, will fix ASAP.
2023-10-27 20:22:56 +0000 <mauke> why is that even a thing? :-D
2023-10-27 20:23:02 +0000 <int-e> DrKJeff16: Sorry I could've pointed that out in a more friendly way.
2023-10-27 20:23:59 +0000DrKJeff16(~drjeff16@user/K3nnethJ3fferson) (Quit: WeeChat 4.0.5)
2023-10-27 20:28:22 +0000drjeff16(~drjeff16@user/K3nnethJ3fferson)
2023-10-27 20:28:39 +0000drjeff16DrKJeff16
2023-10-27 20:31:36 +0000 <Inst> btw, was briefly discussing STRef with someone
2023-10-27 20:31:55 +0000 <Inst> I'm wondering if STUArray etc doesn't suffer a performance penalty?
2023-10-27 20:32:40 +0000 <Inst> or is STRef actually performant when working with unboxed values?
2023-10-27 20:34:18 +0000 <EvanR> you can't put an unboxed value in an STRef
2023-10-27 20:35:06 +0000 <EvanR> unboxed values have to be handled directly
2023-10-27 20:35:13 +0000 <EvanR> or packed into an array
2023-10-27 20:35:41 +0000 <EvanR> or in an unboxed field of a data structure!
2023-10-27 20:37:59 +0000trev(~trev@user/trev)
2023-10-27 20:40:23 +0000fendor(~fendor@2a02:8388:1640:be00:4648:ee17:640e:e578) (Remote host closed the connection)
2023-10-27 20:41:42 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-10-27 20:48:16 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 20:52:27 +0000dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-10-27 21:03:29 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-10-27 21:05:43 +0000waleee(~waleee@h-176-10-144-38.na.cust.bahnhof.se) (Ping timeout: 255 seconds)
2023-10-27 21:07:51 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-10-27 21:07:59 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2023-10-27 21:09:28 +0000Jackneill(~Jackneill@20014C4E1E03D8000F82DBB60140E9E2.dsl.pool.telekom.hu) (Ping timeout: 252 seconds)
2023-10-27 21:09:28 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 21:11:05 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 21:13:25 +0000CO2(CO2@gateway/vpn/protonvpn/co2) (Quit: WeeChat 4.1.0)
2023-10-27 21:18:12 +0000coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-10-27 21:19:50 +0000DrKJeff16(~drjeff16@user/K3nnethJ3fferson) (Quit: DrKJeff16)
2023-10-27 21:20:49 +0000trev(~trev@user/trev) (Quit: trev)
2023-10-27 21:21:55 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
2023-10-27 21:26:38 +0000 <davean> EvanR: yah, you'd need a PrimVar ;)
2023-10-27 21:28:23 +0000 <davean> Inst: I'm not sure why you relate STRef and STUArray
2023-10-27 21:30:11 +0000 <davean> Inst: STUArray is one indirection faster.
2023-10-27 21:30:28 +0000 <davean> it does not use or relate to STRef
2023-10-27 21:36:01 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-10-27 21:38:19 +0000michalz(~michalz@185.246.207.200) (Remote host closed the connection)
2023-10-27 21:38:20 +0000 <Inst> except both are manipulated via ST type?
2023-10-27 21:40:19 +0000 <EvanR> STRef is like IORef but can't escape the ST thread
2023-10-27 21:42:09 +0000 <davean> Inst: Thats a pretty remote relationship? I mean you can say something similar about writeFile
2023-10-27 21:42:34 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-10-27 21:42:49 +0000 <Inst> on, the context is that i'm trying to clean up a Jon Bontley quicksort ported to Haskell
2023-10-27 21:42:56 +0000Pickchea(~private@user/pickchea)
2023-10-27 21:43:17 +0000 <Inst> https://stackoverflow.com/questions/10049579/jon-bentleys-beautiful-quicksort-how-does-it-even-work
2023-10-27 21:43:36 +0000 <Inst> the point of doing a ST quicksort is so that it's in place
2023-10-27 21:43:48 +0000 <Inst> and switching to STref sort of defeats the point, no?
2023-10-27 21:43:50 +0000derpyxdhs(~Thunderbi@user/derpyxdhs)
2023-10-27 21:44:18 +0000 <Inst> on the other hand, the point of the bentley is that it's "elegant", and i'd want to get my Haskell in-place mutating quicksort to be as elegant
2023-10-27 21:44:49 +0000 <EvanR> STRef is mutated in place just like IORef
2023-10-27 21:45:14 +0000 <davean> Inst: no that doesn't defeat the point, its still in place and can require moving FAR less data to move the pointers.
2023-10-27 21:45:18 +0000 <John_Ivan_> does anyone else's "http-conduit" library give undefined symbol errors to it's dependencies like "ghczupwrapper", "hashablezml", "zzlib", when trying to compile "L.unpack <$> simpleHttp url" ?
2023-10-27 21:45:33 +0000 <John_Ivan_> I suspect the library's broken. Otherwise, might be me doing something wrong?
2023-10-27 21:46:06 +0000 <Inst> iirc there's some benchmarks that suggest that accumulating parameter is generally faster than STRef and by implication IORef when it comes to lots of writes
2023-10-27 21:46:12 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-27 21:46:15 +0000 <John_Ivan_> all I did was add the dependency to my cabal file, imported the lib and did a "cabal build".
2023-10-27 21:46:49 +0000sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-27 21:47:15 +0000 <davean> Inst: those are fundimently different things, doing fundimentally different things, of course they're different.
2023-10-27 21:47:19 +0000 <EvanR> Inst, if the thing in the accumulator can be efficiently updated in an immutable way (e.g. it's a single Int), then sure
2023-10-27 21:47:36 +0000CO2(CO2@gateway/vpn/protonvpn/co2)
2023-10-27 21:47:55 +0000 <EvanR> mutable variables incur additional gc bookkeeping, but it might be worth it for your algorithm
2023-10-27 21:48:15 +0000 <Inst> my target is more to try to get it to look clean without cutting corners
2023-10-27 21:48:21 +0000 <Inst> if you wanted cleanliness at all costs, umm
2023-10-27 21:48:26 +0000 <davean> Inst: you really need to learn about trade offs, you are completely ignoring things like having to copy the data.
2023-10-27 21:49:05 +0000 <EvanR> so make it look clean and don't worry about performance?
2023-10-27 21:49:14 +0000 <davean> I can give you datatypes where a single copy will cost more than the entire sort.
2023-10-27 21:50:41 +0000 <Inst> quicksort xs = if null xs then xs else quicksort (filter (<= head xs) xs) ++ head xs ++ quicksort (filter (> head xs) xs)
2023-10-27 21:50:56 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-10-27 21:51:02 +0000 <EvanR> nice
2023-10-27 21:51:17 +0000 <int-e> also a bit wrong
2023-10-27 21:51:23 +0000 <Inst> whoops quicksort xs = if null xs then xs else quicksort (filter (<= head xs) xs) ++ [head xs] ++ quicksort (filter (> head xs) xs)
2023-10-27 21:51:31 +0000 <int-e> still wrong
2023-10-27 21:51:44 +0000 <Inst> i mean that QS isn't even a quicksort, is that why it's wrong?
2023-10-27 21:51:47 +0000 <int-e> though now it should typecheck
2023-10-27 21:51:59 +0000 <davean> Also, seriously, filter not partition?
2023-10-27 21:52:23 +0000 <Inst> it's a one liner, and this isn't in place at all
2023-10-27 21:52:48 +0000 <EvanR> <= and > seems to exclude nothing
2023-10-27 21:52:48 +0000 <davean> oh I just find filter much less eligant than partitioning
2023-10-27 21:52:57 +0000 <Inst> oh, whoops
2023-10-27 21:53:07 +0000 <int-e> > let quicksort xs = if null xs then xs else quicksort (filter (<= head xs) xs) ++ [head xs] ++ quicksort (filter (> head xs) xs) in quicksort [42]
2023-10-27 21:53:11 +0000 <Inst> quicksort xs = if null xs then xs else quicksort (filter (<= head xs) (tail xs)) ++ head xs ++ quicksort (filter (> head xs) (tail xs))
2023-10-27 21:53:13 +0000 <lambdabot> mueval-core: Time limit exceeded
2023-10-27 21:53:40 +0000 <Inst> > quicksort xs = if null xs then xs else quicksort (filter (<= head xs) (tail xs)) ++ head xs ++ quicksort (filter (> head xs) (tail xs))
2023-10-27 21:53:42 +0000 <lambdabot> <hint>:1:14: error: parse error on input ‘=’
2023-10-27 21:54:19 +0000 <Inst> > let quicksort xs = if null xs then xs else quicksort (filter (<= head xs) (tail xs)) ++ [head xs] ++ quicksort (filter (> head xs) (tail xs)) in quicksort [44,43..1]
2023-10-27 21:54:20 +0000 <lambdabot> [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,...
2023-10-27 21:54:50 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-10-27 21:55:07 +0000sm(~sm@plaintextaccounting/sm)
2023-10-27 21:55:32 +0000derpyxdhs(~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs)
2023-10-27 21:55:35 +0000 <davean> I really think partition shows it off better
2023-10-27 21:55:38 +0000sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-10-27 21:55:41 +0000 <davean> particular its symetry, etc.
2023-10-27 21:55:52 +0000 <EvanR> is the goal to be "clean", "in-place", or "\"performant\"", gotta decide
2023-10-27 21:56:04 +0000 <Inst> https://paste.tomsmeding.com/bisFWB96
2023-10-27 21:56:11 +0000 <davean> EvanR: Oh in Haskell we often can have all 3 with a little work.
2023-10-27 21:56:49 +0000 <EvanR> pick 3
2023-10-27 21:56:52 +0000 <EvanR> lol
2023-10-27 21:57:18 +0000 <Inst> my version is a big improvement on earlier overgolfed versions
2023-10-27 21:57:19 +0000 <davean> Its really a choice of 4 things, and we just ignore "engenering time" is a factor we might ever pick.
2023-10-27 21:57:36 +0000fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-10-27 21:58:07 +0000 <davean> Thats ok though, because maintance is so much lower!
2023-10-27 21:58:09 +0000 <int-e> Inst: lines 22-23 are needlessly cute
2023-10-27 22:00:27 +0000 <Inst> i like mapM_ :(
2023-10-27 22:00:35 +0000 <Inst> other needless cute options:
2023-10-27 22:00:42 +0000 <int-e> and meh, those do blocks on lines 18-19 is also ugly
2023-10-27 22:00:49 +0000 <Inst> first `qs` (pivSwapTo - 1)
2023-10-27 22:01:03 +0000 <EvanR> Arrows...
2023-10-27 22:01:23 +0000 <EvanR> Arrow code is an all-in or all-out thing xD
2023-10-27 22:02:07 +0000 <geekosaur> h-Arrow-ing
2023-10-27 22:03:08 +0000 <int-e> nice pun
2023-10-27 22:03:34 +0000 <Inst> unfortunately the function default precedence doesn't play well with addition / subtraction operators :(
2023-10-27 22:03:49 +0000 <int-e> that's what parentheses are for
2023-10-27 22:04:51 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl)
2023-10-27 22:05:41 +0000 <EvanR> parentheses?! what do you think this is, lisp?
2023-10-27 22:07:10 +0000 <int-e> > (+ 1 2)
2023-10-27 22:07:11 +0000 <lambdabot> error:
2023-10-27 22:07:11 +0000 <lambdabot> • Could not deduce (Num t0)
2023-10-27 22:07:11 +0000 <lambdabot> from the context: (Num a, Num t, Num (t -> a))
2023-10-27 22:07:18 +0000 <int-e> I rather suspect it isn't
2023-10-27 22:07:28 +0000 <Inst> > ((+) 1 2)
2023-10-27 22:07:29 +0000 <lambdabot> 3
2023-10-27 22:08:05 +0000 <EvanR> we like to do railyard shunting to figure out how the expression is treed
2023-10-27 22:08:24 +0000 <Inst> i guess i should go convert the code to STRef and see how it works out?
2023-10-27 22:09:10 +0000merijn(~merijn@233-142-158-163.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2023-10-27 22:09:25 +0000 <haskellbridge> 12<C​elestial> with a lisp that would be haßkell
2023-10-27 22:15:31 +0000 <mauke> > (+ 1 2) 1
2023-10-27 22:15:32 +0000 <lambdabot> error:
2023-10-27 22:15:32 +0000 <lambdabot> • Could not deduce (Num t0)
2023-10-27 22:15:32 +0000 <lambdabot> from the context: (Num a, Num t, Num (t -> a))
2023-10-27 22:16:02 +0000 <EvanR> can the matrixers not use lambdabot
2023-10-27 22:17:14 +0000 <ghoulguy> All their messages are prefixed with a nickname, so probably not
2023-10-27 22:18:37 +0000Guest|17(~Guest|17@068-186-020-129.res.spectrum.com) (Ping timeout: 255 seconds)
2023-10-27 22:23:26 +0000 <Unicorn_Princess> https://gitlab.haskell.org/ghc/ghc/-/issues/602 :|
2023-10-27 22:26:23 +0000 <EvanR> the gist I got is it would be nice if you could enable language pragmas only for certain pieces of a source file
2023-10-27 22:26:39 +0000 <Unicorn_Princess> perhaps my grandchildren will be able to
2023-10-27 22:26:45 +0000 <Unicorn_Princess> at this rate
2023-10-27 22:27:26 +0000hololeap(~quassel@user/hololeap) (Quit: Bye)
2023-10-27 22:27:41 +0000 <EvanR> I guess we need to switch to NeoHaskell
2023-10-27 22:28:24 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 258 seconds)
2023-10-27 22:28:40 +0000hololeap(~quassel@user/hololeap)
2023-10-27 22:32:35 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-10-27 22:36:14 +0000aljazmc_(~aljazmc@user/aljazmc) (Remote host closed the connection)
2023-10-27 22:36:37 +0000tan00kee(~paul@pauloliver.dev)
2023-10-27 22:38:28 +0000 <rgw> wow that issue was created 19 years ago
2023-10-27 22:38:38 +0000 <rgw> i'm sure it will be handled any day now
2023-10-27 22:38:58 +0000 <dostoyevsky2> Is it true tht NeoHaskell uses Comic Sans as the default font?
2023-10-27 22:39:39 +0000 <geekosaur> they are in fact working toward selective warning suppression
2023-10-27 22:39:45 +0000 <c_wraith> no. if it did, it would have
2023-10-27 22:39:51 +0000 <c_wraith> some reason to use it
2023-10-27 22:39:56 +0000 <rgw> is neohaskell a haskell meme now?
2023-10-27 22:43:34 +0000phma(phma@2001:5b0:211f:d828:d963:986:c941:cee8) (Read error: Connection reset by peer)
2023-10-27 22:43:57 +0000phma(~phma@host-67-44-208-132.hnremote.net)
2023-10-27 22:50:35 +0000acidjnk(~acidjnk@p200300d6e72b9302c5eda31b9368d419.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-10-27 22:53:24 +0000 <yushyin> always was
2023-10-27 22:54:18 +0000 <yushyin> or better, 'always has been' with this other meme image, https://imgflip.com/s/meme/Always-Has-Been.png
2023-10-27 22:54:34 +0000 <rgw> that's the way i read it
2023-10-27 22:58:15 +0000 <dostoyevsky2> I prefer EmojiHaskell more, though.. NeoHaskell sounds a bit dated imho
2023-10-27 22:59:18 +0000 <yushyin> rgw: https://i.imgflip.com/843d9w.jpg :P?
2023-10-27 23:00:11 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.0.2)
2023-10-27 23:00:31 +0000 <rgw> posthaskell
2023-10-27 23:01:05 +0000 <geekosaur> emoji is so 3 years ago
2023-10-27 23:01:25 +0000 <rgw> it's all about animated gifs now
2023-10-27 23:03:19 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-10-27 23:03:44 +0000target_i(~target_i@217.175.14.39) (Quit: leaving)
2023-10-27 23:05:17 +0000Square(~Square@user/square)
2023-10-27 23:05:44 +0000santiagopim(~user@90.167.66.131) (Ping timeout: 255 seconds)
2023-10-27 23:10:39 +0000dorin(~dorin@user/dorin) (Ping timeout: 248 seconds)
2023-10-27 23:11:13 +0000falafel(~falafel@62.175.113.194.dyn.user.ono.com)
2023-10-27 23:15:47 +0000gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com)
2023-10-27 23:16:07 +0000arahael(~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net)
2023-10-27 23:22:31 +0000 <Inst> davean, so, you were right about the STRef
2023-10-27 23:23:07 +0000chomwitt(~chomwitt@2a02:587:7a01:8f00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds)
2023-10-27 23:27:09 +0000 <Inst> i'll probably cook it into a proper benchmark later
2023-10-27 23:29:58 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-10-27 23:32:30 +0000 <Inst> I'm extremely annoyed that STRef is outperforming accum parameter, by up to 50%, in this case, however
2023-10-27 23:41:14 +0000arahael(~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 258 seconds)
2023-10-27 23:43:51 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds)
2023-10-27 23:56:58 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-10-27 23:57:07 +0000chexum_(~quassel@gateway/tor-sasl/chexum)