IRCBrowse

2022/11/12

2022-11-12 00:03:09 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-11-12 00:04:25 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-11-12 00:04:36 +0100 <iteratee> No, I just needed to write some helper functions that return (Ur a) instead of a.
2022-11-12 00:05:12 +0100 <iteratee> Then you can use monadic linear bind and use the linear value inside the continuation.
2022-11-12 00:05:55 +0100ph88(~ph88@2a02:8109:9e00:71d0:a90d:e7d5:fe91:a32a)
2022-11-12 00:10:01 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 252 seconds)
2022-11-12 00:10:06 +0100nate4(~nate@98.45.169.16)
2022-11-12 00:11:02 +0100libertyprime(~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz)
2022-11-12 00:15:04 +0100nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-11-12 00:18:05 +0100chomwitt(~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds)
2022-11-12 00:25:42 +0100bilegeek(~bilegeek@2600:1008:b022:192c:fa51:6abb:9a1d:6b9e)
2022-11-12 00:26:41 +0100ph88(~ph88@2a02:8109:9e00:71d0:a90d:e7d5:fe91:a32a) (Quit: Leaving)
2022-11-12 00:27:12 +0100machinedgod(~machinedg@clnet-p10-126.ikbnet.co.at) (Ping timeout: 252 seconds)
2022-11-12 00:28:37 +0100Tuplanolla(~Tuplanoll@91-159-68-194.elisa-laajakaista.fi) (Quit: Leaving.)
2022-11-12 00:33:30 +0100urdh(~urdh@user/urdh) (*.net *.split)
2022-11-12 00:33:30 +0100dixie(~dixie@real.wilbury.sk) (*.net *.split)
2022-11-12 00:33:30 +0100swistak(~swistak@185.21.216.141) (*.net *.split)
2022-11-12 00:33:30 +0100blades(~blades@204.48.29.163) (*.net *.split)
2022-11-12 00:33:30 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
2022-11-12 00:33:30 +0100darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split)
2022-11-12 00:33:30 +0100leah2(~leah@vuxu.org) (*.net *.split)
2022-11-12 00:33:30 +0100energizer(~energizer@user/energizer) (*.net *.split)
2022-11-12 00:33:30 +0100dumptruckman(~dumptruck@45-33-69-234.ip.linodeusercontent.com) (*.net *.split)
2022-11-12 00:33:30 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-50-65-93-192-212.dsl.bell.ca) (*.net *.split)
2022-11-12 00:33:38 +0100dixie(~dixie@real.wilbury.sk)
2022-11-12 00:33:40 +0100dumptruckman(~dumptruck@45-33-69-234.ip.linodeusercontent.com)
2022-11-12 00:33:41 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp)
2022-11-12 00:33:41 +0100darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space)
2022-11-12 00:34:05 +0100pieguy128(~pieguy128@65.93.192.212)
2022-11-12 00:34:06 +0100leah2(~leah@vuxu.org)
2022-11-12 00:34:11 +0100swistak(~swistak@185.21.216.141)
2022-11-12 00:34:24 +0100blades(~blades@204.48.29.163)
2022-11-12 00:34:30 +0100energizer(~energizer@user/energizer)
2022-11-12 00:35:50 +0100urdh(~urdh@user/urdh)
2022-11-12 00:44:48 +0100Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2022-11-12 00:45:13 +0100Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2022-11-12 00:47:18 +0100machinedgod(~machinedg@clnet-b05-118.ikbnet.co.at)
2022-11-12 00:50:38 +0100shriekingnoise(~shrieking@186.137.167.202)
2022-11-12 00:52:43 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-11-12 01:01:55 +0100machinedgod(~machinedg@clnet-b05-118.ikbnet.co.at) (Read error: Connection reset by peer)
2022-11-12 01:01:55 +0100machined1od(~machinedg@clnet-b05-118.ikbnet.co.at)
2022-11-12 01:09:14 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-11-12 01:12:02 +0100chromoblob(~user@37.113.164.122)
2022-11-12 01:15:32 +0100werneta_(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-11-12 01:16:09 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-11-12 01:16:11 +0100acidjnk(~acidjnk@p200300d6e7137a61a1c25cbd352f97cb.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-11-12 01:17:12 +0100mestre(~mestre@191.177.185.178)
2022-11-12 01:17:23 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds)
2022-11-12 01:17:33 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-11-12 01:20:28 +0100werneta_(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-11-12 01:20:50 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-11-12 01:22:58 +0100euandreh(~Thunderbi@179.214.113.107) (Quit: euandreh)
2022-11-12 01:23:30 +0100euandreh(~Thunderbi@179.214.113.107)
2022-11-12 01:25:16 +0100bilegeek_(~bilegeek@25.sub-174-208-231.myvzw.com)
2022-11-12 01:26:38 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-11-12 01:27:04 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-11-12 01:27:45 +0100bilegeek(~bilegeek@2600:1008:b022:192c:fa51:6abb:9a1d:6b9e) (Ping timeout: 260 seconds)
2022-11-12 01:30:31 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
2022-11-12 01:31:18 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 01:33:55 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 01:35:22 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-11-12 01:38:38 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2022-11-12 01:40:49 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-11-12 01:57:20 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 01:59:20 +0100mvk(~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 255 seconds)
2022-11-12 02:03:35 +0100catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Remote host closed the connection)
2022-11-12 02:07:43 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 252 seconds)
2022-11-12 02:09:48 +0100Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 268 seconds)
2022-11-12 02:15:35 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 260 seconds)
2022-11-12 02:16:10 +0100dsrt^(~dsrt@76.145.185.103)
2022-11-12 02:20:29 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds)
2022-11-12 02:20:38 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-11-12 02:21:24 +0100Guest6024(sid532813@id-532813.tinside.irccloud.com) (Changing host)
2022-11-12 02:21:24 +0100Guest6024(sid532813@user/polo)
2022-11-12 02:21:26 +0100Guest6024money
2022-11-12 02:22:34 +0100cuz(~user@2601:646:c000:4900:502f:7fd5:d66c:4562)
2022-11-12 02:23:21 +0100 <cuz> Hello! Does anyone know how haskell can tell if a pattern isn't exaustive?
2022-11-12 02:23:59 +0100machined1od(~machinedg@clnet-b05-118.ikbnet.co.at) (Ping timeout: 268 seconds)
2022-11-12 02:24:28 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-11-12 02:24:53 +0100 <geekosaur> the compile time checker is quite complex; you'd need a GHC dev who's worked on it
2022-11-12 02:25:48 +0100 <geekosaur> at runtime it's pretty simple, in core all case expressions have DEFAULT clauses and if you don't have your own match-anything pattern then the case falls into that and throws
2022-11-12 02:26:09 +0100 <geekosaur> (or fails, for patterns in do expressions)
2022-11-12 02:37:35 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-11-12 02:38:03 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-11-12 02:39:28 +0100 <lyxia> cuz: https://stackoverflow.com/questions/7883023/algorithm-for-type-checking-ml-like-pattern-matching
2022-11-12 02:47:03 +0100mestre(~mestre@191.177.185.178) (Quit: Lost terminal)
2022-11-12 02:50:35 +0100 <cuz> Thanks lyxia
2022-11-12 02:50:39 +0100 <cuz> reading it now
2022-11-12 02:51:52 +0100dfee(~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Quit: dfee)
2022-11-12 03:09:40 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-11-12 03:09:40 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-11-12 03:09:40 +0100wroathe(~wroathe@user/wroathe)
2022-11-12 03:20:00 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-12 03:22:19 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds)
2022-11-12 03:28:44 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds)
2022-11-12 03:32:49 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds)
2022-11-12 03:35:15 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 03:35:27 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-11-12 03:39:42 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-11-12 03:39:42 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-11-12 03:39:42 +0100finn_elijaFinnElija
2022-11-12 03:39:48 +0100 <schuelermine[m]> does anybody know if there’s a way to call the eclipse java formatting engine (which is also apparently used by the red hat vscode java extension) from the command line?
2022-11-12 03:44:23 +0100poscat0x04(~poscat@2408:8206:4823:fd6f:98ab:5c38:136c:5932) (Quit: Bye)
2022-11-12 03:46:38 +0100poscat(~poscat@114.245.106.84)
2022-11-12 03:56:32 +0100razetime(~quassel@117.193.2.37)
2022-11-12 04:08:02 +0100nate4(~nate@98.45.169.16)
2022-11-12 04:08:30 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-11-12 04:09:24 +0100mvk(~mvk@2607:fea8:5ce3:8500::4b68)
2022-11-12 04:09:34 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-11-12 04:09:55 +0100cuz(~user@2601:646:c000:4900:502f:7fd5:d66c:4562) (Ping timeout: 260 seconds)
2022-11-12 04:10:12 +0100cuz(~user@2601:646:c000:4900:754d:f1:b03d:74d1)
2022-11-12 04:12:02 +0100chromoblob(~user@37.113.164.122)
2022-11-12 04:14:45 +0100euandreh(~Thunderbi@179.214.113.107) (Remote host closed the connection)
2022-11-12 04:15:10 +0100cuz(~user@2601:646:c000:4900:754d:f1:b03d:74d1) (Ping timeout: 260 seconds)
2022-11-12 04:15:24 +0100td_(~td@83.135.9.13) (Ping timeout: 260 seconds)
2022-11-12 04:16:43 +0100td_(~td@83.135.9.7)
2022-11-12 04:19:49 +0100euandreh(~Thunderbi@179.214.113.107)
2022-11-12 04:22:24 +0100libertyprime(~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds)
2022-11-12 04:23:34 +0100euandreh(~Thunderbi@179.214.113.107) (Remote host closed the connection)
2022-11-12 04:33:17 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2022-11-12 04:35:10 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-11-12 04:35:20 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 268 seconds)
2022-11-12 04:36:40 +0100[Leary](~Leary]@user/Leary/x-0910699)
2022-11-12 04:36:59 +0100razetime(~quassel@117.193.2.37) (Ping timeout: 260 seconds)
2022-11-12 04:38:20 +0100libertyprime(~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz)
2022-11-12 04:39:48 +0100cuz(~user@2601:646:c000:4900:754d:f1:b03d:74d1)
2022-11-12 04:41:59 +0100chromoblob(~user@37.113.164.122)
2022-11-12 04:50:37 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-11-12 04:50:37 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-11-12 04:50:37 +0100finn_elijaFinnElija
2022-11-12 04:51:01 +0100euandreh(~Thunderbi@179.214.113.107)
2022-11-12 04:52:52 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-11-12 04:56:10 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-11-12 04:56:11 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-11-12 04:56:11 +0100wroathe(~wroathe@user/wroathe)
2022-11-12 04:56:30 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 240 seconds)
2022-11-12 05:01:08 +0100xff0x(~xff0x@2405:6580:b080:900:d135:3c26:3e1:534d) (Ping timeout: 255 seconds)
2022-11-12 05:01:51 +0100nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-11-12 05:01:53 +0100razetime(~quassel@117.193.2.37)
2022-11-12 05:06:55 +0100xff0x(~xff0x@2405:6580:b080:900:d135:3c26:3e1:534d)
2022-11-12 05:07:34 +0100cuz(~user@2601:646:c000:4900:754d:f1:b03d:74d1) (Ping timeout: 252 seconds)
2022-11-12 05:09:15 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-11-12 05:16:02 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds)
2022-11-12 05:26:54 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-11-12 05:27:27 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-11-12 05:27:40 +0100DDR(~DDR@2604:3d08:4c7f:8250:8f3f:7475:f1e8:32b7)
2022-11-12 05:29:39 +0100nate4(~nate@98.45.169.16)
2022-11-12 05:29:46 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 05:32:30 +0100bloomndoom(~user@104.28.193.173)
2022-11-12 05:33:07 +0100 <bloomndoom> how do i get hls to autocomplete functions from libraries?
2022-11-12 05:34:42 +0100 <bloomndoom> Axman6: yeah i think it might be network issue then
2022-11-12 05:35:16 +0100 <bloomndoom> ive installed JuicyPixels and i get this error when trying to import it
2022-11-12 05:35:28 +0100 <bloomndoom> "Could not load module ‘Codec.Picture’
2022-11-12 05:35:28 +0100 <bloomndoom> It is a member of the hidden package ‘JuicyPixels-3.3.8’.
2022-11-12 05:35:28 +0100 <bloomndoom> You can run ‘:set -package JuicyPixels’ to expose it."
2022-11-12 05:38:56 +0100bloomndo`(~user@104.28.193.169)
2022-11-12 05:40:30 +0100bloomndoom(~user@104.28.193.173) (Ping timeout: 240 seconds)
2022-11-12 05:43:10 +0100nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-11-12 05:44:10 +0100bloomndo`(~user@104.28.193.169) (Ping timeout: 240 seconds)
2022-11-12 05:44:59 +0100bloomndo`(~user@104.28.193.170)
2022-11-12 05:45:29 +0100euandreh(~Thunderbi@179.214.113.107) (Remote host closed the connection)
2022-11-12 05:50:34 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-11-12 05:50:38 +0100 <phileasfogg> https://paste.tomsmeding.com/Q0DTpAA9#file-1
2022-11-12 05:51:05 +0100euandreh(~Thunderbi@179.214.113.107)
2022-11-12 05:51:36 +0100 <phileasfogg> Novice here, I'm trying to use Fudgets to display the stdin in real time.
2022-11-12 05:53:36 +0100 <phileasfogg> I tried several methods to acheive that, but looks like this is the eol
2022-11-12 05:54:14 +0100bloomndoom(~user@104.28.193.170)
2022-11-12 05:55:10 +0100bloomndo`(~user@104.28.193.170) (Ping timeout: 240 seconds)
2022-11-12 05:56:56 +0100 <phileasfogg> https://paste.tomsmeding.com/jEd9Mw1y
2022-11-12 05:59:29 +0100 <dsal> bloomndoom: are you using stack or cabal?
2022-11-12 05:59:46 +0100 <dsal> "installed JuicyPixels" sounds like a mistake was made somewhere.
2022-11-12 06:00:06 +0100InstX1_(~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Read error: Connection reset by peer)
2022-11-12 06:01:21 +0100euandreh(~Thunderbi@179.214.113.107) (Remote host closed the connection)
2022-11-12 06:01:30 +0100bloomndoom(~user@104.28.193.170) (Ping timeout: 240 seconds)
2022-11-12 06:02:19 +0100phma_(phma@2001:5b0:210f:1678:6fe2:e8ab:3dd5:da93)
2022-11-12 06:05:22 +0100merijn(~merijn@86.86.29.250)
2022-11-12 06:05:23 +0100phma(~phma@2001:5b0:210f:1678:6fe2:e8ab:3dd5:da93) (Ping timeout: 252 seconds)
2022-11-12 06:05:23 +0100nunggu(~q@user/nunggu) (Quit: nunggu)
2022-11-12 06:09:07 +0100Guest84(~Guest84@23.19.117.56) (Quit: Client closed)
2022-11-12 06:14:19 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-11-12 06:14:46 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-11-12 06:26:06 +0100cuz(~user@2601:646:c000:4900:754d:f1:b03d:74d1)
2022-11-12 06:28:13 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-11-12 06:28:59 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2022-11-12 06:29:29 +0100Lord_of_Life_Lord_of_Life
2022-11-12 06:30:02 +0100nibelungen(~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) (Read error: Software caused connection abort)
2022-11-12 06:30:13 +0100nibelungen(~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725)
2022-11-12 06:31:47 +0100haasn(~nand@haasn.dev) (Read error: Software caused connection abort)
2022-11-12 06:33:28 +0100mekeor[m](~mekeormat@2001:470:69fc:105::17e4) (Read error: Software caused connection abort)
2022-11-12 06:33:48 +0100mekeor[m](~mekeormat@2001:470:69fc:105::17e4)
2022-11-12 06:33:58 +0100vglfr(~vglfr@145.224.100.100) (Read error: Connection reset by peer)
2022-11-12 06:34:11 +0100vglfr(~vglfr@145.224.100.100)
2022-11-12 06:35:00 +0100haasn(~nand@haasn.dev)
2022-11-12 06:36:20 +0100mvk(~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 260 seconds)
2022-11-12 06:36:50 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds)
2022-11-12 06:37:26 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 268 seconds)
2022-11-12 06:37:29 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds)
2022-11-12 06:38:06 +0100disco-dave[m](~disco-dav@2001:470:69fc:105::2:1892) (Read error: Software caused connection abort)
2022-11-12 06:39:25 +0100sektor[m](~sektor@2001:470:69fc:105::2:3f60) (Read error: Software caused connection abort)
2022-11-12 06:39:30 +0100merijn(~merijn@86.86.29.250) (Ping timeout: 240 seconds)
2022-11-12 06:39:42 +0100sektor[m](~sektor@2001:470:69fc:105::2:3f60)
2022-11-12 06:41:23 +0100 <phileasfogg> `counterF = displayF >=^^< linesSP >^^=< stdinF`
2022-11-12 06:42:24 +0100 <phileasfogg> why this is not making sense? Since the linesSP can be a postprocessor of the stdinF, I thought piping them is not a bad idea.
2022-11-12 06:50:39 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-11-12 06:54:04 +0100mikoto-chan(~mikoto-ch@85-76-104-247-nat.elisa-mobile.fi)
2022-11-12 06:54:34 +0100disco-dave[m](~disco-dav@2001:470:69fc:105::2:1892)
2022-11-12 06:57:13 +0100megaTherion(~therion@unix.io) (*.net *.split)
2022-11-12 06:57:13 +0100cyphase(~cyphase@user/cyphase) (*.net *.split)
2022-11-12 06:57:13 +0100ncf(~n@monade.li) (*.net *.split)
2022-11-12 06:57:13 +0100drdo(~drdo@overlord.drdo.eu) (*.net *.split)
2022-11-12 06:57:13 +0100kawen_(~quassel@static.208.191.216.95.clients.your-server.de) (*.net *.split)
2022-11-12 06:57:13 +0100xstill_(xstill@fimu/xstill) (*.net *.split)
2022-11-12 06:57:13 +0100tired(~tired@user/tired) (*.net *.split)
2022-11-12 06:57:13 +0100vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (*.net *.split)
2022-11-12 06:57:13 +0100_\_(~o@user/offon) (*.net *.split)
2022-11-12 06:57:13 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split)
2022-11-12 06:57:13 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e) (*.net *.split)
2022-11-12 06:57:13 +0100mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split)
2022-11-12 06:57:13 +0100Unhammer(~Unhammer@user/unhammer) (*.net *.split)
2022-11-12 06:57:13 +0100vjoki(~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split)
2022-11-12 06:57:13 +0100siers(~ij@user/ij) (*.net *.split)
2022-11-12 06:57:13 +0100ddb(~ddb@tilde.club) (*.net *.split)
2022-11-12 06:57:13 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729) (*.net *.split)
2022-11-12 06:57:13 +0100Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split)
2022-11-12 06:57:13 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (*.net *.split)
2022-11-12 06:57:13 +0100SeanKing[m](~seankingm@2001:470:69fc:105::cf9c) (*.net *.split)
2022-11-12 06:57:13 +0100nomagno(~nomagno@2001:470:69fc:105::c1f0) (*.net *.split)
2022-11-12 06:57:13 +0100neightchan(~nate@98.45.169.16) (*.net *.split)
2022-11-12 06:57:13 +0100AWizzArd(~code@gehrels.uberspace.de) (*.net *.split)
2022-11-12 06:57:13 +0100mjacob(~mjacob@adrastea.uberspace.de) (*.net *.split)
2022-11-12 06:57:13 +0100lyxia(~lyxia@poisson.chat) (*.net *.split)
2022-11-12 06:57:19 +0100AWizzArd(~code@gehrels.uberspace.de)
2022-11-12 06:57:21 +0100kawen(~quassel@static.208.191.216.95.clients.your-server.de)
2022-11-12 06:57:22 +0100mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2022-11-12 06:57:23 +0100megaTherion(~therion@unix.io)
2022-11-12 06:57:23 +0100drdo(~drdo@overlord.drdo.eu)
2022-11-12 06:57:27 +0100_\_(~o@user/offon)
2022-11-12 06:57:29 +0100lyxia(~lyxia@poisson.chat)
2022-11-12 06:57:35 +0100cyphase(~cyphase@user/cyphase)
2022-11-12 06:57:35 +0100ncf(~n@monade.li)
2022-11-12 06:57:37 +0100money(sid532813@user/polo) (Read error: Software caused connection abort)
2022-11-12 06:57:38 +0100tired(~tired@user/tired)
2022-11-12 06:57:42 +0100siers(~ij@user/ij)
2022-11-12 06:57:45 +0100Unhammer(~Unhammer@user/unhammer)
2022-11-12 06:57:47 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2022-11-12 06:57:47 +0100ddb(~ddb@tilde.club)
2022-11-12 06:58:09 +0100xstill_(xstill@fimu/xstill)
2022-11-12 06:58:10 +0100money(sid532813@id-532813.tinside.irccloud.com)
2022-11-12 06:58:14 +0100vladan[m](~vladanmat@2001:470:69fc:105::2:24df)
2022-11-12 06:58:17 +0100neightchan(~nate@98.45.169.16)
2022-11-12 06:58:23 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 06:58:27 +0100vjoki(~vjoki@2a00:d880:3:1::fea1:9ae)
2022-11-12 06:59:38 +0100mikoto-chan(~mikoto-ch@85-76-104-247-nat.elisa-mobile.fi) (Ping timeout: 268 seconds)
2022-11-12 06:59:44 +0100x88x88x(~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Read error: Software caused connection abort)
2022-11-12 07:00:05 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e)
2022-11-12 07:00:20 +0100nomagno(~nomagno@2001:470:69fc:105::c1f0)
2022-11-12 07:00:31 +0100SeanKing[m](~seankingm@2001:470:69fc:105::cf9c)
2022-11-12 07:01:02 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2022-11-12 07:01:20 +0100Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2022-11-12 07:01:35 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729)
2022-11-12 07:02:20 +0100mjacob(~mjacob@adrastea.uberspace.de)
2022-11-12 07:04:49 +0100x88x88x(~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb)
2022-11-12 07:05:13 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds)
2022-11-12 07:06:52 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2022-11-12 07:10:56 +0100sajith(~sajith@user/sajith) (Read error: Software caused connection abort)
2022-11-12 07:11:14 +0100sajith(~sajith@user/sajith)
2022-11-12 07:12:26 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2022-11-12 07:12:31 +0100money(sid532813@id-532813.tinside.irccloud.com) (Changing host)
2022-11-12 07:12:31 +0100money(sid532813@user/polo)
2022-11-12 07:15:40 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 268 seconds)
2022-11-12 07:17:45 +0100cuz(~user@2601:646:c000:4900:754d:f1:b03d:74d1) (Ping timeout: 260 seconds)
2022-11-12 07:19:39 +0100chromoblob(~user@37.113.164.122)
2022-11-12 07:20:38 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds)
2022-11-12 07:21:36 +0100money(sid532813@user/polo) (*.net *.split)
2022-11-12 07:21:36 +0100Vajb(~Vajb@2001:999:504:3ad6:52a4:a3b5:32d8:e74d) (*.net *.split)
2022-11-12 07:21:36 +0100Patternmaster(~georg@user/Patternmaster) (*.net *.split)
2022-11-12 07:21:36 +0100teddyc(theodorc@cassarossa.samfundet.no) (*.net *.split)
2022-11-12 07:21:36 +0100hololeap(~quassel@user/hololeap) (*.net *.split)
2022-11-12 07:21:36 +0100Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (*.net *.split)
2022-11-12 07:21:36 +0100heartburn(~gass@2a00:d880:3:1::b1e4:b241) (*.net *.split)
2022-11-12 07:21:36 +0100nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
2022-11-12 07:21:36 +0100Franciman(~Franciman@mx1.fracta.dev) (*.net *.split)
2022-11-12 07:21:36 +0100ajb(~ajb@mimas.whatbox.ca) (*.net *.split)
2022-11-12 07:21:36 +0100geekosaur(~geekosaur@xmonad/geekosaur) (*.net *.split)
2022-11-12 07:21:36 +0100hexology(~hexology@user/hexology) (*.net *.split)
2022-11-12 07:21:36 +0100kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split)
2022-11-12 07:21:36 +0100edwtjo(~edwtjo@fsf/member/edwtjo) (*.net *.split)
2022-11-12 07:21:36 +0100oak-(~oak-@2001:470:69fc:105::fcd) (*.net *.split)
2022-11-12 07:21:36 +0100drsooch[m](~drsoochma@2001:470:69fc:105::1:c8a1) (*.net *.split)
2022-11-12 07:21:36 +0100chreekat(~chreekat@2001:470:69fc:105::16b5) (*.net *.split)
2022-11-12 07:21:36 +0100jinsun_(~jinsun@user/jinsun) (*.net *.split)
2022-11-12 07:21:36 +0100jocke-l(jocke-l@a.x0.is) (*.net *.split)
2022-11-12 07:21:36 +0100robertm(robertm@lattice.rojoma.com) (*.net *.split)
2022-11-12 07:21:46 +0100ajb(~ajb@mimas.whatbox.ca)
2022-11-12 07:21:50 +0100Patternmaster(~georg@li1192-118.members.linode.com)
2022-11-12 07:21:52 +0100Franciman(~Franciman@mx1.fracta.dev)
2022-11-12 07:21:53 +0100Patternmaster(~georg@li1192-118.members.linode.com) (Changing host)
2022-11-12 07:21:53 +0100Patternmaster(~georg@user/Patternmaster)
2022-11-12 07:21:53 +0100edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se)
2022-11-12 07:21:55 +0100teddyc(theodorc@cassarossa.samfundet.no)
2022-11-12 07:22:00 +0100edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host)
2022-11-12 07:22:00 +0100edwtjo(~edwtjo@fsf/member/edwtjo)
2022-11-12 07:22:01 +0100kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2022-11-12 07:22:02 +0100nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2022-11-12 07:22:02 +0100hololeap(~quassel@user/hololeap)
2022-11-12 07:22:03 +0100robertm(robertm@lattice.rojoma.com)
2022-11-12 07:22:03 +0100Vajb(~Vajb@2001:999:504:3ad6:52a4:a3b5:32d8:e74d)
2022-11-12 07:22:04 +0100Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
2022-11-12 07:22:07 +0100hexology(~hexology@user/hexology)
2022-11-12 07:22:07 +0100heartburn(~gass@2a00:d880:3:1::b1e4:b241)
2022-11-12 07:22:10 +0100jocke-l(jocke-l@a.x0.is)
2022-11-12 07:22:12 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-11-12 07:22:13 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2022-11-12 07:22:16 +0100chreekat(~chreekat@2001:470:69fc:105::16b5)
2022-11-12 07:22:35 +0100jinsun_(~jinsun@user/jinsun)
2022-11-12 07:24:44 +0100drsooch[m](~drsoochma@2001:470:69fc:105::1:c8a1)
2022-11-12 07:25:33 +0100money(sid532813@tinside.irccloud.com)
2022-11-12 07:25:49 +0100moneyGuest6482
2022-11-12 07:28:33 +0100oak-(~oak-@2001:470:69fc:105::fcd)
2022-11-12 07:33:26 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-11-12 07:34:47 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds)
2022-11-12 07:34:58 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-11-12 07:41:59 +0100raoul(~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds))
2022-11-12 07:43:25 +0100raoul(~raoul@95.179.203.88)
2022-11-12 07:49:22 +0100UdayKiran[m](~neoatnebu@2001:470:69fc:105::2:bae0)
2022-11-12 07:50:00 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-11-12 07:53:06 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-11-12 07:53:57 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 07:56:07 +0100causal(~user@50.35.83.177)
2022-11-12 07:56:59 +0100glguy(~glguy@libera/staff-emeritus/glguy) (Quit: Quit)
2022-11-12 07:58:38 +0100glguy(~glguy@libera/staff-emeritus/glguy)
2022-11-12 07:59:27 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds)
2022-11-12 07:59:29 +0100Kaipei(~Kaiepi@108.175.84.104)
2022-11-12 08:02:50 +0100Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 240 seconds)
2022-11-12 08:05:21 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 08:09:30 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds)
2022-11-12 08:12:28 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 08:12:54 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-11-12 08:14:08 +0100zaquest(~notzaques@5.130.79.72)
2022-11-12 08:14:29 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-11-12 08:24:29 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds)
2022-11-12 08:25:40 +0100zeenk(~zeenk@2a02:2f04:a213:900:ec6b:90ab:f67c:4c1a)
2022-11-12 08:27:09 +0100Guest|27(~Guest|27@79.184.224.28.ipv4.supernova.orange.pl)
2022-11-12 08:27:29 +0100Guest|27(~Guest|27@79.184.224.28.ipv4.supernova.orange.pl) (Client Quit)
2022-11-12 08:31:50 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-11-12 08:33:10 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 240 seconds)
2022-11-12 08:33:23 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-12 08:35:45 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 08:39:03 +0100chomwitt(~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1)
2022-11-12 08:43:44 +0100goober(~goober@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 260 seconds)
2022-11-12 08:49:48 +0100goober(~goober@90-231-13-185-no3430.tbcn.telia.com)
2022-11-12 08:54:20 +0100razetime(~quassel@117.193.2.37) (Ping timeout: 268 seconds)
2022-11-12 08:56:00 +0100mcglk(~mcglk@131.191.49.120) (Read error: Connection reset by peer)
2022-11-12 08:58:23 +0100mcglk(~mcglk@131.191.49.120)
2022-11-12 09:00:50 +0100vglfr(~vglfr@145.224.100.100) (Read error: Connection reset by peer)
2022-11-12 09:01:00 +0100vglfr(~vglfr@145.224.100.100)
2022-11-12 09:10:11 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-11-12 09:12:47 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-11-12 09:13:46 +0100cuz(~user@2601:646:c000:4900:754d:f1:b03d:74d1)
2022-11-12 09:16:30 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds)
2022-11-12 09:16:45 +0100DDR(~DDR@2604:3d08:4c7f:8250:8f3f:7475:f1e8:32b7) (Ping timeout: 260 seconds)
2022-11-12 09:18:15 +0100cuz(~user@2601:646:c000:4900:754d:f1:b03d:74d1) (Ping timeout: 260 seconds)
2022-11-12 09:19:28 +0100ensyde(~psy@104-62-224-96.lightspeed.chrlnc.sbcglobal.net)
2022-11-12 09:21:45 +0100elkcl_(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-11-12 09:22:42 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-11-12 09:23:10 +0100elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds)
2022-11-12 09:23:10 +0100elkcl_elkcl
2022-11-12 09:25:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-12 09:26:14 +0100 <Athas> tomsmeding: there will be a Haskell devroom at FOSDEM. You (in the plural sense) should submit something about Accelerate!
2022-11-12 09:26:30 +0100razetime(~quassel@117.193.2.37)
2022-11-12 09:30:19 +0100adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Read error: Software caused connection abort)
2022-11-12 09:30:49 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 09:31:36 +0100adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2022-11-12 09:37:23 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds)
2022-11-12 09:41:42 +0100tomsmedinghas never been to FOSDEM before
2022-11-12 09:41:58 +0100 <tomsmeding> Athas: how should I see those devrooms, are they like a workshop at a conference like ICFP?
2022-11-12 09:44:16 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 09:45:08 +0100acidjnk(~acidjnk@p200300d6e7137a61a1c25cbd352f97cb.dip0.t-ipconnect.de)
2022-11-12 09:45:08 +0100Tuplanolla(~Tuplanoll@91-159-68-194.elisa-laajakaista.fi)
2022-11-12 09:48:19 +0100hendi(sid489601@lymington.irccloud.com) (Ping timeout: 252 seconds)
2022-11-12 09:48:43 +0100 <Athas> tomsmeding: yes, in the sense that they are smaller than the main track(s) and have more focused topics.
2022-11-12 09:49:00 +0100 <Athas> But FOSDEM devrooms are not academic venues, so you don't have to write a paper or present novel work.
2022-11-12 09:49:01 +0100 <tomsmeding> also in the sense of the program being mostly talks? Or not at all?
2022-11-12 09:49:12 +0100 <Athas> It's talks.
2022-11-12 09:50:44 +0100 <tomsmeding> I saw that some of the other devrooms have a CfP of some sorts; will there also be one for the Haskell one?
2022-11-12 09:50:58 +0100 <Athas> Yes, we're drafting it right now. I think it will be out today or tomorrow.
2022-11-12 09:52:29 +0100 <tomsmeding> it is interesting to look at the various CfP pages and try to match hosting site/method with the relevant community
2022-11-12 09:52:35 +0100hendi(sid489601@id-489601.lymington.irccloud.com)
2022-11-12 09:52:51 +0100 <tomsmeding> but cool, I'll pass it on to the others here if you have something :)
2022-11-12 09:56:39 +0100libertyprime(~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds)
2022-11-12 09:57:03 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 09:57:47 +0100ggVGc(~ggVGc@2400:8901::f03c:91ff:fef2:bed8) (Read error: Software caused connection abort)
2022-11-12 09:58:10 +0100ggVGc(~ggVGc@a.lowtech.earth)
2022-11-12 09:59:46 +0100chromoblob(~user@37.113.164.122)
2022-11-12 10:00:13 +0100zer0bitz_(~zer0bitz@196.244.192.57)
2022-11-12 10:02:39 +0100machinedgod(~machinedg@clnet-b05-118.ikbnet.co.at)
2022-11-12 10:02:47 +0100zer0bitz(~zer0bitz@196.244.192.62) (Ping timeout: 268 seconds)
2022-11-12 10:06:15 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-11-12 10:07:01 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-11-12 10:07:10 +0100zer0bitz_(~zer0bitz@196.244.192.57) (Ping timeout: 240 seconds)
2022-11-12 10:21:09 +0100califax(~califax@user/califx) (Remote host closed the connection)
2022-11-12 10:21:10 +0100parseval(sid239098@id-239098.helmsley.irccloud.com) (Read error: Software caused connection abort)
2022-11-12 10:22:35 +0100califax(~califax@user/califx)
2022-11-12 10:23:20 +0100Xeroine(~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2022-11-12 10:24:09 +0100Xeroine(~Xeroine@user/xeroine)
2022-11-12 10:24:19 +0100parseval(sid239098@id-239098.helmsley.irccloud.com)
2022-11-12 10:25:01 +0100ub(~Thunderbi@178.165.179.202.wireless.dyn.drei.com)
2022-11-12 10:25:34 +0100AlexNoo(~AlexNoo@178.34.160.122) (Quit: Leaving)
2022-11-12 10:25:49 +0100ubert(~Thunderbi@178.115.32.107.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2022-11-12 10:25:49 +0100ububert
2022-11-12 10:25:58 +0100Alex_test(~al_test@178.34.160.122) (Quit: ;-)
2022-11-12 10:26:22 +0100AlexZenon(~alzenon@178.34.160.122) (Quit: ;-)
2022-11-12 10:27:40 +0100fserucas|eod(~fserucas|@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 252 seconds)
2022-11-12 10:28:57 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 256 seconds)
2022-11-12 10:34:30 +0100zeenk(~zeenk@2a02:2f04:a213:900:ec6b:90ab:f67c:4c1a) (Ping timeout: 240 seconds)
2022-11-12 10:34:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-12 10:37:14 +0100zeenk(~zeenk@2a02:2f04:a004:a200:6474:681f:7119:ae7e)
2022-11-12 10:39:37 +0100zer0bitz(~zer0bitz@196.244.192.56)
2022-11-12 10:42:15 +0100zeenk(~zeenk@2a02:2f04:a004:a200:6474:681f:7119:ae7e) (Ping timeout: 260 seconds)
2022-11-12 10:42:35 +0100gmg(~user@user/gehmehgeh)
2022-11-12 10:44:21 +0100zeenk(~zeenk@2a02:2f04:a103:fb00:daf5:5dce:6e13:159a)
2022-11-12 10:44:39 +0100AlexNoo(~AlexNoo@178.34.160.122)
2022-11-12 10:45:36 +0100cstml(~cstml@user/cstml) (Quit: WeeChat 3.5)
2022-11-12 10:46:36 +0100AlexZenon(~alzenon@178.34.160.122)
2022-11-12 10:46:53 +0100califax(~califax@user/califx) (Remote host closed the connection)
2022-11-12 10:47:20 +0100califax(~califax@user/califx)
2022-11-12 10:48:09 +0100Alex_test(~al_test@178.34.160.122)
2022-11-12 10:52:03 +0100chomwitt(~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds)
2022-11-12 10:53:11 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-11-12 10:59:49 +0100zeenk2(~zeenk@86.121.65.10)
2022-11-12 11:00:55 +0100zeenk(~zeenk@2a02:2f04:a103:fb00:daf5:5dce:6e13:159a) (Ping timeout: 260 seconds)
2022-11-12 11:01:15 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-11-12 11:07:29 +0100zeenk2(~zeenk@86.121.65.10) (Ping timeout: 256 seconds)
2022-11-12 11:11:45 +0100goober(~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
2022-11-12 11:12:05 +0100chromoblob(~user@37.113.164.122)
2022-11-12 11:12:50 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds)
2022-11-12 11:14:24 +0100bilegeek_(~bilegeek@25.sub-174-208-231.myvzw.com) (Quit: Leaving)
2022-11-12 11:15:25 +0100goober(~goober@90-231-13-185-no3430.tbcn.telia.com)
2022-11-12 11:17:35 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-11-12 11:17:40 +0100zeenk2(~zeenk@2a02:2f04:a304:a600:825b:9ce6:88db:a7f6)
2022-11-12 11:18:39 +0100 <Profpatsch> Anybody want to pair with me on a GHC optimization bug probably caused by https://gitlab.haskell.org/ghc/ghc/-/commit/46720997a0b1fa2971a884adf43de096ce130a7e in runST?
2022-11-12 11:18:55 +0100 <Profpatsch> somebody help me budget this, my production is dying
2022-11-12 11:19:20 +0100 <Profpatsch> Upstream bug: https://github.com/agrafix/superrecord/issues/38
2022-11-12 11:20:25 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-11-12 11:25:11 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-11-12 11:26:58 +0100goober(~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
2022-11-12 11:28:02 +0100goober(~goober@90-231-13-185-no3430.tbcn.telia.com)
2022-11-12 11:31:26 +0100 <[exa]> Profpatsch: that seems dark
2022-11-12 11:31:43 +0100 <Profpatsch> It’s a floating bug I think
2022-11-12 11:31:50 +0100 <Profpatsch> Stuff floats out too far
2022-11-12 11:31:54 +0100 <Profpatsch> you get the same value
2022-11-12 11:31:54 +0100euandreh(~Thunderbi@179.214.113.107)
2022-11-12 11:32:13 +0100 <Profpatsch> It was already fixed for unsafePerformIO, but apparently not for runST
2022-11-12 11:32:47 +0100 <[exa]> I detect unsafePerformIO in the package
2022-11-12 11:33:26 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 268 seconds)
2022-11-12 11:33:40 +0100 <Profpatsch> [exa]: only in the javascript ifdefs
2022-11-12 11:33:49 +0100 <Profpatsch> the GHC branches use runST everywhere
2022-11-12 11:34:06 +0100 <Profpatsch> which is fun, cause you’d expect runST to be “safer” than unsafePerformIO
2022-11-12 11:34:22 +0100 <Profpatsch> if you don’t screw up passing states around
2022-11-12 11:35:52 +0100 <Profpatsch> Ah but there is unsafeCoerce# involved
2022-11-12 11:36:28 +0100 <tomsmeding> Profpatsch: can you reproduce after that commit and not before?
2022-11-12 11:36:53 +0100 <Profpatsch> tomsmeding: I don’t have a GHC build pipeline set up, sorry
2022-11-12 11:37:00 +0100 <Profpatsch> I just want to reproduce first
2022-11-12 11:37:04 +0100 <tomsmeding> right
2022-11-12 11:37:19 +0100machinedgod(~machinedg@clnet-b05-118.ikbnet.co.at) (Ping timeout: 260 seconds)
2022-11-12 11:37:27 +0100 <Profpatsch> I think adjusting the example in https://gitlab.haskell.org/ghc/ghc/-/issues/19413 to use runST might do the trick
2022-11-12 11:38:00 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 11:40:17 +0100jakalx(~jakalx@base.jakalx.net)
2022-11-12 11:51:47 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2022-11-12 11:52:10 +0100random-jellyfish(~random-je@user/random-jellyfish)
2022-11-12 11:52:54 +0100malte(~malte@mal.tc)
2022-11-12 11:53:49 +0100 <Profpatsch> Can I stop GHC after simplification, before writing any object file?
2022-11-12 11:58:12 +0100random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2022-11-12 12:01:15 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-11-12 12:01:30 +0100chomwitt(~chomwitt@athedsl-351939.home.otenet.gr)
2022-11-12 12:05:09 +0100 <[exa]> Profpatsch: you can probably -ddump-simpl or so
2022-11-12 12:06:08 +0100 <[exa]> (anyway there's still a few intermediate stages between simplification and .o)
2022-11-12 12:06:56 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2022-11-12 12:08:00 +0100malte(~malte@mal.tc)
2022-11-12 12:10:10 +0100chromoblob(~user@37.113.164.122)
2022-11-12 12:17:20 +0100jlgw(~jw@83-233-104-81.cust.bredband2.com) (Remote host closed the connection)
2022-11-12 12:18:48 +0100__monty__(~toonn@user/toonn)
2022-11-12 12:19:46 +0100 <tomsmeding> -ddump-cmm gets you pretty far through the pipeline
2022-11-12 12:20:33 +0100 <tomsmeding> or even -ddump-asm though that's probably too far for you
2022-11-12 12:27:44 +0100vglfr(~vglfr@145.224.100.100) (Read error: Connection reset by peer)
2022-11-12 12:28:01 +0100vglfr(~vglfr@145.224.100.100)
2022-11-12 12:30:51 +0100goober(~goober@90-231-13-185-no3430.tbcn.telia.com) (Read error: Connection reset by peer)
2022-11-12 12:36:38 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds)
2022-11-12 12:37:25 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-11-12 12:39:29 +0100CiaoSen(~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-11-12 12:41:42 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-11-12 12:46:12 +0100euandreh(~Thunderbi@179.214.113.107) (Ping timeout: 268 seconds)
2022-11-12 12:49:37 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-12 12:50:38 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-12 12:53:39 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 12:54:09 +0100zeenk(~zeenk@2a02:2f04:a00d:5e00::7fe)
2022-11-12 12:56:50 +0100zeenk2(~zeenk@2a02:2f04:a304:a600:825b:9ce6:88db:a7f6) (Ping timeout: 240 seconds)
2022-11-12 13:05:25 +0100pyrex(~quassel@user/pyrex) (Ping timeout: 260 seconds)
2022-11-12 13:05:47 +0100pyrex(~pyrex@user/pyrex)
2022-11-12 13:06:59 +0100zeenk2(~zeenk@2a02:2f04:a009:2a00:cd71:a957:cf7b:e82a)
2022-11-12 13:09:30 +0100zeenk(~zeenk@2a02:2f04:a00d:5e00::7fe) (Ping timeout: 240 seconds)
2022-11-12 13:14:39 +0100cuz(~user@c-24-23-135-201.hsd1.ca.comcast.net)
2022-11-12 13:19:31 +0100cuz(~user@c-24-23-135-201.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2022-11-12 13:23:29 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-11-12 13:23:30 +0100CiaoSen(~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-11-12 13:28:01 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-11-12 13:30:49 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-11-12 13:32:23 +0100shownomercy(~TurkChat@91.93.227.24)
2022-11-12 13:33:39 +0100Techcable(~Techcable@user/Techcable) (Ping timeout: 260 seconds)
2022-11-12 13:40:57 +0100shownomercy(~TurkChat@91.93.227.24) ()
2022-11-12 13:42:20 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds)
2022-11-12 13:44:07 +0100Guest75(~Guest75@178.141.177.81)
2022-11-12 13:44:34 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-11-12 13:46:53 +0100califax(~califax@user/califx) (Remote host closed the connection)
2022-11-12 13:47:29 +0100califax(~califax@user/califx)
2022-11-12 13:51:43 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 260 seconds)
2022-11-12 13:53:59 +0100Inst(~Liam@2601:6c4:4081:54f0:8d05:724f:98cd:21a2)
2022-11-12 13:54:10 +0100 <Inst> why is inline-c code benchmarking slower than native Haskell code?
2022-11-12 13:54:50 +0100 <Inst> am i just benchmarking it wrong on criterion?
2022-11-12 13:57:37 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-11-12 13:59:34 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-11-12 14:00:37 +0100 <probie> What's it doing, and why do you expect it to be faster?
2022-11-12 14:01:15 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-11-12 14:02:04 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-11-12 14:02:22 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-11-12 14:10:39 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-11-12 14:11:05 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-11-12 14:27:10 +0100 <Inst> because it's c
2022-11-12 14:27:20 +0100 <Inst> i'm calculating fib via an iterate method
2022-11-12 14:27:37 +0100 <Inst> compared to an inline c method using dynamic programming, a for loop that sets array 1 and array 2 variables
2022-11-12 14:28:35 +0100 <arahael> Inst: What's special about C?
2022-11-12 14:28:48 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-11-12 14:29:01 +0100 <Inst> low level, i guess
2022-11-12 14:29:13 +0100 <Inst> i'm also annoyed that I tried STRefing stuff, and it was slower than the iterate method
2022-11-12 14:29:15 +0100 <Inst> 20 times slower
2022-11-12 14:29:46 +0100 <arahael> I'm not sure if C is that low level anymore. The abstract machine it works in is... Not always a good match.
2022-11-12 14:29:52 +0100 <tdammers> C isn't magically faster
2022-11-12 14:41:10 +0100acidjnk(~acidjnk@p200300d6e7137a61a1c25cbd352f97cb.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-11-12 14:41:30 +0100 <probie> By "iterate method" do you mean something like `fib k = snd $ (iterate (\(n, m) -> (m, n+m)) (0,1)) !! k`?
2022-11-12 14:48:22 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2022-11-12 14:50:32 +0100InstX1(~Liam@2601:6c4:4081:54f0:1dde:5923:3984:3700)
2022-11-12 14:53:19 +0100Inst(~Liam@2601:6c4:4081:54f0:8d05:724f:98cd:21a2) (Ping timeout: 260 seconds)
2022-11-12 14:53:46 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-11-12 14:54:25 +0100coot(~coot@213.134.171.3)
2022-11-12 15:06:17 +0100Techcable(~Techcable@user/Techcable)
2022-11-12 15:08:50 +0100raym(~ray@user/raym) (Ping timeout: 246 seconds)
2022-11-12 15:10:51 +0100raym(~ray@user/raym)
2022-11-12 15:20:36 +0100Lycurgus(~juan@user/Lycurgus)
2022-11-12 15:20:55 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-11-12 15:23:23 +0100vglfr(~vglfr@145.224.100.100) (Remote host closed the connection)
2022-11-12 15:24:07 +0100vglfr(~vglfr@145.224.100.100)
2022-11-12 15:24:09 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 15:24:40 +0100jlgw(~jw@83-233-104-81.cust.bredband2.com)
2022-11-12 15:26:14 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt https://tinyurl.com/4m8d4kd5)
2022-11-12 15:30:25 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2022-11-12 15:33:31 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-11-12 15:41:16 +0100beteigeuze1(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-11-12 15:43:15 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds)
2022-11-12 15:43:16 +0100beteigeuze1beteigeuze
2022-11-12 15:51:19 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds)
2022-11-12 15:56:44 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2022-11-12 15:58:29 +0100stef204(~stef204@user/stef204)
2022-11-12 15:58:45 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-11-12 16:03:50 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-11-12 16:05:08 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-11-12 16:13:22 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-11-12 16:14:51 +0100zeenk2(~zeenk@2a02:2f04:a009:2a00:cd71:a957:cf7b:e82a) (Quit: Konversation terminated!)
2022-11-12 16:19:43 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2022-11-12 16:20:10 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1)
2022-11-12 16:21:56 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-11-12 16:22:48 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2022-11-12 16:35:39 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-11-12 16:39:45 +0100acidjnk(~acidjnk@p200300d6e7137a19ad35e2e823f99967.dip0.t-ipconnect.de)
2022-11-12 16:45:16 +0100bjourne(~bjorn@94.191.136.12.mobile.tre.se)
2022-11-12 16:45:50 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-11-12 16:50:26 +0100Guest6482(sid532813@tinside.irccloud.com) (Changing host)
2022-11-12 16:50:26 +0100Guest6482(sid532813@user/polo)
2022-11-12 16:50:30 +0100Guest6482money
2022-11-12 16:52:44 +0100 <Athas> I need to fix a (probably minor) Windows bug a Haskell program. I have no access to a Windows machine. What's the easiest way to do this? I don't even need GUI access, but I doubt that matters on Windows.
2022-11-12 16:54:01 +0100 <geekosaur> easiest is probably the free win10 download (only costs if you regoster it but you can use it for a while eithout doing that) and vbox
2022-11-12 16:54:11 +0100 <geekosaur> sadly ghc doesn't work under wine last I heard
2022-11-12 16:54:12 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-12 16:54:46 +0100 <Franciman> Athas: maybe you can use appveyor?
2022-11-12 16:54:58 +0100 <Franciman> https://www.appveyor.com/
2022-11-12 16:55:15 +0100 <int-e> hmmmmm adventerous route: https://wiki.haskell.org/GHC_under_WINE (page last updated in 2014!)
2022-11-12 16:55:26 +0100 <Franciman> i recall it offers free windows images
2022-11-12 16:55:55 +0100 <int-e> (Anyone remember the Haskell platform? ;-) )
2022-11-12 16:56:00 +0100 <hpc> to add to geekosaur's suggestion, on one of the pages of the setup thing you can say "i don't have internet access" or "i want to set it up later" or something along those lines
2022-11-12 16:56:01 +0100 <geekosaur> right, but last I heard the 2-stage allocator got ported to windows and broke wine
2022-11-12 16:56:16 +0100 <int-e> geekosaur: ah, interesting
2022-11-12 16:56:24 +0100 <hpc> and then iirc you don't even have a time limit on the vm, it just has a watermark
2022-11-12 16:58:56 +0100 <Athas> Franciman: I thought AppVeyor was just CI. They also have images you can use interactively?
2022-11-12 17:00:10 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-11-12 17:00:30 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-11-12 17:03:27 +0100 <Franciman> ah i'm afraid not, i had wrongly interpreted the «no gui access needed»
2022-11-12 17:05:24 +0100 <int-e> "interactive", how do you feel about 10 minutes (order of magnitude) response times... ;)
2022-11-12 17:06:26 +0100 <Athas> To the patient man, anything is interactive.
2022-11-12 17:09:44 +0100 <c_wraith> oops. this universe turned out a bit wonky. just gotta tweak the parameters and try again.
2022-11-12 17:10:34 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 17:11:14 +0100 <int-e> geekosaur: hmm. http://paste.debian.net/1260468/
2022-11-12 17:11:22 +0100 <Athas> Now, for a start, I'm just trying to build with Windows on GitHub Actions. Then maybe I can obtain the built .exe and run it in Wine.
2022-11-12 17:11:30 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer)
2022-11-12 17:11:44 +0100 <Athas> But I am already feeling the extreme usual weariness deep in my soul that results from having to interact with Windows.
2022-11-12 17:12:04 +0100 <Athas> It started very early: apparently Windows cannot even checkout my repository because a test file has an asterisk in its name.
2022-11-12 17:12:06 +0100 <geekosaur> that would be a good thing! wine has been broken for a while, if it's working again then it'd help a lot
2022-11-12 17:12:11 +0100 <int-e> that's wine-7.0 (via Debian unstable, which shouldn't matter)
2022-11-12 17:13:01 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1)
2022-11-12 17:15:39 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-12 17:15:54 +0100 <geekosaur> yeh, ghc-built executables used to fail very early, if hello world works now then that's a very good sign
2022-11-12 17:16:48 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer)
2022-11-12 17:19:23 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 268 seconds)
2022-11-12 17:22:37 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1)
2022-11-12 17:23:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-12 17:29:48 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer)
2022-11-12 17:29:58 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2022-11-12 17:30:23 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-12 17:31:04 +0100zebrag(~chris@user/zebrag)
2022-11-12 17:32:17 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-12 17:33:57 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1)
2022-11-12 17:34:33 +0100siinamon(~siina@chat.criminallycute.fi)
2022-11-12 17:35:11 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer)
2022-11-12 17:35:58 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-12 17:36:16 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-12 17:41:26 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1)
2022-11-12 17:41:34 +0100bobbingbob(~bobbingbo@2604:3d09:207f:f650::b469)
2022-11-12 17:41:49 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer)
2022-11-12 17:42:13 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 17:44:25 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1)
2022-11-12 17:46:28 +0100Kaipei(~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds)
2022-11-12 17:48:52 +0100possess(~androirc@2600:381:af1b:c7f6:cdf7:db2a:ca23:f1c1) (Read error: Connection reset by peer)
2022-11-12 17:49:09 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 3.7.1)
2022-11-12 17:49:50 +0100odnes(~odnes@5-203-242-111.pat.nym.cosmote.net)
2022-11-12 17:50:34 +0100machinedgod(~machinedg@clnet-b05-118.ikbnet.co.at)
2022-11-12 17:50:40 +0100odnes(~odnes@5-203-242-111.pat.nym.cosmote.net) (Remote host closed the connection)
2022-11-12 17:58:07 +0100Sgeo(~Sgeo@user/sgeo)
2022-11-12 18:01:34 +0100nate4(~nate@98.45.169.16)
2022-11-12 18:05:56 +0100AkechiShiro(~licht@user/akechishiro)
2022-11-12 18:07:33 +0100blomberg(~default_u@117.200.13.41)
2022-11-12 18:08:41 +0100 <blomberg> is there a filterbefore instead of filtering afterwards [1,2,3..] -> [sqares of them] ; to filter odd of second list not but before list
2022-11-12 18:09:32 +0100 <blomberg> A->B filter odd filters B, not corresponding indices of A
2022-11-12 18:09:57 +0100 <dolio> So, you want the numbers in the original list whose squares are odd?
2022-11-12 18:09:58 +0100 <tomsmeding> blomberg: zip the two lists, filter on the snd component, then project out the fst from the result?
2022-11-12 18:11:05 +0100 <tomsmeding> Is there a way to convince ghc to treat some file Foo.hs as if it declared a module with name Foo, instead of whatever module header it actually contains (or doesn't contain)?
2022-11-12 18:11:40 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2022-11-12 18:13:05 +0100 <blomberg> tomsmeding:code
2022-11-12 18:13:39 +0100 <blomberg> > x = 2
2022-11-12 18:13:41 +0100 <lambdabot> <hint>:1:3: error: parse error on input ‘=’
2022-11-12 18:13:42 +0100 <blomberg> why error
2022-11-12 18:13:54 +0100 <tomsmeding> that's just lambdabot's behaviour
2022-11-12 18:13:56 +0100 <tomsmeding> % x = 2
2022-11-12 18:13:56 +0100 <yahb2> <no output>
2022-11-12 18:13:57 +0100 <geekosaur> because it wants an expression
2022-11-12 18:13:57 +0100 <dolio> `filter (p . g) l` gives you the elements of l that correspond to what would end up in `filter p (map g l)`
2022-11-12 18:14:07 +0100 <geekosaur> lambdabot is not ghci. yahb2 is
2022-11-12 18:14:46 +0100 <geekosaur> you can use @let to define things for lambdabot, but you should avoid single character names because simple-reflect uses them
2022-11-12 18:14:52 +0100TonyStone31(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-11-12 18:14:53 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 268 seconds)
2022-11-12 18:15:00 +0100 <geekosaur> > foldr f z [a,b,c] -- simple-reflect
2022-11-12 18:15:02 +0100 <lambdabot> f a (f b (f c z))
2022-11-12 18:16:07 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-11-12 18:17:18 +0100 <yushyin> tomsmeding: you can use cabal's mixins to rename modules. don't know if that helps you
2022-11-12 18:18:22 +0100 <tomsmeding> yushyin: hm, not quite, I'd like to receive a haskell file from someone with any random module header and be able to compile it as a non-Main module without having to parse the source
2022-11-12 18:18:46 +0100 <tomsmeding> but maybe I should just arrange things so that I don't have to do this :p
2022-11-12 18:19:18 +0100 <blomberg> dolio:how
2022-11-12 18:19:51 +0100 <dolio> > filter (odd . (^2)) [1..20]
2022-11-12 18:19:52 +0100 <lambdabot> [1,3,5,7,9,11,13,15,17,19]
2022-11-12 18:20:39 +0100 <dolio> By making the predicate `\x -> odd (x^2)`.
2022-11-12 18:21:07 +0100 <blomberg> sin . cos is sin (cos)
2022-11-12 18:21:27 +0100 <dolio> In this case, you might as well use `odd`, because the square of a number is odd if and only if the original number is odd.
2022-11-12 18:21:55 +0100 <dolio> f . g = \x -> f (g x)
2022-11-12 18:22:26 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-12 18:22:30 +0100 <dolio> sin . cos = \x -> sin (cos x)
2022-11-12 18:23:26 +0100euandreh(~Thunderbi@179.214.113.107)
2022-11-12 18:24:05 +0100 <blomberg> > filter (\x->odd (x^2)) [1..20]
2022-11-12 18:24:07 +0100 <lambdabot> [1,3,5,7,9,11,13,15,17,19]
2022-11-12 18:25:25 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-11-12 18:27:42 +0100 <int-e> @check \n -> odd (x^2) == odd x
2022-11-12 18:27:44 +0100 <lambdabot> +++ OK, passed 100 tests.
2022-11-12 18:27:49 +0100 <int-e> @check \x -> odd (x^2) == odd x
2022-11-12 18:27:51 +0100 <lambdabot> +++ OK, passed 100 tests.
2022-11-12 18:28:23 +0100 <int-e> (hah, I expected the first one to fail, but simple-reflect "saved" me.)
2022-11-12 18:28:33 +0100 <int-e> > odd x
2022-11-12 18:28:35 +0100 <lambdabot> True
2022-11-12 18:28:41 +0100 <tomsmeding> lol
2022-11-12 18:28:44 +0100 <int-e> > even x
2022-11-12 18:28:46 +0100 <lambdabot> False
2022-11-12 18:28:52 +0100 <tomsmeding> > odd y
2022-11-12 18:28:53 +0100 <lambdabot> True
2022-11-12 18:29:00 +0100razetime(~quassel@117.193.2.37) (Remote host closed the connection)
2022-11-12 18:29:23 +0100 <monochrom> That's really odd. >:)
2022-11-12 18:29:24 +0100 <tomsmeding> oh right
2022-11-12 18:30:02 +0100 <tomsmeding> > x `rem` 2
2022-11-12 18:30:04 +0100 <lambdabot> x `rem` 2
2022-11-12 18:30:08 +0100 <int-e> > (x `rem` 2) == 0
2022-11-12 18:30:10 +0100 <lambdabot> False
2022-11-12 18:30:36 +0100 <tomsmeding> simple-reflect defers to equality on `show` if the expressions are nontrivial
2022-11-12 18:30:58 +0100 <tomsmeding> > odd (x^2)
2022-11-12 18:31:00 +0100 <lambdabot> True
2022-11-12 18:31:18 +0100 <blomberg> zip lists and filter on snd ?
2022-11-12 18:31:31 +0100 <int-e> > odd (2 :: Expr)
2022-11-12 18:31:33 +0100 <lambdabot> False
2022-11-12 18:31:57 +0100 <tomsmeding> oh, odd = not . even, and even = n `rem` 2 == 0; even is always False for simple-reflect, so odd is always True
2022-11-12 18:32:02 +0100 <tomsmeding> that took _way_ too long
2022-11-12 18:33:26 +0100 <blomberg> tomsmeding: what do you mean to filter the second one, as filters won't do it
2022-11-12 18:33:37 +0100 <blomberg> i can't
2022-11-12 18:34:17 +0100 <tomsmeding> blomberg: just to check: you have two lists, A and B, and you want to keep the values in A that are in the same position as values in B that are odd
2022-11-12 18:34:18 +0100 <tomsmeding> right?
2022-11-12 18:34:25 +0100olivermead(~olivermea@cpc72329-sotn15-2-0-cust205.15-1.cable.virginm.net) (Ping timeout: 252 seconds)
2022-11-12 18:34:28 +0100 <blomberg> ya
2022-11-12 18:34:34 +0100 <tomsmeding> % a = [1..5]
2022-11-12 18:34:34 +0100 <yahb2> <no output>
2022-11-12 18:34:47 +0100 <tomsmeding> % b = map (^2) a
2022-11-12 18:34:47 +0100 <yahb2> <no output>
2022-11-12 18:34:51 +0100 <tomsmeding> % zip a b
2022-11-12 18:34:51 +0100 <yahb2> [(1,1),(2,4),(3,9),(4,16),(5,25)]
2022-11-12 18:35:02 +0100 <tomsmeding> blomberg: try filtering on _that_
2022-11-12 18:35:12 +0100 <tomsmeding> and then transform the result to what you need
2022-11-12 18:35:23 +0100 <blomberg> how
2022-11-12 18:35:31 +0100 <tomsmeding> try
2022-11-12 18:35:43 +0100 <blomberg> i don't have confidence to try code... i prefer eto read it
2022-11-12 18:35:55 +0100 <tomsmeding> the only way you'll learn haskell is by doing it
2022-11-12 18:36:06 +0100 <tomsmeding> trying things, failing, trying again, finding something that works
2022-11-12 18:36:18 +0100 <tomsmeding> while this holds for most things in life, it holds _especially_ for programming
2022-11-12 18:36:18 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-11-12 18:36:52 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-11-12 18:36:53 +0100 <blomberg> na i read the book learn you a haskell 2days ago, i don't even have ghc installed it's like 1GB on ubuntu haskell-platform
2022-11-12 18:37:07 +0100 <tomsmeding> yeah a haskell install is kind of large
2022-11-12 18:37:35 +0100 <tomsmeding> if you are okay with writing a full program though (instead of using ghci, that is), you can try using https://play-haskell.tomsmeding.com for a while
2022-11-12 18:37:43 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-11-12 18:37:44 +0100 <blomberg> it's not because of llvm, as julia is 200MB or sth
2022-11-12 18:38:11 +0100 <tomsmeding> reading learn-you-a-haskell without trying anything yourself is not very useful
2022-11-12 18:38:13 +0100 <tomsmeding> :p
2022-11-12 18:38:57 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-11-12 18:39:52 +0100 <blomberg> it saves a lot of time, i read it in like a day not monads,etc just control flow
2022-11-12 18:40:25 +0100 <tomsmeding> yeah it sure saves a lot of time, but you didn't learn all that much :)
2022-11-12 18:43:02 +0100 <blomberg> %l = [(1,1),(2,4),(3,9),(4,16),(5,25)]
2022-11-12 18:43:21 +0100 <tomsmeding> (you need a space after the %)
2022-11-12 18:43:26 +0100LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net)
2022-11-12 18:43:33 +0100 <blomberg> % [(1,1),(2,4),(3,9),(4,16),(5,25)]
2022-11-12 18:43:33 +0100 <yahb2> [(1,1),(2,4),(3,9),(4,16),(5,25)]
2022-11-12 18:43:41 +0100 <blomberg> % l=[(1,1),(2,4),(3,9),(4,16),(5,25)]
2022-11-12 18:43:41 +0100 <yahb2> <no output>
2022-11-12 18:43:56 +0100 <blomberg> > filter odd l
2022-11-12 18:43:58 +0100 <lambdabot> error:
2022-11-12 18:43:58 +0100 <lambdabot> • Couldn't match expected type ‘[a]’ with actual type ‘Expr’
2022-11-12 18:43:58 +0100 <lambdabot> • In the second argument of ‘filter’, namely ‘l’
2022-11-12 18:44:06 +0100 <tomsmeding> (and if you want to experiment without flooding the channel, you can also message yahb2 directly)
2022-11-12 18:44:07 +0100stef204(~stef204@user/stef204)
2022-11-12 18:44:12 +0100 <tomsmeding> (don't forget the %)
2022-11-12 18:44:24 +0100 <blomberg> % filter odd l
2022-11-12 18:44:24 +0100 <yahb2> <interactive>:54:1: error: ; • No instance for (Integral (Integer, Integer)) ; arising from a use of ‘it’ ; • In the first argument of ‘Yahb2Defs.limitedPrint’, namely ‘it’ ; ...
2022-11-12 18:44:41 +0100 <blomberg> % filter (snd odd) l
2022-11-12 18:44:41 +0100 <yahb2> <interactive>:56:13: error: ; • Couldn't match expected type: (a0, (a, b) -> Bool) ; with actual type: a1 -> Bool ; • Probable cause: ‘odd’ is applied to too few arguments...
2022-11-12 18:44:41 +0100zeenk(~zeenk@2a02:2f04:a009:2a00:cd71:a957:cf7b:e82a)
2022-11-12 18:44:43 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-11-12 18:46:06 +0100 <blomberg> i don't know what you mean tomsmelding to filter on the second part as i need the first part but also you were vague
2022-11-12 18:46:15 +0100 <blomberg> i can't read your mind
2022-11-12 18:46:20 +0100 <tomsmeding> I can't read yours either
2022-11-12 18:46:33 +0100 <tomsmeding> the argument to filter is a function that takes an element from l, and returns a Bool
2022-11-12 18:46:48 +0100 <tomsmeding> l, in this case, contains pairs of indices and squares
2022-11-12 18:47:03 +0100 <tomsmeding> so given a pair of an index and a square, do your thing
2022-11-12 18:48:13 +0100 <blomberg> tomsmeding:yes filter doesn't work on pairs
2022-11-12 18:48:33 +0100olivermead(~olivermea@cpc72329-sotn15-2-0-cust205.15-1.cable.virginm.net)
2022-11-12 18:48:50 +0100 <tomsmeding> doesn't it?
2022-11-12 18:49:02 +0100 <blomberg> but i like the previous version where an additional function on x gives odd x which gives boolean and x gets filtered
2022-11-12 18:49:03 +0100 <tomsmeding> it works on anything -- as long as you tell it what to do with that anything
2022-11-12 18:49:13 +0100 <tomsmeding> you can do precisely that here
2022-11-12 18:49:59 +0100 <blomberg> tomsmeding:no i won't code myself
2022-11-12 18:50:08 +0100 <tomsmeding> ok
2022-11-12 18:50:10 +0100 <LemanR> hey all, I want to start studying haskell programming, I have a little bit of experience spread across a variety of languages (mostly R and Common Lisp). I've tried exerism.org and got lost pretty quickly as there seems to be missing details (unless it's just me).
2022-11-12 18:50:26 +0100bobbingbob(~bobbingbo@2604:3d09:207f:f650::b469) (Remote host closed the connection)
2022-11-12 18:50:55 +0100 <LemanR> any advice on online sources that go over the basics of haskell in a detailed manner?
2022-11-12 18:51:03 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 18:51:11 +0100 <blomberg> learn you a haskell online free book is the best
2022-11-12 18:51:12 +0100 <tomsmeding> LemanR: you may or may not like http://learn.hfm.io/
2022-11-12 18:51:43 +0100 <tomsmeding> (you don't need the 'Haskell for mac' app to use that tutorial; it's just a generic haskell tutorial)
2022-11-12 18:52:13 +0100 <blomberg> exerism.org is down or wrong link LemanR
2022-11-12 18:52:18 +0100 <tomsmeding> exercism.org
2022-11-12 18:53:02 +0100 <LemanR> sorry about the typo https://exercism.org/
2022-11-12 18:53:29 +0100 <blomberg> how can i remember hfm...? acronym helps
2022-11-12 18:53:35 +0100 <LemanR> tomsmeding good first impressions, I'll look into hfm.io
2022-11-12 18:53:39 +0100 <tomsmeding> blomberg: haskell-for-mac
2022-11-12 18:53:39 +0100 <blomberg> haskell for mac ok
2022-11-12 18:55:16 +0100bobbingbob(~bobbingbo@2604:3d09:207f:f650::b469)
2022-11-12 18:55:28 +0100 <blomberg> elm,elixir what you think about that
2022-11-12 18:55:40 +0100 <blomberg> isn't it more practical than haskell
2022-11-12 18:55:48 +0100 <blomberg> for the web
2022-11-12 18:55:58 +0100 <bobbingbob> i just borked ~/.stack/global-project/stack.yaml. how do i restore it?
2022-11-12 18:56:12 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-11-12 18:56:25 +0100 <LemanR> for hfm you need a mac right? (I have a thinkpad)
2022-11-12 18:56:54 +0100 <bobbingbob> why isn't there a consistent model of copy/paste across applications?
2022-11-12 18:56:56 +0100 <tomsmeding> LemanR: for HfM you need a mac indeed, but the tutorial doesn't require you to use that program
2022-11-12 18:57:17 +0100 <LemanR> ah I see
2022-11-12 18:57:21 +0100 <blomberg> LemanR: why would you need a mac?
2022-11-12 18:57:47 +0100 <blomberg> tomsmeding: did you write that crappy tutorial
2022-11-12 18:57:58 +0100 <tomsmeding> bobbingbob: perhaps put this in it: packages: []\nresolver: lts-18.12 (replacing the \n with an actual newline, and perhaps the resolver with whatever you use)
2022-11-12 18:58:05 +0100 <tomsmeding> blomberg: which?
2022-11-12 18:58:09 +0100 <tomsmeding> the hfm one? no
2022-11-12 18:58:13 +0100 <tomsmeding> what's crappy about it?
2022-11-12 18:58:28 +0100 <blomberg> hfm, every tutorial is crappy and *every language*
2022-11-12 18:58:40 +0100 <blomberg> they are alll bloated
2022-11-12 18:59:07 +0100 <blomberg> it should be like a single page or two for a chapter
2022-11-12 18:59:29 +0100 <LemanR> blomberg content may be different depending on which hardware you have *shrugs* to answer your question earlier
2022-11-12 18:59:41 +0100 <tomsmeding> blomberg: if you don't like the state of the art, go fix it :)
2022-11-12 19:00:09 +0100 <tomsmeding> LemanR: the videos in the hfm tutorial use the HfM software though, but the haskell code shouldn't use platform-specific stuff
2022-11-12 19:02:00 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-11-12 19:02:28 +0100 <LemanR> K, I am following the gentoo guide on Haskell to make sure I set it up properly (btw I <3 the linux system I have, it's pretty meta as in it can run different linux distros on the same file systems, currently gentoo & debian) along with a windows partition. But I'll stop there as this is a haskell channel
2022-11-12 19:02:41 +0100 <bobbingbob> tomsmeding: thank you, i knew it was short and simple but i couldn't remember it
2022-11-12 19:02:42 +0100 <tomsmeding> LemanR: are you using ghcup?
2022-11-12 19:02:46 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-11-12 19:03:19 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-11-12 19:03:32 +0100 <blomberg> is FP quicker 3x than python or js?
2022-11-12 19:03:36 +0100 <blomberg> how come, ?
2022-11-12 19:03:39 +0100 <blomberg> they say it is
2022-11-12 19:03:44 +0100califax(~califax@user/califx) (Remote host closed the connection)
2022-11-12 19:04:03 +0100nate4(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2022-11-12 19:04:04 +0100 <blomberg> in youtube, but most algorithms are pretty simple like making a web app
2022-11-12 19:04:09 +0100 <LemanR> tomsmeding not familiar with it. I know I am setting up the compiler (ghc)
2022-11-12 19:04:16 +0100 <[exa]> LemanR: like literally sharing the root partition?
2022-11-12 19:04:48 +0100 <tomsmeding> LemanR: instead of your system's ghc package it may be worth using ghcup https://www.haskell.org/ghcup/
2022-11-12 19:05:10 +0100 <tomsmeding> but if using the system packages works for you, then that works too I guess
2022-11-12 19:05:18 +0100califax(~califax@user/califx)
2022-11-12 19:05:23 +0100 <tomsmeding> (the Arch packages are terribly broken, but I hear that gentoo is better?)
2022-11-12 19:06:03 +0100 <LemanR> [exa] They only share userspace directory and up. I mount needed root directories via an automated script I have.
2022-11-12 19:06:06 +0100 <blomberg> tomsmeding:which arch page is broken?
2022-11-12 19:06:35 +0100 <[exa]> LemanR: ah ok I was wondering how I'd do that to my old gentoos :D
2022-11-12 19:06:36 +0100 <yushyin> not page, *packages*
2022-11-12 19:07:14 +0100 <blomberg> ya typo
2022-11-12 19:07:24 +0100 <blomberg> yushyin:i think i saw you in #python as well?
2022-11-12 19:07:28 +0100 <yushyin> no
2022-11-12 19:07:37 +0100 <yushyin> i don't do python if i can avoid it
2022-11-12 19:07:50 +0100 <blomberg> #lisp or CL i saw you somewhere
2022-11-12 19:08:19 +0100 <yushyin> lisp related channels are more likely, yeah
2022-11-12 19:08:41 +0100 <LemanR> tomsmeding I'll take a look, if it's recommended by haskell it'self I'll do it no questions asked lol the beginners should heed the advise from the experienced and all
2022-11-12 19:09:06 +0100 <tomsmeding> LemanR: what do you mean with "haskell itself" :p
2022-11-12 19:09:20 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 19:10:21 +0100 <[exa]> LemanR: the target of distro packaging is to make maintainable packages for distribution, which in case of haskell often conflicts with the developer's need to have good recent versions of packages and stuff intermingled with compatibility ones etc
2022-11-12 19:10:24 +0100 <LemanR> tomsmeding haskell.org I am assuming is owned by the haskell foundation
2022-11-12 19:10:31 +0100 <blomberg> are there any resources sto make alternative web to http? tomsmeding
2022-11-12 19:10:34 +0100 <blomberg> like the gopher
2022-11-12 19:10:51 +0100 <tomsmeding> LemanR: it is, but hfm is not from haskell.org :p
2022-11-12 19:11:05 +0100 <tomsmeding> (it is from longtime haskellers though)
2022-11-12 19:11:29 +0100 <LemanR> tomsmeding I was referring to the https://www.haskell.org/ghcup/ link
2022-11-12 19:11:47 +0100 <tomsmeding> ooh right yes
2022-11-12 19:11:47 +0100bjourne(~bjorn@94.191.136.12.mobile.tre.se) (Read error: Connection reset by peer)
2022-11-12 19:12:10 +0100 <tomsmeding> yeah that's the officially recommended haskell install method now, as far as "official" goes
2022-11-12 19:13:43 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-12 19:14:49 +0100acidjnk(~acidjnk@p200300d6e7137a19ad35e2e823f99967.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-11-12 19:15:13 +0100acidjnk(~acidjnk@p200300d6e7137a19ad35e2e823f99967.dip0.t-ipconnect.de)
2022-11-12 19:16:14 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-11-12 19:19:27 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-12 19:21:06 +0100Kaipei(~Kaiepi@108.175.84.104)
2022-11-12 19:22:48 +0100bobbingbob(~bobbingbo@2604:3d09:207f:f650::b469) (Remote host closed the connection)
2022-11-12 19:24:53 +0100thyriaen(~thyriaen@2a01:aea0:dd4:470d:4c78:c477:402b:896a)
2022-11-12 19:24:59 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-11-12 19:25:19 +0100thyriaen(~thyriaen@2a01:aea0:dd4:470d:4c78:c477:402b:896a) (Client Quit)
2022-11-12 19:26:00 +0100califax(~califax@user/califx) (Remote host closed the connection)
2022-11-12 19:26:26 +0100califax(~califax@user/califx)
2022-11-12 19:28:28 +0100bobbingbob(~bobbingbo@2604:3d09:207f:f650::b469)
2022-11-12 19:29:49 +0100 <LemanR> well thanks all for the good advise. btw does the channel have a chat channel? Like how gentoo has gentoo-chat on here.
2022-11-12 19:30:54 +0100 <sm> uh, you're in it ? but occasionally folks use #haskell-offtopic or #haskell-blah
2022-11-12 19:30:55 +0100LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) (Quit: Client closed)
2022-11-12 19:30:56 +0100Guest|27(~Guest|27@dynamic-077-179-163-155.77.179.pool.telefonica.de)
2022-11-12 19:31:14 +0100LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net)
2022-11-12 19:31:22 +0100Guest|27(~Guest|27@dynamic-077-179-163-155.77.179.pool.telefonica.de) (Client Quit)
2022-11-12 19:32:15 +0100califax(~califax@user/califx) (Remote host closed the connection)
2022-11-12 19:32:41 +0100 <geekosaur> yeh, this channel is for directly haskell related stuff, -offtopic is for general chat
2022-11-12 19:33:03 +0100califax(~califax@user/califx)
2022-11-12 19:33:08 +0100 <geekosaur> -blah is pretty much dead at this point, I think it was only carried over onto libera because a few folks were idling in it
2022-11-12 19:33:21 +0100 <Rembane> It's a very good channel to idle in
2022-11-12 19:36:03 +0100bobbingbob(~bobbingbo@2604:3d09:207f:f650::b469) (Remote host closed the connection)
2022-11-12 19:36:12 +0100 <LemanR> now idling lol
2022-11-12 19:38:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-12 19:38:52 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-11-12 19:38:55 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-11-12 19:43:09 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds)
2022-11-12 19:44:17 +0100talismanick(~talismani@76.133.152.122) (Ping timeout: 246 seconds)
2022-11-12 19:46:57 +0100jakalx(~jakalx@base.jakalx.net)
2022-11-12 19:48:12 +0100bjourne(~bjorn@94.191.136.12.mobile.tre.se)
2022-11-12 19:48:38 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-11-12 19:50:31 +0100chomwitt(~chomwitt@athedsl-351939.home.otenet.gr) (Ping timeout: 256 seconds)
2022-11-12 19:57:45 +0100dfee(~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net)
2022-11-12 19:58:55 +0100 <EvanR> the great freenode haskell offtopic schism that I can't even remember the details of finally coming to an end?
2022-11-12 19:59:31 +0100 <geekosaur> was already pretty much over before we left freenode
2022-11-12 20:02:09 +0100 <sm> similar vibes currently with twitter
2022-11-12 20:02:38 +0100 <sm> a big twitter to mastodon migration, eg
2022-11-12 20:08:33 +0100coot(~coot@213.134.171.3) (Quit: coot)
2022-11-12 20:11:48 +0100 <int-e> yeah you can find quite a few parallels between freenode/twitter, Lee/Musk, and maybe libera/mastodon (though it's too early to be sure)
2022-11-12 20:11:52 +0100nate4(~nate@98.45.169.16)
2022-11-12 20:13:35 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 20:16:59 +0100nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-11-12 20:18:08 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-11-12 20:19:19 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 3.7.1)
2022-11-12 20:20:43 +0100siinamon(~siina@chat.criminallycute.fi) (Oops, I parted!)
2022-11-12 20:20:45 +0100 <EvanR> old hackage package 'henet' bindings to Enet says that there are better native haskell libraries to use instead, but doesn't name any
2022-11-12 20:21:08 +0100 <EvanR> they exist in the classical sense
2022-11-12 20:21:45 +0100notzmv(~zmv@user/notzmv)
2022-11-12 20:23:10 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-12 20:23:45 +0100 <geekosaur> ericson2314 is on irc
2022-11-12 20:24:15 +0100 <EvanR> yo ericson2314 what are these better networking libraries actually
2022-11-12 20:24:23 +0100 <ericson2314> oh god I only started that soooo long ago
2022-11-12 20:24:31 +0100 <ericson2314> no clue lol
2022-11-12 20:24:35 +0100 <EvanR> lol
2022-11-12 20:24:46 +0100 <ericson2314> that package could be deleted
2022-11-12 20:25:01 +0100 <ericson2314> I feel like quic in datagram mode ought to be fine
2022-11-12 20:25:04 +0100 <geekosaur> deletion doesn't happen. you could mark it deprecated though
2022-11-12 20:25:15 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-11-12 20:25:16 +0100 <ericson2314> ah sure
2022-11-12 20:26:24 +0100zer0bitz_(~zer0bitz@196.244.192.56)
2022-11-12 20:26:30 +0100zer0bitz(~zer0bitz@196.244.192.56) (Ping timeout: 240 seconds)
2022-11-12 20:28:25 +0100LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) (Quit: Client closed)
2022-11-12 20:28:49 +0100 <EvanR> QUIC, cool
2022-11-12 20:30:46 +0100zer0bitz_(~zer0bitz@196.244.192.56) (Client Quit)
2022-11-12 20:33:28 +0100zer0bitz(~zer0bitz@196.244.192.56)
2022-11-12 20:34:09 +0100blomberg(~default_u@117.200.13.41) (Quit: blomberg)
2022-11-12 20:35:52 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 20:40:31 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-11-12 20:43:37 +0100dfee(~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Quit: dfee)
2022-11-12 20:44:48 +0100DDR(~DDR@2604:3d08:4c7f:8250:ab47:a2f3:7012:8f4a)
2022-11-12 20:50:11 +0100lechner(~lechner@2604:21c0:125:10f0::d35)
2022-11-12 20:50:17 +0100lechner(~lechner@2604:21c0:125:10f0::d35) (Changing host)
2022-11-12 20:50:17 +0100lechner(~lechner@debian/lechner)
2022-11-12 20:50:35 +0100acidjnk(~acidjnk@p200300d6e7137a19ad35e2e823f99967.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-11-12 20:52:15 +0100lechner(~lechner@debian/lechner) (Read error: Connection reset by peer)
2022-11-12 20:52:16 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-11-12 20:55:07 +0100Kaipei(~Kaiepi@108.175.84.104) (Ping timeout: 256 seconds)
2022-11-12 21:00:02 +0100gurkenglas(~gurkengla@212.36.32.212)
2022-11-12 21:00:45 +0100lechner(~lechner@2604:21c0:125:10f0::d35)
2022-11-12 21:00:52 +0100lechner(~lechner@2604:21c0:125:10f0::d35) (Changing host)
2022-11-12 21:00:52 +0100lechner(~lechner@debian/lechner)
2022-11-12 21:03:03 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 21:07:35 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-11-12 21:09:52 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 21:11:42 +0100a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507)
2022-11-12 21:11:47 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-11-12 21:14:23 +0100 <a6a45081-2b83> what is a better way to write this? `iterate (\(xs', y:ys', result) -> (drop y xs', ys', (take y xs'):result)) (xs, ys, [])`
2022-11-12 21:14:35 +0100 <a6a45081-2b83> ignoring non-exhaustive match when ys is empty
2022-11-12 21:14:59 +0100 <a6a45081-2b83> xs=[1..6], ys=[1,2,3] then result=http://en.wikipedia.org/wiki/Special:Search?go=Go&search=1],[2,3],[4,5,6
2022-11-12 21:15:22 +0100 <a6a45081-2b83> `http://en.wikipedia.org/wiki/Special:Search?go=Go&search=1],[2,3],[4,5,6`
2022-11-12 21:15:44 +0100Guest31(~Guest31@p200300ef970b9cda31eab7f863c986c6.dip0.t-ipconnect.de)
2022-11-12 21:18:13 +0100cole84(~cole@rrcs-24-43-123-72.west.biz.rr.com)
2022-11-12 21:18:31 +0100 <int-e> > let splits (y:ys) xs = let (xs', xs'') = splitAt y xs in xs' : splits ys xs''; splits _ _ = [] in splits [1..3] [1..6]
2022-11-12 21:18:33 +0100 <lambdabot> [[1],[2,3],[4,5,6]]
2022-11-12 21:19:11 +0100 <cole84> howdy, can someone point me to an example of integrating a source code formatter as part of the build process?
2022-11-12 21:20:40 +0100TonyStone31(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds)
2022-11-12 21:21:11 +0100 <int-e> a6a45081-2b83: explicit recursion is always an option, and quite often the clearest way to write code
2022-11-12 21:21:18 +0100 <a6a45081-2b83> I see
2022-11-12 21:21:54 +0100 <a6a45081-2b83> > let xs=[1..6]; y=[1..3] in mapAccumL (\xs' y -> (drop y xs', take y xs')) xs ys
2022-11-12 21:21:56 +0100 <lambdabot> error:
2022-11-12 21:21:56 +0100 <lambdabot> • Variable not in scope: ys :: t Int
2022-11-12 21:21:56 +0100 <lambdabot> • Perhaps you meant one of these:
2022-11-12 21:22:03 +0100 <a6a45081-2b83> > let xs=[1..6]; ys=[1..3] in mapAccumL (\xs' y -> (drop y xs', take y xs')) xs ys
2022-11-12 21:22:04 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 21:22:05 +0100 <lambdabot> ([],[[1],[2,3],[4,5,6]])
2022-11-12 21:22:23 +0100 <int-e> okay, that is cute
2022-11-12 21:22:33 +0100 <EvanR> mapAccumL is great
2022-11-12 21:22:42 +0100 <a6a45081-2b83> i think that lambda is flipped version of splitAt
2022-11-12 21:22:54 +0100 <int-e> too bad that the pair is flipped compared to splitAt
2022-11-12 21:23:15 +0100 <int-e> and indeed the arguments as well
2022-11-12 21:23:29 +0100 <a6a45081-2b83> I see
2022-11-12 21:24:08 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-11-12 21:24:25 +0100acidjnk(~acidjnk@p200300d6e7137a1930cde3464850e818.dip0.t-ipconnect.de)
2022-11-12 21:25:47 +0100gurkenglas(~gurkengla@212.36.32.212) (Ping timeout: 260 seconds)
2022-11-12 21:30:58 +0100gurkenglas(~gurkengla@212.36.32.212)
2022-11-12 21:31:02 +0100 <int-e> @pl \a b -> (\(a,b) -> (b,a)) (splitAt b a)
2022-11-12 21:31:02 +0100 <lambdabot> (uncurry (flip (,)) .) . flip splitAt
2022-11-12 21:31:27 +0100 <int-e> ...almost not bad at all ;-)
2022-11-12 21:32:00 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli)
2022-11-12 21:39:27 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli) ()
2022-11-12 21:40:43 +0100a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) (Remote host closed the connection)
2022-11-12 21:41:12 +0100cole84(~cole@rrcs-24-43-123-72.west.biz.rr.com) (Quit: Client closed)
2022-11-12 21:42:22 +0100caryhartline(~caryhartl@2600:1700:2d0:8d30:dcc0:82ac:c37f:ed70)
2022-11-12 21:42:43 +0100chromoblob(~user@37.113.164.122)
2022-11-12 21:43:17 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds)
2022-11-12 21:44:46 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-11-12 21:46:35 +0100Kaipei(~Kaiepi@108.175.84.104)
2022-11-12 21:47:03 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli)
2022-11-12 21:48:23 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 256 seconds)
2022-11-12 21:49:40 +0100TonyStone31(~TonyStone@cpe-74-76-48-136.nycap.res.rr.com)
2022-11-12 21:50:07 +0100pavonia(~user@user/siracusa)
2022-11-12 22:03:07 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-11-12 22:03:47 +0100chomwitt(~chomwitt@athedsl-351939.home.otenet.gr)
2022-11-12 22:08:48 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2022-11-12 22:12:11 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-11-12 22:17:44 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-11-12 22:24:10 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds)
2022-11-12 22:25:31 +0100machinedgod(~machinedg@clnet-b05-118.ikbnet.co.at) (Ping timeout: 260 seconds)
2022-11-12 22:26:07 +0100olivermead(~olivermea@cpc72329-sotn15-2-0-cust205.15-1.cable.virginm.net) (Remote host closed the connection)
2022-11-12 22:26:27 +0100gurkenglas(~gurkengla@212.36.32.212) (Ping timeout: 260 seconds)
2022-11-12 22:27:03 +0100machinedgod(~machinedg@clnet-b05-118.ikbnet.co.at)
2022-11-12 22:30:55 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 22:35:44 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds)
2022-11-12 22:36:41 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-11-12 22:39:31 +0100TonyStone31(~TonyStone@cpe-74-76-48-136.nycap.res.rr.com) (Ping timeout: 260 seconds)
2022-11-12 22:40:51 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-11-12 22:46:32 +0100wroathe(~wroathe@50.205.197.50)
2022-11-12 22:46:32 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2022-11-12 22:46:32 +0100wroathe(~wroathe@user/wroathe)
2022-11-12 22:48:04 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds)
2022-11-12 22:50:27 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2022-11-12 22:52:01 +0100TonyStone31(~TonyStone@cpe-74-76-48-136.nycap.res.rr.com)
2022-11-12 22:55:16 +0100hiredman(~hiredman@frontier1.downey.family)
2022-11-12 22:55:18 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2022-11-12 22:55:20 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-11-12 22:56:36 +0100luseerr(~luseerr@145.224.100.107)
2022-11-12 22:57:29 +0100luseerr(~luseerr@145.224.100.107) (Client Quit)
2022-11-12 23:03:16 +0100tatsumaru(~tatsumaru@92-247-247-29.spectrumnet.bg)
2022-11-12 23:03:28 +0100tatsumaru(~tatsumaru@92-247-247-29.spectrumnet.bg) ()
2022-11-12 23:09:29 +0100ksqsf(~user@2001:da8:d800:611:4053:b72:5ad6:c1e4)
2022-11-12 23:09:43 +0100ksqsf(~user@2001:da8:d800:611:4053:b72:5ad6:c1e4) ()
2022-11-12 23:10:33 +0100TonyStone31(~TonyStone@cpe-74-76-48-136.nycap.res.rr.com) (Ping timeout: 256 seconds)
2022-11-12 23:14:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-12 23:16:16 +0100mekeor[m](~mekeormat@2001:470:69fc:105::17e4) ()
2022-11-12 23:24:06 +0100TonyStone31(~TonyStone@cpe-74-76-48-136.nycap.res.rr.com)
2022-11-12 23:30:51 +0100InstX1(~Liam@2601:6c4:4081:54f0:1dde:5923:3984:3700) (Ping timeout: 260 seconds)
2022-11-12 23:38:27 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-11-12 23:38:42 +0100zeenk(~zeenk@2a02:2f04:a009:2a00:cd71:a957:cf7b:e82a) (Quit: Konversation terminated!)
2022-11-12 23:40:11 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-12 23:40:50 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2022-11-12 23:42:39 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-12 23:44:23 +0100Kaipei(~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds)
2022-11-12 23:44:33 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds)
2022-11-12 23:44:39 +0100zeenk(~zeenk@2a02:2f04:a009:2a00::7fe)
2022-11-12 23:46:57 +0100InstX1(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-11-12 23:48:12 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2022-11-12 23:49:05 +0100chomwitt(~chomwitt@athedsl-351939.home.otenet.gr) (Ping timeout: 256 seconds)