IRCBrowse

2022/10/21

2022-10-21 00:00:12 +0200EvanR(~EvanR@user/evanr)
2022-10-21 00:04:59 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-21 00:05:45 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-21 00:08:39 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds)
2022-10-21 00:09:20 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-10-21 00:09:29 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-10-21 00:12:02 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 00:12:02 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2022-10-21 00:12:26 +0200yvan-sraka(~yvan-srak@2a01cb0802a4b900c2769ca0f3b46125.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2022-10-21 00:12:37 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-10-21 00:16:49 +0200zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi)
2022-10-21 00:18:46 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:b8a3:a4ce:6b2a:34af) (Ping timeout: 255 seconds)
2022-10-21 00:21:28 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 255 seconds)
2022-10-21 00:25:01 +0200king_gs1(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-21 00:25:02 +0200king_gs(~Thunderbi@187.201.131.180) (Read error: Connection reset by peer)
2022-10-21 00:25:02 +0200king_gs1king_gs
2022-10-21 00:25:15 +0200Tuplanolla(~Tuplanoll@91-159-69-245.elisa-laajakaista.fi) (Quit: Leaving.)
2022-10-21 00:31:49 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Ping timeout: 255 seconds)
2022-10-21 00:31:52 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 260 seconds)
2022-10-21 00:43:43 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2022-10-21 00:46:18 +0200axeman(~quassel@2a02:8109:a380:78:22d6:a885:1244:9fc9)
2022-10-21 00:56:22 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130)
2022-10-21 00:57:26 +0200codaraxis___(~codaraxis@user/codaraxis)
2022-10-21 01:01:19 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 272 seconds)
2022-10-21 01:05:42 +0200rekahsoft(~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-156.dsl.bell.ca)
2022-10-21 01:05:43 +0200rekahsoft(~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-156.dsl.bell.ca) (Read error: Connection reset by peer)
2022-10-21 01:16:28 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 258 seconds)
2022-10-21 01:23:02 +0200detuneattune(~detuneatt@user/detuneattune)
2022-10-21 01:24:51 +0200beteigeuze(~Thunderbi@89.187.168.35)
2022-10-21 01:25:16 +0200danza(~francesco@151.43.69.239) (Ping timeout: 252 seconds)
2022-10-21 01:26:29 +0200rekahsoft(~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-156.dsl.bell.ca)
2022-10-21 01:28:05 +0200beteigeuze1(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-21 01:29:10 +0200xff0x(~xff0x@2405:6580:b080:900:e42c:dea5:20dc:c5aa) (Ping timeout: 272 seconds)
2022-10-21 01:29:18 +0200beteigeuze(~Thunderbi@89.187.168.35) (Ping timeout: 252 seconds)
2022-10-21 01:29:18 +0200beteigeuze1beteigeuze
2022-10-21 01:29:58 +0200nate1(~nate@98.45.169.16)
2022-10-21 01:30:26 +0200mvk(~mvk@2607:fea8:5ce3:8500::a80f) (Ping timeout: 272 seconds)
2022-10-21 01:34:52 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-10-21 01:35:26 +0200HackingSpring(~haru@201-27-75-20.dsl.telesp.net.br) (Remote host closed the connection)
2022-10-21 01:37:57 +0200mestre(~mestre@191.177.185.178) (Quit: Lost terminal)
2022-10-21 01:38:05 +0200danza(~francesco@ge-19-126-18.service.infuturo.it)
2022-10-21 01:38:07 +0200Topsi(~Topsi@dyndsl-095-033-094-034.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-10-21 01:38:45 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 01:45:59 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad)
2022-10-21 01:47:33 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-10-21 01:49:09 +0200ec(~ec@gateway/tor-sasl/ec)
2022-10-21 01:50:43 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Ping timeout: 272 seconds)
2022-10-21 01:51:34 +0200xff0x(~xff0x@2405:6580:b080:900:e42c:dea5:20dc:c5aa)
2022-10-21 01:53:58 +0200axeman(~quassel@2a02:8109:a380:78:22d6:a885:1244:9fc9) (Ping timeout: 246 seconds)
2022-10-21 02:03:08 +0200Athas(athas@2a01:7c8:aaac:1cf:d087:7abc:7f63:ba68) (Quit: ZNC 1.8.2 - https://znc.in)
2022-10-21 02:03:17 +0200Athas(athas@sigkill.dk)
2022-10-21 02:05:42 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-21 02:05:42 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-21 02:05:42 +0200wroathe(~wroathe@user/wroathe)
2022-10-21 02:07:30 +0200gurkenglas(~gurkengla@84.138.199.46)
2022-10-21 02:08:07 +0200thegeekinside(~thegeekin@189.180.97.156) (Ping timeout: 260 seconds)
2022-10-21 02:08:13 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 258 seconds)
2022-10-21 02:11:20 +0200HackingSpring(~haru@201-27-75-20.dsl.telesp.net.br)
2022-10-21 02:16:02 +0200vglfr(~vglfr@145.224.100.100) (Ping timeout: 272 seconds)
2022-10-21 02:19:12 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-21 02:20:38 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 252 seconds)
2022-10-21 02:26:14 +0200gurkenglas(~gurkengla@84.138.199.46) (Ping timeout: 258 seconds)
2022-10-21 02:36:00 +0200freeside(~mengwong@115.66.48.84)
2022-10-21 02:54:19 +0200causal(~user@50.35.83.177)
2022-10-21 02:57:18 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 252 seconds)
2022-10-21 02:59:14 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-21 03:08:12 +0200king_gs(~Thunderbi@187.201.131.180) (Read error: Connection reset by peer)
2022-10-21 03:08:23 +0200king_gs1(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-21 03:09:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2022-10-21 03:10:21 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-10-21 03:10:41 +0200king_gs1king_gs
2022-10-21 03:11:18 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-10-21 03:14:19 +0200xff0x(~xff0x@2405:6580:b080:900:e42c:dea5:20dc:c5aa) (Ping timeout: 272 seconds)
2022-10-21 03:15:12 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2022-10-21 03:16:28 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-10-21 03:17:34 +0200grymzuVladTheImpeller
2022-10-21 03:30:41 +0200freeside(~mengwong@115.66.48.84) (*.net *.split)
2022-10-21 03:30:41 +0200danza(~francesco@ge-19-126-18.service.infuturo.it) (*.net *.split)
2022-10-21 03:30:42 +0200detuneattune(~detuneatt@user/detuneattune) (*.net *.split)
2022-10-21 03:30:42 +0200zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (*.net *.split)
2022-10-21 03:30:42 +0200ft(~ft@p3e9bc845.dip0.t-ipconnect.de) (*.net *.split)
2022-10-21 03:30:42 +0200Ristovsk-(~Ristovski@hellomouse/perf/ristovski) (*.net *.split)
2022-10-21 03:30:42 +0200ksu(~ksu@user/prtr) (*.net *.split)
2022-10-21 03:30:56 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:29f0:9e45:9641:f84)
2022-10-21 03:31:05 +0200[Ristovski](~Ristovski@hellomouse/perf/ristovski)
2022-10-21 03:31:06 +0200danza(~francesco@ge-19-126-18.service.infuturo.it)
2022-10-21 03:31:18 +0200detuneattune(~detuneatt@user/detuneattune)
2022-10-21 03:32:57 +0200ksu(~ksu@user/prtr)
2022-10-21 03:33:27 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-21 03:33:27 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-21 03:33:27 +0200wroathe(~wroathe@user/wroathe)
2022-10-21 03:35:52 +0200ft(~ft@p200300cf3f1ff40011146ed23837b600.dip0.t-ipconnect.de)
2022-10-21 03:35:55 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-21 03:40:05 +0200 <HackingSpring> What's the philosophy that comes into play for the GHC wiki? I was building it (GHC) locally and I use the masochistic option of a mac m1 and nix w/ home-manager. I've found a couple of hiccups when finding libraries such as ncurses. Would it be ok to add a section mentioning my fix into the ghc wiki?
2022-10-21 03:41:27 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-21 03:44:45 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-21 03:51:46 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:989e:e378:903e:38da) (Quit: caryhartline)
2022-10-21 03:54:18 +0200Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 255 seconds)
2022-10-21 03:57:17 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-10-21 03:58:22 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-10-21 04:00:19 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 04:01:49 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-10-21 04:01:50 +0200birdgoose(~birdgoose@222-153-24-178-adsl.sparkbb.co.nz) (Ping timeout: 252 seconds)
2022-10-21 04:03:15 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds)
2022-10-21 04:04:41 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad)
2022-10-21 04:07:07 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2022-10-21 04:10:28 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-21 04:10:28 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-21 04:10:28 +0200wroathe(~wroathe@user/wroathe)
2022-10-21 04:10:29 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-10-21 04:16:00 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 04:16:25 +0200td_(~td@83.135.9.19) (Ping timeout: 246 seconds)
2022-10-21 04:17:05 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection)
2022-10-21 04:17:23 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 04:18:23 +0200td_(~td@83.135.9.6)
2022-10-21 04:19:21 +0200nate1(~nate@98.45.169.16)
2022-10-21 04:21:45 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 04:24:43 +0200frost91(~frost@user/frost)
2022-10-21 04:28:05 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-10-21 04:28:05 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-10-21 04:28:07 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-21 04:29:05 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-10-21 04:35:37 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-10-21 04:43:37 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-21 04:45:48 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-10-21 04:47:19 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-10-21 04:48:01 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 04:48:36 +0200birdgoose(~birdgoose@222-153-24-178-adsl.sparkbb.co.nz)
2022-10-21 04:52:14 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 04:55:36 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 04:57:29 +0200mvk(~mvk@2607:fea8:5ce3:8500::a80f)
2022-10-21 04:57:53 +0200frost91(~frost@user/frost) (Quit: Ping timeout (120 seconds))
2022-10-21 04:58:25 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-10-21 05:00:01 +0200haasn(~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2022-10-21 05:01:23 +0200haasn(~nand@haasn.dev)
2022-10-21 05:02:37 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 246 seconds)
2022-10-21 05:11:40 +0200birdgoose(~birdgoose@222-153-24-178-adsl.sparkbb.co.nz) (Quit: Konversation terminated!)
2022-10-21 05:14:03 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 05:15:13 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 05:17:48 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-10-21 05:18:35 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 05:18:43 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds)
2022-10-21 05:22:42 +0200danza(~francesco@ge-19-126-18.service.infuturo.it) (Read error: Connection reset by peer)
2022-10-21 05:26:27 +0200nate1(~nate@98.45.169.16)
2022-10-21 05:28:12 +0200rekahsoft(~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-156.dsl.bell.ca) (Ping timeout: 260 seconds)
2022-10-21 05:32:06 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 05:32:23 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Ping timeout: 272 seconds)
2022-10-21 05:34:14 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-10-21 05:36:10 +0200nate1(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-21 05:36:40 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 05:38:27 +0200danza(~francesco@fi-19-206-109.service.infuturo.it)
2022-10-21 05:40:34 +0200vglfr(~vglfr@145.224.100.190)
2022-10-21 05:45:29 +0200vglfr(~vglfr@145.224.100.190) (Remote host closed the connection)
2022-10-21 05:46:13 +0200vglfr(~vglfr@145.224.100.190)
2022-10-21 05:48:21 +0200thegeekinside(~thegeekin@189.180.97.156)
2022-10-21 05:49:56 +0200vglfr(~vglfr@145.224.100.190) (Remote host closed the connection)
2022-10-21 05:50:43 +0200vglfr(~vglfr@145.224.100.190)
2022-10-21 05:58:27 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-21 05:58:27 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-21 05:58:27 +0200wroathe(~wroathe@user/wroathe)
2022-10-21 06:00:26 +0200vglfr(~vglfr@145.224.100.190) (Remote host closed the connection)
2022-10-21 06:00:57 +0200vglfr(~vglfr@145.224.100.190)
2022-10-21 06:01:11 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2022-10-21 06:01:59 +0200vglfr(~vglfr@145.224.100.190) (Remote host closed the connection)
2022-10-21 06:03:47 +0200cawfee(~root@2406:3003:2077:2758::babe) (Ping timeout: 248 seconds)
2022-10-21 06:05:55 +0200kronicmage(user73954@neotame.csclub.uwaterloo.ca) (Ping timeout: 248 seconds)
2022-10-21 06:06:06 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-10-21 06:06:48 +0200kronicmage(user1639@neotame.csclub.uwaterloo.ca)
2022-10-21 06:07:17 +0200HackingSpring(~haru@201-27-75-20.dsl.telesp.net.br) (Ping timeout: 260 seconds)
2022-10-21 06:07:24 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
2022-10-21 06:10:25 +0200cawfee(~root@2406:3003:2077:2758::babe)
2022-10-21 06:20:46 +0200lbseale(~quassel@user/ep1ctetus) (Remote host closed the connection)
2022-10-21 06:20:50 +0200mbuf(~Shakthi@49.204.137.143)
2022-10-21 06:22:02 +0200lbseale(~quassel@user/ep1ctetus)
2022-10-21 06:33:32 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-10-21 06:33:44 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 06:35:04 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 06:36:36 +0200nate1(~nate@98.45.169.16)
2022-10-21 06:43:13 +0200milia(~milia@user/milia)
2022-10-21 06:43:19 +0200nate1(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-21 06:44:27 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-10-21 06:50:08 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer)
2022-10-21 06:50:09 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-10-21 06:50:42 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2022-10-21 06:54:14 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2022-10-21 06:54:44 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-10-21 06:57:49 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection)
2022-10-21 06:58:06 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 06:58:33 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57)
2022-10-21 07:02:26 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 07:03:48 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds)
2022-10-21 07:04:19 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-10-21 07:05:29 +0200mvk(~mvk@2607:fea8:5ce3:8500::a80f) (Ping timeout: 272 seconds)
2022-10-21 07:06:17 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-10-21 07:07:44 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 07:09:18 +0200dsrt^(~dsrt@c-76-17-6-165.hsd1.ga.comcast.net)
2022-10-21 07:10:19 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-10-21 07:11:49 +0200ec(~ec@gateway/tor-sasl/ec)
2022-10-21 07:19:18 +0200VladTheImpellergrymzu
2022-10-21 07:25:16 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1)
2022-10-21 07:27:54 +0200raym(~aritra@user/raym) (Ping timeout: 252 seconds)
2022-10-21 07:28:59 +0200raym(~aritra@user/raym)
2022-10-21 07:32:08 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2022-10-21 07:39:34 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-21 07:39:52 +0200razetime(~quassel@43.254.111.18)
2022-10-21 07:40:35 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-21 07:52:49 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2022-10-21 07:54:59 +0200tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Quit: Leaving)
2022-10-21 07:57:03 +0200michalz(~michalz@185.246.207.205)
2022-10-21 07:58:20 +0200king_gs(~Thunderbi@187.201.131.180) (Read error: Connection reset by peer)
2022-10-21 07:59:22 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-21 08:01:36 +0200tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-10-21 08:06:32 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-21 08:06:37 +0200yuzhao(~yuzhao@36.112.45.77)
2022-10-21 08:11:15 +0200yuzhao(~yuzhao@36.112.45.77) (Ping timeout: 255 seconds)
2022-10-21 08:16:13 +0200raym(~aritra@user/raym) (Ping timeout: 255 seconds)
2022-10-21 08:17:50 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection)
2022-10-21 08:18:08 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 08:19:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-21 08:21:48 +0200raym(~aritra@user/raym)
2022-10-21 08:23:22 +0200darxun(sid504814@id-504814.tinside.irccloud.com) ()
2022-10-21 08:27:16 +0200frost53(~frost@user/frost)
2022-10-21 08:28:11 +0200mncheck(~mncheck@193.224.205.254)
2022-10-21 08:30:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-21 08:31:29 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-10-21 08:33:49 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Quit: king_gs)
2022-10-21 08:34:02 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-21 08:42:44 +0200acidjnk_new(~acidjnk@p200300d6e7137a985cc769c881031731.dip0.t-ipconnect.de)
2022-10-21 08:47:48 +0200codaraxis__(~codaraxis@user/codaraxis)
2022-10-21 08:51:30 +0200codaraxis___(~codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2022-10-21 08:51:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-21 08:53:32 +0200milia(~milia@user/milia) (Ping timeout: 260 seconds)
2022-10-21 08:53:32 +0200king_gs(~Thunderbi@187.201.131.180) (Read error: Connection reset by peer)
2022-10-21 08:54:06 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-21 08:56:18 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-21 08:59:42 +0200ft(~ft@p200300cf3f1ff40011146ed23837b600.dip0.t-ipconnect.de) (Quit: leaving)
2022-10-21 08:59:43 +0200razetime(~quassel@43.254.111.18) (Remote host closed the connection)
2022-10-21 08:59:50 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:2ca4:6437:ce52:4a2b)
2022-10-21 09:01:07 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 09:01:42 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection)
2022-10-21 09:02:00 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 09:03:32 +0200yuzhao(~yuzhao@36.112.45.77)
2022-10-21 09:05:50 +0200neightchan(~nate@98.45.169.16)
2022-10-21 09:06:26 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 09:07:04 +0200natechan(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-10-21 09:07:39 +0200cfricke(~cfricke@user/cfricke)
2022-10-21 09:07:50 +0200gmg(~user@user/gehmehgeh)
2022-10-21 09:08:33 +0200kenran(~user@user/kenran)
2022-10-21 09:10:11 +0200yvan-sraka(~yvan-srak@163.172.69.160)
2022-10-21 09:13:56 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 260 seconds)
2022-10-21 09:14:44 +0200yvan-sraka(~yvan-srak@163.172.69.160) (Remote host closed the connection)
2022-10-21 09:15:03 +0200yvan-sraka(~yvan-srak@163.172.69.160)
2022-10-21 09:17:39 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de)
2022-10-21 09:19:12 +0200raym(~aritra@user/raym) (Ping timeout: 260 seconds)
2022-10-21 09:19:37 +0200yvan-sraka(~yvan-srak@163.172.69.160) (Remote host closed the connection)
2022-10-21 09:19:50 +0200raym(~aritra@user/raym)
2022-10-21 09:25:36 +0200danza(~francesco@fi-19-206-109.service.infuturo.it) (Ping timeout: 252 seconds)
2022-10-21 09:26:59 +0200tomboy64(~tomboy64@user/tomboy64)
2022-10-21 09:32:37 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 09:34:05 +0200yuzhao_(~yuzhao@36.112.45.77)
2022-10-21 09:36:42 +0200yuzhao(~yuzhao@36.112.45.77) (Ping timeout: 260 seconds)
2022-10-21 09:36:55 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 09:37:18 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-10-21 09:39:04 +0200danza(~francesco@rm-19-6-117.service.infuturo.it)
2022-10-21 09:48:56 +0200ubert(~Thunderbi@77.119.160.6.wireless.dyn.drei.com)
2022-10-21 09:51:01 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 09:53:23 +0200odnes(~odnes@5-203-189-165.pat.nym.cosmote.net)
2022-10-21 09:53:46 +0200odnes(~odnes@5-203-189-165.pat.nym.cosmote.net) (Remote host closed the connection)
2022-10-21 09:55:31 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 09:57:23 +0200shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-10-21 09:58:53 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-10-21 10:02:10 +0200nate1(~nate@98.45.169.16)
2022-10-21 10:02:56 +0200Kaiepi(~Kaiepi@108.175.84.104)
2022-10-21 10:04:52 +0200freeside(~mengwong@122.11.214.86)
2022-10-21 10:05:45 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-10-21 10:05:58 +0200fserucas(~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7)
2022-10-21 10:07:02 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-10-21 10:09:37 +0200mmhat(~mmh@p200300f1c7337744ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-21 10:11:57 +0200 <chreekat> HackingSpring: At the very least, you could add a new page and link to it from the "Contributed documentation" page on https://gitlab.haskell.org/ghc/ghc/-/wikis/building
2022-10-21 10:12:08 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de) (Remote host closed the connection)
2022-10-21 10:12:14 +0200 <chreekat> Or work it in to somewhere higher up if you have the inclination
2022-10-21 10:12:52 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-10-21 10:16:45 +0200yuzhao_(~yuzhao@36.112.45.77) (Ping timeout: 272 seconds)
2022-10-21 10:16:52 +0200yuzhao(~yuzhao@36.112.45.77)
2022-10-21 10:18:44 +0200MajorBiscuit(~MajorBisc@145.94.167.250)
2022-10-21 10:21:00 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Remote host closed the connection)
2022-10-21 10:22:04 +0200chele(~chele@user/chele)
2022-10-21 10:23:57 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-10-21 10:23:59 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 10:26:59 +0200sameer(~sameer@2409:4070:219d:3605::3d6:50ad)
2022-10-21 10:27:05 +0200 <sameer> Test
2022-10-21 10:31:58 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-10-21 10:33:00 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-10-21 10:34:04 +0200yuzhao_(~yuzhao@36.112.45.77)
2022-10-21 10:36:51 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2) (Ping timeout: 248 seconds)
2022-10-21 10:36:53 +0200ec(~ec@gateway/tor-sasl/ec)
2022-10-21 10:37:00 +0200yuzhao(~yuzhao@36.112.45.77) (Ping timeout: 272 seconds)
2022-10-21 10:37:14 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2)
2022-10-21 10:37:55 +0200immae(~immae@2a01:4f8:141:53e7::) (Ping timeout: 248 seconds)
2022-10-21 10:38:55 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 10:39:41 +0200immae(~immae@2a01:4f8:141:53e7::)
2022-10-21 10:43:13 +0200siraben(~siraben@user/siraben) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:13 +0200ormaaj(~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:13 +0200RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:13 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:13 +0200psydroid(~psydroid@user/psydroid) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:13 +0200mekeor[m](~mekeormat@2001:470:69fc:105::17e4) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:13 +0200peddie(~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:13 +0200famubu[m](~famubumat@2001:470:69fc:105::1081) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200sm(~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200aviladev[m](~aviladevm@2001:470:69fc:105::1:cbc7) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200fr33domlover[m](~fr33domlo@2001:470:69fc:105::1:3bb6) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200Tisoxin(~ikosit@user/ikosit) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200jinsun_(~jinsun@user/jinsun) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:14 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:15 +0200jmcantrell(~jmcantrel@user/jmcantrell) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:15 +0200loosh[m](~looshchat@2001:470:69fc:105::2:5ddd) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:15 +0200unclechu(~unclechu@2001:470:69fc:105::354) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:15 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:15 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:15 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:16 +0200geekosaur[m](~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:16 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:16 +0200cp1313[m](~cp1313mat@2001:470:69fc:105::2:9293) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:16 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:16 +0200Deide(~deide@user/deide) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:17 +0200oak-(~oakuniver@2001:470:69fc:105::fcd) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:17 +0200foghorn(~foghorn@user/foghorn) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:17 +0200chreekat(~chreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:18 +0200RowanG[m](~rowang077@2001:470:69fc:105::1:ca9f) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:18 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:18 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200xgpt[m](~xgptmatri@2001:470:69fc:105::2:619a) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200lawt(~lawtonmat@2001:470:69fc:105::2:97b8) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200olivermead[m](~olivermea@2001:470:69fc:105::2:4289) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200SridharRatnakuma(~sridmatri@2001:470:69fc:105::1c2) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200Artem[m](~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:19 +0200aaronv(~aaronv@user/aaronv) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:21 +0200zfnmxt(~zfnmxt@2001:470:69fc:105::2b32) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:21 +0200july541[m](~july541ma@2001:470:69fc:105::1:e416) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:21 +0200kiri1606[m](~kiri1606m@2001:470:69fc:105::2:8ec9) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:22 +0200sibnull[m](~sibnullma@2001:470:69fc:105::1:1291) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:22 +0200bb010g(~bb010g@2001:470:69fc:105::9a5) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:22 +0200silky[m](~noonvande@2001:470:69fc:105::2:943c) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:23 +0200aidy(~aidy@2001:470:69fc:105::c7b4) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:23 +0200jbggs[m](~jbggsmatr@2001:470:69fc:105::2:995f) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:24 +0200M3g-mentok[m](~M3g-mento@2001:470:69fc:105::2:9a49) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:24 +0200disco-dave[m](~disco-dav@2001:470:69fc:105::2:1892) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:24 +0200ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:24 +0200mimi1vx[m](~osukupmat@2001:470:69fc:105::2:418d) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:24 +0200jz99[m](~jz99matri@2001:470:69fc:105::1:d5f1) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:24 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:24 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:25 +0200schuelermine[m](~schuelerm@user/schuelermine) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:25 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:27 +0200akegalj(~akegalj@93-138-149-192.adsl.net.t-com.hr)
2022-10-21 10:43:28 +0200baaash[m](~baaashmat@2001:470:69fc:105::2:1e90) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200VanceIsM7[m](~vanceism7@2001:470:69fc:105::3ad) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200mesaoptimizer2(~mesaoptim@user/PapuaHardyNet) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200nicmollel[m](~nicmollel@2001:470:69fc:105::1:feeb) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200drsooch[m](~drsoochma@2001:470:69fc:105::1:c8a1) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200Neosake[m](~neosakema@2001:470:69fc:105::2:989e) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200polykernel[m](~polykerne@user/polykernel) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:31 +0200weeezes[m](~weeezesma@2001:470:69fc:105::1:da65) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200BB[m](~cashmagem@2001:470:69fc:105::f6dc) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200sektor[m](~sektor@2001:470:69fc:105::2:3f60) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200cafkafk[m](~cafkafkma@2001:470:69fc:105::1:cea8) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200expipiplus1(~expipiplu@2001:470:69fc:105::d713) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200CeNiEi[m](~cenieimat@2001:470:69fc:105::1:894c) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200rockymarine[m](~rockymari@2001:470:69fc:105::2:9a0c) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:32 +0200JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:34 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:34 +0200kadoban(~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:34 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9) (Quit: Bridge terminating on SIGTERM)
2022-10-21 10:43:48 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-10-21 10:44:37 +0200thegeekinside(~thegeekin@189.180.97.156) (Ping timeout: 272 seconds)
2022-10-21 10:45:21 +0200kuribas(~user@ptr-17d51epevt167943u7m.18120a2.ip6.access.telenet.be)
2022-10-21 10:46:45 +0200ncf(~n@monade.li) (Quit: Fairfarren.)
2022-10-21 10:47:26 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2022-10-21 10:47:47 +0200sameer(~sameer@2409:4070:219d:3605::3d6:50ad) (Ping timeout: 272 seconds)
2022-10-21 10:48:00 +0200sameer(~sameer@2409:4070:219d:3605::3d6:50ad)
2022-10-21 10:48:34 +0200ncf(~n@monade.li)
2022-10-21 10:51:55 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 10:53:20 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-10-21 11:03:37 +0200yuzhao_(~yuzhao@36.112.45.77) (Ping timeout: 260 seconds)
2022-10-21 11:04:37 +0200peddie(~peddie@2001:470:69fc:105::25d)
2022-10-21 11:04:37 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2022-10-21 11:04:37 +0200famubu[m](~famubumat@2001:470:69fc:105::1081)
2022-10-21 11:04:38 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2022-10-21 11:04:38 +0200sm(~sm@plaintextaccounting/sm)
2022-10-21 11:04:38 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2022-10-21 11:04:38 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018)
2022-10-21 11:04:38 +0200SridharRatnakuma(~sridmatri@2001:470:69fc:105::1c2)
2022-10-21 11:04:38 +0200siraben(~siraben@user/siraben)
2022-10-21 11:04:38 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2022-10-21 11:04:38 +0200july541[m](~july541ma@2001:470:69fc:105::1:e416)
2022-10-21 11:04:38 +0200chreekat(~chreekat@2001:470:69fc:105::16b5)
2022-10-21 11:04:38 +0200expipiplus1(~expipiplu@2001:470:69fc:105::d713)
2022-10-21 11:04:38 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2022-10-21 11:04:38 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2022-10-21 11:04:39 +0200oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-10-21 11:04:39 +0200jmcantrell(~jmcantrel@user/jmcantrell)
2022-10-21 11:04:39 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2022-10-21 11:04:39 +0200jinsun_(~jinsun@user/jinsun)
2022-10-21 11:04:39 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660)
2022-10-21 11:04:39 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9)
2022-10-21 11:04:39 +0200ormaaj(~ormaaj@user/ormaaj)
2022-10-21 11:04:39 +0200kadoban(~kadoban@user/kadoban)
2022-10-21 11:04:39 +0200cp1313[m](~cp1313mat@2001:470:69fc:105::2:9293)
2022-10-21 11:04:39 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2022-10-21 11:04:39 +0200BB[m](~cashmagem@2001:470:69fc:105::f6dc)
2022-10-21 11:04:39 +0200RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57)
2022-10-21 11:04:39 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729)
2022-10-21 11:04:39 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2022-10-21 11:04:39 +0200nicmollel[m](~nicmollel@2001:470:69fc:105::1:feeb)
2022-10-21 11:04:40 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f)
2022-10-21 11:04:40 +0200RowanG[m](~rowang077@2001:470:69fc:105::1:ca9f)
2022-10-21 11:04:40 +0200lawt(~lawtonmat@2001:470:69fc:105::2:97b8)
2022-10-21 11:04:40 +0200drsooch[m](~drsoochma@2001:470:69fc:105::1:c8a1)
2022-10-21 11:04:40 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0)
2022-10-21 11:04:40 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2022-10-21 11:04:40 +0200olivermead[m](~olivermea@2001:470:69fc:105::2:4289)
2022-10-21 11:04:41 +0200loosh[m](~looshchat@2001:470:69fc:105::2:5ddd)
2022-10-21 11:04:41 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2022-10-21 11:04:41 +0200Tisoxin(~ikosit@user/ikosit)
2022-10-21 11:04:41 +0200ozkutuk[m](~ozkutuk@2001:470:69fc:105::2:9af8)
2022-10-21 11:04:41 +0200Artem[m](~artemtype@2001:470:69fc:105::75b)
2022-10-21 11:04:41 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2022-10-21 11:04:41 +0200baaash[m](~baaashmat@2001:470:69fc:105::2:1e90)
2022-10-21 11:04:41 +0200foghorn(~foghorn@user/foghorn)
2022-10-21 11:04:41 +0200sektor[m](~sektor@2001:470:69fc:105::2:3f60)
2022-10-21 11:04:41 +0200mekeor[m](~mekeormat@2001:470:69fc:105::17e4)
2022-10-21 11:04:41 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2022-10-21 11:04:41 +0200jz99[m](~jz99matri@2001:470:69fc:105::1:d5f1)
2022-10-21 11:04:41 +0200geekosaur[m](~geekosaur@xmonad/geekosaur)
2022-10-21 11:04:41 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2022-10-21 11:04:41 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df)
2022-10-21 11:04:44 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0)
2022-10-21 11:04:44 +0200aviladev[m](~aviladevm@2001:470:69fc:105::1:cbc7)
2022-10-21 11:04:44 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2022-10-21 11:04:44 +0200Deide(~deide@user/deide)
2022-10-21 11:04:44 +0200fr33domlover[m](~fr33domlo@2001:470:69fc:105::1:3bb6)
2022-10-21 11:04:45 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c)
2022-10-21 11:04:45 +0200aaronv(~aaronv@user/aaronv)
2022-10-21 11:04:45 +0200VanceIsM7[m](~vanceism7@2001:470:69fc:105::3ad)
2022-10-21 11:04:45 +0200psydroid(~psydroid@user/psydroid)
2022-10-21 11:04:45 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417)
2022-10-21 11:04:45 +0200schuelermine[m](~schuelerm@user/schuelermine)
2022-10-21 11:04:45 +0200mesaoptimizer2(~mesaoptim@user/PapuaHardyNet)
2022-10-21 11:04:45 +0200polykernel[m](~polykerne@user/polykernel)
2022-10-21 11:04:50 +0200sibnull[m](~sibnullma@2001:470:69fc:105::1:1291)
2022-10-21 11:04:51 +0200silky[m](~noonvande@2001:470:69fc:105::2:943c)
2022-10-21 11:04:52 +0200bb010g(~bb010g@2001:470:69fc:105::9a5)
2022-10-21 11:04:54 +0200M3g-mentok[m](~M3g-mento@2001:470:69fc:105::2:9a49)
2022-10-21 11:04:54 +0200CeNiEi[m](~cenieimat@2001:470:69fc:105::1:894c)
2022-10-21 11:04:54 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4)
2022-10-21 11:04:54 +0200jbggs[m](~jbggsmatr@2001:470:69fc:105::2:995f)
2022-10-21 11:04:54 +0200mimi1vx[m](~osukupmat@2001:470:69fc:105::2:418d)
2022-10-21 11:04:54 +0200disco-dave[m](~disco-dav@2001:470:69fc:105::2:1892)
2022-10-21 11:04:54 +0200rockymarine[m](~rockymari@2001:470:69fc:105::2:9a0c)
2022-10-21 11:04:55 +0200Neosake[m](~neosakema@2001:470:69fc:105::2:989e)
2022-10-21 11:04:56 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b)
2022-10-21 11:04:57 +0200weeezes[m](~weeezesma@2001:470:69fc:105::1:da65)
2022-10-21 11:05:13 +0200kiri1606[m](~kiri1606m@2001:470:69fc:105::2:8ec9)
2022-10-21 11:05:16 +0200aidy(~aidy@2001:470:69fc:105::c7b4)
2022-10-21 11:05:28 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f)
2022-10-21 11:05:29 +0200cafkafk[m](~cafkafkma@2001:470:69fc:105::1:cea8)
2022-10-21 11:05:50 +0200JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544)
2022-10-21 11:10:03 +0200cheater(~Username@user/cheater) (Quit: (BitchX) Pretzel Boy uses BitchX. Shouldn't you?)
2022-10-21 11:10:07 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds)
2022-10-21 11:10:56 +0200cheater(~Username@user/cheater)
2022-10-21 11:14:51 +0200ubert1(~Thunderbi@91.141.62.162.wireless.dyn.drei.com)
2022-10-21 11:15:01 +0200ubert(~Thunderbi@77.119.160.6.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2022-10-21 11:15:01 +0200ubert1ubert
2022-10-21 11:17:59 +0200yuzhao(~yuzhao@36.112.45.77)
2022-10-21 11:19:00 +0200birdgoose(~birdgoose@2406:e003:1d87:6601:c99:989:b851:8fee)
2022-10-21 11:19:11 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-10-21 11:20:02 +0200acidjnk_new3(~acidjnk@p200300d6e7137a9860b69979c21fcafd.dip0.t-ipconnect.de)
2022-10-21 11:20:37 +0200acidjnk_new(~acidjnk@p200300d6e7137a985cc769c881031731.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-21 11:20:40 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-10-21 11:21:30 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad)
2022-10-21 11:25:24 +0200freeside(~mengwong@122.11.214.86) (Read error: Connection reset by peer)
2022-10-21 11:25:31 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-21 11:26:07 +0200coot(~coot@213.134.171.3)
2022-10-21 11:26:20 +0200coot(~coot@213.134.171.3) (Remote host closed the connection)
2022-10-21 11:26:24 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Ping timeout: 272 seconds)
2022-10-21 11:26:31 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-21 11:26:55 +0200raym(~aritra@user/raym) (Ping timeout: 246 seconds)
2022-10-21 11:28:27 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-10-21 11:30:48 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130)
2022-10-21 11:31:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-21 11:32:59 +0200raym(~aritra@user/raym)
2022-10-21 11:33:01 +0200beteigeuze(~Thunderbi@89.187.168.55)
2022-10-21 11:35:25 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 11:36:22 +0200yuzhao(~yuzhao@36.112.45.77) (Ping timeout: 246 seconds)
2022-10-21 11:39:53 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 11:48:00 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-10-21 11:52:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-21 11:53:34 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-21 11:55:00 +0200phma(phma@2001:5b0:215a:d2a8:983b:e9da:c4b4:2a59) (Read error: Connection reset by peer)
2022-10-21 11:55:22 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-10-21 11:55:56 +0200phma(phma@2001:5b0:212a:e668:f30a:746e:74c7:3e73)
2022-10-21 11:57:52 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-21 12:05:15 +0200codaraxis___(~codaraxis@user/codaraxis)
2022-10-21 12:07:31 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds)
2022-10-21 12:09:29 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 272 seconds)
2022-10-21 12:10:26 +0200 <apache2> is Shae lurking around here?
2022-10-21 12:10:29 +0200zfnmxt(~zfnmxt@2001:470:69fc:105::2b32)
2022-10-21 12:10:29 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039)
2022-10-21 12:10:42 +0200xgpt[m](~xgptmatri@2001:470:69fc:105::2:619a)
2022-10-21 12:11:57 +0200 <merijn> not atm afaict
2022-10-21 12:12:52 +0200chronon(~chronon@user/chronon) (Remote host closed the connection)
2022-10-21 12:14:16 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-10-21 12:15:19 +0200phma(phma@2001:5b0:212a:e668:f30a:746e:74c7:3e73) (Read error: Connection reset by peer)
2022-10-21 12:16:13 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-21 12:17:54 +0200zer0bitz_(~zer0bitz@2001:2003:f748:2000:1890:68c4:7687:9ac8)
2022-10-21 12:19:16 +0200__monty__(~toonn@user/toonn)
2022-10-21 12:19:24 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:29f0:9e45:9641:f84) (Ping timeout: 252 seconds)
2022-10-21 12:19:36 +0200birdgoose(~birdgoose@2406:e003:1d87:6601:c99:989:b851:8fee) (Ping timeout: 272 seconds)
2022-10-21 12:19:45 +0200phma(~phma@host-67-44-208-165.hnremote.net)
2022-10-21 12:24:27 +0200acidjnk_new3(~acidjnk@p200300d6e7137a9860b69979c21fcafd.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-10-21 12:24:32 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 12:24:50 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-21 12:24:50 +0200acidjnk_new3(~acidjnk@p200300d6e7137a9860b69979c21fcafd.dip0.t-ipconnect.de)
2022-10-21 12:36:43 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-21 12:43:03 +0200akegalj(~akegalj@93-138-149-192.adsl.net.t-com.hr) (Remote host closed the connection)
2022-10-21 12:44:05 +0200darkstardevx(~darkstard@50.126.124.156) (Remote host closed the connection)
2022-10-21 12:46:10 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-10-21 12:46:21 +0200darkstardevx(~darkstard@50.126.124.156)
2022-10-21 12:50:23 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-21 12:51:52 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-21 12:52:11 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-21 12:52:54 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-21 12:57:48 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 13:01:27 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-21 13:02:09 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 13:02:33 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 13:03:19 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-10-21 13:03:24 +0200acidjnk_new3(~acidjnk@p200300d6e7137a9860b69979c21fcafd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-10-21 13:03:38 +0200 <dminuoso> flatparse is officially my favourite library of the year. :)
2022-10-21 13:04:50 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-10-21 13:05:47 +0200 <dminuoso> It addresses so many concerns I had with megaparsec or attoparsec, is extremely performant, and is actually simple. Error handling is completely manual, which I think is much better than what megaparsec does.
2022-10-21 13:07:05 +0200 <merijn> megaparsec was a lot more usefriendly right after the parsec fork
2022-10-21 13:07:10 +0200 <merijn> I think the UX has degraded quite a bit
2022-10-21 13:09:11 +0200xff0x(~xff0x@2405:6580:b080:900:4f5c:e38d:5cfe:423)
2022-10-21 13:12:29 +0200 <tomsmeding> > Only little-endian 64 bit systems are currently supported as the host machine
2022-10-21 13:12:36 +0200 <tomsmeding> always nice when libraries come with warnings like these :p
2022-10-21 13:13:15 +0200 <dminuoso> The portability can be widened, Im doing a lot of work on the way primtypes are handled at the moment.
2022-10-21 13:13:30 +0200 <dminuoso> Its just a bit tedious because there's so little documentation on GHC internals.
2022-10-21 13:13:34 +0200 <tomsmeding> right, I saw some conversations about the topic in this channel I think :)
2022-10-21 13:15:40 +0200 <tomsmeding> dminuoso: is Flatparse.Stateful significantly better than layering a StateM on top of Flatparse.Basic?
2022-10-21 13:16:02 +0200 <dminuoso> tomsmeding: If you all you care for is an Int worth of state, yes.
2022-10-21 13:16:11 +0200 <tomsmeding> what if I need two ints
2022-10-21 13:16:22 +0200 <dminuoso> Im doing work on that department too.
2022-10-21 13:16:26 +0200 <tomsmeding> :D
2022-10-21 13:16:32 +0200 <dminuoso> Realistically the Int is just for something like parser state
2022-10-21 13:16:46 +0200 <dminuoso> As "function-body-mode" or something along these lines
2022-10-21 13:16:59 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-10-21 13:17:24 +0200 <tomsmeding> because realistically, indentation parsing needs two ints of state I think, current column and current base column
2022-10-21 13:17:43 +0200 <dminuoso> Well, you can use the upper and lower half of the int
2022-10-21 13:17:49 +0200 <tomsmeding> lol
2022-10-21 13:17:55 +0200 <dminuoso> 11 bits should be enough for your needs, no?
2022-10-21 13:18:06 +0200 <tomsmeding> I hope I get 31 bits
2022-10-21 13:18:11 +0200 <dminuoso> Sorry, 15 bits~!
2022-10-21 13:18:28 +0200 <tomsmeding> and even then it's kinda questionable whether it's reasonable to restrict source files to 2GB size
2022-10-21 13:18:41 +0200 <tomsmeding> like, maybe
2022-10-21 13:18:51 +0200 <dminuoso> Either way, you can still do manual state.
2022-10-21 13:19:10 +0200 <dminuoso> It depends on the parser design, that is you may not need the state to be dragged around anywhere
2022-10-21 13:19:13 +0200 <tomsmeding> threading through functions, you mean? or StateM? (I guess that ends up being the same thing)
2022-10-21 13:19:23 +0200 <tomsmeding> right
2022-10-21 13:19:34 +0200 <dminuoso> Threading through functions manually where you need it
2022-10-21 13:19:38 +0200 <tomsmeding> yeah
2022-10-21 13:19:55 +0200 <tomsmeding> well I expect a haskell parser to need it almost everywhere
2022-10-21 13:20:12 +0200 <tomsmeding> because you need to update "current column" everywhere, and you need access to the current base column anywhere a newline is accepted
2022-10-21 13:20:14 +0200 <tomsmeding> which is in lots of places
2022-10-21 13:20:31 +0200 <dminuoso> Maybe, yeah. Perhaps there is a case to be made to add `Int#` worth of state to basic, and make the "Stateful" parser over an arbitrary `s` state.
2022-10-21 13:21:11 +0200 <dminuoso> I mean the reason we are constrained to Int is because we can assure this will get unboxed in the result tuple
2022-10-21 13:21:30 +0200 <dminuoso> This is only really important if you very heavily read/modify it.
2022-10-21 13:22:04 +0200 <dminuoso> If put/get/modify is not often done, the price for indirection isnt that problematic.
2022-10-21 13:23:32 +0200 <tomsmeding> if the state is for tracking indentation, it'll be quite often; once every couple of lexical tokens
2022-10-21 13:24:02 +0200 <dminuoso> Maybe we should consider having *both* then.
2022-10-21 13:24:30 +0200 <dminuoso> Then you have a high performance state, and a slow indirectional state
2022-10-21 13:24:41 +0200 <dminuoso> At the expense of an additional argument pushed to the stack on every call
2022-10-21 13:24:44 +0200 <tomsmeding> you mean what you just said, a version with an Int# and a version with an 's'?
2022-10-21 13:24:54 +0200 <dminuoso> No, just having *both*
2022-10-21 13:25:08 +0200 <tomsmeding> ah
2022-10-21 13:25:17 +0200 <tomsmeding> hmm
2022-10-21 13:25:19 +0200 <dminuoso> newtype Parser r s e a = Parser {runParser# :: ForeignPtrContents -> r -> Addr# -> Addr# -> s -> Int# -> Res# s e a}
2022-10-21 13:25:24 +0200 <tomsmeding> yeah
2022-10-21 13:25:31 +0200 <tomsmeding> many stuffs
2022-10-21 13:26:07 +0200danza(~francesco@rm-19-6-117.service.infuturo.it) (Ping timeout: 272 seconds)
2022-10-21 13:28:04 +0200 <tomsmeding> dminuoso: why are there top-level definitions 'empty' and '(<|>)' instead of an Alternative instance?
2022-10-21 13:28:25 +0200 <dminuoso> tomsmeding: Because <|> in flatparse associates differently
2022-10-21 13:28:39 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-10-21 13:28:57 +0200 <dminuoso> Control.Applicative: (<|>) :: f a -> f a -> f a infixl 3
2022-10-21 13:29:04 +0200 <dminuoso> FlatParse: (<|>) :: Parser e a -> Parser e a -> Parser e a infixr 6
2022-10-21 13:29:17 +0200 <tomsmeding> spicy
2022-10-21 13:29:27 +0200 <tomsmeding> I guess the infixr makes sense
2022-10-21 13:30:02 +0200 <dminuoso> There is a ticket about it, we just need a REWRITE rule to re-associate back - then we could make it an Alternative
2022-10-21 13:30:31 +0200 <tomsmeding> dminuoso: why does the word "branch" in the haddocks of 'branch' have a LATIN SMALL LETTER B WITH DOT ABOVE
2022-10-21 13:32:29 +0200 <dminuoso> Dunno, but it reminded me of Chris' comment https://web.archive.org/web/20170511175754/https://www.reddit.com/r/haskell/comments/2cbgpz/flee_t…
2022-10-21 13:32:57 +0200 <dminuoso> (In response to accursedUnutterablePerformIO)
2022-10-21 13:33:33 +0200 <tomsmeding> I seem to be good at spotting these things https://news.ycombinator.com/item?id=29904277
2022-10-21 13:34:34 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-10-21 13:34:47 +0200 <tomsmeding> haha nice
2022-10-21 13:35:04 +0200 <tomsmeding> microlens exists
2022-10-21 13:35:15 +0200 <dminuoso> Yeah, I just use `optics` :p
2022-10-21 13:35:25 +0200 <dminuoso> Which in comparison has a small footprint
2022-10-21 13:35:36 +0200 <dminuoso> (Cant live without prisms, so I dont mind profunctors)
2022-10-21 13:35:56 +0200 <dminuoso> Or I guess the actual pricy thing is indexed-traversable
2022-10-21 13:38:54 +0200danza(~francesco@151.57.231.155)
2022-10-21 13:40:16 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Remote host closed the connection)
2022-10-21 13:40:41 +0200 <dminuoso> What was really surprising to me, is how poor alex/happy actually perform.
2022-10-21 13:41:12 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2022-10-21 13:44:39 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-10-21 13:44:48 +0200sameer(~sameer@2409:4070:219d:3605::3d6:50ad) (Remote host closed the connection)
2022-10-21 13:45:00 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-10-21 13:47:02 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2022-10-21 13:50:09 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-21 13:51:54 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2022-10-21 13:52:08 +0200mixfix41(~sdeny9ee@user/mixfix41)
2022-10-21 13:53:58 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-10-21 13:58:24 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Ping timeout: 252 seconds)
2022-10-21 13:59:05 +0200 <tomsmeding> why are these not overlapping instances https://play-haskell.tomsmeding.com/saved/ESrlXOVE
2022-10-21 14:00:12 +0200 <dminuoso> tomsmeding: because one is more specific.
2022-10-21 14:00:29 +0200 <dminuoso> See GHC manual
2022-10-21 14:00:36 +0200 <tomsmeding> ooooh it's instantiation-defined
2022-10-21 14:00:44 +0200 <tomsmeding> if I require C Void Void it does raise the error
2022-10-21 14:01:49 +0200 <tomsmeding> but that case I can't seem to fix with OVERLAPPING/OVERLAPPABLE pragmas
2022-10-21 14:02:02 +0200ccapndave(~ccapndave@mob-194-230-158-173.cgn.sunrise.net)
2022-10-21 14:02:14 +0200 <tomsmeding> i.e. this gives the same error https://play-haskell.tomsmeding.com/saved/C1iP81o7
2022-10-21 14:02:15 +0200 <dminuoso> What is instantiation-defined?
2022-10-21 14:02:54 +0200 <tomsmeding> I just thought-up that word :p
2022-10-21 14:03:04 +0200sameer(~sameer@2409:4070:219d:3605::3d6:50ad)
2022-10-21 14:03:22 +0200 <tomsmeding> what I meant is that not all overlap checks are done when checking the instances, some overlap is only detected when said overlap is encountered during resolution
2022-10-21 14:03:38 +0200nate1(~nate@98.45.169.16)
2022-10-21 14:03:48 +0200 <dminuoso> Yes, think of definition-time checking as just early heuristics for your sanity.
2022-10-21 14:04:20 +0200 <tomsmeding> sure
2022-10-21 14:04:25 +0200 <dminuoso> Since it can cause earlier diagnostics, which in multi-module setups might move diagnostics closer to the source4
2022-10-21 14:04:36 +0200 <tomsmeding> yes clearly the earlier the better
2022-10-21 14:05:14 +0200 <tomsmeding> but I thought I could make the resolution engine choose whatever option I want in case of overlap using OVERLAPP{ING,ABLE} pragmas, but this case doesn't seem to be affected by them
2022-10-21 14:05:58 +0200 <dminuoso> tomsmeding: remove one OVERLAPPABLE or OVERLAPPING.
2022-10-21 14:06:02 +0200 <dminuoso> Cant have both
2022-10-21 14:06:05 +0200 <dminuoso> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/instances.html#instance-overlap
2022-10-21 14:06:18 +0200 <dminuoso> `Either IX is overlappable, or IY is overlapping. (This “either/or” design, rather than a “both/and” design, allow a client to deliberately override an instance from a library, without requiring a change to the library.)`
2022-10-21 14:06:48 +0200 <tomsmeding> yeah, but it does also work if both pragmas are present
2022-10-21 14:06:51 +0200 <dminuoso> Ah it does?
2022-10-21 14:06:53 +0200 <tomsmeding> and in any case, removing either doesn't help :p
2022-10-21 14:06:54 +0200 <tomsmeding> yeah
2022-10-21 14:07:11 +0200 <dminuoso> Ah okay. Then the wording in the GHC manual is slightly incorrect.
2022-10-21 14:07:18 +0200 <dminuoso> The `Either` should be stricken
2022-10-21 14:07:25 +0200 <tomsmeding> yes
2022-10-21 14:07:28 +0200 <tomsmeding> I guess so
2022-10-21 14:08:29 +0200ccapndave(~ccapndave@mob-194-230-158-173.cgn.sunrise.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-10-21 14:09:11 +0200nate1(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-21 14:09:48 +0200freeside(~mengwong@61.16.75.22)
2022-10-21 14:12:38 +0200fserucas_(~fserucas@74.47.115.89.rev.vodafone.pt)
2022-10-21 14:13:11 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-21 14:14:37 +0200freeside(~mengwong@61.16.75.22) (Ping timeout: 272 seconds)
2022-10-21 14:15:19 +0200fserucas(~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 255 seconds)
2022-10-21 14:20:16 +0200CiaoSen(~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2022-10-21 14:32:18 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-10-21 14:32:54 +0200frost53(~frost@user/frost) (Quit: Client closed)
2022-10-21 14:34:19 +0200Neuromancer(~Neuromanc@user/neuromancer) (Ping timeout: 252 seconds)
2022-10-21 14:34:48 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Remote host closed the connection)
2022-10-21 14:35:06 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-21 14:35:59 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-10-21 14:36:02 +0200 <dminuoso> tomsmeding: By the way, it occured to me that if you use a CPS StateT, then its exactly the same as newtype Parser r s e a = Parser {runParser# :: ForeignPtrContents -> r -> Addr# -> Addr# -> s -> Int# -> Res# s e a}
2022-10-21 14:36:16 +0200 <dminuoso> Well almost exactly the same, anyhow
2022-10-21 14:37:32 +0200 <tomsmeding> similar runtime representation, you mean?
2022-10-21 14:37:54 +0200 <dminuoso> Yes
2022-10-21 14:38:18 +0200 <tomsmeding> so the fully stateful version could be made from the existing versions without duplicating all the code :)
2022-10-21 14:38:37 +0200 <dminuoso> Which is actually nice for my case,
2022-10-21 14:38:40 +0200 <dminuoso> because I already have this lying around
2022-10-21 14:38:43 +0200 <dminuoso> newtype ExStateT s e m a = ExStateT { runExStateT :: forall r. s -> (e -> m r) -> (s -> a -> m r) -> m r }
2022-10-21 14:39:04 +0200 <dminuoso> Giving me even a way to abort the parser entirely on internal errors, which is nice!
2022-10-21 14:39:08 +0200 <tomsmeding> cps'ed exceptt + statett?
2022-10-21 14:39:11 +0200 <dminuoso> Yeah
2022-10-21 14:39:12 +0200 <tomsmeding> s/statett/statet/
2022-10-21 14:39:30 +0200 <tomsmeding> how is that better than using the existing error support in flatparse
2022-10-21 14:39:38 +0200 <tomsmeding> oh skipping all the cuts
2022-10-21 14:39:42 +0200 <tomsmeding> that makes sense
2022-10-21 14:39:46 +0200 <dminuoso> cuts *can* be recovered.
2022-10-21 14:39:50 +0200 <dminuoso> by means of `try`
2022-10-21 14:40:22 +0200 <tomsmeding> oh I had my names confused, right I meant try and cutting
2022-10-21 14:40:54 +0200 <dminuoso> Perhaps things are good the way they are, really.
2022-10-21 14:41:19 +0200 <tomsmeding> perhaps there just needs to be a line in the docs that if you layer a monad transformer over this that is a newtyle and in cps style, then it works fine?
2022-10-21 14:41:20 +0200 <dminuoso> But actually no hold on!
2022-10-21 14:41:22 +0200 <dminuoso> There's a major difference.
2022-10-21 14:41:50 +0200 <dminuoso> The thing though is, running StateT ontop of Parser parsec will behave differently with respect to backtracking
2022-10-21 14:41:56 +0200 <dminuoso> Which might be highly undesirable
2022-10-21 14:42:07 +0200 <dminuoso> Since state would be preserved after backtracking
2022-10-21 14:42:12 +0200 <tomsmeding> ah
2022-10-21 14:42:13 +0200thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1)
2022-10-21 14:42:14 +0200 <tomsmeding> that's major
2022-10-21 14:42:29 +0200 <tomsmeding> yeah ~nobody will want that
2022-10-21 14:43:26 +0200 <dminuoso> But honestly its not a big deal for me. Ill just parse into an intermediate ADT, and then interpret that ADT in ExStateT.
2022-10-21 14:43:49 +0200 <dminuoso> Only slight annoyance is that I have to keep Spans around in order to produce localized error messages
2022-10-21 14:43:56 +0200 <dminuoso> *localizable
2022-10-21 14:44:57 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-10-21 14:45:21 +0200Kaiepi(~Kaiepi@108.175.84.104) (Read error: Connection reset by peer)
2022-10-21 14:46:32 +0200ec(~ec@gateway/tor-sasl/ec)
2022-10-21 14:53:20 +0200mmhat(~mmh@p200300f1c7337744ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7)
2022-10-21 14:53:49 +0200Kaiepi(~Kaiepi@108.175.84.104)
2022-10-21 14:58:56 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 15:01:04 +0200thegeekinside(~thegeekin@189.180.97.156)
2022-10-21 15:02:47 +0200MajorBiscuit(~MajorBisc@145.94.167.250) (Ping timeout: 260 seconds)
2022-10-21 15:02:56 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 15:09:35 +0200MajorBiscuit(~MajorBisc@145.94.167.250)
2022-10-21 15:10:29 +0200Franciman(~Franciman@mx1.fracta.dev) (Remote host closed the connection)
2022-10-21 15:11:19 +0200Franciman(~Franciman@mx1.fracta.dev)
2022-10-21 15:11:31 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 248 seconds)
2022-10-21 15:13:07 +0200nschoe(~q@2a01:e0a:8e:a190:4d83:e07c:2eea:725b)
2022-10-21 15:13:47 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Ping timeout: 272 seconds)
2022-10-21 15:24:30 +0200dsrt^(~dsrt@c-76-17-6-165.hsd1.ga.comcast.net) (Remote host closed the connection)
2022-10-21 15:25:07 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad)
2022-10-21 15:28:05 +0200MajorBiscuit(~MajorBisc@145.94.167.250) (Ping timeout: 272 seconds)
2022-10-21 15:28:23 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2022-10-21 15:29:32 +0200Guest|82(~Guest|82@71.190.74.135)
2022-10-21 15:30:13 +0200Guest|82(~Guest|82@71.190.74.135) (Client Quit)
2022-10-21 15:30:15 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Ping timeout: 272 seconds)
2022-10-21 15:31:20 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds)
2022-10-21 15:32:51 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-10-21 15:34:00 +0200Guest|82(~Guest|82@71.190.74.135)
2022-10-21 15:35:59 +0200KaitoDaumoto(~asdf@user/kaitodaumoto)
2022-10-21 15:36:55 +0200yvan-sraka(~yvan-srak@2001:bc8:38ee:6e69:3d9b:674d:f53:99ff)
2022-10-21 15:37:14 +0200MajorBiscuit(~MajorBisc@145.94.167.250)
2022-10-21 15:46:09 +0200polokingpolo
2022-10-21 15:46:45 +0200cheater(~Username@user/cheater) (Quit: (BitchX) Showering in your clothes shows you're crazy. Showering nude shows your nuts.)
2022-10-21 15:47:38 +0200ft(~ft@p3e9bc845.dip0.t-ipconnect.de)
2022-10-21 15:47:45 +0200kingpolopolo
2022-10-21 15:54:25 +0200cheater(~Username@user/cheater)
2022-10-21 15:54:53 +0200 <Guest|82> I just installed Haskelll with ghcup. What code editor or development environment should I use?
2022-10-21 15:55:14 +0200 <geekosaur> whichever one you like
2022-10-21 15:55:23 +0200 <geekosaur> I flip between emacs and vscode
2022-10-21 15:55:38 +0200yvan-sraka(~yvan-srak@2001:bc8:38ee:6e69:3d9b:674d:f53:99ff) (Ping timeout: 244 seconds)
2022-10-21 15:55:45 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-21 15:55:45 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-21 15:55:45 +0200wroathe(~wroathe@user/wroathe)
2022-10-21 15:56:16 +0200 <dminuoso> The one you prefer most, definitely.
2022-10-21 15:56:37 +0200 <dminuoso> Haskell syntax highlighting modules exist for almost all editors out there
2022-10-21 15:57:24 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
2022-10-21 15:57:28 +0200 <dminuoso> If you want a more integrated environment, anything that supports LSP (language server protocol) will suffice, since we have haskell-language-server.
2022-10-21 15:57:48 +0200 <dminuoso> Which all popular editors have some level of integration for
2022-10-21 15:59:22 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-10-21 16:01:46 +0200 <dminuoso> https://play-haskell.tomsmeding.com/saved/ESrlXOVE
2022-10-21 16:01:49 +0200 <dminuoso> Two questions.
2022-10-21 16:01:53 +0200 <dminuoso> 1) Why do I get the warning twice?
2022-10-21 16:01:55 +0200sameer(~sameer@2409:4070:219d:3605::3d6:50ad) (Ping timeout: 272 seconds)
2022-10-21 16:01:56 +0200 <dminuoso> 2) Why do I get the warning at all?
2022-10-21 16:02:02 +0200Guest|82(~Guest|82@71.190.74.135) (Quit: Connection closed)
2022-10-21 16:02:15 +0200 <dminuoso> Oh hold on!
2022-10-21 16:02:21 +0200 <dminuoso> Forgot to click save
2022-10-21 16:02:38 +0200 <dminuoso> https://play-haskell.tomsmeding.com/saved/6UE6XpXe
2022-10-21 16:02:40 +0200 <dminuoso> Here
2022-10-21 16:03:37 +0200 <albet70> this 'let' in haskell could be implemented by function?
2022-10-21 16:03:47 +0200 <dminuoso> albet70: Yes.
2022-10-21 16:04:02 +0200 <dminuoso> `let x = 1 in ...` is, semantically, the same as `(\x -> ...) 1`
2022-10-21 16:04:38 +0200 <dminuoso> Mutual recursion will be a bit more complicated to build with lambda, but is possible too.
2022-10-21 16:05:04 +0200 <albet70> dminuoso , I mean implement 'let' not the equipment
2022-10-21 16:05:18 +0200 <dminuoso> well yeah, like I just pointed out.
2022-10-21 16:05:22 +0200 <lortabac> 'let' is commonly desugared to a lambda in Scheme, but not in Haskell
2022-10-21 16:05:52 +0200 <dminuoso> albet70: you could do this *exactly* as a desugar routine.
2022-10-21 16:06:11 +0200Sgeo(~Sgeo@user/sgeo)
2022-10-21 16:06:28 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-10-21 16:06:35 +0200 <merijn> Not really, something with like monomorphism whatsit fancy word thing for let bindings
2022-10-21 16:06:38 +0200 <albet70> so let = ?
2022-10-21 16:06:46 +0200 <merijn> let polymorphism or whatever it was called
2022-10-21 16:06:51 +0200 <albet70> let x in y = v
2022-10-21 16:07:00 +0200 <albet70> let x in y = ?
2022-10-21 16:07:04 +0200 <lortabac> let polymorphism is not a problem if you typecheck before desugaring
2022-10-21 16:07:15 +0200 <lortabac> which is what GHC does IIRC
2022-10-21 16:07:24 +0200 <albet70> let definition is?
2022-10-21 16:07:33 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-21 16:07:34 +0200 <dminuoso> Things like recursion or mutual recursion require just a bit additional machineryu
2022-10-21 16:07:45 +0200 <probie> `let x = y in v` is `(\x -> v) y`
2022-10-21 16:07:55 +0200 <albet70> code, please
2022-10-21 16:08:07 +0200 <albet70> not equivalent
2022-10-21 16:08:55 +0200 <albet70> callCC is a macro in scheme, but a function in haskell
2022-10-21 16:09:04 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-10-21 16:09:11 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-21 16:09:59 +0200 <probie> In Haskell `let` doesn't desguar to anything, it's fundamental. It adds no power to the language beyond what already exists, but is still primitive
2022-10-21 16:10:29 +0200 <dolio> In GHC, applications to complicated expressions desugar to lets.
2022-10-21 16:10:39 +0200 <albet70> probie , so let isn't defined by function?
2022-10-21 16:12:17 +0200 <probie> No. It's not defined by a function.
2022-10-21 16:13:57 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-10-21 16:14:15 +0200 <apache2> thanks merijn
2022-10-21 16:15:13 +0200MajorBiscuit(~MajorBisc@145.94.167.250) (Ping timeout: 272 seconds)
2022-10-21 16:22:44 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-21 16:23:47 +0200stef204(~stef204@user/stef204)
2022-10-21 16:25:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-21 16:29:55 +0200MajorBiscuit(~MajorBisc@145.94.167.250)
2022-10-21 16:33:43 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-10-21 16:35:13 +0200MajorBiscuit(~MajorBisc@145.94.167.250) (Ping timeout: 272 seconds)
2022-10-21 16:35:47 +0200HackingSpring(~haru@201-27-75-20.dsl.telesp.net.br)
2022-10-21 16:36:03 +0200constxd(~brad@77.68.183.226)
2022-10-21 16:36:04 +0200 <HackingSpring> Thanks, chreekat. I'll do that
2022-10-21 16:36:42 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2022-10-21 16:38:23 +0200 <geekosaur> albet70, if you track compilation down to STG level, you'll find that `let` is a primitive STG operation
2022-10-21 16:38:38 +0200 <geekosaur> (-ddump-stg)
2022-10-21 16:45:28 +0200shriekingnoise_(~shrieking@186.137.167.202)
2022-10-21 16:45:36 +0200shriekingnoise(~shrieking@186.137.167.202) (Ping timeout: 272 seconds)
2022-10-21 16:54:24 +0200raym(~aritra@user/raym) (Ping timeout: 252 seconds)
2022-10-21 16:58:37 +0200MajorBiscuit(~MajorBisc@145.94.167.250)
2022-10-21 16:58:45 +0200raym(~aritra@user/raym)
2022-10-21 16:59:35 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 16:59:38 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-21 17:01:36 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-10-21 17:02:11 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-21 17:04:21 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 17:05:49 +0200gurmyz(~zymurgy@user/zymurgy)
2022-10-21 17:06:51 +0200gurmyz(~zymurgy@user/zymurgy) (Remote host closed the connection)
2022-10-21 17:07:02 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-10-21 17:07:13 +0200ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2022-10-21 17:08:04 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection)
2022-10-21 17:09:05 +0200ystael(~ystael@user/ystael)
2022-10-21 17:09:25 +0200MajorBiscuit(~MajorBisc@145.94.167.250) (Ping timeout: 272 seconds)
2022-10-21 17:10:06 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-10-21 17:11:04 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-21 17:12:52 +0200 <tomsmeding> dminuoso: do NOINLINE pragmas even do anything sensible on type class methods
2022-10-21 17:13:05 +0200 <tomsmeding> because surely whether it inlines should be a property of the _class_ member, not the _instance_ member
2022-10-21 17:13:15 +0200 <tomsmeding> but moving the pragma there yields an error
2022-10-21 17:14:27 +0200 <dolio> It's not a property of the class member.
2022-10-21 17:14:42 +0200 <tomsmeding> oh no forget what I just said that makes no sense
2022-10-21 17:15:37 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-21 17:16:19 +0200Moyst__(~moyst@user/moyst) (Ping timeout: 248 seconds)
2022-10-21 17:18:13 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-21 17:18:17 +0200Moyst(~moyst@user/moyst)
2022-10-21 17:22:17 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-10-21 17:22:36 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-21 17:22:49 +0200danza(~francesco@151.57.231.155) (Read error: Connection reset by peer)
2022-10-21 17:28:40 +0200nschoe(~q@2a01:e0a:8e:a190:4d83:e07c:2eea:725b) (Ping timeout: 272 seconds)
2022-10-21 17:28:46 +0200Lycurgus(~juan@user/Lycurgus)
2022-10-21 17:29:17 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.7)
2022-10-21 17:31:50 +0200Tuplanolla(~Tuplanoll@91-159-68-210.elisa-laajakaista.fi)
2022-10-21 17:33:43 +0200merijn(~merijn@c-001-001-011.client.esciencecenter.eduvpn.nl)
2022-10-21 17:34:36 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 17:37:04 +0200 <EvanR> "let x = y in v` is `(\x -> v) y" is false, not just because of STG, but because y may contain x i.e. be a recursive definition?
2022-10-21 17:38:13 +0200danza(~francesco@151.57.233.34)
2022-10-21 17:40:30 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-21 17:41:08 +0200sauvin(~sauvin@user/Sauvin)
2022-10-21 17:41:17 +0200sauvin(~sauvin@user/Sauvin) (Remote host closed the connection)
2022-10-21 17:41:39 +0200sauvin(~sauvin@user/Sauvin)
2022-10-21 17:41:47 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-10-21 17:43:42 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad)
2022-10-21 17:43:46 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-10-21 17:47:39 +0200 <[Leary]> > (\x k -> k x) (\x k -> k x) $ \let_ -> let_ (\rb k -> k (fix rb)) $ \letrec -> letrec (\zs -> 0:zs) $ \zs -> take 10 zs
2022-10-21 17:47:40 +0200 <lambdabot> [0,0,0,0,0,0,0,0,0,0]
2022-10-21 17:48:02 +0200 <[Leary]> What is broken, need merely be `fix`ed. :)
2022-10-21 17:48:12 +0200 <lortabac> EvanR: I guess an imaginary Haskell where 'let' is syntactic sugar would need some recursion primitive such as 'fix'
2022-10-21 17:51:51 +0200ystael(~ystael@user/ystael) (Ping timeout: 272 seconds)
2022-10-21 17:53:10 +0200ystael(~ystael@user/ystael)
2022-10-21 17:53:51 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-21 17:53:59 +0200econo(uid147250@user/econo)
2022-10-21 17:56:02 +0200merijn(~merijn@c-001-001-011.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2022-10-21 17:56:59 +0200HackingSpring(~haru@201-27-75-20.dsl.telesp.net.br) (Remote host closed the connection)
2022-10-21 18:00:15 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039) (Quit: You have been kicked for being idle)
2022-10-21 18:00:40 +0200zfnmxt(~zfnmxt@2001:470:69fc:105::2b32) (Quit: You have been kicked for being idle)
2022-10-21 18:00:48 +0200xgpt[m](~xgptmatri@2001:470:69fc:105::2:619a) (Quit: You have been kicked for being idle)
2022-10-21 18:01:48 +0200HackingSpring(~haru@201-27-75-20.dsl.telesp.net.br)
2022-10-21 18:02:58 +0200 <monochrom> Yes, that's what the Haskell Report does. :)
2022-10-21 18:04:37 +0200 <monochrom> Although, it is a bit ambivalent because "let" and {"case", "\"} are treated differently at type checking. ("let" enjoys let-polymorphism.)
2022-10-21 18:05:17 +0200nate1(~nate@98.45.169.16)
2022-10-21 18:05:54 +0200 <monochrom> It is when you're done with type checking and it's safe to ignore types, and you start evaluation, that Haskell Report treats let as case, lambda, application.
2022-10-21 18:06:18 +0200 <monochrom> with the help of fix.
2022-10-21 18:06:21 +0200grymzu(~zymurgy@user/zymurgy) (Leaving)
2022-10-21 18:06:47 +0200 <monochrom> Although, should be s/evaluation/denotation/
2022-10-21 18:06:58 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org)
2022-10-21 18:07:02 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Remote host closed the connection)
2022-10-21 18:07:20 +0200 <EvanR> dunno why but it seems like "let is just recursive" is simpler xD
2022-10-21 18:08:01 +0200 <monochrom> Sure! More people relate to evaluation better than to denotation.
2022-10-21 18:08:52 +0200 <monochrom> And since GHC is about running programs not giving programs mathematical meanings...
2022-10-21 18:09:02 +0200kuribas(~user@ptr-17d51epevt167943u7m.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
2022-10-21 18:09:46 +0200 <EvanR> isn't a let binding kind of something that happens before you even get to any math or logic
2022-10-21 18:10:37 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-10-21 18:10:40 +0200 <EvanR> rather, the idea of defining terms to be used
2022-10-21 18:11:34 +0200 <dolio> Traditional mathematical practice is actually to pretend that let doesn't exist.
2022-10-21 18:11:42 +0200 <dolio> Every definition just gets substituted in.
2022-10-21 18:12:43 +0200 <dolio> It's very divorced from the realities of working with/implementing a logic.
2022-10-21 18:15:07 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:2ca4:6437:ce52:4a2b) (Quit: WeeChat 2.8)
2022-10-21 18:15:33 +0200sauvinSauvin
2022-10-21 18:17:18 +0200 <monochrom> Creating thunks is a fundamental primitive in lazy evaluation, and this corresponds perfectly with "let".
2022-10-21 18:17:29 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-10-21 18:18:46 +0200boxscape_(~boxscape_@81.191.27.107)
2022-10-21 18:20:14 +0200 <monochrom> For mathematicians, "let" lives at the meta level, not in the object or structure being studied.
2022-10-21 18:22:27 +0200merijn(~merijn@c-001-001-011.client.esciencecenter.eduvpn.nl)
2022-10-21 18:22:47 +0200biberu(~biberu@user/biberu)
2022-10-21 18:25:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-21 18:25:41 +0200sameer(~sameer@2409:4070:219d:3605::3d6:50ad)
2022-10-21 18:30:28 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2022-10-21 18:33:13 +0200littlefinger(~littlefin@pool-100-15-237-121.washdc.fios.verizon.net)
2022-10-21 18:41:07 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-10-21 18:43:34 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-21 18:47:57 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-21 18:48:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-21 18:51:56 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-21 18:52:02 +0200zebrag(~chris@user/zebrag)
2022-10-21 18:52:59 +0200axeman(~quassel@2a02:8109:a380:78:c301:12eb:2167:b8d6)
2022-10-21 18:53:44 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2022-10-21 18:56:06 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-10-21 18:58:58 +0200stef204(~stef204@user/stef204) (Quit: WeeChat 3.7)
2022-10-21 19:04:08 +0200Guest|82(~Guest|82@71.190.74.135)
2022-10-21 19:06:42 +0200littlefinger(~littlefin@pool-100-15-237-121.washdc.fios.verizon.net) (Quit: Client closed)
2022-10-21 19:09:41 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-10-21 19:10:27 +0200mbuf(~Shakthi@49.204.137.143) (Quit: Leaving)
2022-10-21 19:11:22 +0200axeman(~quassel@2a02:8109:a380:78:c301:12eb:2167:b8d6) (Ping timeout: 246 seconds)
2022-10-21 19:13:33 +0200mixfix41(~sdeny9ee@user/mixfix41) (Ping timeout: 272 seconds)
2022-10-21 19:15:30 +0200danza(~francesco@151.57.233.34) (Read error: Connection reset by peer)
2022-10-21 19:15:34 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-21 19:17:53 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-21 19:21:08 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-21 19:26:24 +0200 <Guest|82> Using VS Code, how do I save a Haskell file as .hs, and not .txt ?
2022-10-21 19:28:05 +0200Guest6(~Guest6@2a01cb0408ee99001bcd18dfc58a6927.ipv6.abo.wanadoo.fr)
2022-10-21 19:29:30 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de)
2022-10-21 19:29:36 +0200 <Guest|82> The file is now saved as filename.hs.txt    How can I change the name to filename.hs?
2022-10-21 19:30:11 +0200danza(~francesco@151.82.229.143)
2022-10-21 19:32:09 +0200 <darkling> Right click on the file and select "rename"? (I'm guessing rfom watching other people use it)
2022-10-21 19:32:26 +0200 <Guest6> Hello o/ If somebody has the time and the knowledges to help me, i encounter an issue :
2022-10-21 19:32:26 +0200 <Guest6> I have a test suite that run in hspec-wai : https://github.com/hspec/hspec-wai#readme
2022-10-21 19:32:27 +0200 <Guest6> In one of my test, i would like to make a regular assertation (hspec Expectation: https://hackage.haskell.org/package/hspec-expectations-0.8.2/docs/Test-Hspec-Expectations.html#v:s…), but it dont compile as a WaiExpectation is expected. How can i turn an Expectation into a WaiExpectation ?
2022-10-21 19:33:14 +0200 <Guest|82> ACtually you have to open the View tab and click the filename extensions option. Then Windows lets you do it. Thank you for the reply
2022-10-21 19:35:54 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-10-21 19:37:04 +0200acidjnk_new3(~acidjnk@p200300d6e7137a10c548a8c6ce41924a.dip0.t-ipconnect.de)
2022-10-21 19:38:19 +0200euandreh(~euandreh@179.214.113.107)
2022-10-21 19:44:18 +0200Topsi(~Topsi@dyndsl-095-033-094-034.ewe-ip-backbone.de)
2022-10-21 19:46:32 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-21 19:46:58 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-10-21 19:47:23 +0200shriekingnoise_(~shrieking@186.137.167.202) (Ping timeout: 272 seconds)
2022-10-21 19:47:31 +0200axeman(~quassel@2a02:8109:a380:78:f510:9:411b:2d08)
2022-10-21 19:49:33 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-10-21 19:49:34 +0200mmhat(~mmh@p200300f1c7337744ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-21 19:50:22 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad)
2022-10-21 19:51:05 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2022-10-21 19:51:30 +0200ec(~ec@gateway/tor-sasl/ec)
2022-10-21 19:51:49 +0200Guest|82(~Guest|82@71.190.74.135) (Ping timeout: 272 seconds)
2022-10-21 19:51:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-21 19:52:09 +0200Neuromancer(~Neuromanc@user/neuromancer)
2022-10-21 19:54:54 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-21 19:55:23 +0200coot(~coot@213.134.171.3)
2022-10-21 19:57:50 +0200 <dminuoso> tomsmeding: What is interesting, that at first I had the same intuition, that (NO)INLINE'ing should be specified on the class member declaration, not instance member definitions.
2022-10-21 19:58:06 +0200 <dminuoso> Do you have any idea as to why that seems more intuitive at first?
2022-10-21 20:02:16 +0200axeman(~quassel@2a02:8109:a380:78:f510:9:411b:2d08) (Ping timeout: 255 seconds)
2022-10-21 20:02:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-21 20:02:53 +0200 <tomsmeding> dminuoso: I thought it because I felt that a use of a typeclass method refers to the _class_ method in principle, and that the definition in an instance is only a later instantiation
2022-10-21 20:03:24 +0200 <tomsmeding> similar to how a HasCallStack constraint has to be put on the class member, not the instance member
2022-10-21 20:03:44 +0200 <dminuoso> To be fair, HasCallStack is about one of the most magical things we have in GHC.
2022-10-21 20:03:47 +0200 <tomsmeding> of course this is all nonsense because it's a _definition_ that gets inlined, not a declaration in some class, but we were talking about faulty intuitions :p
2022-10-21 20:03:48 +0200 <geekosaur> makes sense to me, the class one is just a pointer, the instance one is the real one
2022-10-21 20:03:51 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection)
2022-10-21 20:04:09 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 20:04:11 +0200 <tomsmeding> geekosaur: yeah it makes sense to me now too, but both dminuoso and I apparently briefly thought the opposite
2022-10-21 20:04:31 +0200 <geekosaur> but I guess I just automatically think of classes as record declarations and instances as values thereof
2022-10-21 20:04:32 +0200 <tomsmeding> dminuoso: right, but the same reasoning applies to any type class
2022-10-21 20:04:59 +0200 <tomsmeding> ah, I think this is what my intuition came from
2022-10-21 20:05:23 +0200 <tomsmeding> I was thinking about a quantified constraint like `foo :: (forall a. C a) => ...` where `C` has a {-# INLINE #-} method marked so in an instance
2022-10-21 20:05:26 +0200 <tomsmeding> that can never work
2022-10-21 20:05:38 +0200 <tomsmeding> so, I thought, "clearly" it should go in the class
2022-10-21 20:06:18 +0200 <tomsmeding> which is faulty reasoning because it's the same ideas as passing an {-# INLINE #-} marked function to an explicitly polymorphic (higher-rank) argument to a function
2022-10-21 20:07:10 +0200 <tomsmeding> both will actually work quite fine, as long as it's clear which instance it's going to be resolved to at compile-time -- which is a prerequisite for inlining _anyway_
2022-10-21 20:08:17 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds)
2022-10-21 20:10:54 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-21 20:11:51 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-10-21 20:15:27 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-21 20:17:01 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 20:19:05 +0200 <df> a
2022-10-21 20:19:10 +0200 <tomsmeding> b
2022-10-21 20:19:57 +0200 <Rembane> c
2022-10-21 20:20:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-21 20:20:15 +0200 <c_wraith> there are too many letters for that.
2022-10-21 20:20:37 +0200 <Rembane> Do you have a petition to truncate the alphabet?
2022-10-21 20:22:08 +0200 <c_wraith> No, I'm petitioning for orthography to accept that ' is a letter
2022-10-21 20:22:13 +0200 <c_wraith> Haskell's already there!
2022-10-21 20:22:30 +0200 <tomsmeding> the Kazakh alphabet is also already there
2022-10-21 20:22:59 +0200 <tomsmeding> and Breton
2022-10-21 20:23:16 +0200 <tomsmeding> they have a letter c'h , how cool is that
2022-10-21 20:23:35 +0200 <c_wraith> I like that.
2022-10-21 20:24:01 +0200 <boxscape_> Alphabets that claim that a sequence of letters is a single letter make me uncomfortable
2022-10-21 20:24:56 +0200 <dminuoso> boxscape_: Its just a narrowsighted imagination of what "letter" means
2022-10-21 20:25:03 +0200 <dminuoso> Or using that term at all
2022-10-21 20:25:30 +0200 <boxscape_> what would you call c'h instead of a "letter"?
2022-10-21 20:25:35 +0200 <dminuoso> A grapheme cluster
2022-10-21 20:25:40 +0200 <boxscape_> I can live with that
2022-10-21 20:25:47 +0200 <tomsmeding> https://en.wikipedia.org/wiki/Breton_language#Alphabet
2022-10-21 20:27:24 +0200 <dminuoso> So Im not a linguistic, but I think that's incorrectly phrased.
2022-10-21 20:28:03 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-21 20:28:54 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Client Quit)
2022-10-21 20:29:05 +0200 <dminuoso> boxscape_: or it might even be a digraph
2022-10-21 20:29:58 +0200 <dminuoso> Or maybe trigraph, depending on the interpretation of '
2022-10-21 20:30:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-21 20:30:32 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-21 20:30:43 +0200 <boxscape_> seems right, wikipedia says "in some languages' orthographies, digraphs (and occasionally trigraphs) are considered individual letters" ( https://en.wikipedia.org/wiki/Digraph_(orthography) )
2022-10-21 20:31:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-21 20:32:59 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Client Quit)
2022-10-21 20:33:50 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-21 20:35:08 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-21 20:36:42 +0200raym(~aritra@user/raym) (Quit: leaving)
2022-10-21 20:39:57 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2022-10-21 20:40:30 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-10-21 20:40:49 +0200biberu(~biberu@user/biberu)
2022-10-21 20:44:00 +0200 <sclv> a little self advertisement for a post on my haskell symposium work http://comonad.com/reader/2022/internalized-guarded-recursion-for-equational-reasoning/
2022-10-21 20:44:37 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2022-10-21 20:46:41 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-10-21 20:46:55 +0200beteigeuze(~Thunderbi@89.187.168.55) (Ping timeout: 272 seconds)
2022-10-21 20:48:24 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-21 20:51:05 +0200constxd(~brad@77.68.183.226) (Ping timeout: 272 seconds)
2022-10-21 20:51:37 +0200ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2022-10-21 20:56:36 +0200raym(~ray@user/raym)
2022-10-21 20:58:33 +0200mmhat(~mmh@p200300f1c7337744ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7)
2022-10-21 21:01:29 +0200boxscape_(~boxscape_@81.191.27.107) (Quit: Client closed)
2022-10-21 21:04:15 +0200acidjnk_new(~acidjnk@p200300d6e7137a1088f78f22e17780ec.dip0.t-ipconnect.de)
2022-10-21 21:04:35 +0200constxd(~brad@77.68.183.226)
2022-10-21 21:04:48 +0200acidjnk_new3(~acidjnk@p200300d6e7137a10c548a8c6ce41924a.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2022-10-21 21:06:26 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Remote host closed the connection)
2022-10-21 21:06:43 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad)
2022-10-21 21:07:22 +0200thegeekinside(~thegeekin@189.180.97.156) (Ping timeout: 260 seconds)
2022-10-21 21:10:17 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-10-21 21:14:11 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-21 21:14:43 +0200boxscape_(~boxscape_@81.191.27.107)
2022-10-21 21:16:07 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2022-10-21 21:16:41 +0200constxd(~brad@77.68.183.226) (Ping timeout: 272 seconds)
2022-10-21 21:16:43 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-21 21:23:32 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 21:27:08 +0200pavonia(~user@user/siracusa)
2022-10-21 21:35:56 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-10-21 21:50:59 +0200birdgoose(~birdgoose@151.210.175.160)
2022-10-21 21:52:54 +0200 <dminuoso> Im re-reading SPJs STG paper, and in 3.2.3 he makes a remark: In the push-enter model, all that happens is that three more arguments are pushed on the evaluation stack b efore jumping to f. To put it another way, there are no identiable moments at which a new activation frame should be allocated or reclaimed.
2022-10-21 21:53:12 +0200 <dminuoso> Can someone elaborate what he means by activation frame in push-enter?
2022-10-21 21:54:47 +0200 <HackingSpring> is anyone currently able to compile ghc HEAD with ghc 9.0 for phase 0? the configure script currently recommends 9.X, but I only got to do it after bumping it up to 9.2
2022-10-21 21:55:52 +0200 <geekosaur> the usual rule is two past versions; since HEAD is 9.5 / 9.6-to-be, that implies 9.2 and 9.4 can be used
2022-10-21 21:56:23 +0200 <geekosaur> otherwise, ask in #ghc
2022-10-21 21:57:00 +0200 <HackingSpring> I see. nice, thanks!
2022-10-21 22:02:06 +0200Lumia(~Lumia@user/Lumia)
2022-10-21 22:02:16 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-21 22:06:51 +0200nate1(~nate@98.45.169.16)
2022-10-21 22:08:37 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 22:08:55 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-21 22:09:15 +0200milia(~milia@user/milia)
2022-10-21 22:12:10 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:5853:8781:fba8:1f16)
2022-10-21 22:12:24 +0200nate1(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-21 22:13:17 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-10-21 22:13:24 +0200zer0bitz_(~zer0bitz@2001:2003:f748:2000:1890:68c4:7687:9ac8) (Ping timeout: 252 seconds)
2022-10-21 22:14:13 +0200tflow(~tflow@64.234.73.219)
2022-10-21 22:14:33 +0200k8yun(~k8yun@user/k8yun)
2022-10-21 22:15:06 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 22:17:11 +0200zer0bitz_(~zer0bitz@2001:2003:f748:2000:a1ba:1db9:b5dc:c5ea)
2022-10-21 22:18:54 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:5853:8781:fba8:1f16) (Ping timeout: 252 seconds)
2022-10-21 22:19:21 +0200constxd(~brad@77.68.183.226)
2022-10-21 22:21:34 +0200zer0bitz(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi)
2022-10-21 22:22:56 +0200zer0bitz_(~zer0bitz@2001:2003:f748:2000:a1ba:1db9:b5dc:c5ea) (Ping timeout: 252 seconds)
2022-10-21 22:23:53 +0200 <sclv> dminuoso: i think "activation frame" is just another name for "stack frame"
2022-10-21 22:26:05 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 272 seconds)
2022-10-21 22:30:59 +0200Lumia(~Lumia@user/Lumia) (Quit: ,-)
2022-10-21 22:37:04 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Remote host closed the connection)
2022-10-21 22:41:24 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-21 22:44:33 +0200juri_(~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 252 seconds)
2022-10-21 22:57:19 +0200HackingSpring(~haru@201-27-75-20.dsl.telesp.net.br) (Remote host closed the connection)
2022-10-21 22:59:17 +0200birdgoose(~birdgoose@151.210.175.160) (Ping timeout: 272 seconds)
2022-10-21 23:05:46 +0200cheater1__(~Username@user/cheater)
2022-10-21 23:05:47 +0200cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-10-21 23:05:49 +0200cheater1__cheater
2022-10-21 23:07:27 +0200HackingSpring(~haru@201-27-75-20.dsl.telesp.net.br)
2022-10-21 23:09:46 +0200danza(~francesco@151.82.229.143) (Read error: Connection reset by peer)
2022-10-21 23:10:26 +0200codaraxis___(~codaraxis@user/codaraxis) (Quit: Leaving)
2022-10-21 23:15:18 +0200juri_(~juri@84-19-175-179.pool.ovpn.com)
2022-10-21 23:17:37 +0200coot(~coot@213.134.171.3) (Quit: coot)
2022-10-21 23:17:52 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-10-21 23:19:19 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-10-21 23:20:51 +0200jludwig(~justin@user/jludwig) (Quit: ZNC - https://znc.in)
2022-10-21 23:21:53 +0200jludwig(~justin@li657-110.members.linode.com)
2022-10-21 23:23:06 +0200jludwig(~justin@li657-110.members.linode.com) (Read error: Connection reset by peer)
2022-10-21 23:23:49 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-10-21 23:24:27 +0200juri_(~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 260 seconds)
2022-10-21 23:26:05 +0200jludwig(~justin@li657-110.members.linode.com)
2022-10-21 23:26:55 +0200myShoggoth(~myShoggot@75.164.11.50)
2022-10-21 23:27:10 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-10-21 23:30:19 +0200juri_(~juri@79.140.114.125)
2022-10-21 23:33:54 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-21 23:35:00 +0200michalz(~michalz@185.246.207.205) (Remote host closed the connection)
2022-10-21 23:37:32 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad)
2022-10-21 23:37:55 +0200juri_(~juri@79.140.114.125) (Ping timeout: 272 seconds)
2022-10-21 23:38:55 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2022-10-21 23:38:57 +0200juri_(~juri@84-19-175-179.pool.ovpn.com)
2022-10-21 23:42:05 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-21 23:42:51 +0200marquis_andras(~marquis_a@194-193-221-185.tpgi.com.au) (Ping timeout: 252 seconds)
2022-10-21 23:42:52 +0200acidjnk_new(~acidjnk@p200300d6e7137a1088f78f22e17780ec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-10-21 23:43:35 +0200jludwig(~justin@li657-110.members.linode.com) (Read error: Connection reset by peer)
2022-10-21 23:43:36 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Ping timeout: 272 seconds)
2022-10-21 23:46:24 +0200jludwig(~justin@li657-110.members.linode.com)
2022-10-21 23:46:59 +0200zeenk(~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494)
2022-10-21 23:48:03 +0200juri_(~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 272 seconds)
2022-10-21 23:49:10 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-21 23:49:20 +0200 <dolio> More specifically, it is a stack frame that corresponds to the lifetime of a function call.
2022-10-21 23:50:37 +0200jludwig(~justin@li657-110.members.linode.com) (Client Quit)
2022-10-21 23:53:07 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 255 seconds)
2022-10-21 23:53:13 +0200juri_(~juri@79.140.114.125)
2022-10-21 23:53:50 +0200rockystone(~rocky@user/rockymarine)
2022-10-21 23:54:35 +0200Guest6(~Guest6@2a01cb0408ee99001bcd18dfc58a6927.ipv6.abo.wanadoo.fr) (Ping timeout: 244 seconds)
2022-10-21 23:55:19 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-21 23:55:39 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-10-21 23:55:58 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection)
2022-10-21 23:56:16 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-21 23:56:24 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad)
2022-10-21 23:57:42 +0200tflow(~tflow@64.234.73.219) (Ping timeout: 260 seconds)
2022-10-21 23:58:01 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-21 23:59:13 +0200__monty__(~toonn@user/toonn) (Quit: leaving)