2022/07/24

2022-07-24 00:07:57 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-24 00:11:14 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-24 00:14:34 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-07-24 00:16:15 +0200maroloccio(~marolocci@37.100.36.239)
2022-07-24 00:16:37 +0200dsrt^(~dsrt@73.54.250.255)
2022-07-24 00:25:41 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 00:27:12 +0200coot(~coot@213.134.190.95) (Remote host closed the connection)
2022-07-24 00:28:22 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.)
2022-07-24 00:31:54 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-07-24 00:38:38 +0200vglfr(~vglfr@194.9.14.33)
2022-07-24 00:39:50 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-07-24 00:43:18 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2022-07-24 00:45:35 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a)
2022-07-24 00:56:16 +0200 <qrpnxz> prisms are pretty nice for parsing!
2022-07-24 01:01:42 +0200cirilla(~lys@user/lys)
2022-07-24 01:02:30 +0200agumonkey(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 272 seconds)
2022-07-24 01:08:40 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-07-24 01:12:30 +0200Polo(~textual@user/polo)
2022-07-24 01:13:55 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection)
2022-07-24 01:14:03 +0200cirilla(~lys@user/lys) (Quit: Leaving)
2022-07-24 01:16:51 +0200Vajb(~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi)
2022-07-24 01:24:48 +0200Polo(~textual@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-24 01:24:59 +0200king_gs(~Thunderbi@2806:103e:29:a1b3:d33d:90f:3255:af90)
2022-07-24 01:30:07 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 01:31:36 +0200nate4(~nate@98.45.169.16)
2022-07-24 01:36:33 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-07-24 01:41:10 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-07-24 01:42:10 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu)
2022-07-24 01:42:31 +0200AlexNoo_(~AlexNoo@178.34.150.131)
2022-07-24 01:42:43 +0200Guest3(~textual@222.15.195.173.client.static.strong-in52.as13926.net)
2022-07-24 01:43:02 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-07-24 01:43:32 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-07-24 01:43:51 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2022-07-24 01:44:10 +0200Alex_test(~al_test@178.34.160.206) (Ping timeout: 240 seconds)
2022-07-24 01:44:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-07-24 01:45:48 +0200AlexZenon(~alzenon@178.34.160.206) (Ping timeout: 268 seconds)
2022-07-24 01:45:58 +0200AlexNoo(~AlexNoo@178.34.160.206) (Ping timeout: 240 seconds)
2022-07-24 01:46:22 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu) (Client Quit)
2022-07-24 01:46:42 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu)
2022-07-24 01:49:25 +0200AlexZenon(~alzenon@178.34.150.131)
2022-07-24 01:49:30 +0200Alex_test(~al_test@178.34.150.131)
2022-07-24 01:52:12 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu) (Quit: q=)
2022-07-24 01:52:37 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu)
2022-07-24 01:55:36 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-24 01:57:48 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 01:59:50 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-24 02:01:30 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-24 02:02:26 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-24 02:02:43 +0200califax(~califax@user/califx)
2022-07-24 02:03:53 +0200Guest3(~textual@222.15.195.173.client.static.strong-in52.as13926.net) (Changing host)
2022-07-24 02:03:53 +0200Guest3(~textual@user/polo)
2022-07-24 02:03:57 +0200GoldsteinQ(~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-24 02:04:11 +0200Guest3Polo
2022-07-24 02:04:33 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-24 02:04:33 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-24 02:04:33 +0200wroathe(~wroathe@user/wroathe)
2022-07-24 02:06:05 +0200GoldsteinQ(~goldstein@goldstein.rs)
2022-07-24 02:09:21 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu) (Quit: q=)
2022-07-24 02:09:50 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu)
2022-07-24 02:11:27 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 244 seconds)
2022-07-24 02:11:33 +0200nate4(~nate@98.45.169.16)
2022-07-24 02:11:38 +0200king_gs(~Thunderbi@2806:103e:29:a1b3:d33d:90f:3255:af90) (Quit: king_gs)
2022-07-24 02:11:54 +0200Haskelytic(~Haskelyti@118.179.211.17)
2022-07-24 02:15:29 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 02:16:05 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds)
2022-07-24 02:18:23 +0200lys(~lys@user/lys)
2022-07-24 02:20:20 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-07-24 02:22:04 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-24 02:22:14 +0200vysn(~vysn@user/vysn)
2022-07-24 02:22:46 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-24 02:23:59 +0200 <dsal> qrpnxz: prisms for parsing?
2022-07-24 02:25:21 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-24 02:25:46 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+)
2022-07-24 02:26:13 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu)
2022-07-24 02:26:54 +0200 <qrpnxz> yeah. I have a some data that if it's the right shape i can turn it into a value of a different more specialized type. I don't lose any information in that transformation so i can always transform it back into the more general type. Well I can make a prism out of that. Imagine for example you have JSON (holds any JSON) and JSONObject (Represents only JSON object), you could make prism _JSONObject
2022-07-24 02:26:56 +0200 <qrpnxz> on that
2022-07-24 02:27:45 +0200 <qrpnxz> or _EvenJSONInteger to get slightly more interesting
2022-07-24 02:28:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-24 02:29:19 +0200 <qrpnxz> In my real code i have this generic tagged struct thing that holds it's members in a vector. I have created now prism to turn that into a particular Object that struct represents. It's pretty nice because the prism end up looking just like a prism for a real constructed of the monolithic data type
2022-07-24 02:29:35 +0200 <qrpnxz> i could even go a step further and create a `pattern` with it
2022-07-24 02:30:16 +0200 <qrpnxz> dsal
2022-07-24 02:31:42 +0200 <qrpnxz> s/constructed/constructor
2022-07-24 02:32:00 +0200lys(~lys@user/lys) (Quit: brb)
2022-07-24 02:33:00 +0200 <dsal> hmm... I think that makes sense. It sounds like you're doing a few passes at parsing.
2022-07-24 02:33:17 +0200wonkydonky(~wonkydonk@95.7.166.247) (Read error: Connection reset by peer)
2022-07-24 02:36:03 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 02:36:21 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu) (Quit: q+)
2022-07-24 02:37:52 +0200 <qrpnxz> what do you mean a few passes
2022-07-24 02:42:14 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a)
2022-07-24 02:44:24 +0200 <dsal> Like parsing a bytestring to an Aeson Object and then to something else.
2022-07-24 02:50:16 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu)
2022-07-24 02:50:47 +0200 <qrpnxz> ah right yeah. If you didn't care about that structure in the middle, you could parse directly. But sometimes it makes sense to have multiple stages of representation that you care about. Like raw bytes to utf8, then utf8 to JSON, from JSON to some particular object that you care about with particular fields. It's a pipeline for sure.
2022-07-24 02:51:58 +0200 <qrpnxz> i mean, even if you didn't care to keep around that bit in the middle, still helpful for implementing the upper layers. i wouldn't want to parse some object directly from raw bytes, i'm gonna leverage the parsers in between
2022-07-24 02:52:12 +0200 <qrpnxz> if possible
2022-07-24 02:52:27 +0200 <Haskelytic> quick question: can you have derived instances for your own typeclasses or is derivation some GHC magic
2022-07-24 02:52:34 +0200Polo(~textual@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-24 02:53:57 +0200 <qrpnxz> GHC can figure out derived instances on non-base classes sometimes. Like if it's just a wrapper, ghc should be able to figure out that the wrapper is an instance if the inner is an instance, even if it's your brand new custom type class
2022-07-24 02:54:11 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu) (Client Quit)
2022-07-24 02:54:37 +0200drlkf(~drlkf@ns327185.ip-37-187-109.eu)
2022-07-24 02:56:06 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 268 seconds)
2022-07-24 02:56:26 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 02:56:49 +0200Guest3(~textual@223.15.195.173.client.static.strong-in52.as13926.net)
2022-07-24 02:58:25 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-07-24 02:58:26 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2022-07-24 02:58:29 +0200allbery_bgeekosaur
2022-07-24 03:03:26 +0200NaturalNumber123(~monadam@137.229.82.64)
2022-07-24 03:05:58 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-07-24 03:06:06 +0200nate4(~nate@98.45.169.16)
2022-07-24 03:06:11 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 272 seconds)
2022-07-24 03:06:12 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds)
2022-07-24 03:09:27 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 03:10:00 +0200raym(~raym@user/raym)
2022-07-24 03:10:15 +0200Guest3(~textual@223.15.195.173.client.static.strong-in52.as13926.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-07-24 03:10:50 +0200NaturalNumber123(~monadam@137.229.82.64) (Ping timeout: 240 seconds)
2022-07-24 03:10:58 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-07-24 03:12:58 +0200 <Haskelytic> If I have an expression for triples like so `(toEnum x1, toEnum x2, toEnum x3)` is there a terser way to write it?
2022-07-24 03:13:04 +0200lys(~lys@user/lys)
2022-07-24 03:14:22 +0200 <Haskelytic> I was thinking using the Reader applicative but I can't see it...maybe I'm wrong
2022-07-24 03:14:36 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 268 seconds)
2022-07-24 03:17:05 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-07-24 03:19:17 +0200Haskelytic(~Haskelyti@118.179.211.17) (Quit: Client closed)
2022-07-24 03:19:18 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-24 03:19:38 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 03:24:42 +0200 <monochrom> No.
2022-07-24 03:27:03 +0200Guest3(~textual@222.15.195.173.client.static.strong-in52.as13926.net)
2022-07-24 03:29:08 +0200 <qrpnxz> he already gone, but that's what i was gonna say too haha
2022-07-24 03:29:37 +0200 <monochrom> Oops didn't notice
2022-07-24 03:29:50 +0200dsrt^(~dsrt@73.54.250.255) (Ping timeout: 240 seconds)
2022-07-24 03:31:04 +0200Guest3(~textual@222.15.195.173.client.static.strong-in52.as13926.net) (Changing host)
2022-07-24 03:31:04 +0200Guest3(~textual@user/polo)
2022-07-24 03:31:25 +0200Guest3Polo
2022-07-24 03:33:34 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-24 03:33:36 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Read error: Connection reset by peer)
2022-07-24 03:34:10 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-24 03:36:00 +0200zachel(~zachel@user/zachel) (Ping timeout: 260 seconds)
2022-07-24 03:37:48 +0200zachel(~zachel@user/zachel)
2022-07-24 03:38:06 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-07-24 03:38:21 +0200Polo(~textual@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-07-24 03:39:53 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-24 03:45:15 +0200lys(~lys@user/lys) (Quit: Leaving)
2022-07-24 03:47:54 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
2022-07-24 03:49:13 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-24 03:49:26 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 03:54:41 +0200lucyy(~user@user/lucyy) (Ping timeout: 268 seconds)
2022-07-24 03:55:35 +0200lucyy(~user@user/lucyy)
2022-07-24 03:59:50 +0200Guest3(~textual@222.15.195.173.client.static.strong-in52.as13926.net)
2022-07-24 04:00:55 +0200lucyy(~user@user/lucyy) (Ping timeout: 268 seconds)
2022-07-24 04:01:16 +0200Guest3(~textual@222.15.195.173.client.static.strong-in52.as13926.net) (Changing host)
2022-07-24 04:01:16 +0200Guest3(~textual@user/polo)
2022-07-24 04:01:18 +0200lucyy(~user@user/lucyy)
2022-07-24 04:01:19 +0200Guest3polo
2022-07-24 04:02:42 +0200mixfix41(~sdenynine@user/mixfix41) (Ping timeout: 268 seconds)
2022-07-24 04:02:51 +0200alp_(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-24 04:03:08 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 04:03:23 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-07-24 04:06:24 +0200lucyy(~user@user/lucyy) (Ping timeout: 268 seconds)
2022-07-24 04:15:02 +0200polo(~textual@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-24 04:17:38 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-f113-065d-daee-6cf4.res6.spectrum.com) (Ping timeout: 240 seconds)
2022-07-24 04:22:34 +0200Guest3(~textual@223.15.195.173.client.static.strong-in52.as13926.net)
2022-07-24 04:27:14 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-07-24 04:27:14 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-07-24 04:27:14 +0200finn_elijaFinnElija
2022-07-24 04:29:21 +0200Guest3(~textual@223.15.195.173.client.static.strong-in52.as13926.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-24 04:30:16 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-6989-05e0-1f23-2cd3.res6.spectrum.com)
2022-07-24 04:30:37 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-24 04:34:33 +0200notzmv(~zmv@user/notzmv)
2022-07-24 04:34:38 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-24 04:37:00 +0200Guest3(~textual@223.15.195.173.client.static.strong-in52.as13926.net)
2022-07-24 04:39:02 +0200Guest3(~textual@223.15.195.173.client.static.strong-in52.as13926.net) (Client Quit)
2022-07-24 04:41:03 +0200Guest3(~textual@222.15.195.173.client.static.strong-in52.as13926.net)
2022-07-24 04:50:19 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-07-24 04:51:19 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-07-24 04:51:37 +0200td_(~td@muedsl-82-207-238-135.citykom.de) (Ping timeout: 244 seconds)
2022-07-24 04:53:33 +0200td_(~td@muedsl-82-207-238-027.citykom.de)
2022-07-24 04:53:48 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 04:54:40 +0200Guest3(~textual@222.15.195.173.client.static.strong-in52.as13926.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-07-24 04:57:10 +0200vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-07-24 04:58:49 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 268 seconds)
2022-07-24 05:02:37 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-24 05:03:03 +0200img(~img@user/img)
2022-07-24 05:03:43 +0200img(~img@user/img) (Client Quit)
2022-07-24 05:06:18 +0200maroloccio(~marolocci@37.100.36.239) (Ping timeout: 240 seconds)
2022-07-24 05:06:42 +0200img(~img@user/img)
2022-07-24 05:07:41 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 05:08:48 +0200maroloccio(~marolocci@151.70.159.158)
2022-07-24 05:10:39 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-24 05:12:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-24 05:16:57 +0200 <naso> when i do `cabal run --enable-profiling project-exe --ghc-options="-fprof-auto -rtsopts" -- +RTS -p`, are all the ghc-options (for executable or library) listed in my .cabal also included, or do I have to include them here too?
2022-07-24 05:19:49 +0200lottaquestions(~nick@2607:fa49:503e:7100:9456:dbb2:33e5:f0a2) (Remote host closed the connection)
2022-07-24 05:25:55 +0200dsrt^(~dsrt@73.54.250.255)
2022-07-24 05:26:47 +0200yin(~yin@user/zero) (Ping timeout: 255 seconds)
2022-07-24 05:27:33 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-24 05:27:54 +0200Guest3(~textual@223.15.195.173.client.static.strong-in52.as13926.net)
2022-07-24 05:28:52 +0200Guest3(~textual@223.15.195.173.client.static.strong-in52.as13926.net) (Changing host)
2022-07-24 05:28:52 +0200Guest3(~textual@user/polo)
2022-07-24 05:28:55 +0200Guest3Polo
2022-07-24 05:32:07 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 05:36:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 05:38:17 +0200dsrt^(~dsrt@73.54.250.255) (Ping timeout: 268 seconds)
2022-07-24 05:38:54 +0200lys(sid194105@user/lys)
2022-07-24 05:43:38 +0200Polo(~textual@user/polo) (Ping timeout: 240 seconds)
2022-07-24 05:49:48 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 05:52:18 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-24 05:52:33 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-07-24 05:53:28 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-24 05:53:44 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-24 05:53:47 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-24 05:54:24 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds)
2022-07-24 05:54:39 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-24 05:55:58 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-24 05:56:29 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds)
2022-07-24 05:56:45 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-07-24 05:59:17 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 244 seconds)
2022-07-24 05:59:19 +0200phma(phma@2001:5b0:2172:d858:ec5c:8ab7:6325:1bc7) (Read error: Connection reset by peer)
2022-07-24 06:01:21 +0200phma(~phma@2001:5b0:2172:c678:88c9:3af4:5d5b:cbb2)
2022-07-24 06:01:48 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-24 06:05:47 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-07-24 06:06:16 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-24 06:06:16 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-24 06:06:16 +0200wroathe(~wroathe@user/wroathe)
2022-07-24 06:06:55 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-07-24 06:07:21 +0200mbuf(~Shakthi@122.165.55.71)
2022-07-24 06:08:32 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-24 06:08:50 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2022-07-24 06:10:13 +0200dos__^^(~user@user/dos/x-1723657)
2022-07-24 06:15:07 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-24 06:16:32 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Client Quit)
2022-07-24 06:20:59 +0200lys(sid194105@user/lys) ()
2022-07-24 06:21:27 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-07-24 06:22:46 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-07-24 06:24:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-24 06:24:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2022-07-24 06:27:37 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8)
2022-07-24 06:28:27 +0200lys(sid194105@id-194105.uxbridge.irccloud.com)
2022-07-24 06:29:52 +0200lys(sid194105@id-194105.uxbridge.irccloud.com) (Client Quit)
2022-07-24 06:46:47 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-24 06:52:17 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2022-07-24 06:53:31 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-07-24 06:54:34 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 06:54:49 +0200causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.5)
2022-07-24 06:57:17 +0200 <wallymathieu> I'm having a bit of trouble with the size of the Haskell installation. Once I install stack and do write some things it usually ends up at 50+GB. Any hints for how to avoid so many versions?
2022-07-24 07:01:51 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-24 07:02:47 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-24 07:05:11 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-24 07:07:11 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 07:11:23 +0200Lycurgus(~juan@user/Lycurgus)
2022-07-24 07:12:00 +0200 <Lycurgus> others will respond differently, on point
2022-07-24 07:12:33 +0200 <Lycurgus> but i'd say adjust ur expectations, it appears you are using multiple levels of stuff
2022-07-24 07:13:01 +0200 <Lycurgus> 50 GB aint that much these days and haskell isn't a minimalist lang
2022-07-24 07:13:22 +0200 <Lycurgus> famously, it's like a java or cobol for maths
2022-07-24 07:13:30 +0200 <dsal> 50 GB of RAM?
2022-07-24 07:13:40 +0200 <Lycurgus> oh
2022-07-24 07:14:04 +0200 <dsal> My brain completely inserted that and I can't figure out how. heh
2022-07-24 07:14:18 +0200 <Lycurgus> dsal, i don't think so people don't install to RAM
2022-07-24 07:14:35 +0200 <Lycurgus> in general
2022-07-24 07:15:03 +0200 <dsal> I use nix so it's magic and I don't necessarily know how big it is.
2022-07-24 07:15:42 +0200 <Lycurgus> 'magic' isn't a work i ever use, and especially not for nix/nixos of which I'm a known detractor
2022-07-24 07:15:50 +0200 <Lycurgus> *word
2022-07-24 07:15:57 +0200dsrt^(~dsrt@73.54.250.255)
2022-07-24 07:16:07 +0200 <dsal> Yeah, it either makes things a lot easier, or a bit harder. Depending on perspective. It makes things easier for me.
2022-07-24 07:16:10 +0200 <Lycurgus> since i'm something of a bore about that kind of thinking
2022-07-24 07:16:26 +0200 <Lycurgus> (i.e. magic, spirits, etc.)
2022-07-24 07:16:31 +0200 <dsal> I've got a lot of projects on a lot of versions of a lot of things.
2022-07-24 07:17:17 +0200 <Lycurgus> i used it heavily at the start of the last decade when the problem it was meant to address was still a thing
2022-07-24 07:17:40 +0200 <Lycurgus> and when it started that problem was fulminant
2022-07-24 07:18:42 +0200 <Lycurgus> it's approach tends to be irresistible for haskellers, way back I assumed it would catch on in hs land and it did
2022-07-24 07:19:27 +0200 <dsal> It's helpful for all my projects that have weird stuff. javascript, elm, etc.. Things I don't want to remember how to get the right versions of more than once.
2022-07-24 07:20:02 +0200 <Lycurgus> i do containers under regular LSB
2022-07-24 07:21:13 +0200 <Lycurgus> i may be due for a review of current state of nix/nixos
2022-07-24 07:21:47 +0200 <Lycurgus> the principal fugly was jamming ill conceived ports into nixpkgs
2022-07-24 07:23:17 +0200 <EvanR> 50 gigs, that's all? nice
2022-07-24 07:23:47 +0200 <EvanR> also try ghcup instead of stack to install ghc and see if your milage varies one way or the other
2022-07-24 07:28:02 +0200 <dsal> I don't like containers much, and I am not on Linux or intel chips for a lot of my dev.
2022-07-24 07:28:59 +0200 <wallymathieu> I'll look into ghcup 🙂
2022-07-24 07:29:46 +0200 <dsal> I believe it was Jay Z who said, "What's 50 gigs, could you please remind me?"
2022-07-24 07:30:55 +0200dsrt^(~dsrt@73.54.250.255) (Ping timeout: 272 seconds)
2022-07-24 07:31:03 +0200 <Lycurgus> not into rap but I'm guessin that was a ref to competing rapper 50 cent
2022-07-24 07:31:18 +0200 <wallymathieu> 50 gigs of disk. Perhaps it's that I'm kind of stingy in that I've not bought a machine with lots of disk
2022-07-24 07:31:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-24 07:31:52 +0200 <dsal> Lycurgus: It was "What's 50 grand…" because he has so much money that's not a significant amount. Kind of like disk space.
2022-07-24 07:32:01 +0200 <Lycurgus> ah
2022-07-24 07:32:03 +0200 <dsal> wallymathieu: I've had similar issues in cloud instances, though.
2022-07-24 07:36:17 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-07-24 07:37:34 +0200Haskelytic(~Haskelyti@118.179.211.17)
2022-07-24 07:37:56 +0200 <wallymathieu> It's weird. When I was a kid, the problem was to have enough space for games, now it's packages and programming languages
2022-07-24 07:38:51 +0200 <dsal> games aren't much smaller :) My cousin gave me an xbox and I bought Red Dead Redemption. Put the disc in and it said it needed to download 80GB before I could start playing.
2022-07-24 07:41:42 +0200 <Lycurgus> also the situation is different for a deployment target vs a dev host
2022-07-24 07:42:31 +0200 <dsal> Yeah, I've been deploying in the cloud with nixos+cachix. Much easier than trying to build out a build system.
2022-07-24 07:42:40 +0200maroloccio(~marolocci@151.70.159.158) (Quit: WeeChat 3.0)
2022-07-24 07:43:01 +0200 <dsal> I would actually like to figure out how to build a docker image, but that's an uphill battle I'm not sufficiently motivated to figure out.
2022-07-24 07:44:03 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-24 07:45:12 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 07:48:12 +0200 <Lycurgus> dockerfiles are no harder than the nix lang
2022-07-24 07:49:03 +0200 <Lycurgus> it's not comparable to learning hs
2022-07-24 07:49:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-24 07:51:47 +0200dsrt^(~dsrt@73.54.250.255)
2022-07-24 07:51:53 +0200 <dsal> Sure. I could build a gigantic image that includes all the things. I'd like to be able to build something smaller. I know there are some good tools, but I haven't been bothered to learn them.
2022-07-24 07:55:27 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 07:56:26 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org)
2022-07-24 07:56:38 +0200dsrt^(~dsrt@73.54.250.255) (Ping timeout: 255 seconds)
2022-07-24 07:58:20 +0200dsrt^(~dsrt@73.54.250.255)
2022-07-24 07:59:51 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-24 08:03:24 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-07-24 08:07:16 +0200kk(uid561904@id-561904.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-24 08:09:18 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 08:09:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-24 08:13:02 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2022-07-24 08:13:21 +0200dsrt^(~dsrt@73.54.250.255) (Ping timeout: 272 seconds)
2022-07-24 08:13:46 +0200NaturalNumber(~monadam@137.229.82.64) (Remote host closed the connection)
2022-07-24 08:14:08 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 08:16:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 08:23:42 +0200arahael(~arahael@203.220.205.108)
2022-07-24 08:29:53 +0200dsrt^(~dsrt@73.54.250.255)
2022-07-24 08:31:18 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 276 seconds)
2022-07-24 08:32:40 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 08:33:55 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-07-24 08:37:07 +0200dsrt^(~dsrt@73.54.250.255) (Ping timeout: 268 seconds)
2022-07-24 08:39:20 +0200talismanick(~talismani@2601:644:8300:c010::8544) (Ping timeout: 260 seconds)
2022-07-24 08:39:46 +0200benin0(~benin@183.82.24.82)
2022-07-24 08:45:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-24 08:45:04 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 08:46:42 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 244 seconds)
2022-07-24 08:47:23 +0200 <sm> wallymathieu: 50G sounds excessive. You must have a lot of old cruft, use https://hackage.haskell.org/package/stack-clean-old to review and clean up.
2022-07-24 08:48:25 +0200 <Haskelytic> or you could just `rm --no-preserve-root -rf /`
2022-07-24 08:48:37 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection)
2022-07-24 08:49:16 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 08:49:26 +0200 <sm> don't do that
2022-07-24 08:49:35 +0200 <Haskelytic> yeah jk don't run that lol
2022-07-24 08:49:58 +0200 <sm> I wouldn't even write such things as a joke
2022-07-24 08:50:22 +0200 <Haskelytic> i'm pretty sure the `--no-preserve-root` stands out enough to deter anyone
2022-07-24 08:50:23 +0200 <sm> on the day you accidentally paste and run such a thing you'll feel the same :)
2022-07-24 08:50:53 +0200 <Haskelytic> joke's on you, I don't copy paste as a principle :)
2022-07-24 08:52:23 +0200 <sm> but one day you screw up
2022-07-24 08:52:46 +0200kk(uid561904@id-561904.hampstead.irccloud.com)
2022-07-24 08:52:49 +0200 <sm> ah never mind, I hope not
2022-07-24 08:53:37 +0200 <Haskelytic> imagine one day we have AI assistant to double check commands :)
2022-07-24 08:53:46 +0200 <Haskelytic> kind of like a nanny, but for your terminal
2022-07-24 08:54:38 +0200 <Haskelytic> then it backfires and stops you from running your C compiler because it's unsafe
2022-07-24 08:54:54 +0200 <Haskelytic> and you have to prove to the AI that you know what you're doing
2022-07-24 08:55:14 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-07-24 08:55:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-24 08:57:53 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Client Quit)
2022-07-24 08:58:19 +0200 <Haskelytic> https://hackage.haskell.org/package/transformers-0.6.0.4/docs/src/Control.Monad.Trans.State.Lazy.h…
2022-07-24 08:58:25 +0200 <Haskelytic> `~(f, s') <- mf s`
2022-07-24 08:58:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-24 08:58:59 +0200 <Haskelytic> how does this work? `mf :: s -> m (a,s)` so the tuple is wrapped in `m`
2022-07-24 08:59:04 +0200 <Haskelytic> how can you pattern match there
2022-07-24 08:59:05 +0200gmg(~user@user/gehmehgeh)
2022-07-24 08:59:22 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 08:59:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2022-07-24 09:00:02 +0200 <wallymathieu> Last time I checked "sudo rm -rf /" does plenty of damage
2022-07-24 09:00:17 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 09:01:40 +0200 <Haskelytic> ah nvm im an idiot
2022-07-24 09:01:47 +0200 <Haskelytic> didn't notice the `<-` lol
2022-07-24 09:02:45 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds)
2022-07-24 09:02:48 +0200 <Haskelytic> Interesting that the Applicative for `State s a` is implemented in terms of its Monad
2022-07-24 09:04:29 +0200even4void(even4void@came.here.for-some.fun) ()
2022-07-24 09:06:11 +0200even4void[m](~even4void@2001:470:69fc:105::2:4b9c)
2022-07-24 09:06:15 +0200 <jackdk> That is often easier than cranking out the `Applicative` instance by hand, and always legal.
2022-07-24 09:08:52 +0200 <Haskelytic> I see. Is that because of the relationship Applicative f => Monad f
2022-07-24 09:13:24 +0200slack1256(~slack1256@191.126.99.219)
2022-07-24 09:14:56 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 255 seconds)
2022-07-24 09:16:43 +0200 <jackdk> Specifically the law that `m1 <*> m2 = m1 >>= (x1 -> m2 >>= (x2 -> return (x1 x2)))`; the RHS is the definition of `ap`
2022-07-24 09:17:11 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 255 seconds)
2022-07-24 09:17:30 +0200 <Haskelytic> ah right
2022-07-24 09:17:37 +0200 <Haskelytic> I remember seeing that mentioned in the docs
2022-07-24 09:20:42 +0200myme1(~myme@2a01:799:d5a:cd00:bd43:77d0:4f58:e98) (Ping timeout: 276 seconds)
2022-07-24 09:21:10 +0200myme1(~myme@2a01:799:d5a:cd00:c77:b8df:327d:c96f)
2022-07-24 09:23:02 +0200Vajb(~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2022-07-24 09:23:48 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-07-24 09:27:12 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-24 09:30:30 +0200Haskelytic(~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds)
2022-07-24 09:42:20 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-07-24 09:43:08 +0200Vajb(~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi)
2022-07-24 09:45:01 +0200slack1256(~slack1256@191.126.99.219) (Remote host closed the connection)
2022-07-24 09:48:55 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-24 09:49:00 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78)
2022-07-24 09:49:43 +0200gmg(~user@user/gehmehgeh)
2022-07-24 09:54:03 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Ping timeout: 272 seconds)
2022-07-24 09:54:27 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-24 09:56:26 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-07-24 09:59:08 +0200vglfr(~vglfr@194.9.14.33) (Read error: Connection reset by peer)
2022-07-24 09:59:32 +0200vglfr(~vglfr@194.9.14.33)
2022-07-24 09:59:47 +0200vysn(~vysn@user/vysn)
2022-07-24 10:00:18 +0200Tuplanolla(~Tuplanoll@91-159-68-5.elisa-laajakaista.fi)
2022-07-24 10:03:29 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-24 10:04:23 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-24 10:04:23 +0200winny(~weechat@user/winny) (Read error: Connection reset by peer)
2022-07-24 10:04:23 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer)
2022-07-24 10:04:23 +0200noteness(~noteness@user/noteness) (Write error: Connection reset by peer)
2022-07-24 10:04:23 +0200gmg(~user@user/gehmehgeh) (Write error: Connection reset by peer)
2022-07-24 10:04:23 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer)
2022-07-24 10:04:23 +0200califax(~califax@user/califx) (Write error: Connection reset by peer)
2022-07-24 10:04:23 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Write error: Connection reset by peer)
2022-07-24 10:04:23 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Write error: Connection reset by peer)
2022-07-24 10:04:43 +0200califax(~califax@user/califx)
2022-07-24 10:04:49 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-24 10:04:57 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-24 10:05:11 +0200gmg(~user@user/gehmehgeh)
2022-07-24 10:05:13 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-24 10:05:15 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-24 10:05:20 +0200winny(~weechat@user/winny)
2022-07-24 10:05:22 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-24 10:05:42 +0200noteness(~noteness@user/noteness)
2022-07-24 10:07:48 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-07-24 10:10:05 +0200lys(sid194105@id-194105.uxbridge.irccloud.com)
2022-07-24 10:11:13 +0200lys(sid194105@id-194105.uxbridge.irccloud.com) (Changing host)
2022-07-24 10:11:13 +0200lys(sid194105@user/lys)
2022-07-24 10:16:33 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-07-24 10:19:40 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-24 10:20:25 +0200winny(~weechat@user/winny)
2022-07-24 10:21:16 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl)
2022-07-24 10:21:49 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
2022-07-24 10:22:30 +0200sandydoo(~sandydoo@185.209.196.146)
2022-07-24 10:25:49 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-07-24 10:26:23 +0200AlexNoo_AlexNoo
2022-07-24 10:32:20 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 10:32:21 +0200vglfr(~vglfr@194.9.14.33) (Read error: Connection reset by peer)
2022-07-24 10:32:24 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2022-07-24 10:32:27 +0200vglfr(~vglfr@194.9.14.33)
2022-07-24 10:36:03 +0200sandydoo(~sandydoo@185.209.196.146) (Quit: sandydoo)
2022-07-24 10:36:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 10:37:13 +0200sandydoo(~sandydoo@185.209.196.146)
2022-07-24 10:43:41 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-07-24 10:44:38 +0200califax(~califax@user/califx) (Write error: Connection reset by peer)
2022-07-24 10:44:38 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-07-24 10:44:38 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-24 10:44:38 +0200winny(~weechat@user/winny) (Write error: Connection reset by peer)
2022-07-24 10:44:39 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-07-24 10:45:04 +0200noteness(~noteness@user/noteness)
2022-07-24 10:45:09 +0200winny(~weechat@user/winny)
2022-07-24 10:45:10 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-24 10:45:15 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-24 10:46:00 +0200califax(~califax@user/califx)
2022-07-24 10:51:22 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-24 10:51:37 +0200califax(~califax@user/califx)
2022-07-24 10:58:19 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-07-24 11:00:06 +0200sibnull[m](~sibnullma@2001:470:69fc:105::1:1291) (Quit: You have been kicked for being idle)
2022-07-24 11:06:49 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 11:07:16 +0200kk(uid561904@id-561904.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-24 11:10:58 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 11:12:47 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-07-24 11:17:59 +0200Pickchea(~private@user/pickchea)
2022-07-24 11:18:42 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2022-07-24 11:26:17 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-24 11:26:36 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-07-24 11:26:40 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-24 11:28:09 +0200Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat)
2022-07-24 11:28:27 +0200jmjj_(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 11:30:59 +0200mbuf(~Shakthi@122.165.55.71) (Quit: Leaving)
2022-07-24 11:32:03 +0200Luj(~Luj@2a01:e0a:5f9:9681:7a1a:a15b:364:89d8)
2022-07-24 11:33:56 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-24 11:34:29 +0200winny(~weechat@user/winny)
2022-07-24 11:39:31 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 11:39:35 +0200lys_(~lys@user/lys)
2022-07-24 11:42:12 +0200califax(~califax@user/califx) (Ping timeout: 268 seconds)
2022-07-24 11:42:27 +0200ubert(~Thunderbi@77.119.221.210.wireless.dyn.drei.com)
2022-07-24 11:43:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-24 11:45:14 +0200retropikzel(9d1a4f9f46@2604:bf00:561:2000::ce)
2022-07-24 11:50:51 +0200vysn(~vysn@user/vysn) (Quit: WeeChat 3.5)
2022-07-24 11:51:01 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78)
2022-07-24 11:51:14 +0200vysn(~vysn@user/vysn)
2022-07-24 11:51:59 +0200sandydoo(~sandydoo@185.209.196.146) (Ping timeout: 268 seconds)
2022-07-24 11:54:23 +0200jmjj_(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 272 seconds)
2022-07-24 11:55:16 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Ping timeout: 244 seconds)
2022-07-24 11:56:10 +0200Everything(~Everythin@37.115.210.35)
2022-07-24 11:57:08 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 11:58:46 +0200lys_(~lys@user/lys) (Ping timeout: 268 seconds)
2022-07-24 11:59:40 +0200Batzy(~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-07-24 12:00:48 +0200Batzy(~quassel@user/batzy)
2022-07-24 12:01:49 +0200lys_(~lys@user/lys)
2022-07-24 12:08:04 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-24 12:08:34 +0200winny(~weechat@user/winny)
2022-07-24 12:12:47 +0200toluene(~toluene@user/toulene) (Quit: Ping timeout (120 seconds))
2022-07-24 12:14:18 +0200toluene(~toluene@user/toulene)
2022-07-24 12:14:59 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-07-24 12:23:23 +0200sandydoo(~sandydoo@185.209.196.146)
2022-07-24 12:26:14 +0200lys_(~lys@user/lys) (Quit: Leaving)
2022-07-24 12:30:41 +0200haskl[error](~haskl@user/haskl) (Read error: Connection reset by peer)
2022-07-24 12:32:58 +0200haskl(~haskl@user/haskl)
2022-07-24 12:35:31 +0200Haskelytic(~Haskelyti@118.179.211.17)
2022-07-24 12:35:52 +0200kraftwerk28_(~kraftwerk@178.62.210.83) (Read error: Connection reset by peer)
2022-07-24 12:38:10 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-07-24 12:38:19 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-07-24 12:39:56 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-24 12:40:39 +0200coot(~coot@213.134.190.95)
2022-07-24 12:42:26 +0200raym(~raym@user/raym)
2022-07-24 12:43:27 +0200kraftwerk28(~kraftwerk@178.62.210.83)
2022-07-24 12:43:30 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-07-24 12:50:41 +0200lys_(~lys@user/lys)
2022-07-24 12:53:17 +0200zachel(~zachel@user/zachel) (Ping timeout: 272 seconds)
2022-07-24 12:55:33 +0200zachel(~zachel@user/zachel)
2022-07-24 13:00:23 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 13:06:11 +0200_0x47_(sid508683@id-508683.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-24 13:16:01 +0200califax(~califax@user/califx)
2022-07-24 13:28:28 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 13:31:55 +0200kraftwerk28(~kraftwerk@178.62.210.83) (Read error: Connection reset by peer)
2022-07-24 13:35:07 +0200kraftwerk28(~kraftwerk@178.62.210.83)
2022-07-24 13:37:06 +0200lys_(~lys@user/lys) (Quit: Leaving)
2022-07-24 13:37:09 +0200zachel_(~zachel@user/zachel)
2022-07-24 13:37:50 +0200zachel(~zachel@user/zachel) (Ping timeout: 240 seconds)
2022-07-24 13:40:24 +0200goran[m](~goranoour@2001:470:69fc:105::2:1b44)
2022-07-24 13:42:23 +0200tremon(~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl)
2022-07-24 13:43:21 +0200shriekingnoise(~shrieking@201.212.175.181) (Quit: Quit)
2022-07-24 13:47:14 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-07-24 13:47:22 +0200Rimas_K(~Rimas_K@78-58-145-243.static.zebra.lt)
2022-07-24 13:52:09 +0200kraftwerk28(~kraftwerk@178.62.210.83) (Read error: Connection reset by peer)
2022-07-24 13:52:09 +0200alp_(~alp@user/alp)
2022-07-24 13:53:32 +0200Haskelytic(~Haskelyti@118.179.211.17) (Quit: Client closed)
2022-07-24 13:59:40 +0200obabo(~obabo@2E8BF8F7.catv.pool.telekom.hu) (Quit: WeeChat 3.6)
2022-07-24 14:00:53 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-24 14:01:10 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-24 14:01:37 +0200califax(~califax@user/califx)
2022-07-24 14:02:02 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-24 14:03:20 +0200notzmv(~zmv@user/notzmv)
2022-07-24 14:11:30 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-24 14:12:16 +0200Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-07-24 14:12:42 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-24 14:14:23 +0200kraftwerk28(~kraftwerk@178.62.210.83)
2022-07-24 14:23:11 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2022-07-24 14:24:08 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-24 14:31:46 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2022-07-24 14:33:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-24 14:34:10 +0200zachel_(~zachel@user/zachel) (Ping timeout: 268 seconds)
2022-07-24 14:34:44 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-24 14:35:56 +0200zachel(~zachel@user/zachel)
2022-07-24 14:39:06 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Client Quit)
2022-07-24 14:44:20 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-24 14:45:00 +0200idontgetoutmuch(~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net)
2022-07-24 14:45:08 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-24 14:46:49 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 14:50:13 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-24 14:50:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 14:53:03 +0200califax(~califax@user/califx)
2022-07-24 14:53:34 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78)
2022-07-24 14:53:42 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-24 14:54:42 +0200son0p(~ff@181.136.122.143) (Ping timeout: 264 seconds)
2022-07-24 14:54:53 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2022-07-24 14:57:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Ping timeout: 260 seconds)
2022-07-24 14:58:30 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-6989-05e0-1f23-2cd3.res6.spectrum.com) (Ping timeout: 260 seconds)
2022-07-24 14:59:01 +0200[itchyjunk]rips hair
2022-07-24 15:00:18 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-24 15:00:48 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-24 15:01:17 +0200 <geekosaur> ?
2022-07-24 15:01:35 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-07-24 15:02:10 +0200 <[itchyjunk]> It's a problem i've solved in the past but my brain is refusing to cooperate :x
2022-07-24 15:05:06 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-24 15:05:38 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 15:06:26 +0200califax(~califax@user/califx)
2022-07-24 15:10:51 +0200 <[itchyjunk]> I managed to produce the same wrong answer 4 different ways. That has to count for something..
2022-07-24 15:11:26 +0200 <[exa]> what's the problem though
2022-07-24 15:11:53 +0200 <[itchyjunk]> split string based on ' '
2022-07-24 15:12:00 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-6989-05e0-1f23-2cd3.res6.spectrum.com)
2022-07-24 15:12:08 +0200 <[exa]> as in `wordsOn ' '` ?
2022-07-24 15:12:22 +0200 <[exa]> (uh I mean normal 'words' :D)
2022-07-24 15:12:36 +0200 <[itchyjunk]> https://bpa.st/QUVA
2022-07-24 15:13:06 +0200thiross(~thiross@173.242.113.143.16clouds.com)
2022-07-24 15:13:38 +0200thiross(~thiross@173.242.113.143.16clouds.com) (Client Quit)
2022-07-24 15:13:56 +0200 <[exa]> looks like you are trying to solve the problem with "1-level" recursion while it in fact requires 2 levels (as it produces [[Char]])
2022-07-24 15:14:20 +0200 <[itchyjunk]> hmmmmmm
2022-07-24 15:14:23 +0200 <[exa]> (like, ofc you can do in 1 level but the amount of extra code is just annoying)
2022-07-24 15:14:59 +0200 <[itchyjunk]> two level recursion.. what's a good place to read and introduction to this concept
2022-07-24 15:15:22 +0200 <[itchyjunk]> i know what you mean but it feels like im not familiar with this concept and i should work on that then this problem..
2022-07-24 15:15:42 +0200 <[itchyjunk]> because i've solved this before but i clearly missed this 2 level recrusion
2022-07-24 15:15:46 +0200 <[exa]> now this is pure guesswork because I didn't see your code, but it looks like you're trying to consume the input string by chars
2022-07-24 15:16:01 +0200 <[exa]> while you in fact want to consume the input string by words, which you can not patternmatch
2022-07-24 15:16:04 +0200 <[itchyjunk]> i tried a few different thing. like use if else, list comprehension etc
2022-07-24 15:16:20 +0200 <[exa]> did you try to use `span` ?
2022-07-24 15:16:21 +0200 <[itchyjunk]> for example [ [x] <- str | x \= ' '
2022-07-24 15:16:25 +0200 <[itchyjunk]> ]
2022-07-24 15:16:26 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-07-24 15:16:52 +0200 <[exa]> in particular, `span (== ' ')` and `span (/= ' ')`
2022-07-24 15:17:22 +0200 <[itchyjunk]> hm, if that works, my if else should have as well. must be a logical error in my thinking then
2022-07-24 15:17:24 +0200 <[exa]> (span is recursive itself, which hides the inner level for you)
2022-07-24 15:17:45 +0200 <[itchyjunk]> https://bpa.st/277A
2022-07-24 15:18:08 +0200 <[itchyjunk]> ah, maybe i'll try to write a `mySpan` and learn level 2 recursion that way
2022-07-24 15:18:28 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-07-24 15:18:30 +0200 <[exa]> the logic is: 1] if you can cut out a word, cut it out, produce output, continue 2] if you can cut out whitespace, cut it out, produce nothing, continue, 3] if there's nothing left, produce nothing, terminate.
2022-07-24 15:19:22 +0200 <[itchyjunk]> that sounds familiar, hmm
2022-07-24 15:19:59 +0200 <[exa]> hint: case span (== ' ') input { ([], rest) -> ... }
2022-07-24 15:20:10 +0200Pickchea(~private@user/pickchea)
2022-07-24 15:20:13 +0200 <[exa]> you might find a nice encoding into pattern guards
2022-07-24 15:20:14 +0200 <[itchyjunk]> @_@
2022-07-24 15:20:20 +0200 <[itchyjunk]> :t span
2022-07-24 15:20:21 +0200 <lambdabot> (a -> Bool) -> [a] -> ([a], [a])
2022-07-24 15:20:44 +0200 <[exa]> span is basically takeWhile and dropWhile combo
2022-07-24 15:21:16 +0200naso(~naso@193-116-244-197.tpgi.com.au) ()
2022-07-24 15:22:04 +0200 <[exa]> btw my hint was probably not legal haskell, I'm too lazy to open ghci, sorry :D
2022-07-24 15:22:50 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-24 15:25:25 +0200alp_(~alp@user/alp) (Ping timeout: 268 seconds)
2022-07-24 15:27:07 +0200KaitoDaumoto(~KaitoDaum@user/kaitodaumoto)
2022-07-24 15:27:14 +0200 <[itchyjunk]> boh, i'll try this later!
2022-07-24 15:27:28 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 15:29:46 +0200 <[exa]> anyway the main problem in your solution is simply that `go` produces a singleton ("x" for some letter x) that is output and can't be extended later with more letters. You need something that eats the whole word recursively. `span` (or `break`, which is basically the same) is a nice way to do that. :]
2022-07-24 15:29:53 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-07-24 15:32:13 +0200lys_(~lys@user/lys)
2022-07-24 15:33:19 +0200vysn(~vysn@user/vysn) (Ping timeout: 244 seconds)
2022-07-24 15:36:16 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-07-24 15:36:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-24 15:37:15 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-24 15:41:41 +0200pavonia(~user@user/siracusa)
2022-07-24 15:43:24 +0200lys_(~lys@user/lys) (Quit: Leaving)
2022-07-24 15:43:38 +0200causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e)
2022-07-24 15:43:43 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-24 15:44:01 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-24 15:45:54 +0200kenran(~kenran@200116b82bb10200bec1eae1168003ef.dip.versatel-1u1.de)
2022-07-24 15:49:39 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-24 15:52:31 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-07-24 15:53:30 +0200Pickchea(~private@user/pickchea) (Ping timeout: 264 seconds)
2022-07-24 15:58:21 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-24 15:59:02 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-24 16:00:32 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-07-24 16:00:40 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host)
2022-07-24 16:00:40 +0200Guest3(~textual@user/polo)
2022-07-24 16:00:43 +0200Guest3Gambino
2022-07-24 16:00:47 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-24 16:00:47 +0200GambinoPolo
2022-07-24 16:01:18 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a)
2022-07-24 16:01:20 +0200kenran(~kenran@200116b82bb10200bec1eae1168003ef.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-07-24 16:09:34 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-24 16:10:07 +0200Polo(~textual@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-24 16:10:14 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-24 16:14:53 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-07-24 16:15:30 +0200Guest3(~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Client Quit)
2022-07-24 16:17:14 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-24 16:19:07 +0200mc47(~mc47@xmonad/TheMC47)
2022-07-24 16:21:56 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-24 16:26:50 +0200ridcully(~ridcully@pd951f3bf.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-24 16:28:13 +0200ridcully(~ridcully@p57b5221a.dip0.t-ipconnect.de)
2022-07-24 16:29:29 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2022-07-24 16:31:32 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 16:34:05 +0200benin0(~benin@183.82.24.82) (Quit: The Lounge - https://thelounge.chat)
2022-07-24 16:35:34 +0200benin0(~benin@183.82.27.255)
2022-07-24 16:37:29 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 272 seconds)
2022-07-24 16:37:38 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-24 16:39:01 +0200haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
2022-07-24 16:39:01 +0200haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
2022-07-24 16:39:01 +0200haritz(~hrtz@user/haritz)
2022-07-24 16:44:27 +0200benin0(~benin@183.82.27.255) (Quit: The Lounge - https://thelounge.chat)
2022-07-24 16:46:15 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:3004:4a55:8393:10a9)
2022-07-24 16:46:23 +0200Pickchea(~private@user/pickchea)
2022-07-24 16:51:10 +0200lucyy(~user@user/lucyy)
2022-07-24 16:53:10 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-24 16:54:44 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78)
2022-07-24 16:55:31 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-24 16:56:58 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:3004:4a55:8393:10a9) (Ping timeout: 240 seconds)
2022-07-24 16:57:54 +0200ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2022-07-24 16:59:04 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78) (Ping timeout: 244 seconds)
2022-07-24 16:59:05 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-07-24 16:59:23 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-07-24 16:59:38 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-24 17:02:51 +0200acidjnk(~acidjnk@p200300d6e7058637f54efc3ca710685a.dip0.t-ipconnect.de)
2022-07-24 17:07:50 +0200Guest8714(~Guest87@2a01:c22:b1ca:1900:2c43:f2cd:eb0c:7fd7)
2022-07-24 17:08:15 +0200nate4(~nate@98.45.169.16)
2022-07-24 17:10:08 +0200Guest8714(~Guest87@2a01:c22:b1ca:1900:2c43:f2cd:eb0c:7fd7) (Client Quit)
2022-07-24 17:11:35 +0200lucyy(~user@user/lucyy) (Remote host closed the connection)
2022-07-24 17:12:30 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-24 17:13:01 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:80b2:18b5:412d:ea78)
2022-07-24 17:23:45 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-24 17:24:35 +0200SamBellamy(~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection)
2022-07-24 17:24:47 +0200SamBellamy(~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net)
2022-07-24 17:25:49 +0200zebrag(~chris@user/zebrag)
2022-07-24 17:27:06 +0200dsrt^(~dsrt@73.54.250.255)
2022-07-24 17:35:53 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 17:40:05 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-24 17:42:19 +0200dextaa(~DV@user/dextaa)
2022-07-24 17:43:07 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-24 17:44:46 +0200son0p(~ff@181.136.122.143)
2022-07-24 17:44:49 +0200dextaa(~DV@user/dextaa)
2022-07-24 17:45:39 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-24 17:47:57 +0200dextaa(~DV@user/dextaa)
2022-07-24 17:48:50 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-24 17:48:58 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-24 17:51:10 +0200dextaa(~DV@user/dextaa)
2022-07-24 17:51:22 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-24 17:51:22 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-24 17:51:22 +0200wroathe(~wroathe@user/wroathe)
2022-07-24 17:51:22 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-24 17:52:18 +0200dsrt^(~dsrt@73.54.250.255) (Ping timeout: 244 seconds)
2022-07-24 17:53:36 +0200dextaa(~DV@user/dextaa)
2022-07-24 17:53:52 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-24 17:54:48 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-07-24 17:56:05 +0200dextaa(~DV@user/dextaa)
2022-07-24 17:56:47 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-24 17:57:43 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-24 17:58:46 +0200dextaa(~DV@user/dextaa)
2022-07-24 17:59:05 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-24 17:59:36 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-07-24 18:01:22 +0200dextaa(~DV@user/dextaa)
2022-07-24 18:03:13 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-07-24 18:05:52 +0200yroomsd^(~yroomsd@73.54.250.255)
2022-07-24 18:05:54 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-07-24 18:08:18 +0200xkuru(~xkuru@user/xkuru)
2022-07-24 18:13:44 +0200tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-24 18:14:25 +0200tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2)
2022-07-24 18:15:33 +0200sandydoo(~sandydoo@185.209.196.146) (Ping timeout: 244 seconds)
2022-07-24 18:15:42 +0200[Leary](~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 264 seconds)
2022-07-24 18:15:50 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-24 18:19:45 +0200yroomsd^(~yroomsd@73.54.250.255) (Ping timeout: 260 seconds)
2022-07-24 18:20:47 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 18:21:07 +0200yroomsd^(~yroomsd@73.54.250.255)
2022-07-24 18:21:38 +0200yroomsd^(~yroomsd@73.54.250.255) (Remote host closed the connection)
2022-07-24 18:21:56 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-07-24 18:23:04 +0200Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-07-24 18:23:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-24 18:26:05 +0200Everything(~Everythin@37.115.210.35) (Quit: leaving)
2022-07-24 18:31:17 +0200naso(~naso@193-116-244-197.tpgi.com.au)
2022-07-24 18:32:00 +0200naso(~naso@193-116-244-197.tpgi.com.au) (Client Quit)
2022-07-24 18:35:47 +0200alternat`(~user@staticline-31-183-144-54.toya.net.pl)
2022-07-24 18:35:50 +0200alternat`(~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection)
2022-07-24 18:35:58 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection)
2022-07-24 18:36:20 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl)
2022-07-24 18:43:27 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 244 seconds)
2022-07-24 18:50:04 +0200sandydoo(~sandydoo@185.209.196.146)
2022-07-24 18:51:12 +0200AkechiShiro(~licht@user/akechishiro) (Ping timeout: 244 seconds)
2022-07-24 18:51:40 +0200econo(uid147250@user/econo)
2022-07-24 18:51:56 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 18:52:30 +0200AkechiShiro(~licht@user/akechishiro)
2022-07-24 18:55:03 +0200sandy_doo(~sandydoo@185.209.196.146)
2022-07-24 18:57:29 +0200sandydoo(~sandydoo@185.209.196.146) (Ping timeout: 268 seconds)
2022-07-24 19:01:48 +0200sandy_doo(~sandydoo@185.209.196.146) (Ping timeout: 268 seconds)
2022-07-24 19:02:51 +0200sandy_doo(~sandydoo@185.209.196.146)
2022-07-24 19:03:39 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 268 seconds)
2022-07-24 19:05:10 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
2022-07-24 19:05:49 +0200vysn(~vysn@user/vysn)
2022-07-24 19:11:30 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-24 19:11:30 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-24 19:11:30 +0200wroathe(~wroathe@user/wroathe)
2022-07-24 19:21:35 +0200vglfr(~vglfr@194.9.14.33) (Ping timeout: 260 seconds)
2022-07-24 19:22:17 +0200vglfr(~vglfr@194.9.14.33)
2022-07-24 19:24:07 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection)
2022-07-24 19:25:59 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-24 19:27:05 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 268 seconds)
2022-07-24 19:27:16 +0200vysn(~vysn@user/vysn) (Quit: WeeChat 3.5)
2022-07-24 19:27:35 +0200Kaiepi(~Kaiepi@156.34.47.253) (Read error: Connection reset by peer)
2022-07-24 19:27:36 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk)
2022-07-24 19:28:13 +0200sagittaria(~sagittari@220.118.98.38)
2022-07-24 19:32:12 +0200Guest79(~Guest79@024-205-177-234.res.spectrum.com)
2022-07-24 19:33:13 +0200Guest79(~Guest79@024-205-177-234.res.spectrum.com) (Client Quit)
2022-07-24 19:34:08 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 255 seconds)
2022-07-24 19:34:35 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-24 19:38:30 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2022-07-24 19:39:34 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 19:47:50 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-24 19:52:30 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2022-07-24 19:55:08 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 19:55:56 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-07-24 19:56:24 +0200gpncarl(uid562772@id-562772.ilkley.irccloud.com)
2022-07-24 19:58:20 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-07-24 20:02:50 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 240 seconds)
2022-07-24 20:04:54 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-07-24 20:07:35 +0200sagittaria(~sagittari@220.118.98.38) (Quit: - bye)
2022-07-24 20:09:15 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-24 20:12:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-24 20:14:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-24 20:14:31 +0200lys(sid194105@user/lys) ()
2022-07-24 20:15:48 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-07-24 20:29:48 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-24 20:30:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-24 20:31:52 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 20:34:06 +0200retropikzel(9d1a4f9f46@2604:bf00:561:2000::ce) ()
2022-07-24 20:34:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-24 20:43:01 +0200mmhat(~mmh@p200300f1c705593dee086bfffe095315.dip0.t-ipconnect.de)
2022-07-24 20:43:10 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-07-24 20:44:53 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2022-07-24 20:47:13 +0200radhika(uid560836@id-560836.helmsley.irccloud.com)
2022-07-24 20:55:38 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-07-24 20:57:11 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6)
2022-07-24 20:57:34 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-07-24 20:58:47 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-07-24 21:01:24 +0200vglfr(~vglfr@194.9.14.33) (Ping timeout: 272 seconds)
2022-07-24 21:02:18 +0200vglfr(~vglfr@194.9.14.33)
2022-07-24 21:04:29 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-07-24 21:05:45 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net)
2022-07-24 21:07:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-24 21:08:01 +0200Sgeo(~Sgeo@user/sgeo)
2022-07-24 21:11:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-24 21:12:25 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a)
2022-07-24 21:17:30 +0200yauhsien(~yauhsien@61-231-44-121.dynamic-ip.hinet.net) (Ping timeout: 264 seconds)
2022-07-24 21:17:40 +0200malte(~malte@mal.tc) (Ping timeout: 260 seconds)
2022-07-24 21:17:57 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-24 21:20:39 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-07-24 21:24:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-24 21:26:22 +0200|beowulf|(~ircuser@sourcemage/mage/beowulf)
2022-07-24 21:33:42 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds)
2022-07-24 21:33:57 +0200dos__^^(~user@user/dos/x-1723657) (Ping timeout: 244 seconds)
2022-07-24 21:44:09 +0200alp_(~alp@user/alp)
2022-07-24 21:47:53 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer)
2022-07-24 21:48:07 +0200maerwald(~maerwald@user/maerwald) (Ping timeout: 256 seconds)
2022-07-24 21:48:11 +0200sandydoo(~sandydoo@185.209.196.146)
2022-07-24 21:48:55 +0200sandy_doo(~sandydoo@185.209.196.146) (Ping timeout: 244 seconds)
2022-07-24 21:49:56 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 21:50:36 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:d86a:adb8:4fbc:a183)
2022-07-24 21:51:18 +0200Pickchea(~private@user/pickchea)
2022-07-24 21:52:43 +0200 <qrpnxz> I've been comparing different effect stack approaches. As we "know", with MTL you have to define all these pass-through instances. ReaderT dictionary passing is nice because you just define the one Has instance, but it's a bit akward choosing the monad for the actions you pass in and integrating that with the eventual real stack if you don't want to do everything via IO (or if you want control
2022-07-24 21:52:44 +0200 <qrpnxz> monads), and majorly it bothers me that that's what type classes are supposed to be (dictionary passing) and in that case you are just doing what that language feature is specifically designed for which is dictionary passing. I just tried something nice which is to define an overlappable instance for a transformed monad that automatically passes through the effect. Works nice! Tried it with a
2022-07-24 21:52:46 +0200 <qrpnxz> simple greeter class. Defined a couple of different transformer implementations, and indeed i can run one or the other and it works, and i can insert arbitrary transformers below and above them and it works. So if your effect commutes, you can just define a universal pass-through, if it doesn't then you specifically implement the instances that make sense.
2022-07-24 21:53:33 +0200maerwald(~maerwald@mail.hasufell.de)
2022-07-24 21:55:17 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 21:55:35 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 21:56:03 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-24 21:56:31 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 21:56:50 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 21:56:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-24 21:57:27 +0200califax(~califax@user/califx)
2022-07-24 21:57:46 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 21:57:51 +0200malte(~malte@mal.tc)
2022-07-24 21:58:05 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 21:59:02 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 21:59:20 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:00:17 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:00:32 +0200__monty__(~toonn@user/toonn)
2022-07-24 22:00:35 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:01:33 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-07-24 22:01:50 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:02:33 +0200toluene(~toluene@user/toulene) (Quit: The Lounge - https://thelounge.chat)
2022-07-24 22:02:41 +0200NaturalNumber(~monadam@137.229.82.64) (Remote host closed the connection)
2022-07-24 22:02:47 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:03:03 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 22:03:05 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:03:48 +0200 <qrpnxz> you could also have passthrough as a default impl in the class then writing the passthroughs can be as easy as `instance Class`
2022-07-24 22:03:48 +0200kenran(~kenran@200116b82bb10200d7280300c3da7cef.dip.versatel-1u1.de)
2022-07-24 22:03:54 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-24 22:04:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 22:04:03 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:04:20 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:04:46 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-24 22:05:17 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:05:34 +0200kenran(~kenran@200116b82bb10200d7280300c3da7cef.dip.versatel-1u1.de) (Client Quit)
2022-07-24 22:05:35 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:06:04 +0200NaturalNumber123(~monadam@137.229.82.64)
2022-07-24 22:06:32 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:06:50 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:07:47 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:08:05 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:08:18 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 240 seconds)
2022-07-24 22:08:21 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:d86a:adb8:4fbc:a183) (Ping timeout: 276 seconds)
2022-07-24 22:09:01 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:09:18 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:10:16 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:10:33 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:11:31 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:11:49 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:12:53 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-07-24 22:13:14 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:13:47 +0200NaturalNumber123(~monadam@137.229.82.64) (Ping timeout: 272 seconds)
2022-07-24 22:17:50 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:18:07 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:19:07 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:19:25 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:20:10 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-07-24 22:20:28 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:20:45 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:21:15 +0200vglfr(~vglfr@194.9.14.33) (Ping timeout: 260 seconds)
2022-07-24 22:21:50 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-24 22:21:50 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:22:08 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:23:18 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:23:21 +0200NaturalNumber123(~monadam@137.229.82.64)
2022-07-24 22:23:37 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:24:51 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:25:08 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:26:29 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:26:49 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:27:15 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-07-24 22:28:09 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 22:28:18 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:28:34 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:28:36 +0200vglfr(~vglfr@194.9.14.33)
2022-07-24 22:30:10 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-07-24 22:30:14 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:30:32 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:32:23 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:32:42 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:33:22 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 22:34:47 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:35:07 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:35:16 +0200Rimas_K(~Rimas_K@78-58-145-243.static.zebra.lt) (Quit: Client closed)
2022-07-24 22:37:30 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:37:39 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-24 22:37:46 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:40:32 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:40:43 +0200sandydoo(~sandydoo@185.209.196.146) (Ping timeout: 268 seconds)
2022-07-24 22:40:50 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:44:05 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:44:22 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:48:13 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:48:32 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:52:57 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-24 22:52:59 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-24 22:53:16 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Remote host closed the connection)
2022-07-24 22:53:33 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 22:55:09 +0200NaturalNumber123(~monadam@137.229.82.64) (Ping timeout: 276 seconds)
2022-07-24 22:55:18 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 264 seconds)
2022-07-24 22:56:58 +0200radhika(uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-24 22:57:46 +0200byorgey(~byorgey@155.138.238.211) (Quit: leaving)
2022-07-24 22:57:58 +0200notzmv(~zmv@user/notzmv)
2022-07-24 22:58:18 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 264 seconds)
2022-07-24 22:59:51 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 23:02:21 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-07-24 23:03:09 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 23:04:17 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 255 seconds)
2022-07-24 23:04:39 +0200talismanick(~talismani@2601:644:8300:c010::8544)
2022-07-24 23:07:27 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 23:14:12 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-07-24 23:15:15 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-07-24 23:15:44 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi)
2022-07-24 23:16:39 +0200kjak(~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Remote host closed the connection)
2022-07-24 23:18:18 +0200xkuru(~xkuru@user/xkuru) (Quit: Unvirtualizing)
2022-07-24 23:19:21 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2022-07-24 23:19:39 +0200califax(~califax@user/califx) (Ping timeout: 268 seconds)
2022-07-24 23:19:58 +0200jmjj(~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Ping timeout: 240 seconds)
2022-07-24 23:20:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-24 23:20:53 +0200noteness(~noteness@user/noteness) (Ping timeout: 268 seconds)
2022-07-24 23:20:58 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-07-24 23:21:22 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-07-24 23:21:27 +0200noteness(~noteness@user/noteness)
2022-07-24 23:21:30 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-24 23:21:31 +0200califax(~califax@user/califx)
2022-07-24 23:22:07 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2022-07-24 23:22:07 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-07-24 23:22:07 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds)
2022-07-24 23:22:07 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-07-24 23:22:54 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-24 23:23:18 +0200gmg(~user@user/gehmehgeh)
2022-07-24 23:23:36 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-24 23:23:59 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-24 23:27:01 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a)
2022-07-24 23:27:15 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
2022-07-24 23:27:54 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-24 23:28:31 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Remote host closed the connection)
2022-07-24 23:29:34 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-24 23:31:50 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-07-24 23:34:38 +0200[Leary](~Leary]@122-58-224-198-vdsl.sparkbb.co.nz)
2022-07-24 23:34:50 +0200 <qrpnxz> the `streaming` lib readme is freaking hilarious. I keep re-reading it.
2022-07-24 23:35:52 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-07-24 23:35:59 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 23:36:07 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-24 23:36:27 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-24 23:37:34 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-24 23:37:56 +0200 <monochrom> Hrm, I spotted "_ListT done right/". Note the _ and /. Someone could not make up their mind whether it's _ListT done right_ or /ListT done right/ haha
2022-07-24 23:38:21 +0200 <monochrom> ```markdown done right```
2022-07-24 23:38:34 +0200 <monochrom> err not funny enough
2022-07-24 23:38:39 +0200 <monochrom> ```markdown done right,,,
2022-07-24 23:39:57 +0200 <qrpnxz> i was wondering about that lol, good hypothesis
2022-07-24 23:40:12 +0200ober(~ober@c-24-61-81-45.hsd1.ma.comcast.net)
2022-07-24 23:40:31 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-24 23:40:57 +0200 <qrpnxz> maybe they wrote '_ListT done' in vim and 'right/' on emacs :)
2022-07-24 23:41:00 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-07-24 23:41:55 +0200 <monochrom> https://hackage.haskell.org/package/fourmolu has a funny bit too. It roasts ormolu.
2022-07-24 23:43:25 +0200 <monochrom> Hrm the funny bit is gone in recent versions.
2022-07-24 23:43:54 +0200 <monochrom> Go to https://hackage.haskell.org/package/fourmolu-0.0.6.0 and look for "requires you to fork the project to configure it" :)
2022-07-24 23:44:19 +0200 <qrpnxz> "respectful: true"' lmao what
2022-07-24 23:45:01 +0200 <qrpnxz> but in ourmolu "respectful: false" lol
2022-07-24 23:45:44 +0200 <monochrom> hahaha now that's something
2022-07-24 23:46:08 +0200 <qrpnxz> yeah, funny one
2022-07-24 23:46:24 +0200 <ober> Will the constraints field in cabal.project for a package apply to packages the depend on it?
2022-07-24 23:47:08 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-24 23:47:10 +0200 <sclv> no. the project file doesn’t get bundled into a cabal package
2022-07-24 23:47:23 +0200 <monochrom> So basically ormolu hardcoded indent-by-2 or something, so someone forked it to do indent-by-4 and obviously the new name ought to be fourmolu.
2022-07-24 23:48:31 +0200 <monochrom> "like xmonad but for code formatting"
2022-07-24 23:49:49 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-07-24 23:50:17 +0200 <ober> My usecase is to try to create inline tests and properties. So I will have a flag called tests, and I will enable in in the constraints file for my own project. This means I can run tests locally but packages that depend on it will not compile the tests. This should work right?
2022-07-24 23:51:34 +0200 <ober> Oh also the cabal flag chould set a cpp flag too
2022-07-24 23:52:25 +0200 <sclv> i advise you either use doctests or just a trest stanza and eg tasty
2022-07-24 23:52:32 +0200 <sclv> test stanza
2022-07-24 23:56:38 +0200 <qrpnxz> monochrom: omg hahaha
2022-07-24 23:57:04 +0200johnw(~johnw@2600:1700:cf00:db0:dc35:4fc6:f087:ce5b) (Quit: ZNC - http://znc.in)
2022-07-24 23:57:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-24 23:57:52 +0200 <ober> you mean tasty test stanza in a separate test package right? I really like writing properties in the module, and then you can use allProperties with tasty (I saw this in the agda source code)
2022-07-24 23:58:35 +0200 <ober> But I don't want to add QuickCheck as a dep in a library
2022-07-24 23:58:36 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-24 23:58:36 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-24 23:58:36 +0200wroathe(~wroathe@user/wroathe)