IRCBrowse

2023/02/27

2023-02-27 00:01:31 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-02-27 00:02:13 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds)
2023-02-27 00:08:18 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Remote host closed the connection)
2023-02-27 00:08:25 +0100tan00kee(~paul@pauloliver.dev)
2023-02-27 00:08:39 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2)
2023-02-27 00:13:48 +0100Morrow(~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77)
2023-02-27 00:18:28 +0100Morrow(~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 265 seconds)
2023-02-27 00:30:53 +0100son0p(~ff@181.136.122.143)
2023-02-27 00:34:20 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Remote host closed the connection)
2023-02-27 00:37:49 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2)
2023-02-27 00:45:30 +0100sadmax(~user@64.130.91.66)
2023-02-27 00:49:24 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-02-27 00:50:03 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-02-27 00:55:04 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de) (Ping timeout: 246 seconds)
2023-02-27 00:55:25 +0100mechap(~mechap@user/mechap) (Ping timeout: 246 seconds)
2023-02-27 00:57:39 +0100mechap(~mechap@user/mechap)
2023-02-27 01:06:16 +0100billb(~billb@2603-800c-2803-8f00-2701-2e3f-be8d-b582.res6.spectrum.com)
2023-02-27 01:10:21 +0100mauke_(~mauke@user/mauke)
2023-02-27 01:11:43 +0100mauke(~mauke@user/mauke) (Ping timeout: 248 seconds)
2023-02-27 01:11:44 +0100mauke_mauke
2023-02-27 01:11:55 +0100mechap(~mechap@user/mechap) (Ping timeout: 252 seconds)
2023-02-27 01:15:18 +0100mechap(~mechap@user/mechap)
2023-02-27 01:16:29 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-02-27 01:20:30 +0100Morrow(~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77)
2023-02-27 01:24:48 +0100Morrow(~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 246 seconds)
2023-02-27 01:25:07 +0100falafel(~falafel@2607:fb91:143f:e47f:9253:1057:ffd4:8785) (Ping timeout: 252 seconds)
2023-02-27 01:30:34 +0100ph88(~ph88@91.66.101.83) (Quit: Leaving)
2023-02-27 01:32:24 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2023-02-27 01:34:36 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Remote host closed the connection)
2023-02-27 01:39:18 +0100sadmax(~user@64.130.91.66) (Remote host closed the connection)
2023-02-27 01:44:56 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-02-27 01:45:58 +0100Morrow(~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77)
2023-02-27 01:50:07 +0100Morrow(~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 248 seconds)
2023-02-27 02:02:52 +0100tan00kee(~paul@pauloliver.dev) (Quit: WeeChat 3.8)
2023-02-27 02:04:24 +0100vandita(~vandit@89-186-118-202.pool.digikabel.hu) (Ping timeout: 255 seconds)
2023-02-27 02:06:04 +0100vandita(~vandit@92-249-193-26.pool.digikabel.hu)
2023-02-27 02:08:32 +0100random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2023-02-27 02:11:43 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-02-27 02:12:36 +0100ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 268 seconds)
2023-02-27 02:13:27 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-27 02:13:42 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-27 02:14:18 +0100dcoutts_(~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-02-27 02:14:26 +0100ddellacosta(~ddellacos@143.244.47.85)
2023-02-27 02:14:46 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-27 02:17:01 +0100Morrow(~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77)
2023-02-27 02:17:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-27 02:20:25 +0100jakalx(~jakalx@base.jakalx.net) ()
2023-02-27 02:22:20 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2023-02-27 02:22:50 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-02-27 02:24:18 +0100Morrow(~Morrow@2a10:8012:b:4187:4c47:864e:8181:4f77) (Ping timeout: 246 seconds)
2023-02-27 02:27:27 +0100acidjnk(~acidjnk@p200300d6e715c4503557bd80b0d86540.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-02-27 02:28:26 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2023-02-27 02:30:59 +0100Sciencentistguy7(~sciencent@hacksoc/ordinary-member)
2023-02-27 02:32:46 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 252 seconds)
2023-02-27 02:32:46 +0100Sciencentistguy7Sciencentistguy
2023-02-27 02:35:07 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2)
2023-02-27 02:37:56 +0100haskl(~haskl@user/haskl)
2023-02-27 02:39:31 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Ping timeout: 252 seconds)
2023-02-27 02:43:00 +0100jakalx(~jakalx@base.jakalx.net)
2023-02-27 02:44:32 +0100tremon(~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2023-02-27 02:45:41 +0100xff0x(~xff0x@ai081074.d.east.v6connect.net) (Ping timeout: 255 seconds)
2023-02-27 02:52:41 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-02-27 02:54:37 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-02-27 03:10:53 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-02-27 03:16:31 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2023-02-27 03:19:06 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
2023-02-27 03:19:20 +0100sh1n(~sh1n@181.229.121.151)
2023-02-27 03:19:21 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-02-27 03:20:15 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2023-02-27 03:20:21 +0100pwntips(~user@24-113-98-114.wavecable.com) (Ping timeout: 255 seconds)
2023-02-27 03:25:52 +0100opticblast(~Thunderbi@172.58.82.191)
2023-02-27 03:27:10 +0100pwntips_(~user@24-113-98-114.wavecable.com)
2023-02-27 03:28:58 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-02-27 03:33:31 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
2023-02-27 03:39:44 +0100Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2023-02-27 03:43:51 +0100falafel(~falafel@2607:fb91:143f:e47f:4534:b03d:184c:9714)
2023-02-27 03:47:54 +0100Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 255 seconds)
2023-02-27 03:52:09 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2023-02-27 03:57:00 +0100Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2023-02-27 04:00:00 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2023-02-27 04:00:11 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds)
2023-02-27 04:00:56 +0100razetime(~Thunderbi@117.193.5.171)
2023-02-27 04:01:45 +0100Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 268 seconds)
2023-02-27 04:01:48 +0100slack1256(~slack1256@186.11.53.84)
2023-02-27 04:12:59 +0100vandita(~vandit@92-249-193-26.pool.digikabel.hu) (Ping timeout: 255 seconds)
2023-02-27 04:14:49 +0100vandita(~vandit@77-234-80-161.pool.digikabel.hu)
2023-02-27 04:18:33 +0100Square2(~Square4@user/square)
2023-02-27 04:23:58 +0100shailangsa(~shailangs@host165-120-169-78.range165-120.btcentralplus.com) ()
2023-02-27 04:26:16 +0100king_gs(~Thunderbi@187.201.41.239)
2023-02-27 04:28:44 +0100gastus(~gastus@185.6.123.209)
2023-02-27 04:31:17 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-02-27 04:32:00 +0100gastus_(~gastus@5.83.191.4) (Ping timeout: 255 seconds)
2023-02-27 04:35:12 +0100king_gs(~Thunderbi@187.201.41.239) (Ping timeout: 246 seconds)
2023-02-27 04:40:16 +0100 <maerwald[m]> davean: are you also implying that the applicative constraint on monad should be removed?
2023-02-27 04:40:28 +0100td_(~td@i53870914.versanet.de) (Ping timeout: 246 seconds)
2023-02-27 04:40:35 +0100 <maerwald[m]> I find it bewildering, but I didn't study CT
2023-02-27 04:42:35 +0100td_(~td@i53870919.versanet.de)
2023-02-27 04:44:47 +0100 <jackdk> I imagine it's more like "for certain monads, mapM may be more efficient than traverse", but I am eager to learn the specific examples.
2023-02-27 04:44:55 +0100razetime(~Thunderbi@117.193.5.171) (Ping timeout: 268 seconds)
2023-02-27 04:47:45 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds)
2023-02-27 04:49:02 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-02-27 04:49:05 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-02-27 04:53:48 +0100notzmv(~zmv@user/notzmv)
2023-02-27 04:56:36 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2023-02-27 04:58:30 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2023-02-27 04:59:47 +0100lalune_(~lalune@45.131.194.47)
2023-02-27 05:01:15 +0100lalune_(~lalune@45.131.194.47) (Client Quit)
2023-02-27 05:01:17 +0100nattiestnate(~nate@202.138.250.9)
2023-02-27 05:01:33 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-02-27 05:04:26 +0100Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2023-02-27 05:05:38 +0100sh1n(~sh1n@181.229.121.151) (Quit: sh1n)
2023-02-27 05:05:50 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds)
2023-02-27 05:09:14 +0100shailangsa(~shailangs@host165-120-169-78.range165-120.btcentralplus.com)
2023-02-27 05:10:08 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-02-27 05:11:09 +0100opticblast(~Thunderbi@172.58.82.191) (Ping timeout: 255 seconds)
2023-02-27 05:11:37 +0100Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 246 seconds)
2023-02-27 05:19:43 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2023-02-27 05:20:08 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds)
2023-02-27 05:20:29 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-02-27 05:20:29 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-02-27 05:20:29 +0100wroathe(~wroathe@user/wroathe)
2023-02-27 05:21:06 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-02-27 05:23:22 +0100Sgeo(~Sgeo@user/sgeo)
2023-02-27 05:25:03 +0100Square2(~Square4@user/square) (Ping timeout: 248 seconds)
2023-02-27 05:25:06 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-02-27 05:27:58 +0100 <danso> Monad comes with certain laws that Applicative does not
2023-02-27 05:28:33 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection)
2023-02-27 05:28:43 +0100 <Inst> question, is it possible to get Haskell IO code to be more pleasant than Python IO code (considering that in most languages, they're always in IO monad)
2023-02-27 05:29:16 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-02-27 05:29:25 +0100freeside(~mengwong@103.6.151.67) (Read error: Connection reset by peer)
2023-02-27 05:29:53 +0100 <danso> Inst, without providing any criteria that's an entirely subjective question
2023-02-27 05:31:40 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-02-27 05:32:26 +0100razetime(~Thunderbi@117.193.5.171)
2023-02-27 05:32:38 +0100 <jackdk> you could write a quasiquoter that turns python into eqivalent haskell so haskell is at least as pleasant to use
2023-02-27 05:33:36 +0100Sgeo(~Sgeo@user/sgeo)
2023-02-27 05:33:41 +0100 <jackdk> but seriously, between (>>=), traverse, kliesli composition, and functions working just as well as any built-in control structures, I find Haskell one of the most pleasant imperative languages to write
2023-02-27 05:36:09 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-27 05:36:34 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-27 05:42:52 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-27 05:43:05 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-27 05:43:34 +0100mbuf(~Shakthi@49.205.83.18)
2023-02-27 05:50:20 +0100king_gs(~Thunderbi@187.201.41.239)
2023-02-27 05:52:33 +0100 <Inst> i'm wondering if i've failed somehow, like, i don't get Haskell enough to make Haskell pleasant
2023-02-27 05:52:46 +0100 <Inst> I have code that's longer than Python, in almost all cases
2023-02-27 05:53:59 +0100johnw(~johnw@2600:1700:cf00:db0:f037:8a67:7eeb:13e8) (Quit: ZNC - http://znc.in)
2023-02-27 05:53:59 +0100jwiegley(~jwiegley@2600:1700:cf00:db0:f037:8a67:7eeb:13e8) (Quit: ZNC - http://znc.in)
2023-02-27 05:54:18 +0100 <slack1256> I have code that is longer that the python equivalent but feels more pleasant to the eye. I wonder if this is how lispers feel.
2023-02-27 05:59:22 +0100king_gs(~Thunderbi@187.201.41.239) (Quit: king_gs)
2023-02-27 06:00:00 +0100thegeekinside(~thegeekin@189.180.66.126)
2023-02-27 06:10:53 +0100falafel(~falafel@2607:fb91:143f:e47f:4534:b03d:184c:9714) (Ping timeout: 255 seconds)
2023-02-27 06:17:04 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-02-27 06:29:00 +0100vandita(~vandit@77-234-80-161.pool.digikabel.hu) (Ping timeout: 255 seconds)
2023-02-27 06:30:37 +0100vandita(~vandit@80-95-85-90.pool.digikabel.hu)
2023-02-27 06:35:49 +0100slack1256(~slack1256@186.11.53.84) (Remote host closed the connection)
2023-02-27 06:46:25 +0100opticblast(~Thunderbi@172.58.85.230)
2023-02-27 06:46:28 +0100trev(~trev@user/trev)
2023-02-27 06:52:25 +0100mechap(~mechap@user/mechap) (Ping timeout: 246 seconds)
2023-02-27 06:54:41 +0100mechap(~mechap@user/mechap)
2023-02-27 07:01:43 +0100[_________](~oos95GWG@user/oos95GWG) (Quit: [_________])
2023-02-27 07:02:15 +0100[_________](~oos95GWG@user/oos95GWG)
2023-02-27 07:13:06 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 255 seconds)
2023-02-27 07:14:53 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-02-27 07:21:07 +0100opticblast(~Thunderbi@172.58.85.230) (Ping timeout: 246 seconds)
2023-02-27 07:26:13 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-02-27 07:26:48 +0100Guest33(~Guest@2409:4073:9d:294f:4360:87ba:565c:1ea)
2023-02-27 07:27:25 +0100johnw(~johnw@2600:1700:cf00:db0:90d9:7fcd:a65c:d4b3)
2023-02-27 07:27:56 +0100jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-02-27 07:28:44 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-02-27 07:32:33 +0100Sgeo(~Sgeo@user/sgeo)
2023-02-27 07:36:48 +0100Guest33(~Guest@2409:4073:9d:294f:4360:87ba:565c:1ea) (Ping timeout: 260 seconds)
2023-02-27 07:37:54 +0100Bocaneri(~sauvin@user/Sauvin)
2023-02-27 07:38:18 +0100BocaneriGuest7624
2023-02-27 07:40:03 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-02-27 07:40:25 +0100Sauvin(~sauvin@user/Sauvin) (Ping timeout: 260 seconds)
2023-02-27 07:51:54 +0100Alex_test(~al_test@178.34.150.24) (Ping timeout: 246 seconds)
2023-02-27 07:52:16 +0100AlexZenon(~alzenon@178.34.150.24) (Ping timeout: 246 seconds)
2023-02-27 07:52:42 +0100AlexNoo(~AlexNoo@178.34.150.24) (Ping timeout: 255 seconds)
2023-02-27 07:53:19 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-02-27 07:53:54 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-02-27 07:54:17 +0100kenran(~user@user/kenran)
2023-02-27 07:54:49 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-27 07:58:53 +0100meejah(~meejah@rutas.meejah.ca) (Ping timeout: 246 seconds)
2023-02-27 07:59:02 +0100meejah(~meejah@rutas.meejah.ca)
2023-02-27 07:59:49 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-27 08:03:55 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2023-02-27 08:04:08 +0100Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (Ping timeout: 246 seconds)
2023-02-27 08:04:25 +0100Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com)
2023-02-27 08:06:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-27 08:17:21 +0100mbuf(~Shakthi@49.205.83.18) (Remote host closed the connection)
2023-02-27 08:18:32 +0100mbuf(~Shakthi@49.205.83.18)
2023-02-27 08:20:36 +0100vandita(~vandit@80-95-85-90.pool.digikabel.hu) (Ping timeout: 255 seconds)
2023-02-27 08:20:41 +0100michalz(~michalz@185.246.207.193)
2023-02-27 08:20:52 +0100Guest7624SenFache
2023-02-27 08:22:04 +0100vandita(~vandit@87-97-12-192.pool.digikabel.hu)
2023-02-27 08:23:56 +0100mbuf(~Shakthi@49.205.83.18) (Remote host closed the connection)
2023-02-27 08:25:27 +0100natto17(~natto@140.238.225.67) (Quit: a.)
2023-02-27 08:25:48 +0100natto(~natto@140.238.225.67)
2023-02-27 08:26:00 +0100thegeekinside(~thegeekin@189.180.66.126) (Ping timeout: 255 seconds)
2023-02-27 08:26:13 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-02-27 08:26:19 +0100thegeekinside(~thegeekin@189.180.66.126)
2023-02-27 08:26:47 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2023-02-27 08:31:00 +0100mbuf(~Shakthi@49.205.83.18)
2023-02-27 08:33:39 +0100mud(~mud@user/kadoban) (Ping timeout: 255 seconds)
2023-02-27 08:36:00 +0100tromp(~textual@92.110.219.57)
2023-02-27 08:37:26 +0100mbuf(~Shakthi@49.205.83.18) (Remote host closed the connection)
2023-02-27 08:37:59 +0100mbuf(~Shakthi@49.205.83.18)
2023-02-27 08:40:55 +0100mud(~mud@user/kadoban)
2023-02-27 08:40:56 +0100mbuf(~Shakthi@49.205.83.18) (Remote host closed the connection)
2023-02-27 08:41:13 +0100mbuf(~Shakthi@49.205.83.18)
2023-02-27 08:42:33 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2023-02-27 08:46:21 +0100mbuf(~Shakthi@49.205.83.18) (Remote host closed the connection)
2023-02-27 08:46:43 +0100mbuf(~Shakthi@49.205.83.18)
2023-02-27 08:47:51 +0100razetime1(~Thunderbi@117.193.5.171)
2023-02-27 08:49:21 +0100mbuf(~Shakthi@49.205.83.18) (Remote host closed the connection)
2023-02-27 08:49:24 +0100razetime(~Thunderbi@117.193.5.171) (Ping timeout: 255 seconds)
2023-02-27 08:49:25 +0100razetime1razetime
2023-02-27 08:49:46 +0100mbuf(~Shakthi@49.205.83.18)
2023-02-27 08:51:51 +0100mbuf(~Shakthi@49.205.83.18) (Remote host closed the connection)
2023-02-27 08:52:14 +0100mbuf(~Shakthi@49.205.83.18)
2023-02-27 09:04:52 +0100razetime(~Thunderbi@117.193.5.171) (Ping timeout: 252 seconds)
2023-02-27 09:06:23 +0100zeenk(~zeenk@2a02:2f04:a20d:f900::7fe)
2023-02-27 09:09:14 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:ee9a:8f14:5d:75de)
2023-02-27 09:14:21 +0100tromp(~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-27 09:18:45 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-02-27 09:19:23 +0100akegalj(~akegalj@78-1-179-63.adsl.net.t-com.hr)
2023-02-27 09:22:25 +0100cstml(~cstml@cpc151611-shef16-2-0-cust313.17-1.cable.virginm.net)
2023-02-27 09:25:46 +0100razetime(~Thunderbi@117.193.5.171)
2023-02-27 09:27:43 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-02-27 09:28:02 +0100xelxebar(~xelxebar@2001:268:c204:ba8d:a2e7:bff:fe3d:32e)
2023-02-27 09:29:50 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-02-27 09:30:04 +0100MajorBiscuit(~MajorBisc@c-001-027-039.client.tudelft.eduvpn.nl)
2023-02-27 09:31:54 +0100zer0bitz(~zer0bitz@2001:2003:f443:d600:c401:d740:4974:2815)
2023-02-27 09:33:02 +0100xelxebar(~xelxebar@2001:268:c204:ba8d:a2e7:bff:fe3d:32e) (Quit: WeeChat 3.8)
2023-02-27 09:34:09 +0100xelxebar(~xelxebar@2001:268:c204:ba8d:a2e7:bff:fe3d:32e)
2023-02-27 09:34:55 +0100xelxebar(~xelxebar@2001:268:c204:ba8d:a2e7:bff:fe3d:32e) (Client Quit)
2023-02-27 09:35:41 +0100xelxebar(~xelxebar@2001:268:c204:ba8d:a2e7:bff:fe3d:32e)
2023-02-27 09:37:11 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-27 09:38:40 +0100megaTherion(~therion@unix.io) (Ping timeout: 246 seconds)
2023-02-27 09:38:44 +0100 <davean> maerwald[m]: Why would you ever removed the applicative constraint?
2023-02-27 09:38:54 +0100megaTherion(~therion@unix.io)
2023-02-27 09:39:01 +0100acidjnk(~acidjnk@p200300d6e715c45030bfb40d187fad0d.dip0.t-ipconnect.de)
2023-02-27 09:39:20 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds)
2023-02-27 09:39:51 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-27 09:40:39 +0100dcoutts_(~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net)
2023-02-27 09:40:43 +0100cstml(~cstml@cpc151611-shef16-2-0-cust313.17-1.cable.virginm.net) (Ping timeout: 248 seconds)
2023-02-27 09:47:07 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-02-27 09:47:51 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Max SendQ exceeded)
2023-02-27 09:48:22 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-02-27 09:48:37 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-02-27 09:53:27 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-02-27 09:54:05 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-27 09:59:09 +0100thegeekinside(~thegeekin@189.180.66.126) (Ping timeout: 255 seconds)
2023-02-27 10:00:13 +0100Oden[m](~iodonemat@2001:470:69fc:105::2:feb5) (Quit: You have been kicked for being idle)
2023-02-27 10:01:04 +0100chele(~chele@user/chele)
2023-02-27 10:04:21 +0100dcoutts_(~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 268 seconds)
2023-02-27 10:06:04 +0100coot(~coot@213.134.171.3)
2023-02-27 10:07:58 +0100mc47(~mc47@xmonad/TheMC47)
2023-02-27 10:08:59 +0100mrcsno(~mrcsno@71.69.152.220)
2023-02-27 10:09:56 +0100 <maerwald> davean: it's not part of the Haskell standard
2023-02-27 10:16:09 +0100cstml(~cstml@92.234.89.58)
2023-02-27 10:23:56 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de)
2023-02-27 10:25:01 +0100xelxebar(~xelxebar@2001:268:c204:ba8d:a2e7:bff:fe3d:32e) (Quit: WeeChat 3.8)
2023-02-27 10:27:19 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-27 10:28:13 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2)
2023-02-27 10:30:13 +0100dcoutts_(~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net)
2023-02-27 10:32:30 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Ping timeout: 252 seconds)
2023-02-27 10:34:41 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds)
2023-02-27 10:34:56 +0100notzmv(~zmv@user/notzmv)
2023-02-27 10:36:33 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-27 10:36:43 +0100acidjnk(~acidjnk@p200300d6e715c45030bfb40d187fad0d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-02-27 10:48:39 +0100dcoutts_(~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 246 seconds)
2023-02-27 10:54:36 +0100ft(~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving)
2023-02-27 11:03:50 +0100acidjnk(~acidjnk@p200300d6e715c45030bfb40d187fad0d.dip0.t-ipconnect.de)
2023-02-27 11:06:10 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds)
2023-02-27 11:11:21 +0100asm(~alexander@burner.asm89.io) (Changing host)
2023-02-27 11:11:21 +0100asm(~alexander@user/asm)
2023-02-27 11:11:39 +0100cfricke(~cfricke@user/cfricke)
2023-02-27 11:12:09 +0100cfricke(~cfricke@user/cfricke) (Client Quit)
2023-02-27 11:19:39 +0100xelxebar(~xelxebar@126.156.222.36)
2023-02-27 11:23:41 +0100Midjak(~Midjak@82.66.147.146)
2023-02-27 11:30:03 +0100vandita(~vandit@87-97-12-192.pool.digikabel.hu) (Ping timeout: 255 seconds)
2023-02-27 11:30:04 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de) (Ping timeout: 252 seconds)
2023-02-27 11:31:51 +0100vandita(~vandit@77-234-92-225.pool.digikabel.hu)
2023-02-27 11:35:11 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de)
2023-02-27 11:36:58 +0100razetime(~Thunderbi@117.193.5.171) (Ping timeout: 246 seconds)
2023-02-27 11:40:29 +0100 <dminuoso_> jackdk: It was brought up on the mailing list a few years ago to remove mapM, but as with many things it was left forgotten very rapidly after.
2023-02-27 11:41:04 +0100 <dminuoso_> There aren't really any examples of a more efficient mapM in the wild.
2023-02-27 11:43:51 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-02-27 11:44:23 +0100 <[exa]> imo mapM is pretty good for educative purposes, it's the easiest way to grasp the whateverM "lifted" functions
2023-02-27 11:45:00 +0100 <Inst> does anyone use monomer here?
2023-02-27 11:45:05 +0100 <dminuoso_> Sure, but `traverse` does that too [exa]
2023-02-27 11:45:26 +0100 <dminuoso_> From a pedagogical level its probably even more confusing that both mapM and traverse even exist.
2023-02-27 11:45:54 +0100 <dminuoso_> Especially since the historical reason for the split has never found any real life usage that I have found
2023-02-27 11:46:12 +0100 <[exa]> dminuoso_: that's solved literally by saying "...anyway cool people call it traverse"
2023-02-27 11:46:33 +0100 <Inst> mapM isn't traverse, no?
2023-02-27 11:46:37 +0100 <Inst> mapM has monad constraint?
2023-02-27 11:46:41 +0100 <[exa]> yep
2023-02-27 11:46:47 +0100 <dminuoso_> [exa]: Okay, so when teaching addition to kids in primary school, do you also include the addendum "cool kids call this a semigroup"
2023-02-27 11:47:03 +0100 <dminuoso_> or would you agree that this is just an entirely useless remark that can, at best, only serve to confuse students?
2023-02-27 11:48:54 +0100 <[exa]> how are alternative names confusing?
2023-02-27 11:49:08 +0100 <dminuoso_> For starters they have different type signatures.
2023-02-27 11:49:36 +0100 <dminuoso_> Even the documentation in base could be read as if they do different things.
2023-02-27 11:49:44 +0100 <dminuoso_> mapM maps to *monadic* actions, traverse maps to (non-monadic) actions.
2023-02-27 11:50:56 +0100 <dminuoso_> Behaviorally they do the same, except in the (warning, irony incoming) extremely common case that you have a specially implemented mapM that is slightly faster on monads, and you're working with a type that does not have a Monad instance, then yeah you cant use mapM
2023-02-27 11:50:59 +0100 <[exa]> like, the beginners usually know `map` and extending that to monadic things as `mapM` is the easiest solution that they can converge into. Having to memorize traverse name ("or was is transve..rsomehting?") IMO just removes 1 potentially helpful step there
2023-02-27 11:51:13 +0100 <Inst> (just teach for instead)
2023-02-27 11:51:19 +0100acidjnk(~acidjnk@p200300d6e715c45030bfb40d187fad0d.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-02-27 11:51:21 +0100 <dminuoso_> Counter argument, now you have map, mapM and fmap.
2023-02-27 11:51:26 +0100 <dminuoso_> Which one does what?
2023-02-27 11:51:49 +0100 <dminuoso_> Memorizing the particular spelling of a name is an editor integration problem.
2023-02-27 11:51:51 +0100cfricke(~cfricke@user/cfricke)
2023-02-27 11:52:17 +0100 <Inst> but i can see how mapM is easier to pick-up, i.e, a version of map specialized to (a -> m a)
2023-02-27 11:52:27 +0100 <Inst> which pushes the m a out to above the traversable
2023-02-27 11:52:36 +0100 <[exa]> mapM matches the general whateverM pattern, fmap can be decoded as a map for "f"something and they may or may not recall it if they heard about functors
2023-02-27 11:52:36 +0100 <dminuoso_> If we *really* want to talk about simple and recognizable names
2023-02-27 11:52:45 +0100 <dminuoso_> then `for` and `for_` win this argument I think
2023-02-27 11:52:53 +0100 <Inst> well, replicateM is cancer ;)
2023-02-27 11:52:55 +0100 <[exa]> true
2023-02-27 11:52:55 +0100 <dminuoso_> Because they just generalize loops.
2023-02-27 11:53:13 +0100__monty__(~toonn@user/toonn)
2023-02-27 11:53:32 +0100 <dminuoso_> [exa]: regarding your patter, sure Im not saying its something you cant create a mental model around it
2023-02-27 11:54:01 +0100 <dminuoso_> but for someone who is starting with haskell, I dont think `whateverM` as "the monadic version" is really helpful, given that haskell beginners tend to be utterly confused about everything that has `monad` in it
2023-02-27 11:54:11 +0100xff0x(~xff0x@ai081074.d.east.v6connect.net)
2023-02-27 11:55:05 +0100 <dminuoso_> A far more treacherous confusion that tripped me up over several years, was not finding `for_/traverse_` in Data.Traversable. :p
2023-02-27 11:55:23 +0100 <[exa]> yeah certainly not saying this is useful for the "final" outcome, but there have to be various intermediate mental models of the situation and mapM really helps there. "I want to do map but my thing here is IO monad, what do?" fires the combination easily
2023-02-27 11:55:24 +0100 <dminuoso_> Something I probably should have turned into a simple proposal to just re-export it from that module at the time, but Ive learned around it
2023-02-27 11:56:03 +0100 <[exa]> ah yes the traverse_ missing from prelude is just...annoying :D
2023-02-27 11:57:09 +0100 <Inst> ummm, isn't prelude just annoying anyways?
2023-02-27 11:57:28 +0100 <[exa]> Inst: try without
2023-02-27 11:57:42 +0100 <Inst> {-# LANGUAGE NoImplicitPrelude #-}
2023-02-27 11:58:08 +0100 <Inst> import RIO
2023-02-27 11:58:14 +0100razetime(~Thunderbi@117.254.34.174)
2023-02-27 11:58:31 +0100 <Inst> oh wow, Protolude is still being maintained, I thought it was dead
2023-02-27 11:59:20 +0100turlando(~turlando@user/turlando) ()
2023-02-27 11:59:28 +0100 <[exa]> Inst: ok we have another prelude that is annoying to another set of humans :D
2023-02-27 11:59:38 +0100turlando(~turlando@user/turlando)
2023-02-27 12:00:05 +0100 <Inst> a big bright spot of Haskell 2020 or 2025 or 2030, is just to get impetus to have people in charge update the bleeding prelude
2023-02-27 12:00:18 +0100teo(~teo@user/teo)
2023-02-27 12:02:03 +0100 <[exa]> Inst: that will break everyone's nice software though
2023-02-27 12:03:04 +0100turlando(~turlando@user/turlando) (Read error: Connection reset by peer)
2023-02-27 12:03:42 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-27 12:06:51 +0100acidjnk(~acidjnk@p200300d6e715c45050da1057090936da.dip0.t-ipconnect.de)
2023-02-27 12:07:17 +0100 <jackdk> the real alternative prelude is Control.Lens
2023-02-27 12:08:28 +0100turlando(~turlando@user/turlando)
2023-02-27 12:11:16 +0100 <dminuoso_> [exa]: Its not as much about missing from prelude, as about not being re-exported in Data.Traversable
2023-02-27 12:11:29 +0100 <dminuoso_> It always struck me as odd that `traverse_` was not in Data.Traversable, given its name.
2023-02-27 12:12:53 +0100 <Inst> on the other hand, it only requires a foldable constraint
2023-02-27 12:14:00 +0100 <[exa]> that's kinda longtime software development problem: correct /= handy
2023-02-27 12:14:11 +0100 <[exa]> jackdk: +1
2023-02-27 12:17:47 +0100mmhat(~mmh@p200300f1c7248a40ee086bfffe095315.dip0.t-ipconnect.de)
2023-02-27 12:18:55 +0100 <dminuoso_> Speaking of missing things, I feel like Witherable should be part of base.
2023-02-27 12:19:09 +0100 <dminuoso_> I use `wither` so frequently..
2023-02-27 12:20:15 +0100mmhat(~mmh@p200300f1c7248a40ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-02-27 12:22:10 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-02-27 12:22:25 +0100 <jackdk> I used to be pro-things-in-base, but it seems really hard to make fundamental fixes once they get in. Agreed that `Witherable` is a cool class
2023-02-27 12:22:40 +0100 <jackdk> I also have a soft spot for package `semialign`
2023-02-27 12:30:34 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2)
2023-02-27 12:34:43 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Ping timeout: 246 seconds)
2023-02-27 12:39:16 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de) (Ping timeout: 246 seconds)
2023-02-27 12:41:21 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de)
2023-02-27 12:42:12 +0100Lycurgus(~juan@user/Lycurgus)
2023-02-27 12:42:40 +0100 <Inst> if someone uses monomer, i'm trying to figure out if this is intended behavior
2023-02-27 12:42:52 +0100 <Inst> i can install the executables, but they don't come packaged with the assets by default
2023-02-27 12:45:33 +0100Lycurguswonders is it the holy grail of hs GUI?
2023-02-27 12:47:37 +0100akegalj(~akegalj@78-1-179-63.adsl.net.t-com.hr) (Quit: leaving)
2023-02-27 12:49:52 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de) (Ping timeout: 252 seconds)
2023-02-27 12:52:53 +0100the_proffesor(~theproffe@user/theproffesor) (Read error: Connection reset by peer)
2023-02-27 12:59:06 +0100phma(~phma@2001:5b0:2172:8768:d70b:20eb:9db0:5a75) (Read error: Connection reset by peer)
2023-02-27 13:00:01 +0100phma(phma@2001:5b0:212a:f988:1176:588b:c947:c103)
2023-02-27 13:00:55 +0100lyle(~lyle@104.246.145.237)
2023-02-27 13:06:54 +0100cstml(~cstml@92.234.89.58) (Quit: WeeChat 3.7.1)
2023-02-27 13:16:32 +0100 <merijn> jackdk: Stuff in base seems great, until you realise any changes are tied to the compiler :p
2023-02-27 13:16:45 +0100 <jackdk> also that yes
2023-02-27 13:17:18 +0100 <merijn> Of course in theory we could separate base from GHC, but then it's "just another library" which doesn't seem any improvement over the status quo :p
2023-02-27 13:22:26 +0100xelxebar_(~xelxebar@KD111239181227.au-net.ne.jp)
2023-02-27 13:25:13 +0100xelxebar(~xelxebar@126.156.222.36) (Ping timeout: 252 seconds)
2023-02-27 13:27:49 +0100xelxebar_xelxebar
2023-02-27 13:28:08 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-27 13:28:25 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-27 13:29:23 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-02-27 13:30:17 +0100 <maerwald> jackdk: yes, because "fixes" break shit and incur real economic cost to users
2023-02-27 13:30:33 +0100 <maerwald> base shouldn't be a petri dish
2023-02-27 13:32:09 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-02-27 13:34:01 +0100 <raehik> I can pass `Addr#`s to FFI calls thanks to UnliftedFFITypes, but I can't get back an `IO Addr#` because IO's type must be lifted. In my own code, I can fix that by manually unboxing IO. Can I do that in FFI calls as well...?
2023-02-27 13:34:32 +0100 <merijn> raehik: What's wrong with `Ptr`?
2023-02-27 13:34:55 +0100CiaoSen(~Jura@2003:c9:570e:9100:2a3a:4dff:fe84:dbd5)
2023-02-27 13:35:07 +0100 <raehik> merijn: I'm finding in a serialization lib that Ptr's boxing slows things down. where there's not much to do other than copy bytes around it adds a surprising hit
2023-02-27 13:35:28 +0100 <merijn> That's...surprising
2023-02-27 13:36:14 +0100 <merijn> I have some pretty strict Ptr shenanigans to Storable data code and that doesn't seem to have any meaningful slowdown
2023-02-27 13:36:53 +0100 <raehik> I did optimize other things at the same time. I haven't properly confirmed if they gave me all the performance
2023-02-27 13:37:08 +0100 <merijn> raehik: Looking at the source Ptr directly has an Addr# field so that should already be unboxed and strict
2023-02-27 13:37:50 +0100 <raehik> huh? is that how it works? I saw `data Ptr` and understood that there was boxing present (I have never properly researched this)
2023-02-27 13:38:10 +0100 <merijn> So while I can't say it *never* happens, I'm fairly skeptical of GHC generating statistically significant overhead for passing that to FFI
2023-02-27 13:38:52 +0100 <merijn> raehik: Pretty sure (although a bit rusty) that unlifted # values are always just directly embedded into the constructor without additional indirection
2023-02-27 13:39:27 +0100 <raehik> hm! how is UnliftedNewtypes different then?
2023-02-27 13:39:40 +0100 <merijn> So Ptr is not a struct with a pointer to an Addr#, it's just a struct with Addr# embedded directly
2023-02-27 13:40:51 +0100 <raehik> hmmmm. so it doesn't add any lookups
2023-02-27 13:40:54 +0100 <merijn> raehik: Ptr is pretty equivalent to Int (1 constructor, machine word value) and the primitive type docs for GHC say: "he representation of a Haskell Int, for example, is a two-word heap object. An unboxed type, however, is represented by the value itself, no pointers or heap allocation are involved."
2023-02-27 13:41:32 +0100 <merijn> raehik: UnliftedNewtypes is subtly different
2023-02-27 13:42:27 +0100 <raehik> before I get too far into it then, does unboxing IO seem like something reasonable to improve performance? I tried it, it seemed to improve perf, but I am wondering about the other optimizations I did at the same time
2023-02-27 13:42:45 +0100 <merijn> raehik: There is an indirection because you have "a pointer to a Ptr (the heap object)" and the heap object is 2 words
2023-02-27 13:43:02 +0100 <raehik> this serialization lib does very little other than write bytes so the less heap access the better
2023-02-27 13:43:21 +0100 <merijn> raehik: But any serialisation code touching pointers should force them immediately and the strictness analyzer should trivially detect you reusing the same Ptr
2023-02-27 13:43:47 +0100 <merijn> raehik: I guess that conceptualy it could matter if you are deserialising thousands of (relative?) pointers in the input
2023-02-27 13:44:20 +0100 <merijn> raehik: but if you're, say, accessing the same pointer at different offsets I find it very hard to believe that's gonna produce any serious overhead
2023-02-27 13:44:20 +0100 <raehik> even microbenchmarks showed surprising improvements :/
2023-02-27 13:44:55 +0100 <merijn> raehik: I'd test "the other optimisations" separate from this unboxing first before investing lots of effort
2023-02-27 13:44:57 +0100 <raehik> the "current position" is shifted along as bytes are written
2023-02-27 13:45:30 +0100 <merijn> Also, I'm skeptical of microbenchmarks, because microbenchmarking is notoriously hard :p
2023-02-27 13:45:31 +0100 <raehik> yeah will do. I have thought about this and had believed I'd compared fairly, but then I noticed something I did for bytestrings
2023-02-27 13:46:05 +0100 <raehik> I did try some fairly realistic data too, same thing... but heavy on bytestrings and I was comparing against an old version I think.... gah
2023-02-27 13:46:14 +0100 <merijn> raehik: It's certainly not impossible for it to matter, just saying it seems very unlikely outside some very specific and niche usage patterns
2023-02-27 13:46:46 +0100 <raehik> thank you for this discussion merijn. data gathering time
2023-02-27 13:52:01 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-02-27 13:58:47 +0100AlexNoo(~AlexNoo@94.233.240.140)
2023-02-27 14:00:04 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-27 14:00:32 +0100Alex_test(~al_test@94.233.240.140)
2023-02-27 14:02:48 +0100AlexZenon(~alzenon@94.233.240.140)
2023-02-27 14:03:32 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-27 14:06:38 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2023-02-27 14:07:02 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
2023-02-27 14:09:24 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2023-02-27 14:14:47 +0100dhil(~dhil@119.13.72.103)
2023-02-27 14:17:56 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-27 14:30:33 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de)
2023-02-27 14:37:32 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2023-02-27 14:38:05 +0100dhil(~dhil@119.13.72.103) (Ping timeout: 260 seconds)
2023-02-27 14:39:50 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de) (Ping timeout: 255 seconds)
2023-02-27 14:40:44 +0100vandita(~vandit@77-234-92-225.pool.digikabel.hu) (Ping timeout: 255 seconds)
2023-02-27 14:41:00 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de)
2023-02-27 14:42:29 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-02-27 14:42:37 +0100vandita(~vandit@92-249-185-201.pool.digikabel.hu)
2023-02-27 14:51:34 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-27 14:51:52 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-27 14:54:08 +0100heartburn(~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 248 seconds)
2023-02-27 14:56:11 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-02-27 14:57:34 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-27 14:59:37 +0100gurkenglas(~gurkengla@x52716237.dyn.telefonica.de) (Ping timeout: 246 seconds)
2023-02-27 15:00:39 +0100heartburn(~gass@2a00:d880:3:1::b1e4:b241)
2023-02-27 15:05:47 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-27 15:05:47 +0100Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Read error: Connection reset by peer)
2023-02-27 15:06:08 +0100Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-02-27 15:12:04 +0100razetime1(~Thunderbi@117.254.34.174)
2023-02-27 15:13:08 +0100Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (Quit: Leaving.)
2023-02-27 15:13:37 +0100razetime(~Thunderbi@117.254.34.174) (Ping timeout: 246 seconds)
2023-02-27 15:13:37 +0100razetime1razetime
2023-02-27 15:16:51 +0100thegeekinside(~thegeekin@189.180.66.126)
2023-02-27 15:22:03 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-02-27 15:23:38 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds)
2023-02-27 15:23:58 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-27 15:32:31 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-02-27 15:32:53 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2)
2023-02-27 15:37:26 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Ping timeout: 255 seconds)
2023-02-27 15:40:15 +0100 <geekosaur> 9.2.7 just dropped!
2023-02-27 15:44:26 +0100 <dminuoso_> Did it break?
2023-02-27 15:44:54 +0100 <geekosaur> not yet…
2023-02-27 15:45:02 +0100 <geekosaur> (9.2.6 did which is why this release)
2023-02-27 15:45:45 +0100Square2(~Square4@user/square)
2023-02-27 15:46:23 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-02-27 15:46:54 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-02-27 15:54:43 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2023-02-27 15:55:37 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-02-27 16:01:46 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-02-27 16:02:49 +0100shapr(~user@68.54.166.125)
2023-02-27 16:07:16 +0100Square3(~Square4@user/square)
2023-02-27 16:10:02 +0100Square2(~Square4@user/square) (Ping timeout: 268 seconds)
2023-02-27 16:15:03 +0100cheater(~Username@user/cheater)
2023-02-27 16:19:03 +0100 <AWizzArd> Can I convince ghci to output all foralls when requesting a signature via :type? If yes: how?
2023-02-27 16:19:55 +0100 <geekosaur> :set -xprint-explicit-foralls
2023-02-27 16:20:04 +0100 <geekosaur> er, -fprint-explicit-foralls
2023-02-27 16:20:19 +0100 <AWizzArd> Ah yes, good!
2023-02-27 16:21:28 +0100 <geekosaur> it's also a good candidate for a ~/.ghci file
2023-02-27 16:25:40 +0100 <merijn> Semi-annual reminder that the GHC User's Guide is a treasure trove and you should spend some time skimming it every few months/year ;)
2023-02-27 16:25:50 +0100Putonlalla(~Putonlall@it-cyan.it.jyu.fi)
2023-02-27 16:30:27 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-02-27 16:32:45 +0100phma(phma@2001:5b0:212a:f988:1176:588b:c947:c103) (Read error: Connection reset by peer)
2023-02-27 16:33:24 +0100phma(~phma@host-67-44-208-187.hnremote.net)
2023-02-27 16:36:54 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:ee9a:8f14:5d:75de) (Quit: WeeChat 2.8)
2023-02-27 16:41:14 +0100king_gs(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7)
2023-02-27 16:47:41 +0100king_gs(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Ping timeout: 246 seconds)
2023-02-27 16:48:53 +0100king_gs(~Thunderbi@187.201.41.239)
2023-02-27 16:50:46 +0100Sgeo(~Sgeo@user/sgeo)
2023-02-27 16:52:59 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-02-27 16:53:47 +0100mbuf(~Shakthi@49.205.83.18) (Quit: Leaving)
2023-02-27 16:59:09 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2023-02-27 17:01:52 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds)
2023-02-27 17:03:18 +0100razetime(~Thunderbi@117.254.34.174) (Remote host closed the connection)
2023-02-27 17:05:58 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-02-27 17:08:32 +0100king_gs(~Thunderbi@187.201.41.239) (Read error: Connection reset by peer)
2023-02-27 17:08:38 +0100king_gs1(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7)
2023-02-27 17:10:56 +0100king_gs1king_gs
2023-02-27 17:11:00 +0100king_gs(~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Client Quit)
2023-02-27 17:15:33 +0100sidy(~sidy@user/sidy)
2023-02-27 17:27:13 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-02-27 17:27:49 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-02-27 17:33:47 +0100accord(uid568320@id-568320.hampstead.irccloud.com)
2023-02-27 17:33:48 +0100elevenkb(~elevenkb@105.224.34.36)
2023-02-27 17:33:53 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-02-27 17:34:06 +0100Square3Square
2023-02-27 17:35:00 +0100shapr(~user@68.54.166.125) (Ping timeout: 255 seconds)
2023-02-27 17:39:28 +0100ddellacosta(~ddellacos@143.244.47.85) (Quit: WeeChat 3.8)
2023-02-27 17:41:29 +0100ddellacosta(~ddellacos@143.244.47.85)
2023-02-27 17:47:35 +0100elevenkb(~elevenkb@105.224.34.36) (Quit: Client closed)
2023-02-27 17:51:00 +0100elevenkb(~elevenkb@105.224.34.36)
2023-02-27 17:53:11 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-27 17:55:28 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2023-02-27 18:09:02 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2023-02-27 18:11:21 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2)
2023-02-27 18:12:14 +0100elevenkb(~elevenkb@105.224.34.36) (Quit: Client closed)
2023-02-27 18:14:12 +0100elevenkb(~elevenkb@105.224.34.36)
2023-02-27 18:18:45 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-02-27 18:19:28 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-02-27 18:27:24 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Remote host closed the connection)
2023-02-27 18:28:46 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-02-27 18:28:50 +0100shapr(~user@68.54.166.125)
2023-02-27 18:29:15 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2023-02-27 18:29:40 +0100ii8(~ii8@45.63.97.131) (Quit: ii8)
2023-02-27 18:30:25 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-02-27 18:31:13 +0100npm_i_kurbus(~npm_i_kur@user/kurbus)
2023-02-27 18:31:14 +0100zeenk(~zeenk@2a02:2f04:a20d:f900::7fe) (Quit: Konversation terminated!)
2023-02-27 18:36:12 +0100tremon(~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl)
2023-02-27 18:37:34 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-02-27 18:37:51 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-02-27 18:40:33 +0100 <davean> maerwald: I absolutely think we have to move on past the Haskell standard. It doesn't have a lot of absolutely neccissary things
2023-02-27 18:42:47 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2023-02-27 18:44:18 +0100coot(~coot@213.134.171.3) (Quit: coot)
2023-02-27 18:50:12 +0100chele(~chele@user/chele) (Remote host closed the connection)
2023-02-27 18:50:36 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-02-27 19:00:18 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2023-02-27 19:00:32 +0100econo(uid147250@user/econo)
2023-02-27 19:06:06 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-02-27 19:07:28 +0100thegeekinside(~thegeekin@189.180.66.126) (Ping timeout: 248 seconds)
2023-02-27 19:07:59 +0100thegeekinside(~thegeekin@189.180.66.126)
2023-02-27 19:14:25 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2023-02-27 19:16:09 +0100vandita(~vandit@92-249-185-201.pool.digikabel.hu) (Ping timeout: 255 seconds)
2023-02-27 19:17:44 +0100vandita(~vandit@91-83-1-228.pool.digikabel.hu)
2023-02-27 19:18:40 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-02-27 19:18:51 +0100thegeekinside(~thegeekin@189.180.66.126) (Ping timeout: 248 seconds)
2023-02-27 19:19:09 +0100jakalx(~jakalx@base.jakalx.net) ()
2023-02-27 19:19:58 +0100thegeekinside(~thegeekin@189.180.66.126)
2023-02-27 19:22:45 +0100MajorBiscuit(~MajorBisc@c-001-027-039.client.tudelft.eduvpn.nl) (Ping timeout: 260 seconds)
2023-02-27 19:26:23 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2)
2023-02-27 19:26:36 +0100thegeekinside(~thegeekin@189.180.66.126) (Ping timeout: 255 seconds)
2023-02-27 19:28:07 +0100elevenkb(~elevenkb@105.224.34.36) (Quit: Client closed)
2023-02-27 19:30:34 +0100 <hellwolf[m]> am I the only one didn't know about "[1,3..10]" syntax and its connection to enumFromThenTo? I guess that's the drawback of not reading the basic books first...
2023-02-27 19:30:41 +0100 <hellwolf[m]> * am I the only one didn't know about "\[1,3..10\]" syntax and its connection to enumFromThenTo? I guess that's the drawback of not reading the basic book first...
2023-02-27 19:31:05 +0100 <hellwolf[m]> * am I the only one didn't know about "\[1,3..10\]" syntax and its connection to enumFromThenTo? I guess that's the drawback of skipping the basics.
2023-02-27 19:31:46 +0100 <sm> you're not, and yes it is :)
2023-02-27 19:34:29 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-02-27 19:34:42 +0100 <mauke> on the IRC side of things, there is no edit button, so your message was sent three times. and the first one had the code part looking correct :-)
2023-02-27 19:35:12 +0100 <hellwolf[m]> oh shoot, I should be aware of that next time
2023-02-27 19:35:14 +0100 <mauke> and yes, list syntax desugaring is far from obvious
2023-02-27 19:35:37 +0100 <hellwolf[m]> well, I didn't even know it was for the Enum instance!
2023-02-27 19:36:08 +0100 <mauke> the only hint would be inspecting the types manually
2023-02-27 19:36:15 +0100 <hellwolf[m]> so it should be "enum syntax desugaring"!
2023-02-27 19:36:16 +0100 <mauke> :t \a b c -> [a, b .. c]
2023-02-27 19:36:16 +0100 <lambdabot> Enum a => a -> a -> a -> [a]
2023-02-27 19:36:33 +0100 <hellwolf[m]> but that'd be accurate, but confusing
2023-02-27 19:36:33 +0100 <mauke> I'm talking about all forms of [ ... ]
2023-02-27 19:37:01 +0100 <geekosaur> there's also list comprehensions, for example
2023-02-27 19:37:07 +0100 <mauke> [] is like a data constructor, [x] and [x,y] are like syntactic sugar for x : [] and x : y : [], respectively
2023-02-27 19:37:39 +0100 <mauke> and then there's the enum forms [x ..], [x .. y], [x, y ..], [x, y .. z], and (as geekosaur says) the various list comprehension variants
2023-02-27 19:38:05 +0100 <hellwolf[m]> And [Char] is a pun for some sort of "List Char" right?
2023-02-27 19:38:06 +0100 <hellwolf[m]> * And \[Char\] is a "pun" for some sort of "List Char" right?
2023-02-27 19:38:07 +0100 <hellwolf[m]> sorry, I did edit again.
2023-02-27 19:38:27 +0100whatsupdoc(uid509081@2a03:5180:f:4::7:c499)
2023-02-27 19:38:37 +0100 <mauke> yes, in types `[X]` means `[] X`
2023-02-27 19:39:12 +0100maukewonders if that renders as code in Matrix
2023-02-27 19:39:38 +0100 <geekosaur> nope, it doesn't read IRC messages as markdown 😞
2023-02-27 19:42:18 +0100geekosaur[m]wonders what matrix does with [x]
2023-02-27 19:42:29 +0100 <geekosaur[m]> nothing in a /me, apparently
2023-02-27 19:42:43 +0100 <mauke> might just be an edit artifact
2023-02-27 19:43:03 +0100 <mauke> because [ ] is potentially special in markdown (link syntax), so it might get auto-escaped
2023-02-27 19:43:40 +0100 <geekosaur[m]> oh right, forgot about that
2023-02-27 19:43:57 +0100geekosaurswitches back over to IRC
2023-02-27 19:45:15 +0100dcoutts_(~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net)
2023-02-27 19:46:11 +0100CiaoSen(~Jura@2003:c9:570e:9100:2a3a:4dff:fe84:dbd5) (Ping timeout: 252 seconds)
2023-02-27 19:46:37 +0100opticblast(~Thunderbi@172.58.85.230)
2023-02-27 19:47:29 +0100gurkenglas(~gurkengla@dynamic-046-114-180-031.46.114.pool.telefonica.de)
2023-02-27 19:49:28 +0100ft(~ft@p3e9bc443.dip0.t-ipconnect.de)
2023-02-27 19:50:56 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2023-02-27 19:53:45 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-02-27 19:53:55 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz)
2023-02-27 19:57:59 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Remote host closed the connection)
2023-02-27 20:07:33 +0100mechap(~mechap@user/mechap) (Ping timeout: 255 seconds)
2023-02-27 20:08:04 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-02-27 20:09:43 +0100mechap(~mechap@user/mechap)
2023-02-27 20:12:09 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-02-27 20:16:33 +0100npm_i_kurbus(~npm_i_kur@user/kurbus) (Quit: Client closed)
2023-02-27 20:24:15 +0100mechap(~mechap@user/mechap) (Ping timeout: 248 seconds)
2023-02-27 20:25:09 +0100teo(~teo@user/teo) (Ping timeout: 256 seconds)
2023-02-27 20:26:07 +0100mechap(~mechap@user/mechap)
2023-02-27 20:31:50 +0100elevenkb(~elevenkb@105.224.34.36)
2023-02-27 20:31:51 +0100dcoutts_(~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-02-27 20:32:22 +0100son0p(~ff@181.136.122.143) (Ping timeout: 252 seconds)
2023-02-27 20:34:10 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-27 20:35:12 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2023-02-27 20:42:54 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-02-27 20:54:20 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-02-27 20:54:47 +0100 <ggranberry> Is anyone in here thinking about submitting a GHC-based proposal for Haskell Summer of Code this year and looking for a Master Student to implement it? I looked at https://summer.haskell.org/ideas.html but didn't see any specific contacts for reaching out. I'd love to chat about any projects to see if I'd be a good fit
2023-02-27 20:58:29 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2)
2023-02-27 21:03:05 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f1bd:eef9:4eee:a4c2) (Ping timeout: 260 seconds)
2023-02-27 21:07:44 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-02-27 21:10:40 +0100remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 260 seconds)
2023-02-27 21:11:40 +0100zer0bitz(~zer0bitz@2001:2003:f443:d600:c401:d740:4974:2815) (Ping timeout: 246 seconds)
2023-02-27 21:12:55 +0100 <sm> is ghc 9.2.6 likely to appear in nixpkgs quite soon ?
2023-02-27 21:13:19 +0100 <sm> (weeks, days, or already there you fool ?)
2023-02-27 21:17:00 +0100codaraxis(~codaraxis@user/codaraxis)
2023-02-27 21:20:21 +0100 <ddellacosta> sm looks like it's already in, just found https://github.com/NixOS/nixpkgs/pull/215852 and then gave it a shot in a local repo that was on 9.2.5, and it seems to be working great
2023-02-27 21:20:31 +0100ddellacosta(~ddellacos@143.244.47.85) (Quit: WeeChat 3.8)
2023-02-27 21:20:40 +0100 <geekosaur> 9.2.7 was just released though due to bugs
2023-02-27 21:20:56 +0100ddellacosta(~ddellacos@143.244.47.85)
2023-02-27 21:21:17 +0100 <sm> thanks!
2023-02-27 21:21:33 +0100 <ddellacosta> welp
2023-02-27 21:21:42 +0100 <sm> hellwolf: ^
2023-02-27 21:22:52 +0100 <hellwolf[m]> got it! but my system nixpkgs is using 22.11, which is stuck at 9.2.4 hmmm
2023-02-27 21:22:59 +0100remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-02-27 21:23:22 +0100gmg(~user@user/gehmehgeh)
2023-02-27 21:24:46 +0100 <sm> ack
2023-02-27 21:24:48 +0100 <sm> what is with these bugs.. who invented them
2023-02-27 21:25:11 +0100 <sm> and why is type safe functional programming not preventing them
2023-02-27 21:25:18 +0100 <dminuoso_> sm: 9.2.6 is on nixos-unstable already,.
2023-02-27 21:25:46 +0100 <geekosaur> that fool who asked Mr. Babbage if a computing machine fed bad input could get a correct answer anyway, probably
2023-02-27 21:25:49 +0100 <dminuoso_> Haskell.nix is stuck at 9.2.4 sadly, though
2023-02-27 21:26:49 +0100 <monochrom> That fool got the last laugh because that's what Python, PHP, and HTML do. >:)
2023-02-27 21:27:03 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-27 21:27:04 +0100 <sm> we're asking in the context of the Haskell Tiny Game Jam (which ends in 15.5 hours! last chance to be in https://github.com/haskell-game/tiny-games-hs !)
2023-02-27 21:28:25 +0100billb(~billb@2603-800c-2803-8f00-2701-2e3f-be8d-b582.res6.spectrum.com) (Quit: Leaving)
2023-02-27 21:28:44 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-02-27 21:30:40 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-27 21:31:36 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-02-27 21:37:23 +0100alecs(~alecs@host-79-44-188-195.retail.telecomitalia.it)
2023-02-27 21:40:51 +0100accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-27 21:55:28 +0100kenran(~user@user/kenran)
2023-02-27 22:00:15 +0100dcoutts_(~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net)
2023-02-27 22:01:21 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-27 22:05:41 +0100codaraxis__(~codaraxis@user/codaraxis)
2023-02-27 22:06:35 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds)
2023-02-27 22:06:58 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds)
2023-02-27 22:08:59 +0100codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 248 seconds)
2023-02-27 22:11:17 +0100elevenkb(~elevenkb@105.224.34.36) (Quit: Client closed)
2023-02-27 22:13:21 +0100theproffesor(~theproffe@2601:282:8880:20:cbd6:9442:3ec7:7047)
2023-02-27 22:13:21 +0100theproffesor(~theproffe@2601:282:8880:20:cbd6:9442:3ec7:7047) (Changing host)
2023-02-27 22:13:21 +0100theproffesor(~theproffe@user/theproffesor)
2023-02-27 22:13:49 +0100Lycurgus(~juan@user/Lycurgus)
2023-02-27 22:14:40 +0100lagash_(~lagash@lagash.shelltalk.net) (Ping timeout: 248 seconds)
2023-02-27 22:19:51 +0100vandita(~vandit@91-83-1-228.pool.digikabel.hu) (Ping timeout: 255 seconds)
2023-02-27 22:21:19 +0100acidjnk(~acidjnk@p200300d6e715c45050da1057090936da.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-02-27 22:22:09 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2023-02-27 22:23:40 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-27 22:34:06 +0100acidjnk(~acidjnk@p200300d6e715c49250da1057090936da.dip0.t-ipconnect.de)
2023-02-27 22:34:25 +0100pavonia(~user@user/siracusa)
2023-02-27 22:35:31 +0100lagash_(lagash@lagash.shelltalk.net)
2023-02-27 22:38:38 +0100gurkenglas(~gurkengla@dynamic-046-114-180-031.46.114.pool.telefonica.de) (Ping timeout: 255 seconds)
2023-02-27 22:40:21 +0100lxi(~quassel@2a02:2f08:4d1c:400:8170:232:8e57:afe9)
2023-02-27 22:41:28 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2023-02-27 22:41:45 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-02-27 22:43:00 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-02-27 22:49:25 +0100michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2023-02-27 22:52:36 +0100Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-02-27 22:52:38 +0100lxi(~quassel@2a02:2f08:4d1c:400:8170:232:8e57:afe9) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-02-27 22:55:24 +0100lxi(~quassel@2a02:2f08:4d1c:400:8170:232:8e57:afe9)
2023-02-27 22:56:13 +0100lxi(~quassel@2a02:2f08:4d1c:400:8170:232:8e57:afe9) (Client Quit)
2023-02-27 22:57:13 +0100Natch(~natch@92.34.7.158) (Ping timeout: 252 seconds)
2023-02-27 22:57:17 +0100Nolrai(~Nolrai@c-73-240-99-98.hsd1.or.comcast.net)
2023-02-27 22:58:14 +0100 <Nolrai> Is it normal for "hadrian/build.bat -j" to take 5h41m ?? I thought the wiki said it should take about 20 minutes?
2023-02-27 22:58:31 +0100lxi(~quassel@2a02:2f08:4d1c:400:8170:232:8e57:afe9)
2023-02-27 22:58:52 +0100lxi(~quassel@2a02:2f08:4d1c:400:8170:232:8e57:afe9) (Client Quit)
2023-02-27 23:00:26 +0100 <geekosaur> probably best asked in #ghc, but it'll depend on build options (higher optimization, validate builds, etc.)
2023-02-27 23:00:57 +0100 <jackdk> And the build machine, of course
2023-02-27 23:00:58 +0100lxi(~quassel@2a02:2f08:4d1c:400:8170:232:8e57:afe9)
2023-02-27 23:04:25 +0100edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 260 seconds)
2023-02-27 23:06:02 +0100[Leary](~Leary]@user/Leary/x-0910699)
2023-02-27 23:07:09 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-27 23:08:37 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-27 23:09:08 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-27 23:12:13 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-27 23:13:46 +0100 <shapr> @quote
2023-02-27 23:13:46 +0100 <lambdabot> composition says: "Here's a categorical rule of thumb: everytime you have composition, you should look for a category."
2023-02-27 23:15:14 +0100NiceBird(~NiceBird@185.133.111.196)
2023-02-27 23:20:08 +0100 <monochrom> Good advice. :)
2023-02-27 23:31:50 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-02-27 23:35:13 +0100Nolrai(~Nolrai@c-73-240-99-98.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2023-02-27 23:36:51 +0100npmania(~Thunderbi@45.8.223.239)
2023-02-27 23:37:08 +0100 <ghostbuster> would implementing something like AES in haskell be easier or harder than in C/C++ (or impossible?)
2023-02-27 23:37:39 +0100 <mauke> depends on which properties you want it to have
2023-02-27 23:37:52 +0100 <shapr> https://github.com/vincenthz/hs-cipher-aes/blob/master/Crypto/Cipher/AES.hs ?
2023-02-27 23:38:03 +0100 <geekosaur> possible but you have lots of gotchas because you don't have as much control over the execution, so side channel attacks might be easier
2023-02-27 23:38:09 +0100 <mauke> correctness and memory safety, probably easier in haskell
2023-02-27 23:38:19 +0100 <mauke> running in constant time, probably harder
2023-02-27 23:38:33 +0100 <ghostbuster> interesting
2023-02-27 23:38:43 +0100 <shapr> https://hackage.haskell.org/packages/search?terms=aes
2023-02-27 23:40:31 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-02-27 23:41:12 +0100NiceBird(~NiceBird@185.133.111.196) (Quit: Leaving)
2023-02-27 23:41:39 +0100npmania(~Thunderbi@45.8.223.239) (Client Quit)
2023-02-27 23:45:40 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-02-27 23:46:00 +0100son0p(~ff@181.136.122.143)