2022/02/27

2022-02-27 00:03:07 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-02-27 00:04:53 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-27 00:04:54 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-27 00:04:54 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 00:06:32 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds)
2022-02-27 00:07:22 +0100fendor__(~fendor@178.165.185.73.wireless.dyn.drei.com) (Remote host closed the connection)
2022-02-27 00:09:24 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-02-27 00:12:34 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4)
2022-02-27 00:13:39 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-02-27 00:14:03 +0100yuvi(~uv125@192.54.96.185)
2022-02-27 00:14:20 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 00:15:48 +0100alx741(~alx741@181.199.42.143)
2022-02-27 00:19:19 +0100yauhsienhuangtw(~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 00:19:47 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection)
2022-02-27 00:22:49 +0100yauhsien_(~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-27 00:25:46 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-02-27 00:29:06 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 00:31:10 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-02-27 00:32:37 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-02-27 00:32:57 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-02-27 00:34:09 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 250 seconds)
2022-02-27 00:36:37 +0100komikat(~komikat@183.82.154.239) (Ping timeout: 272 seconds)
2022-02-27 00:37:59 +0100komikat(~komikat@183.82.154.239)
2022-02-27 00:38:48 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-02-27 00:43:13 +0100komikat(~komikat@183.82.154.239) (Ping timeout: 256 seconds)
2022-02-27 00:45:09 +0100komikat(~komikat@183.82.154.239)
2022-02-27 00:45:39 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-27 00:46:05 +0100alx741(~alx741@181.199.42.143)
2022-02-27 00:46:13 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-02-27 00:46:45 +0100aeka(~aeka@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 00:46:59 +0100aeka(~aeka@user/hiruji)
2022-02-27 00:48:57 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 00:49:33 +0100alx741(~alx741@157.100.197.240)
2022-02-27 00:51:32 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 00:51:49 +0100komikat(~komikat@183.82.154.239) (Ping timeout: 272 seconds)
2022-02-27 00:51:56 +0100mason0(~bc8147f2@cerf.good1.com)
2022-02-27 00:53:31 +0100little_mac(~little_ma@2601:410:4300:3ce0:6d01:d8ee:e30a:cd90) (Quit: Leaving)
2022-02-27 00:54:57 +0100little_mac(~little_ma@2601:410:4300:3ce0:c06a:2206:8e98:4506)
2022-02-27 00:55:03 +0100 <dragestil> when is the next haskell report likely to happen?
2022-02-27 00:56:04 +0100 <geekosaur> nobody knows
2022-02-27 00:57:00 +0100 <yushyin> there is not much momentum
2022-02-27 00:58:04 +0100komikat(~komikat@183.82.154.239)
2022-02-27 01:03:13 +0100komikat(~komikat@183.82.154.239) (Ping timeout: 272 seconds)
2022-02-27 01:04:58 +0100cynomys(~cynomys@user/cynomys) (Quit: Lost terminal)
2022-02-27 01:08:36 +0100alx741(~alx741@157.100.197.240)
2022-02-27 01:09:28 +0100komikat(~komikat@183.82.154.239)
2022-02-27 01:10:55 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection)
2022-02-27 01:13:33 +0100 <hpc> maybe after dependent types? :D
2022-02-27 01:14:57 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2022-02-27 01:18:37 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 01:23:43 +0100 <Cale> The problem is, to the extent that it would really serve a purpose, it's a bit of a research project in and of itself. One of the major reasons you'd want a new Haskell Report is to be able to explain how all the various extensions people are using are meant to fit together and interact with one another. But this is only partly understood, and it's basically a research project that likely requires effort by some of
2022-02-27 01:23:43 +0100 <Cale> the busiest people to actually answer.
2022-02-27 01:24:13 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:3759:5214:cdd8:8e36)
2022-02-27 01:24:48 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-02-27 01:26:31 +0100 <geekosaur> not to mention that there's "meant to" vs. "actually do", which at this point probably nobody knows
2022-02-27 01:27:11 +0100Techcable(~Techcable@168.235.93.147)
2022-02-27 01:27:27 +0100 <Cale> Yeah!
2022-02-27 01:27:27 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 01:27:34 +0100 <APic> yay
2022-02-27 01:27:47 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-02-27 01:28:56 +0100 <Cale> If it's a matter of staring hard at GHC's source code and trying to describe what would happen, that's one thing, but you're going to be reporting on a bunch of stuff that might be considered bugs, and a lot of people think of the Report as a standard.
2022-02-27 01:30:14 +0100michalz(~michalz@185.246.204.87) (Remote host closed the connection)
2022-02-27 01:31:48 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 01:34:01 +0100Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving)
2022-02-27 01:35:41 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection)
2022-02-27 01:37:16 +0100alx741(~alx741@157.100.197.240)
2022-02-27 01:38:46 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 01:40:17 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 01:44:12 +0100`2jt(~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds)
2022-02-27 01:46:05 +0100mmhat(~mmh@55d4cbdc.access.ecotel.net) (Quit: WeeChat 3.4)
2022-02-27 01:49:02 +0100mvk(~mvk@2607:fea8:5cc3:7e00::8c21)
2022-02-27 01:52:14 +0100ec(~ec@gateway/tor-sasl/ec)
2022-02-27 01:55:49 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6)
2022-02-27 01:57:17 +0100alx741(~alx741@157.100.197.240)
2022-02-27 02:02:01 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 256 seconds)
2022-02-27 02:03:05 +0100 <Unicorn_Princess> who thought it would be clever to flip the argument order for foldl/foldr anyway?
2022-02-27 02:04:02 +0100 <ski> it's supposed to reflect the ordering in which the elements are combined
2022-02-27 02:04:09 +0100 <Unicorn_Princess> hence "clever"
2022-02-27 02:04:27 +0100 <ski> > foldr (+) z [a,b,c,d]
2022-02-27 02:04:29 +0100 <lambdabot> a + (b + (c + (d + z)))
2022-02-27 02:04:31 +0100 <ski> > foldl (**) z [a,b,c,d]
2022-02-27 02:04:33 +0100 <lambdabot> (((z**a)**b)**c)**d
2022-02-27 02:05:10 +0100 <Unicorn_Princess> ooh, lambdabot does symbolic calcs now?
2022-02-27 02:05:10 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 02:05:34 +0100 <Unicorn_Princess> that's pretty neat
2022-02-27 02:05:39 +0100 <geekosaur> has for a while. you can also do them in ghci, with
2022-02-27 02:05:44 +0100 <geekosaur> @hackage simple-reflect
2022-02-27 02:05:44 +0100 <lambdabot> https://hackage.haskell.org/package/simple-reflect
2022-02-27 02:05:46 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:3759:5214:cdd8:8e36) (Ping timeout: 245 seconds)
2022-02-27 02:06:29 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds)
2022-02-27 02:06:33 +0100off^(~off@50-202-219-146-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-02-27 02:07:55 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-27 02:08:11 +0100 <ski> SML has
2022-02-27 02:08:17 +0100 <ski> val foldr : ('a * 'r -> 'r) -> 'r -> 'a list -> 'r
2022-02-27 02:08:25 +0100 <ski> val foldl : ('a * 's -> 's) -> 's -> 'a list -> 's
2022-02-27 02:08:31 +0100 <ski> while OCaml has
2022-02-27 02:08:37 +0100 <ski> val fold_right : ('a -> 'r -> 'r) -> ('a list -> 'r -> 'r)
2022-02-27 02:08:38 +0100 <ski> val fold_left : ('s -> 'a -> 's) -> ('s -> 'a list -> 's)
2022-02-27 02:10:22 +0100 <ski> in the SML version, `foldr' and `foldl' has the same type. in the OCaml version, you can do e.g. `fold_right (fold_right f) z' or `(fold_right o fold_right) f z' (and ditto with `fold_left), to fold a list of lists
2022-02-27 02:10:48 +0100 <ski> (since the haskell `foldr' and `foldl' takes the list as the last argument, you can't do that there)
2022-02-27 02:10:51 +0100 <Unicorn_Princess> look i am here to complain, not learn
2022-02-27 02:10:53 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-02-27 02:10:59 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-02-27 02:11:58 +0100 <ski> (one could argue that the Haskell ones combine the worst of the other two)
2022-02-27 02:13:41 +0100xff0x(~xff0x@2001:1a81:5275:9000:6fcf:72fa:90c9:3b0d) (Ping timeout: 245 seconds)
2022-02-27 02:14:41 +0100xff0x(~xff0x@2001:1a81:5275:9000:7e1f:e9dd:90c3:100)
2022-02-27 02:16:22 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-27 02:16:22 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-27 02:16:22 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 02:17:00 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-02-27 02:21:25 +0100alx741(~alx741@157.100.197.240)
2022-02-27 02:23:03 +0100AlexNoo(~AlexNoo@94.233.240.108) (Read error: Connection reset by peer)
2022-02-27 02:23:25 +0100AlexNoo(~AlexNoo@94.233.240.108)
2022-02-27 02:24:39 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 02:25:24 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-02-27 02:26:33 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:26:47 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:26:55 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:27:09 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:27:11 +0100omantere(~pi@85-156-109-34.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2022-02-27 02:27:16 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:27:30 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:27:38 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:27:46 +0100omantere(~pi@85-156-109-34.elisa-laajakaista.fi)
2022-02-27 02:27:53 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:28:01 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:28:15 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:28:23 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:28:37 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:28:45 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:28:58 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:29:06 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:29:20 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:29:28 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:29:33 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-02-27 02:29:43 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:29:51 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:30:06 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:30:14 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:30:28 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:30:36 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:30:50 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:30:58 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:31:12 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:31:20 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:31:35 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:31:43 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:31:56 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:32:04 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:32:19 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 02:32:27 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 02:33:03 +0100Guest47(~Guest47@2601:182:4300:ad80:4469:39f:2fe1:2401)
2022-02-27 02:34:44 +0100Guest47(~Guest47@2601:182:4300:ad80:4469:39f:2fe1:2401) (Client Quit)
2022-02-27 02:40:21 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-02-27 02:41:26 +0100alx741(~alx741@157.100.197.240)
2022-02-27 02:45:43 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 02:51:57 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 02:55:34 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection)
2022-02-27 03:03:58 +0100alx741(~alx741@157.100.197.240)
2022-02-27 03:12:11 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 03:30:35 +0100alx741(~alx741@157.100.197.240)
2022-02-27 03:37:14 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection)
2022-02-27 03:37:27 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-02-27 03:39:17 +0100justAstache(~justache@user/justache) (Remote host closed the connection)
2022-02-27 03:39:25 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 03:39:37 +0100mvk(~mvk@2607:fea8:5cc3:7e00::8c21) (Ping timeout: 240 seconds)
2022-02-27 03:40:14 +0100justAstache(~justache@user/justache)
2022-02-27 03:42:52 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6)
2022-02-27 03:42:56 +0100alp(~alp@user/alp) (Ping timeout: 268 seconds)
2022-02-27 03:45:10 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-02-27 03:45:41 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-27 03:48:22 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 03:52:02 +0100xff0x(~xff0x@2001:1a81:5275:9000:7e1f:e9dd:90c3:100) (Ping timeout: 260 seconds)
2022-02-27 03:52:02 +0100 <systemfault> If you ever wanted to write an emulator in Haskell, would you use "IORef"s the CPU state or is there a better way to go?
2022-02-27 03:53:54 +0100xff0x(~xff0x@2001:1a81:5290:f100:db11:c908:8062:e9b4)
2022-02-27 03:55:37 +0100alx741(~alx741@157.100.197.240)
2022-02-27 03:58:37 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 04:07:17 +0100wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-02-27 04:07:39 +0100little_mac(~little_ma@2601:410:4300:3ce0:c06a:2206:8e98:4506) (Remote host closed the connection)
2022-02-27 04:09:03 +0100little_mac(~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e)
2022-02-27 04:09:15 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 04:13:12 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-02-27 04:13:12 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-02-27 04:13:12 +0100finn_elijaFinnElija
2022-02-27 04:17:01 +0100alx741(~alx741@157.100.197.240)
2022-02-27 04:17:31 +0100mason0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC)
2022-02-27 04:20:09 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 04:22:42 +0100td_(~td@94.134.91.30) (Ping timeout: 272 seconds)
2022-02-27 04:23:48 +0100td_(~td@muedsl-82-207-238-210.citykom.de)
2022-02-27 04:25:58 +0100jz99(~jz99@150.203.66.198)
2022-02-27 04:26:20 +0100jz99(~jz99@150.203.66.198) (Remote host closed the connection)
2022-02-27 04:29:37 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-27 04:29:57 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Client Quit)
2022-02-27 04:30:36 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-27 04:37:02 +0100alx741(~alx741@157.100.197.240)
2022-02-27 04:37:48 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-02-27 04:38:12 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-02-27 04:40:55 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 04:41:32 +0100alx741(~alx741@157.100.197.240)
2022-02-27 04:42:24 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 04:45:58 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 04:47:29 +0100Cena(~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-02-27 04:47:56 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Quit: leaving)
2022-02-27 04:50:00 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-27 04:50:00 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-27 04:50:00 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 04:54:52 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 04:56:31 +0100 <ski> systemfault : do you need multiple threads ?
2022-02-27 04:56:55 +0100 <systemfault> ski: I don't
2022-02-27 04:57:58 +0100 <ski> perhaps it'd be enough just to use `STRef', or maybe `State'/`StateT' ?
2022-02-27 04:59:24 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 05:00:44 +0100 <systemfault> I really want "actual mutations" for things like CPU registers so I wanted to avoid State(T), but STRef looks perfect
2022-02-27 05:00:59 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 05:01:04 +0100 <ski> for memory, perhaps you could use `STArray'
2022-02-27 05:01:10 +0100 <ski> (or `STUArray')
2022-02-27 05:01:27 +0100 <systemfault> U? Unboxed?
2022-02-27 05:01:31 +0100 <ski> yea
2022-02-27 05:01:52 +0100 <systemfault> Makes sense, thank you :)
2022-02-27 05:03:53 +0100alx741(~alx741@157.100.197.240)
2022-02-27 05:04:12 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-02-27 05:06:53 +0100 <ski> np
2022-02-27 05:11:16 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 05:18:12 +0100yuvi(~uv125@192.54.96.185) (Ping timeout: 240 seconds)
2022-02-27 05:24:56 +0100adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2022-02-27 05:25:10 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-02-27 05:25:56 +0100ddb(~ddb@ipv6two.tilde.club) (Quit: WeeChat 3.4)
2022-02-27 05:27:13 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 05:28:31 +0100komikat_(~komikat@183.82.154.152)
2022-02-27 05:28:35 +0100mcglk(~mcglk@131.191.49.120)
2022-02-27 05:29:05 +0100mcglk_(~mcglk@131.191.49.120) (Ping timeout: 256 seconds)
2022-02-27 05:29:22 +0100alx741(~alx741@157.100.197.240)
2022-02-27 05:30:47 +0100komikat(~komikat@183.82.154.239) (Ping timeout: 256 seconds)
2022-02-27 05:31:06 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-02-27 05:31:37 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 05:32:48 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 05:33:03 +0100mcglk(~mcglk@131.191.49.120) (Ping timeout: 256 seconds)
2022-02-27 05:33:08 +0100mcglk_(~mcglk@131.191.49.120)
2022-02-27 05:34:17 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2022-02-27 05:35:37 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-02-27 05:40:57 +0100mcglk_(~mcglk@131.191.49.120) (Ping timeout: 240 seconds)
2022-02-27 05:41:55 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 05:43:47 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-27 05:45:20 +0100deadmarshal(~deadmarsh@95.38.228.84)
2022-02-27 05:51:13 +0100alx741(~alx741@181.199.42.143)
2022-02-27 05:55:28 +0100sleblanc(~sleblanc@user/sleblanc)
2022-02-27 05:55:57 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 06:02:32 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 06:06:57 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 06:12:38 +0100alx741(~alx741@181.199.42.143)
2022-02-27 06:16:18 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 06:17:28 +0100mcglk(~mcglk@131.191.49.120)
2022-02-27 06:18:57 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-02-27 06:25:35 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-02-27 06:31:56 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-02-27 06:33:05 +0100alx741(~alx741@157.100.197.240)
2022-02-27 06:34:58 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 06:37:06 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 06:40:45 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-02-27 06:47:25 +0100Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-02-27 06:48:25 +0100deadmarshal(~deadmarsh@95.38.228.84) (Ping timeout: 256 seconds)
2022-02-27 06:49:03 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-02-27 06:50:05 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 06:55:36 +0100alx741(~alx741@181.199.42.143)
2022-02-27 07:00:02 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 07:09:41 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-27 07:10:19 +0100komikat_(~komikat@183.82.154.152) (Remote host closed the connection)
2022-02-27 07:10:31 +0100komikat(~komikat@183.82.154.152)
2022-02-27 07:10:43 +0100 <gentauro> I'm trying to figure out `sequenceA` and it seems that I go in some self referencing `meh`. Apparently `sequenceA` is based on `traverse` and `traverse` is based on `sequenceA` … https://hackage.haskell.org/package/base-4.16.0.0/docs/src/Data.Traversable.html#sequenceA and https://hackage.haskell.org/package/base-4.16.0.0/docs/src/Data.Traversable.html#traverse
2022-02-27 07:13:26 +0100 <c_wraith> traverse = fmap + sequenceA
2022-02-27 07:14:05 +0100 <c_wraith> Instances of Traversable have to be instances of Functor, so you get to implement either traverse or sequenceA and get the other for free
2022-02-27 07:14:42 +0100 <ski> mutually recursive default implementations
2022-02-27 07:15:04 +0100 <ski> same deal as with `(==)' and `(/=)', for `Eq'
2022-02-27 07:15:12 +0100 <c_wraith> That's the important part - they both belong to Traversable. You need to define one of them in your instance.
2022-02-27 07:15:18 +0100 <c_wraith> (or both, if you want)
2022-02-27 07:15:40 +0100 <c_wraith> So there really isn't a generic implementation. They're all type-specific
2022-02-27 07:15:59 +0100 <ski> {-# MINIMAL traverse | sequenceA #-} -- minimal complete definition requires one of these
2022-02-27 07:16:31 +0100Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-02-27 07:17:01 +0100alx741(~alx741@181.199.42.143)
2022-02-27 07:17:49 +0100phma(~phma@host-67-44-208-8.hnremote.net) (Read error: Connection reset by peer)
2022-02-27 07:18:44 +0100phma(phma@2001:5b0:211b:a778:8216:9331:d066:4cc5)
2022-02-27 07:20:07 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 07:21:29 +0100deadmarshal(~deadmarsh@95.38.228.84)
2022-02-27 07:22:09 +0100dolio(~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 07:28:25 +0100dolio(~dolio@130.44.130.54)
2022-02-27 07:29:49 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 07:31:00 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-27 07:31:59 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 07:32:10 +0100yuvi(~uv125@192.54.96.185)
2022-02-27 07:34:33 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 07:35:36 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-02-27 07:36:35 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 256 seconds)
2022-02-27 07:37:09 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
2022-02-27 07:37:32 +0100alx741(~alx741@157.100.197.240)
2022-02-27 07:38:08 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 07:38:11 +0100img(~img@user/img)
2022-02-27 07:38:37 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 07:39:04 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2022-02-27 07:39:23 +0100kmein(~weechat@user/kmein)
2022-02-27 07:40:25 +0100cynomys(~cynomys@user/cynomys)
2022-02-27 07:40:59 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 07:42:08 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-02-27 07:42:36 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-27 07:48:43 +0100analognoise(~analognoi@ip98-176-154-48.sd.sd.cox.net)
2022-02-27 07:57:45 +0100alx741(~alx741@181.199.42.143)
2022-02-27 07:58:25 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-02-27 07:59:10 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-02-27 08:01:10 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 08:02:49 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-02-27 08:07:09 +0100alMalsam1(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-02-27 08:08:32 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 08:08:47 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-27 08:13:00 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 08:16:38 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 08:18:12 +0100alx741(~alx741@157.100.197.240)
2022-02-27 08:19:50 +0100fef(~thedawn@user/thedawn)
2022-02-27 08:21:35 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 08:28:05 +0100img(~img@user/img)
2022-02-27 08:29:50 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-02-27 08:32:40 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-02-27 08:36:35 +0100little_mac_(~little_ma@c-24-127-188-93.hsd1.mi.comcast.net)
2022-02-27 08:37:16 +0100little_mac_(~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) (Client Quit)
2022-02-27 08:38:33 +0100little_mac_(~little_ma@c-24-127-188-93.hsd1.mi.comcast.net)
2022-02-27 08:38:37 +0100little_mac(~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) (Ping timeout: 240 seconds)
2022-02-27 08:39:37 +0100alx741(~alx741@157.100.197.240)
2022-02-27 08:43:22 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-02-27 08:43:22 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 08:44:02 +0100vorpuni(~pvorp@2001:861:3881:c690:fccd:4785:fec8:6e0c)
2022-02-27 08:45:50 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 08:46:37 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 256 seconds)
2022-02-27 08:47:57 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2022-02-27 08:50:17 +0100komikat(~komikat@183.82.154.152) (Remote host closed the connection)
2022-02-27 08:50:39 +0100komikat(~komikat@183.82.154.152)
2022-02-27 08:51:52 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 272 seconds)
2022-02-27 08:53:53 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 09:01:14 +0100alx741(~alx741@181.199.42.143)
2022-02-27 09:04:02 +0100_xor(~xor@dsl-50-5-233-169.fuse.net)
2022-02-27 09:05:39 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 09:09:45 +0100yauhsien_(~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 09:10:45 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 09:10:52 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4)
2022-02-27 09:11:54 +0100srk(~sorki@user/srk) (Remote host closed the connection)
2022-02-27 09:12:11 +0100srk(~sorki@user/srk)
2022-02-27 09:12:55 +0100yauhsienhuangtw(~Yau-Hsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-27 09:19:31 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 09:20:35 +0100yuvi(~uv125@192.54.96.185) (Ping timeout: 256 seconds)
2022-02-27 09:22:22 +0100little_mac(~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e)
2022-02-27 09:23:08 +0100little_mac(~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) (Client Quit)
2022-02-27 09:23:46 +0100little_mac(~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e)
2022-02-27 09:23:57 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 09:24:18 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 09:25:26 +0100little_mac_(~little_ma@c-24-127-188-93.hsd1.mi.comcast.net) (Ping timeout: 272 seconds)
2022-02-27 09:27:36 +0100alx741(~alx741@157.100.197.240)
2022-02-27 09:27:53 +0100little_mac(~little_ma@2601:410:4300:3ce0:2d88:c0d2:c5af:c01e) (Client Quit)
2022-02-27 09:28:36 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-27 09:29:05 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 256 seconds)
2022-02-27 09:32:21 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 09:40:39 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-02-27 09:44:32 +0100agumonkey(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
2022-02-27 09:45:42 +0100cynomys(~cynomys@user/cynomys)
2022-02-27 09:50:09 +0100alx741(~alx741@157.100.197.240)
2022-02-27 09:51:18 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-02-27 09:53:00 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 09:53:41 +0100jakalx(~jakalx@base.jakalx.net)
2022-02-27 10:00:13 +0100soft(~soft@2001:470:69fc:105::c75) (Quit: You have been kicked for being idle)
2022-02-27 10:00:13 +0100benjamin[m]123(~benjaminm@2001:470:69fc:105::1:3f2f) (Quit: You have been kicked for being idle)
2022-02-27 10:00:22 +0100alp(~alp@user/alp)
2022-02-27 10:00:28 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 10:01:42 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection)
2022-02-27 10:02:00 +0100analognoise(~analognoi@ip98-176-154-48.sd.sd.cox.net) (Quit: Leaving)
2022-02-27 10:02:20 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 10:04:40 +0100Akiva(~Akiva@user/Akiva)
2022-02-27 10:05:47 +0100random-jellyfish(~random-je@user/random-jellyfish)
2022-02-27 10:09:16 +0100alx741(~alx741@157.100.197.240)
2022-02-27 10:13:18 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 10:13:25 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-27 10:15:36 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-02-27 10:15:57 +0100xff0x(~xff0x@2001:1a81:5290:f100:db11:c908:8062:e9b4) (Ping timeout: 240 seconds)
2022-02-27 10:16:26 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 10:16:34 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-02-27 10:17:05 +0100xff0x(~xff0x@2001:1a81:5290:f100:89ec:887a:1b64:e62f)
2022-02-27 10:25:08 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 10:30:23 +0100mbuf(~Shakthi@122.162.139.196)
2022-02-27 10:33:37 +0100alx741(~alx741@157.100.197.240)
2022-02-27 10:35:48 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 240 seconds)
2022-02-27 10:36:52 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 10:43:00 +0100alp(~alp@user/alp) (Ping timeout: 240 seconds)
2022-02-27 10:43:34 +0100img(~img@user/img)
2022-02-27 10:44:04 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 10:48:16 +0100fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-02-27 10:48:26 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2022-02-27 10:51:46 +0100phma(phma@2001:5b0:211b:a778:8216:9331:d066:4cc5) (Read error: Connection reset by peer)
2022-02-27 10:52:27 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:a707:a23c:188e:f142)
2022-02-27 10:53:25 +0100phma(phma@2001:5b0:211c:1ab8:fe78:9588:6bf8:c889)
2022-02-27 10:53:52 +0100alx741(~alx741@181.199.42.143)
2022-02-27 10:56:58 +0100notzmv(~zmv@user/notzmv)
2022-02-27 10:58:00 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 10:58:24 +0100jespada(~jespada@148.252.133.30)
2022-02-27 11:00:06 +0100cynomys(~cynomys@user/cynomys) (Quit: Lost terminal)
2022-02-27 11:02:06 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6)
2022-02-27 11:03:51 +0100jespada(~jespada@148.252.133.30) (Read error: Connection reset by peer)
2022-02-27 11:04:36 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-27 11:05:58 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-27 11:06:10 +0100fendor(~fendor@178.165.185.73.wireless.dyn.drei.com)
2022-02-27 11:06:16 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-27 11:06:17 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds)
2022-02-27 11:08:08 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 11:08:16 +0100cynomys(~cynomys@user/cynomys)
2022-02-27 11:09:28 +0100fef(~thedawn@user/thedawn)
2022-02-27 11:09:43 +0100mmhat(~mmh@55d4782f.access.ecotel.net)
2022-02-27 11:10:43 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 11:12:14 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-02-27 11:12:35 +0100dextaa_(~dextaa@user/dextaa) (Read error: Connection reset by peer)
2022-02-27 11:12:57 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 11:14:12 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-02-27 11:14:50 +0100dextaa_(~dextaa@user/dextaa)
2022-02-27 11:15:15 +0100alx741(~alx741@157.100.197.240)
2022-02-27 11:18:54 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 11:22:37 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 272 seconds)
2022-02-27 11:24:20 +0100`2jt(~jtomas@210.red-88-24-179.staticip.rima-tde.net)
2022-02-27 11:27:23 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-02-27 11:33:43 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-02-27 11:36:52 +0100alx741(~alx741@157.100.197.240)
2022-02-27 11:38:24 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 11:39:55 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 11:48:56 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:a707:a23c:188e:f142) (Ping timeout: 252 seconds)
2022-02-27 11:53:37 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 11:54:31 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-02-27 11:57:08 +0100alx741(~alx741@157.100.197.240)
2022-02-27 11:57:23 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 12:00:37 +0100thebnq(~bnq@66-37-19-52.phx.onelemur.com) (Ping timeout: 272 seconds)
2022-02-27 12:00:37 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 12:01:32 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-02-27 12:02:25 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-02-27 12:02:52 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-02-27 12:09:29 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2022-02-27 12:09:49 +0100bendo(~bendo@95.91.235.187)
2022-02-27 12:10:07 +0100Guest66(~Guest66@vmi275462.contaboserver.net)
2022-02-27 12:10:27 +0100 <Guest66> Hi guys - has a simple pattern matching question
2022-02-27 12:10:35 +0100 <Guest66> is this the right place to ask?
2022-02-27 12:10:47 +0100 <tomsmeding> sure :)
2022-02-27 12:12:26 +0100thebnq(~bnq@66-37-19-52.phx.onelemur.com)
2022-02-27 12:12:33 +0100 <Guest66> How do i pattern match a list with a single element? I've seen some people use simply [x] but how does the compiler know that x is an instance of a single element and not a list in itself
2022-02-27 12:12:53 +0100 <tomsmeding> does it matter that x is itself not a list?
2022-02-27 12:13:59 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-27 12:14:03 +0100 <Guest66> what confuses me is that x is just the convention isn't it? how would the compiler differentiate between [x] and [xs] ? I believe both are just placeholders
2022-02-27 12:14:10 +0100 <Guest66> Or I maybe wrong
2022-02-27 12:14:18 +0100 <tomsmeding> yes there is no difference, x or xs is just a variable name
2022-02-27 12:14:34 +0100 <tomsmeding> % f1 :: Show a => [a] -> String ; f [guest66favourite] = "yep, only one: " ++ show guest66favourite ; f _ = "nope, not precisely one"
2022-02-27 12:14:34 +0100 <yahb> tomsmeding: ; <interactive>:4:1: error:; The type signature for `f1' lacks an accompanying binding; Perhaps you meant `f' (Defined at <interactive>:4:33)
2022-02-27 12:14:41 +0100 <tomsmeding> % f1 :: Show a => [a] -> String ; f1 [guest66favourite] = "yep, only one: " ++ show guest66favourite ; f1 _ = "nope, not precisely one"
2022-02-27 12:14:42 +0100 <yahb> tomsmeding:
2022-02-27 12:14:46 +0100 <tomsmeding> f1 [42]
2022-02-27 12:14:51 +0100 <tomsmeding> % f1 [42]
2022-02-27 12:14:51 +0100 <yahb> tomsmeding: "yep, only one: 42"
2022-02-27 12:14:57 +0100 <tomsmeding> % f1 [1,2,3]
2022-02-27 12:14:57 +0100 <yahb> tomsmeding: "nope, not precisely one"
2022-02-27 12:14:59 +0100 <tomsmeding> % f1 []
2022-02-27 12:14:59 +0100 <yahb> tomsmeding: "nope, not precisely one"
2022-02-27 12:15:11 +0100 <tomsmeding> (sorry for messing up a bit)
2022-02-27 12:15:50 +0100 <Guest66> Ok - so I was basically trying to solve for a function recursively that picks the last element of a list.
2022-02-27 12:15:51 +0100 <Guest66> the way I defined it was this
2022-02-27 12:15:51 +0100 <Guest66> lst :: [a] -> a
2022-02-27 12:15:52 +0100 <Guest66> lst (x:xs) | null xs = x
2022-02-27 12:15:52 +0100 <Guest66>            | otherwise = lst xs
2022-02-27 12:16:04 +0100 <Guest66> is this the correct way? Or is there a "better way" ?
2022-02-27 12:16:23 +0100 <tomsmeding> well it's _correct_ for sure, but I think it can be written slightly more neatly
2022-02-27 12:16:45 +0100 <tomsmeding> % lst :: [a] -> a ; lst [x] = x ; lst (_:xs) = lst xs ; lst [] = error "lst on empty list"
2022-02-27 12:16:45 +0100 <yahb> tomsmeding:
2022-02-27 12:16:50 +0100 <Guest66> please tell me how. This is what got me thinking about matching a single element list
2022-02-27 12:16:53 +0100 <tomsmeding> (read a newline in place of the ; )
2022-02-27 12:17:17 +0100thebnq(~bnq@66-37-19-52.phx.onelemur.com) (Ping timeout: 240 seconds)
2022-02-27 12:17:25 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 12:17:28 +0100 <tomsmeding> the first case ("lst [x] = x") only matches if the input list has precisely one element, and if so, returns that element
2022-02-27 12:17:51 +0100fendor_(~fendor@77.119.171.203.wireless.dyn.drei.com)
2022-02-27 12:18:06 +0100 <tomsmeding> if the input list doesn't have precisely one element, but if it does match "_:xs" (where "xs" is of course an arbitrary name), then it's nonempty, and thus of length >=2; we recurse
2022-02-27 12:18:26 +0100 <Guest66> ah ok so [x]  is the idiomatic way of pattern checking for a single element?
2022-02-27 12:18:38 +0100 <tomsmeding> otherwise, the argument must be empty, in which case we error (you omitted this case, which basically means the same thing, except the error you get is "nonexhaustive pattern" instead of my custom string)
2022-02-27 12:18:43 +0100 <tomsmeding> yeah
2022-02-27 12:18:46 +0100alx741(~alx741@181.199.42.143)
2022-02-27 12:19:42 +0100 <Guest66> ok, thanks - yes, omitted the error, just getting started with solving problems from the Hutton book
2022-02-27 12:20:15 +0100fendor(~fendor@178.165.185.73.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2022-02-27 12:20:26 +0100 <tomsmeding> some general rules of thumb in haskell: 1. if you're using head/tail, you should probably have pattern-matched somewhere. 2. if you're using null, then there's a good chance you should have pattern-matched somewhere: by pattern-matching, you get _proof_ that the argument is indeed of that form, meaning that in the alternative case you _know_ it's non-empty without the compiler complaining
2022-02-27 12:21:21 +0100 <tomsmeding> in your case neither of these is really a problem -- which is why they're called rules of thumb, not laws -- but still, if you can replace head/tail/null with pattern matching, it's usually nicer
2022-02-27 12:21:41 +0100 <Guest66> hmm that's helpful to know, hope i remember, a little too much for me to grasp
2022-02-27 12:21:48 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-02-27 12:22:06 +0100__monty__(~toonn@user/toonn)
2022-02-27 12:22:32 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 12:22:44 +0100thebnq(~bnq@66-37-19-52.phx.onelemur.com)
2022-02-27 12:23:14 +0100alx741(~alx741@181.199.42.143)
2022-02-27 12:24:02 +0100 <tomsmeding> I guess an example is this: suppose you write "sum' l = if null l then 0 else head l + sum' (tail l)". Perfectly working function that computes the sum of a list.
2022-02-27 12:24:35 +0100 <tomsmeding> but it's easy to accidentally switch the branches around: "sum' l = if null l then head l + sum' (tail l) else l"
2022-02-27 12:24:43 +0100 <tomsmeding> and the compiler will not warn you
2022-02-27 12:24:52 +0100 <tomsmeding> (but it will completely fail at runtime)
2022-02-27 12:25:21 +0100 <tomsmeding> however, if you wrote the function like this: "sum' [] = 0 ; sum' (x:xs) = x + sum' xs", then not only is it shorter, you also can't make a mistake:
2022-02-27 12:25:55 +0100 <tomsmeding> if you accidentally write "sum' [] = x + sum' xs ; sum (x:xs) = 0", then, well, you won't make that mistake because it looks stupid, but also you can't because the compiler will of course complain that x and xs are out of scope :)
2022-02-27 12:26:19 +0100 <tomsmeding> Guest66: does that help?
2022-02-27 12:26:55 +0100 <Guest66> somewhat
2022-02-27 12:26:56 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 12:27:27 +0100 <Guest66> thanks a ton tomsmeding - you're awesome. I think I should join this chat and talk more while I try to learn
2022-02-27 12:27:34 +0100 <tomsmeding> :)
2022-02-27 12:27:39 +0100 <tomsmeding> good luck!
2022-02-27 12:27:52 +0100 <Rembane> Guest66: This chat is very good for learning by osmosis imo.
2022-02-27 12:28:36 +0100 <Guest66> Rembane yes, I realised just now. otherwise it seemed like I was the only person on the planet trying to learn this language :)
2022-02-27 12:29:30 +0100 <Guest66> btw are there notebook environments for haskell? like for python that makes prototyping/sharing code easier
2022-02-27 12:29:43 +0100 <Rembane> Guest66: There's a variant of Jupyter notebooks but for Haskell
2022-02-27 12:29:54 +0100 <Rembane> Guest66: I haven't used it in years though.
2022-02-27 12:30:17 +0100 <Rembane> Guest66: https://github.com/gibiansky/IHaskell <- this one
2022-02-27 12:30:26 +0100 <Guest66> Oh ok. Yes, that's why I asked because I am under the impression that people stop working on such projects
2022-02-27 12:30:41 +0100 <Guest66> cool, thanks
2022-02-27 12:31:23 +0100ccntrq(~Thunderbi@2a01:e34:eccb:b060:e7a0:e139:e720:60eb)
2022-02-27 12:31:24 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-27 12:32:07 +0100 <Guest66> how easy/difficult is it to built websites? using haskell on the backend.
2022-02-27 12:32:34 +0100shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-02-27 12:33:42 +0100Midjak(~Midjak@82.66.147.146)
2022-02-27 12:33:57 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-02-27 12:34:15 +0100 <c_wraith> if you know how http servers work and how haskell works, it's quite easy to use any of a large number of libraries or frameworks to do that
2022-02-27 12:34:18 +0100__monty__(~toonn@user/toonn)
2022-02-27 12:34:26 +0100 <c_wraith> I don't think any of them really teach you http or haskell, though
2022-02-27 12:35:52 +0100 <bendo> Hi guys, I would like to write simple library for streamdeck (usb keyboard device) using hidapi library
2022-02-27 12:35:56 +0100 <Guest66> hmm so kind of uphill
2022-02-27 12:36:41 +0100 <bendo> just little be woried if I can screw up my hardware some way
2022-02-27 12:37:35 +0100 <bendo> or it is totaly safe to communicate with usb device
2022-02-27 12:38:33 +0100coot(~coot@213.134.190.95)
2022-02-27 12:38:40 +0100 <bendo> or is there some way to simulate streamdeck (usb device) and write against it?
2022-02-27 12:39:48 +0100amazigh(~amirouche@user/amirouche)
2022-02-27 12:41:48 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-02-27 12:43:33 +0100alx741(~alx741@157.100.197.240)
2022-02-27 12:46:26 +0100alp(~alp@user/alp)
2022-02-27 12:46:27 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 12:51:47 +0100worldhelloworld(uid543174@id-543174.helmsley.irccloud.com)
2022-02-27 12:52:09 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5)
2022-02-27 12:52:13 +0100 <worldhelloworld> Joined :)
2022-02-27 12:52:42 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-02-27 12:52:50 +0100 <worldhelloworld> Any opinions on Programming in Haskell by Graham Hutton 2nd Edition?
2022-02-27 12:53:33 +0100 <worldhelloworld> Trying to solve first few chapters. Hope it will hold me in good stead
2022-02-27 12:54:55 +0100 <geekosaur> it's a good book
2022-02-27 12:55:59 +0100 <bendo> yes, it is good book
2022-02-27 12:56:57 +0100 <bendo> A Type of Programming by Renzo Carbonara is also nice book for evening reading :)
2022-02-27 12:57:19 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2022-02-27 12:57:20 +0100 <worldhelloworld> Great. Hoping solving exercises from Hutton will get me to a proficient level.
2022-02-27 12:57:47 +0100 <worldhelloworld> @bendo: hope it isn't too long.
2022-02-27 12:57:48 +0100 <lambdabot> Unknown command, try @list
2022-02-27 12:59:08 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-02-27 12:59:37 +0100coot(~coot@213.134.190.95)
2022-02-27 13:00:52 +0100 <bendo> I think is good to read more books. Every has different approach, or concentrate on diffrent things.
2022-02-27 13:01:40 +0100 <worldhelloworld> Definitely agree, just asking from a time optimization perspective. Have little and don't want to spread myself too thin.
2022-02-27 13:01:47 +0100 <zero> 1`
2022-02-27 13:01:57 +0100 <worldhelloworld> What would be your best recommendation in that case?
2022-02-27 13:02:40 +0100alx741(~alx741@157.100.197.240)
2022-02-27 13:03:41 +0100 <bendo> if you don't have time. you can quickly check http://learnyouahaskell.com/chapters but it will maybe not explain some principles.
2022-02-27 13:04:16 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6)
2022-02-27 13:06:17 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 13:06:23 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-02-27 13:06:43 +0100 <bendo> and maybe also check this lectures: https://www.cis.upenn.edu/~cis194/spring13/lectures.html
2022-02-27 13:07:23 +0100 <bendo> if you have a lot of time then go with A Type of Programming, it's really nice book
2022-02-27 13:08:24 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-02-27 13:08:46 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 260 seconds)
2022-02-27 13:11:04 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 13:13:49 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2022-02-27 13:15:29 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-02-27 13:16:01 +0100Guest66(~Guest66@vmi275462.contaboserver.net) (Ping timeout: 256 seconds)
2022-02-27 13:16:44 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d)
2022-02-27 13:18:17 +0100Techcable(~Techcable@168.235.93.147) (Ping timeout: 256 seconds)
2022-02-27 13:20:11 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 13:20:18 +0100 <__monty__> The Hutton book is often recommended, LYAH isn't much more than a shallow introductionto FP.
2022-02-27 13:21:32 +0100 <__monty__> The lectures are also commonly recommended, specifically when Brent Yorgey taught them.
2022-02-27 13:22:41 +0100alx741(~alx741@157.100.197.240)
2022-02-27 13:23:28 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection)
2022-02-27 13:24:24 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:49ae:fb0b:ec42:2df8)
2022-02-27 13:25:21 +0100mmhat(~mmh@55d4782f.access.ecotel.net) (Quit: WeeChat 3.4)
2022-02-27 13:26:21 +0100alp(~alp@user/alp) (Ping timeout: 250 seconds)
2022-02-27 13:26:56 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-02-27 13:28:08 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d)
2022-02-27 13:29:05 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-27 13:29:45 +0100 <worldhelloworld> Thanks. Will definitely try to take a look at which is more suitable
2022-02-27 13:29:55 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 13:30:32 +0100komikat(~komikat@183.82.154.152) (Remote host closed the connection)
2022-02-27 13:31:24 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2022-02-27 13:31:25 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 13:31:38 +0100komikat(~komikat@183.82.154.152)
2022-02-27 13:33:21 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection)
2022-02-27 13:37:48 +0100rtsn(~nstr@user/rtsn) (Ping timeout: 240 seconds)
2022-02-27 13:39:54 +0100rtsn(~nstr@h-155-4-221-229.NA.cust.bahnhof.se)
2022-02-27 13:40:57 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
2022-02-27 13:44:00 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-02-27 13:45:05 +0100rtsn(~nstr@h-155-4-221-229.NA.cust.bahnhof.se) (Changing host)
2022-02-27 13:45:05 +0100rtsn(~nstr@user/rtsn)
2022-02-27 13:46:00 +0100komikat(~komikat@183.82.154.152) (Remote host closed the connection)
2022-02-27 13:46:02 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-02-27 13:48:20 +0100komikat(~komikat@183.82.154.152)
2022-02-27 13:49:19 +0100alx741(~alx741@157.100.197.240)
2022-02-27 13:50:07 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-02-27 13:50:27 +0100komikat(~komikat@183.82.154.152) (Remote host closed the connection)
2022-02-27 13:50:39 +0100polezaivsani(~polezaivs@orangeshoelaces.net)
2022-02-27 13:50:49 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d)
2022-02-27 13:52:34 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 13:53:21 +0100komikat(~komikat@183.82.154.152)
2022-02-27 13:55:41 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 13:56:00 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 14:00:15 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-02-27 14:00:24 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 250 seconds)
2022-02-27 14:00:42 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-27 14:01:28 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 14:04:56 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:49ae:fb0b:ec42:2df8) (Ping timeout: 245 seconds)
2022-02-27 14:06:27 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-27 14:07:19 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 256 seconds)
2022-02-27 14:12:25 +0100deadmarshal_(~deadmarsh@95.38.115.158)
2022-02-27 14:13:24 +0100deadmarshal(~deadmarsh@95.38.228.84) (Ping timeout: 240 seconds)
2022-02-27 14:14:08 +0100alx741(~alx741@181.199.42.143)
2022-02-27 14:16:05 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 256 seconds)
2022-02-27 14:16:56 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 14:17:36 +0100alx741(~alx741@157.100.197.240)
2022-02-27 14:20:27 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection)
2022-02-27 14:20:40 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 14:21:45 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-02-27 14:22:58 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-02-27 14:33:25 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-27 14:33:48 +0100Vajb(~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314)
2022-02-27 14:37:47 +0100alx741(~alx741@157.100.197.240)
2022-02-27 14:40:24 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-02-27 14:40:24 +0100fef(~thedawn@user/thedawn) (Remote host closed the connection)
2022-02-27 14:40:39 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-02-27 14:40:54 +0100fef(~thedawn@user/thedawn)
2022-02-27 14:41:15 +0100fef(~thedawn@user/thedawn) (Client Quit)
2022-02-27 14:41:16 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 14:42:37 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-02-27 14:45:48 +0100bendo(~bendo@95.91.235.187) (Quit: leaving)
2022-02-27 14:48:05 +0100quintasan(~quassel@quintasan.pl) ()
2022-02-27 14:48:38 +0100quintasan(~quassel@quintasan.pl)
2022-02-27 14:49:30 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 14:52:15 +0100sleblanc(~sleblanc@user/sleblanc) (Read error: Connection reset by peer)
2022-02-27 14:53:32 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-02-27 14:55:40 +0100bendo(~bendo@ip5f5bebbb.dynamic.kabel-deutschland.de)
2022-02-27 14:57:37 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 14:57:48 +0100alx741(~alx741@157.100.197.240)
2022-02-27 14:59:42 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-02-27 15:00:13 +0100tafa(~tafa@user/tafa) (Quit: ZNC - https://znc.in)
2022-02-27 15:01:38 +0100tafa(~tafa@user/tafa)
2022-02-27 15:01:38 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 15:05:27 +0100machinedgod(~machinedg@24.105.81.50)
2022-02-27 15:06:03 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-02-27 15:06:04 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-02-27 15:10:21 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2022-02-27 15:12:12 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds)
2022-02-27 15:12:35 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-02-27 15:16:13 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-02-27 15:16:34 +0100fef(~thedawn@user/thedawn)
2022-02-27 15:16:39 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-02-27 15:18:04 +0100alx741(~alx741@157.100.197.240)
2022-02-27 15:19:34 +0100random-jellyfish(~random-je@user/random-jellyfish) (Ping timeout: 256 seconds)
2022-02-27 15:22:43 +0100Vajb(~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer)
2022-02-27 15:22:56 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-27 15:24:38 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 15:24:38 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 15:27:17 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-02-27 15:27:36 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:b7c9:3428:caec:95b3)
2022-02-27 15:29:45 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-27 15:32:07 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 15:36:37 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 15:41:15 +0100alx741(~alx741@157.100.197.240)
2022-02-27 15:42:38 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-02-27 15:42:47 +0100deadmarshal_(~deadmarsh@95.38.115.158) (Ping timeout: 256 seconds)
2022-02-27 15:43:48 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 15:46:36 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 15:46:56 +0100fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-02-27 15:49:49 +0100son0p(~ff@181.136.122.143)
2022-02-27 15:50:13 +0100sofviic[m](~sofviicma@2001:470:69fc:105::1:51fd)
2022-02-27 15:50:15 +0100lbseale_(~ep1ctetus@user/ep1ctetus)
2022-02-27 15:53:23 +0100lbseale__(~ep1ctetus@user/ep1ctetus)
2022-02-27 15:53:31 +0100lbseale__(~ep1ctetus@user/ep1ctetus) (Client Quit)
2022-02-27 15:53:53 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Ping timeout: 256 seconds)
2022-02-27 15:54:21 +0100komikat(~komikat@183.82.154.152) (Remote host closed the connection)
2022-02-27 15:56:35 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 15:56:43 +0100 <juri_> CAF is a menace in my call graphs. that is all.
2022-02-27 15:57:23 +0100lbseale_(~ep1ctetus@user/ep1ctetus) (Ping timeout: 268 seconds)
2022-02-27 15:59:07 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2022-02-27 15:59:16 +0100komikat(~komikat@183.82.154.152)
2022-02-27 15:59:44 +0100fef(~thedawn@user/thedawn)
2022-02-27 16:00:37 +0100alx741(~alx741@157.100.197.240)
2022-02-27 16:00:42 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 16:03:20 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 16:06:41 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 16:08:34 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 16:08:54 +0100 <hpc> juri_: you'd think you were writing coffeescript with how CAFinated your code is?
2022-02-27 16:11:16 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 250 seconds)
2022-02-27 16:11:36 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2022-02-27 16:13:05 +0100Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-02-27 16:14:49 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 256 seconds)
2022-02-27 16:15:59 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-27 16:17:01 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:b7c9:3428:caec:95b3) (Ping timeout: 240 seconds)
2022-02-27 16:19:41 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 16:19:44 +0100alx741(~alx741@157.100.197.240)
2022-02-27 16:20:24 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-27 16:20:24 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Client Quit)
2022-02-27 16:21:43 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2022-02-27 16:22:32 +0100kaph_(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-02-27 16:22:36 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 16:22:42 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-02-27 16:23:30 +0100kaph_(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Remote host closed the connection)
2022-02-27 16:23:46 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-02-27 16:33:08 +0100komikat_(~komikat@183.82.153.11)
2022-02-27 16:33:47 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 16:34:55 +0100komikat(~komikat@183.82.154.152) (Ping timeout: 256 seconds)
2022-02-27 16:37:50 +0100neurocyte0917090(~neurocyte@IP-185238252134.dynamic.medianet-world.de)
2022-02-27 16:37:50 +0100neurocyte0917090(~neurocyte@IP-185238252134.dynamic.medianet-world.de) (Changing host)
2022-02-27 16:37:50 +0100neurocyte0917090(~neurocyte@user/neurocyte)
2022-02-27 16:39:36 +0100komikat(~komikat@183.82.153.11)
2022-02-27 16:40:16 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 16:40:25 +0100alx741(~alx741@157.100.197.240)
2022-02-27 16:40:36 +0100jonathanx__(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2022-02-27 16:40:44 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.4)
2022-02-27 16:40:56 +0100jonathanx__(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-02-27 16:41:11 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-02-27 16:41:28 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 16:42:51 +0100komikat_(~komikat@183.82.153.11) (Ping timeout: 256 seconds)
2022-02-27 16:43:48 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2022-02-27 16:43:48 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 16:45:37 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 16:49:29 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2022-02-27 16:51:30 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2022-02-27 16:53:16 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-02-27 16:54:43 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-02-27 16:56:21 +0100Franciman(~Franciman@mx1.fracta.dev) (Remote host closed the connection)
2022-02-27 17:00:08 +0100aidy(~aidy@2001:470:69fc:105::c7b4) (Quit: You have been kicked for being idle)
2022-02-27 17:00:23 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-02-27 17:02:03 +0100alx741(~alx741@157.100.197.240)
2022-02-27 17:04:12 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-02-27 17:04:31 +0100dsrt^(~dsrt@50-202-219-146-static.hfc.comcastbusiness.net)
2022-02-27 17:05:19 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 17:05:28 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 17:07:31 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6)
2022-02-27 17:11:48 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Ping timeout: 240 seconds)
2022-02-27 17:12:29 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6)
2022-02-27 17:12:40 +0100razetime(~quassel@117.254.34.170)
2022-02-27 17:16:32 +0100mbuf(~Shakthi@122.162.139.196) (Quit: Leaving)
2022-02-27 17:17:09 +0100Franciman(~Franciman@mx1.fracta.dev)
2022-02-27 17:22:18 +0100alx741(~alx741@157.100.197.240)
2022-02-27 17:22:23 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 17:25:33 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 17:25:48 +0100wombat875(~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net)
2022-02-27 17:25:52 +0100xkuru(~xkuru@user/xkuru)
2022-02-27 17:26:12 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-27 17:26:26 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-27 17:28:02 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-27 17:29:36 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-02-27 17:30:57 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-02-27 17:31:38 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-02-27 17:37:51 +0100econo(uid147250@user/econo)
2022-02-27 17:37:57 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-02-27 17:38:39 +0100coot(~coot@213.134.190.95)
2022-02-27 17:39:29 +0100Tisoxin(~ikosit@user/ikosit) ()
2022-02-27 17:42:08 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-27 17:42:33 +0100alx741(~alx741@157.100.197.240)
2022-02-27 17:42:53 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 17:45:48 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 17:47:24 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-02-27 17:47:26 +0100perro(~perro@072-191-245-069.res.spectrum.com)
2022-02-27 17:47:48 +0100gehmehgeh(~user@user/gehmehgeh)
2022-02-27 17:49:25 +0100n8chan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-02-27 17:49:35 +0100mmhat(~mmh@55d4782f.access.ecotel.net)
2022-02-27 17:54:27 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:f39:9b2:1d80:bff4)
2022-02-27 18:02:35 +0100alx741(~alx741@157.100.197.240)
2022-02-27 18:03:37 +0100`2jt(~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 256 seconds)
2022-02-27 18:04:55 +0100dvdrw(~dvdrw@user/dvdrw)
2022-02-27 18:05:25 +0100razetime(~quassel@117.254.34.170) (Ping timeout: 250 seconds)
2022-02-27 18:05:53 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 18:05:55 +0100dvdrw(~dvdrw@user/dvdrw) (Client Quit)
2022-02-27 18:10:00 +0100yuvi(~uv125@192.54.96.185)
2022-02-27 18:10:19 +0100sleblanc(~sleblanc@user/sleblanc)
2022-02-27 18:12:13 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 18:12:41 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds)
2022-02-27 18:13:49 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-27 18:22:57 +0100zebrag(~chris@user/zebrag)
2022-02-27 18:24:12 +0100alx741(~alx741@157.100.197.240)
2022-02-27 18:24:41 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-02-27 18:25:23 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds)
2022-02-27 18:25:28 +0100dvdrw(~dvdrw@user/dvdrw)
2022-02-27 18:26:24 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-02-27 18:28:36 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 240 seconds)
2022-02-27 18:30:27 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 18:31:36 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-02-27 18:31:56 +0100alMalsam1(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-02-27 18:34:43 +0100`2jt(~jtomas@210.red-88-24-179.staticip.rima-tde.net)
2022-02-27 18:39:24 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:f39:9b2:1d80:bff4) (Remote host closed the connection)
2022-02-27 18:39:31 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 18:39:42 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:88e9:e94c:848a:6b8f)
2022-02-27 18:40:45 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 18:45:06 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-02-27 18:45:11 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-02-27 18:46:36 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
2022-02-27 18:47:25 +0100alx741(~alx741@181.199.42.143)
2022-02-27 18:47:51 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds)
2022-02-27 18:48:55 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-02-27 18:50:08 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 18:51:01 +0100alp(~alp@user/alp)
2022-02-27 18:51:46 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds)
2022-02-27 18:52:45 +0100agumonkey(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection)
2022-02-27 18:54:03 +0100dvdrw(~dvdrw@user/dvdrw) (Quit: leaving)
2022-02-27 18:54:27 +0100mrus(~mrus@2001:19f0:5:1535:5400:3ff:fe7d:10ae) (Quit: Surfing the great wave off Kanagawa)
2022-02-27 18:57:43 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 18:59:53 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds)
2022-02-27 19:00:14 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-02-27 19:01:48 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
2022-02-27 19:05:48 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-02-27 19:06:45 +0100alx741(~alx741@157.100.197.240)
2022-02-27 19:09:31 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 19:09:37 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds)
2022-02-27 19:13:07 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-02-27 19:19:55 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 19:21:34 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-02-27 19:23:43 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-27 19:24:59 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 19:26:05 +0100alx741(~alx741@181.199.42.143)
2022-02-27 19:26:25 +0100deadmarshal(~deadmarsh@95.38.115.158)
2022-02-27 19:27:54 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:88e9:e94c:848a:6b8f) (Remote host closed the connection)
2022-02-27 19:28:12 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:8c40:dcd:5770:7609)
2022-02-27 19:28:51 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 19:29:34 +0100alx741(~alx741@157.100.197.240)
2022-02-27 19:29:45 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-27 19:30:30 +0100dfghjk(~asdfghjkl@2001:871:23a:2ac8:8c40:dcd:5770:7609) (Client Quit)
2022-02-27 19:31:02 +0100deadmarshal(~deadmarsh@95.38.115.158) (Ping timeout: 250 seconds)
2022-02-27 19:32:31 +0100komikat(~komikat@183.82.153.11) (Remote host closed the connection)
2022-02-27 19:32:59 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 19:33:11 +0100komikat(~komikat@183.82.153.11)
2022-02-27 19:40:36 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2022-02-27 19:43:02 +0100dvdrw(~dvdrw@user/dvdrw)
2022-02-27 19:43:54 +0100Sgeo(~Sgeo@user/sgeo)
2022-02-27 19:46:09 +0100dvdrw(~dvdrw@user/dvdrw) (Client Quit)
2022-02-27 19:46:43 +0100mc47(~mc47@xmonad/TheMC47)
2022-02-27 19:48:00 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-02-27 19:51:08 +0100alx741(~alx741@157.100.197.240)
2022-02-27 19:52:40 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d)
2022-02-27 19:53:17 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 19:53:45 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-02-27 20:01:28 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-02-27 20:05:01 +0100mc47(~mc47@xmonad/TheMC47) (Ping timeout: 240 seconds)
2022-02-27 20:08:46 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection)
2022-02-27 20:09:00 +0100ccntrq(~Thunderbi@2a01:e34:eccb:b060:e7a0:e139:e720:60eb) (Ping timeout: 240 seconds)
2022-02-27 20:09:02 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection)
2022-02-27 20:09:34 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
2022-02-27 20:10:29 +0100alx741(~alx741@157.100.197.240)
2022-02-27 20:10:57 +0100`2jt(~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds)
2022-02-27 20:14:17 +0100AlexZenon_2(~alzenon@94.233.240.108)
2022-02-27 20:14:18 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 20:15:55 +0100AlexZenon(~alzenon@94.233.240.108) (Ping timeout: 256 seconds)
2022-02-27 20:16:45 +0100komikat(~komikat@183.82.153.11) (Remote host closed the connection)
2022-02-27 20:16:59 +0100komikat(~komikat@183.82.153.11)
2022-02-27 20:17:31 +0100 <Zemyla> Bool should be a monoid with the operation xor.
2022-02-27 20:17:56 +0100 <Zemyla> Because we already have newtypes around Bool which turn it into monoids with the operations and and or.
2022-02-27 20:19:08 +0100agumonkey(~user@88.163.231.79)
2022-02-27 20:21:02 +0100komikat(~komikat@183.82.153.11) (Remote host closed the connection)
2022-02-27 20:21:24 +0100komikat(~komikat@183.82.153.11)
2022-02-27 20:23:39 +0100komikat(~komikat@183.82.153.11) (Remote host closed the connection)
2022-02-27 20:24:58 +0100komikat(~komikat@183.82.153.11)
2022-02-27 20:25:34 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2022-02-27 20:29:26 +0100wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net)
2022-02-27 20:29:26 +0100wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host)
2022-02-27 20:29:26 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 20:30:30 +0100alx741(~alx741@157.100.197.240)
2022-02-27 20:30:36 +0100fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-02-27 20:31:58 +0100 <davean> Zemyla: No, because it isn't unambiguous which monoid Bool would be
2022-02-27 20:31:59 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-27 20:32:38 +0100 <Zemyla> Well, then we need an Xor newtype.
2022-02-27 20:33:21 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 20:34:55 +0100 <sshine> seems a bit fringe. admittedly like some other things in base.
2022-02-27 20:36:05 +0100 <monochrom> Did you know that xnor is also a Bool monoid operation :)
2022-02-27 20:39:09 +0100 <davean> make sure to include nand
2022-02-27 20:39:35 +0100 <sshine> and nor?
2022-02-27 20:39:40 +0100 <davean> Zemyla: it would be trivial for you to prepare a patch for such inclusion, and propose it
2022-02-27 20:41:11 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-02-27 20:41:49 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-02-27 20:43:21 +0100 <monochrom> No, nand is not associative.
2022-02-27 20:43:41 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-02-27 20:44:12 +0100 <sshine> it seems that the universal reversible gates I know (CSWAP, CCNOT) take three operands, so no luck there.
2022-02-27 20:44:38 +0100mc47(~mc47@xmonad/TheMC47)
2022-02-27 20:44:45 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 268 seconds)
2022-02-27 20:45:20 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-02-27 20:45:52 +0100AlexZenon_2AlexZenon
2022-02-27 20:47:17 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-02-27 20:47:56 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 20:49:22 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection)
2022-02-27 20:49:25 +0100cjb(~cjb@user/cjb)
2022-02-27 20:49:50 +0100alx741(~alx741@157.100.197.240)
2022-02-27 20:50:13 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2022-02-27 20:50:57 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2022-02-27 20:50:59 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-02-27 20:51:57 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 20:52:44 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d)
2022-02-27 20:53:50 +0100Kaiepi(~Kaiepi@156.34.47.253) (Remote host closed the connection)
2022-02-27 20:54:00 +0100 <monochrom> You probably want universal primitives to break associativity somewhere. Lest you couldn't express non-associative functions. :)
2022-02-27 20:55:40 +0100Kaiepi(~Kaiepi@156.34.47.253)
2022-02-27 20:56:15 +0100wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net)
2022-02-27 20:56:15 +0100wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host)
2022-02-27 20:56:15 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 20:57:51 +0100 <c_wraith> what? no one's ever needed division!
2022-02-27 20:58:15 +0100 <geekosaur> sounds divisive to me
2022-02-27 20:59:25 +0100 <monochrom> Do you need subtraction? :)
2022-02-27 21:00:08 +0100 <monochrom> If you remove subtraction, that's subtractive. >:)
2022-02-27 21:00:52 +0100Null_A(~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection)
2022-02-27 21:01:07 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-02-27 21:01:27 +0100lavaman(~lavaman@98.38.249.169)
2022-02-27 21:02:29 +0100ccntrq(~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net)
2022-02-27 21:04:36 +0100fendor_(~fendor@77.119.171.203.wireless.dyn.drei.com) (Remote host closed the connection)
2022-02-27 21:06:01 +0100 <byorgey> exactly 8 of the 16 possible binary boolean functions are associative. Of those, 4 have an identity and thus form a monoid: and, or, xor (aka (/=)), xnor (aka (==)).
2022-02-27 21:06:24 +0100 <byorgey> the other 4 associative functions are boring: f _ _ = True, f _ _ = False, f x _ = x, and f _ y = y.
2022-02-27 21:06:57 +0100 <byorgey> which makes sense: a function that ignores one or both arguments can't have an identity.
2022-02-27 21:07:35 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving)
2022-02-27 21:07:36 +0100komikat(~komikat@183.82.153.11) (Remote host closed the connection)
2022-02-27 21:07:39 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-02-27 21:07:46 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-02-27 21:07:57 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-02-27 21:09:11 +0100alx741(~alx741@157.100.197.240)
2022-02-27 21:11:37 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 21:14:19 +0100 <sshine> byorgey, f x _ = x and f _ y = y aren't boring!
2022-02-27 21:14:52 +0100 <sshine> well, okay, they are boring. but they can be useful!
2022-02-27 21:17:00 +0100 <byorgey> I never said they aren't useful! =)
2022-02-27 21:17:07 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-27 21:19:06 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-02-27 21:23:49 +0100 <__monty__> But XOR wouldn't be a monoid, would it?
2022-02-27 21:23:54 +0100 <__monty__> There's no unit.
2022-02-27 21:23:56 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-02-27 21:24:00 +0100 <__monty__> Semigroup, yes.
2022-02-27 21:24:25 +0100 <byorgey> xor does have a unit. Think about it.
2022-02-27 21:24:39 +0100 <__monty__> Ah, yes.
2022-02-27 21:25:33 +0100 <__monty__> Don't mind me shimmying out of the room in embarassment. 😳
2022-02-27 21:25:45 +0100 <byorgey> hehe, no worries =)
2022-02-27 21:26:01 +0100 <byorgey> xnor has a unit also (but the opposite one from xor, of course).
2022-02-27 21:26:17 +0100backes(~backes@85.195.206.214)
2022-02-27 21:27:23 +0100Techcable(~Techcable@168.235.93.147)
2022-02-27 21:28:11 +0100 <backes> hey, I installed ghc 8.6 on macos M1 with brew and rosetta, and now I installed the corresponding cabal version from https://www.haskell.org/cabal/download.html with the included readme . When I do `ghc-pkg list` the it shows me Cabal-2.4.0.1, however I don't know where the binary is installed. I can't execute "cabal-install"
2022-02-27 21:29:39 +0100alx741(~alx741@157.100.197.240)
2022-02-27 21:29:58 +0100simeon(~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de)
2022-02-27 21:30:23 +0100 <geekosaur> the Cabal library is not cabal-install
2022-02-27 21:31:09 +0100 <geekosaur> also why ghc 8.6? 8.10.7 has native M1 support
2022-02-27 21:31:42 +0100 <geekosaur> (confusingly, the cabal-install package installs an executable named "cabal")
2022-02-27 21:32:10 +0100 <backes> because I need to run a program that requires 8.6 and it throws errors on 8.10
2022-02-27 21:32:28 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 21:32:30 +0100Cena(~cena@c-107-4-204-12.hsd1.mn.comcast.net)
2022-02-27 21:33:11 +0100 <backes> it's part of the build process for an experimental OS and there is no possibility to fix it... So I'm just trying to install the recommended toolchain on macos
2022-02-27 21:33:47 +0100 <backes> however brew doesn't bundle old cabal-install packages, so I had to download and install it myself
2022-02-27 21:34:26 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net)
2022-02-27 21:34:27 +0100 <byorgey> backes: the executable for the cabal-instal package is named 'cabal'
2022-02-27 21:34:55 +0100sshine(~simon@hubris.eta.solutions) (Quit: 再见)
2022-02-27 21:35:08 +0100 <geekosaur> newer cabal-install should work with older ghc, but there would still be a problem because brewwould install a native one which would expect 8.10.7 and native libraries instead of 8.6 and rosetta
2022-02-27 21:35:16 +0100 <backes> still doesn't work. Can't find the file. I don't know where it's located, as $HOME/.cabal/bin is empty but it shouldn't according to the Readme
2022-02-27 21:35:54 +0100 <backes> geekosaur: yes, that's why I wanted to install cabal myself instead of messing with brew
2022-02-27 21:38:28 +0100 <sm> the binary is "cabal"
2022-02-27 21:38:55 +0100 <geekosaur> but where did it land, if .cabal/bin is empty?
2022-02-27 21:39:10 +0100 <sm> if stilll missing.. how did you install it ?
2022-02-27 21:39:16 +0100 <geekosaur> that I couldn't guess, too many weird variables here
2022-02-27 21:39:29 +0100 <geekosaur> " from https://www.haskell.org/cabal/download.html with the included readme"
2022-02-27 21:39:57 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-27 21:40:48 +0100smimagines a huge flowchart for resolving these install/uninstall issues, and an automated bot
2022-02-27 21:40:52 +0100michalz(~michalz@185.246.204.87)
2022-02-27 21:41:11 +0100simon_(~simon@zhen.eta.solutions)
2022-02-27 21:41:36 +0100 <backes> I downloaded the tar, then followed the steps under "Installing as a user" which says that it installs cabal into $HOME/.cabal on Unix
2022-02-27 21:41:39 +0100simon_sshine
2022-02-27 21:41:39 +0100yauhsien(~yauhsien@61-231-39-29.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-02-27 21:41:45 +0100 <backes> I didn't get an error, but there's no binary at that location
2022-02-27 21:44:25 +0100 <sm> which tar, backes ?
2022-02-27 21:44:52 +0100 <backes> https://downloads.haskell.org/~cabal/Cabal-2.4.0.1/Cabal-2.4.0.1.tar.gz
2022-02-27 21:45:22 +0100alp(~alp@user/alp) (Ping timeout: 260 seconds)
2022-02-27 21:45:25 +0100Pickchea(~private@user/pickchea)
2022-02-27 21:45:26 +0100 <backes> the one that was listed as compatible with GHC 8.6.5 . I don't know if this is correct
2022-02-27 21:45:47 +0100 <backes> I just want to get this build script running and then forget about dependencies forever
2022-02-27 21:47:02 +0100 <sm> not correct, that's a source package for the Cabal library
2022-02-27 21:48:11 +0100 <sm> do you have any version of cabal
2022-02-27 21:48:11 +0100 <sm> or stack installed ?
2022-02-27 21:48:19 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection)
2022-02-27 21:48:35 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-02-27 21:48:39 +0100 <backes> I had the one from brew installed before, but I removed it
2022-02-27 21:48:53 +0100 <backes> so no, I don't have cabal installed
2022-02-27 21:49:00 +0100alx741(~alx741@157.100.197.240)
2022-02-27 21:51:11 +0100 <sm> there are probably many ways through the maze, but hard to describe one reliably without testing. Here's one I think would be effective: install multipass (easy ubuntu vm for your mac) and build in there, that would insulate you from the current intel vs arm complications
2022-02-27 21:51:47 +0100 <sm> what's your idea geekosaur
2022-02-27 21:52:22 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 21:52:29 +0100 <backes> I thought about a container, but they also all run on aarch64 except if I use a proper virtual machine. However virtualbox doesn't support the M1 as host...
2022-02-27 21:52:48 +0100 <geekosaur> that sounds sensible to me, since pretty much anything else invokes the whole m1 mess and a native built cabal or stack will force native libs etc.
2022-02-27 21:53:27 +0100 <backes> does ghc 8.6 run on arm linux?
2022-02-27 21:53:48 +0100 <sm> multipass runs.. an arm ubuntu, that's right. Still I'm assuming things would just work. But...
2022-02-27 21:54:36 +0100 <sm> alternative: as a stack user I'd probably use that - the one from fpcomplete's site which I think is still intel (not the one from ghcup)
2022-02-27 21:56:39 +0100 <sm> actually, you can force brew to install intel binaries by running it in rosetta. I forget exactly how, arch command I think. But I wouldn't really recommend it, having two brew worlds installed is confusing (even though they use different paths)
2022-02-27 21:57:06 +0100 <backes> sm: that's what I did to install ghc 8.6.5 but I'm now stuck at the second step, cabal
2022-02-27 21:57:56 +0100 <backes> I'm not sure if I can use a container, since I need qemu for virtualization and also USB passthrough to flash an embedded device. That might also be a hassle to get working
2022-02-27 21:58:36 +0100 <sm> isn't "Binary download for macOS (x86-64)" the tarball you want ?
2022-02-27 21:59:09 +0100 <sm> on https://www.haskell.org/cabal/download.html
2022-02-27 21:59:16 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net)
2022-02-27 21:59:18 +0100zmt00(~zmt00@user/zmt00) (Quit: Leaving)
2022-02-27 21:59:32 +0100 <backes> can I use an arbitrary cabal version with ghc 8.6.5? I thought I'd need to match the versions somehow
2022-02-27 21:59:59 +0100 <sm> it looks like an intel binary and will work with ghc 8.6 just fine
2022-02-27 22:00:25 +0100 <backes> I noticed that ghc is not backwards compatible (ghc 8.10 doesn't work on this ghc 8.6.5 code) so I thought that now I need to be more carefull when installing dependencies
2022-02-27 22:00:27 +0100 <sm> cabal supports "all" ghc versions (generally speaking)
2022-02-27 22:00:48 +0100 <backes> okay, I'll give it a try. Thanks
2022-02-27 22:00:53 +0100pavonia(~user@user/siracusa)
2022-02-27 22:00:57 +0100 <sm> it will install deps specific to the ghc version used
2022-02-27 22:01:07 +0100zmt00(~zmt00@user/zmt00)
2022-02-27 22:02:15 +0100 <sm> stack is a little better for replicating old builds, but yes give it a try
2022-02-27 22:02:33 +0100 <geekosaur> a Cabal library version comes with ghc and matches it. the cabal-install tool works with any version
2022-02-27 22:03:52 +0100 <geekosaur> and a newer Cabal library will work with an older ghc although I think the reverse is not always true
2022-02-27 22:04:35 +0100 <backes> that seems to work, I'm now installing cabal dependencies and get less and less errors! Thanks
2022-02-27 22:04:37 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-02-27 22:04:45 +0100 <backes> by "that", I mean the x86 binary of cabal for macos
2022-02-27 22:10:37 +0100alx741(~alx741@157.100.197.240)
2022-02-27 22:12:17 +0100bahamas(~lucian@84.232.140.52)
2022-02-27 22:13:24 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 22:16:25 +0100 <backes> I now get errors about parsec, even though I installed parsec3 https://paste.tomsmeding.com/zXl7E7aN . The ubuntu 20.04 instructions say to install libghc-parsec3-dev , I installed parsec3 : https://hackage.haskell.org/package/parsec3 with cabal
2022-02-27 22:16:36 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-27 22:29:39 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
2022-02-27 22:29:58 +0100alx741(~alx741@157.100.197.240)
2022-02-27 22:30:46 +0100neurocyte0917090(~neurocyte@user/neurocyte) (Read error: Connection reset by peer)
2022-02-27 22:31:20 +0100xff0x(~xff0x@2001:1a81:5290:f100:89ec:887a:1b64:e62f) (Ping timeout: 252 seconds)
2022-02-27 22:32:12 +0100neurocyte0917090(~neurocyte@IP-185238252134.dynamic.medianet-world.de)
2022-02-27 22:32:12 +0100neurocyte0917090(~neurocyte@IP-185238252134.dynamic.medianet-world.de) (Changing host)
2022-02-27 22:32:12 +0100neurocyte0917090(~neurocyte@user/neurocyte)
2022-02-27 22:32:15 +0100xff0x(~xff0x@2001:1a81:5290:f100:b98a:22f8:9c9c:82d0)
2022-02-27 22:32:25 +0100 <geekosaur> that'sa missing dependency in the cabal file
2022-02-27 22:33:17 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 22:37:48 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
2022-02-27 22:38:21 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-02-27 22:39:44 +0100cynomys(~cynomys@user/cynomys)
2022-02-27 22:40:51 +0100wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-02-27 22:40:59 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 22:42:11 +0100wroathe(~wroathe@user/wroathe) (Client Quit)
2022-02-27 22:42:23 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5)
2022-02-27 22:43:18 +0100 <backes> it compiles haskell from a shell script, which calls ghc directly: https://github.com/BarrelfishOS/barrelfish/blob/master/hake/hake.sh#L224 and it doesn't include parsec as -package . However I'm the only one with this problem, so I think it's my setup and not the install script
2022-02-27 22:43:48 +0100vorpuni(~pvorp@2001:861:3881:c690:fccd:4785:fec8:6e0c) (Quit: bye)
2022-02-27 22:44:33 +0100 <backes> adding it to the script as "-package parsec" didn't solve the problem
2022-02-27 22:46:39 +0100 <Unicorn_Princess> > foldl (+) [a,b,c]
2022-02-27 22:46:42 +0100 <lambdabot> error:
2022-02-27 22:46:42 +0100 <lambdabot> • Could not deduce (Num [Expr]) arising from a use of ‘+’
2022-02-27 22:46:42 +0100 <lambdabot> from the context: Foldable t
2022-02-27 22:48:46 +0100 <geekosaur> > foldl (+) (0::Expr) [a,b,c]
2022-02-27 22:48:48 +0100 <lambdabot> 0 + a + b + c
2022-02-27 22:48:59 +0100 <Unicorn_Princess> ah, ofc. i misremembered that foldl demo as being without an accumulator
2022-02-27 22:49:30 +0100 <geekosaur> sure it wans't foldl1?
2022-02-27 22:50:13 +0100alx741(~alx741@157.100.197.240)
2022-02-27 22:50:15 +0100 <Unicorn_Princess> oh yeah yeah. the confusion is entirely of my own making
2022-02-27 22:50:35 +0100 <Unicorn_Princess> but it has been cleared up
2022-02-27 22:50:48 +0100wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net)
2022-02-27 22:50:48 +0100wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host)
2022-02-27 22:50:48 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 22:50:52 +0100 <Unicorn_Princess> (by checking history and seeing the accumulator there)
2022-02-27 22:51:40 +0100 <Unicorn_Princess> anyway, as you were. turns out one can also pm lambdabot and avoid spamming this channel for experiments :)
2022-02-27 22:52:04 +0100 <geekosaur> yep, I keep query windows open to both lambdabot and yahb
2022-02-27 22:56:53 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 22:57:15 +0100little_mac(~little_ma@2601:410:4300:3ce0:e0b0:8aea:9541:b1dc)
2022-02-27 23:01:22 +0100agumonke`(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
2022-02-27 23:03:05 +0100agumonkey(~user@88.163.231.79) (Ping timeout: 272 seconds)
2022-02-27 23:06:35 +0100komikat(~komikat@183.82.153.11)
2022-02-27 23:07:26 +0100rond_(~rond_@90.251.84.153)
2022-02-27 23:08:09 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-02-27 23:08:52 +0100cynomys(~cynomys@user/cynomys) (Quit: Lost terminal)
2022-02-27 23:09:27 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 23:10:57 +0100komikat(~komikat@183.82.153.11) (Ping timeout: 240 seconds)
2022-02-27 23:13:25 +0100alx741(~alx741@157.100.197.240)
2022-02-27 23:13:33 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-27 23:15:58 +0100Kaiepi(~Kaiepi@156.34.47.253) (Remote host closed the connection)
2022-02-27 23:16:14 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 23:16:18 +0100Kaiepi(~Kaiepi@156.34.47.253)
2022-02-27 23:16:56 +0100euandreh(~euandreh@2804:14c:33:9fe5:e14b:875c:3570:34de) (Quit: WeeChat 3.3)
2022-02-27 23:17:44 +0100 <backes> I tried ghc-pkg expose parsec but I still get the error that the package is hidden. Is there some other way to expose a package?
2022-02-27 23:17:57 +0100shriekingnoise(~shrieking@201.231.16.156)
2022-02-27 23:20:01 +0100 <geekosaur> you may need to either reinstall parsec with cabal v1-install or use cabal install --lib
2022-02-27 23:20:20 +0100 <backes> I used cabal install --lib for all the dependencies
2022-02-27 23:20:27 +0100 <backes> they all worked so far, except parsec
2022-02-27 23:20:38 +0100 <backes> what is cabal v1-install ?
2022-02-27 23:21:24 +0100 <geekosaur> it makes cabal behave the old way, inparticular installing things in the old user package database instead of internal to cabal (cabal install) or an environment file (cabal install --lib)
2022-02-27 23:21:47 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1))
2022-02-27 23:21:57 +0100 <geekosaur> it's not recommended becauseit can make messes if you have two versions of the same library installed; ghc is not smart enough to pick the version you need
2022-02-27 23:22:22 +0100 <geekosaur> this is pretty much why modern cabal and stack exist
2022-02-27 23:23:01 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:49a5:3740:d7ac:cf6) (Remote host closed the connection)
2022-02-27 23:24:05 +0100 <backes> for some reason this didn't help. That doesn't make any sense. I tried adding it with `-package parsec3` to the ghc command, using --lib, exposing it with ghc-pkg, and now using v1-install. Is it possible that I have the wrong version of the package?
2022-02-27 23:26:14 +0100`2jt(~jtomas@210.red-88-24-179.staticip.rima-tde.net)
2022-02-27 23:27:28 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-02-27 23:27:46 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-27 23:27:53 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-02-27 23:29:27 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-02-27 23:32:18 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-02-27 23:32:32 +0100alx741(~alx741@157.100.197.240)
2022-02-27 23:34:12 +0100 <geekosaur> unlikely
2022-02-27 23:34:33 +0100 <geekosaur> it knows it'spart of the installed parsec3 package; I don't know why it claims it to be hidden
2022-02-27 23:34:46 +0100 <geekosaur> we're getting outside what I know of cabal, sadly
2022-02-27 23:35:21 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-27 23:36:12 +0100wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net)
2022-02-27 23:36:13 +0100wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host)
2022-02-27 23:36:13 +0100wroathe(~wroathe@user/wroathe)
2022-02-27 23:37:23 +0100wroathe(~wroathe@user/wroathe) (Client Quit)
2022-02-27 23:38:58 +0100 <backes> thanks for your help
2022-02-27 23:39:45 +0100machinedgod(~machinedg@24.105.81.50)
2022-02-27 23:39:46 +0100 <geekosaur> wonder if sclv or some other cabal expert is around today
2022-02-27 23:40:22 +0100 <geekosaur> you might also ask in #haskage since that'swherethecabal folks hang out
2022-02-27 23:40:33 +0100 <geekosaur> *that's where the cabal
2022-02-27 23:40:59 +0100Guest66(~Guest66@vmi275462.contaboserver.net)
2022-02-27 23:44:27 +0100 <geekosaur> er, #hackage
2022-02-27 23:44:34 +0100 <geekosaur> what is with my typoes today
2022-02-27 23:46:21 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-02-27 23:47:51 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-27 23:48:20 +0100 <sclv> backes: are you sure you shouldn’t add -package parsec3 to the script?
2022-02-27 23:48:32 +0100 <sclv> Not just parsec as such?
2022-02-27 23:49:02 +0100 <backes> I also tried that but it didn't help
2022-02-27 23:49:37 +0100 <sclv> have the script run ghc-pkg list and see what it dumps out?
2022-02-27 23:49:45 +0100 <backes> that's a good idea
2022-02-27 23:50:39 +0100 <backes> damn, it contains parsec3 ...
2022-02-27 23:50:44 +0100 <sclv> also is that call to ghc what fails?
2022-02-27 23:50:52 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-02-27 23:50:56 +0100 <sclv> It looks like its failing building other later stuff
2022-02-27 23:51:24 +0100 <backes> the file linked above is the only script I call for now
2022-02-27 23:51:48 +0100 <backes> maybe it calls another, I'll dig a bit around
2022-02-27 23:51:54 +0100alx741(~alx741@181.199.42.143)
2022-02-27 23:53:10 +0100 <sclv> its last line is to call make on a bunch of other stuff
2022-02-27 23:54:15 +0100 <geekosaur> I'm worried about both that and that ghc-pkg can't be used to list stuff in the environment (but then I don't know if that can be hidden either)
2022-02-27 23:55:13 +0100 <sclv> hake generates make rules. That script builds hake, runs it, then runs make rules generated by it which i assume build more haskell
2022-02-27 23:55:31 +0100 <backes> what are all the options to build haskell code besides calling "ghc" ? I found another file https://github.com/BarrelfishOS/barrelfish/blob/master/hake/Hakefile but also adding `-package parsec3` to that didn't help
2022-02-27 23:56:30 +0100 <geekosaur> backes, as sclv just said, hake is generating a Makefile. you might need to edit that before running it. or edit hake to add the -package parameter to the generated Makefile
2022-02-27 23:57:34 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-02-27 23:57:59 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-27 23:58:45 +0100zincy_(~zincy@2a00:23c8:970c:4801:ed67:bb1e:cd86:7d7d) (Remote host closed the connection)