IRCBrowse

2022/05/11

2022-05-11 00:01:02 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-05-11 00:05:56 +0200mixfix41(~sdenyninn@user/mixfix41) (Quit: hit)
2022-05-11 00:06:48 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds)
2022-05-11 00:07:12 +0200odnes(~odnes@5-203-241-182.pat.nym.cosmote.net)
2022-05-11 00:10:25 +0200dut_(~dut@user/dut)
2022-05-11 00:11:35 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-11 00:12:28 +0200acidjnk_new(~acidjnk@p200300d0c7068b320449967de939d2a3.dip0.t-ipconnect.de)
2022-05-11 00:13:25 +0200dut(~dut@user/dut) (Ping timeout: 246 seconds)
2022-05-11 00:13:33 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-11 00:14:57 +0200 <misterfish> ong
2022-05-11 00:15:10 +0200 <misterfish> sorry, pls disregard
2022-05-11 00:15:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 00:15:17 +0200misterfish(~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) ()
2022-05-11 00:15:32 +0200acidjnk(~acidjnk@p200300d0c7068b320449967de939d2a3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-05-11 00:15:43 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-11 00:18:38 +0200acidjnk_new(~acidjnk@p200300d0c7068b320449967de939d2a3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-05-11 00:28:08 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-05-11 00:29:44 +0200gnyeki(~gnyeki@user/gnyeki) (Quit: leaving)
2022-05-11 00:29:56 +0200mmhat(~mmh@2001:4090:a243:802a:ee08:6bff:fe09:5315) (Quit: WeeChat 3.5)
2022-05-11 00:34:55 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-11 00:35:14 +0200zeenk(~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!)
2022-05-11 00:35:28 +0200gnyeki(~gnyeki@user/gnyeki)
2022-05-11 00:39:41 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-11 00:44:23 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-11 00:44:54 +0200odnes(~odnes@5-203-241-182.pat.nym.cosmote.net) (Remote host closed the connection)
2022-05-11 00:45:32 +0200nate1(~nate@98.45.169.16)
2022-05-11 00:50:12 +0200nate1(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-05-11 00:52:15 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-11 00:56:23 +0200srk-(~sorki@user/srk)
2022-05-11 00:59:03 +0200srk|(~sorki@user/srk)
2022-05-11 00:59:30 +0200srk(~sorki@user/srk) (Ping timeout: 276 seconds)
2022-05-11 01:00:10 +0200dhil(~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-05-11 01:00:29 +0200srk(~sorki@user/srk)
2022-05-11 01:00:59 +0200 <EvanR> seems like IOT would require semantics for IO
2022-05-11 01:02:45 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-05-11 01:03:00 +0200srk-(~sorki@user/srk) (Ping timeout: 248 seconds)
2022-05-11 01:03:44 +0200srk|(~sorki@user/srk) (Ping timeout: 252 seconds)
2022-05-11 01:06:40 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 01:07:04 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-05-11 01:08:32 +0200kilolympus(~kilolympu@31.205.200.235)
2022-05-11 01:11:17 +0200 <sm> hey all, do you remember that past project aimed at collecting haskell links that was sort of a structured wiki/db app ? I'm forgetting its name
2022-05-11 01:14:44 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-05-11 01:16:54 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-05-11 01:17:09 +0200SquareSqaure
2022-05-11 01:18:52 +0200ChanServ+o sm
2022-05-11 01:21:12 +0200jinsun(~jinsun@user/jinsun)
2022-05-11 01:21:18 +0200 <dmj`> sm: http://dev.stephendiehl.com/hask/ ?
2022-05-11 01:21:45 +0200 <sm> no...
2022-05-11 01:23:39 +0200jinsun__(~jinsun@user/jinsun)
2022-05-11 01:23:49 +0200 <sm> but dang, isn't that an amazing document & isn't Haskell really big
2022-05-11 01:25:24 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 240 seconds)
2022-05-11 01:27:49 +0200jmd_(~jmdaemon@user/jmdaemon)
2022-05-11 01:27:56 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-05-11 01:30:16 +0200 <EvanR> whoa
2022-05-11 01:33:21 +0200 <shapr> sm: was it https://github.com/cohomolo-gy/haskell-resources ?
2022-05-11 01:34:27 +0200 <sm> no.. but thanks for that too
2022-05-11 01:35:22 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.)
2022-05-11 01:35:34 +0200 <shapr> sm: was it https://en.wikibooks.org/wiki/Haskell ?
2022-05-11 01:37:34 +0200 <sm> no. It wasn't an official resource, it was a private project by a community member, with an unusual name, a custom web app, each topic had a page, you could edit through the web (maybe)
2022-05-11 01:38:06 +0200 <sm> and I believe they retired it in the last 2-3 years
2022-05-11 01:38:35 +0200 <shapr> Any other keywords for my brain?
2022-05-11 01:40:11 +0200 <sm> if I think of anything more I'll share.. it's coming closer..
2022-05-11 01:42:30 +0200Sgeo(~Sgeo@user/sgeo) (Quit: Leaving)
2022-05-11 01:44:28 +0200Sgeo(~Sgeo@user/sgeo)
2022-05-11 01:44:30 +0200 <sm> hoo.. tough one
2022-05-11 01:44:45 +0200alp_(~alp@user/alp) (Ping timeout: 260 seconds)
2022-05-11 01:44:52 +0200 <Bulby[m]> hoo?!??
2022-05-11 01:44:58 +0200 <Bulby[m]> my keyword for hoogle 😳
2022-05-11 01:45:47 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-05-11 01:47:30 +0200 <sm> I'm asking because it was an example of a more automated, scalable way of gathering haskell links, which I'm daydreaming about at https://github.com/simonmichael/haskell-links, in case anyone wants to help
2022-05-11 01:48:46 +0200 <EvanR> Conclusions: The next ML will be pure, with effects only via monads. The next Haskell will be strict, but still pure. (Wearing the Hair Shirt: A Retrospective on Haskell)
2022-05-11 01:50:24 +0200 <texasmynsted> sm: what about haskell.org
2022-05-11 01:51:09 +0200 <texasmynsted> There are many Haskell links there, organized with context.
2022-05-11 01:53:14 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2022-05-11 01:53:19 +0200 <dmj`> EvanR: Why can't the next haskell be explicitly lazy, have row polymorphism, a modern backend while staying Haskell 98 ?
2022-05-11 01:54:07 +0200 <EvanR> because SPJcold said so
2022-05-11 01:55:10 +0200 <sm> texasmynsted: yes there are, and I mention it in the quote at the top, as not fully succeeding. It links a small fraction of the resources out there
2022-05-11 01:56:23 +0200 <sm> @where books
2022-05-11 01:56:23 +0200 <lambdabot> https://www.extrema.is/articles/haskell-books http://www.vex.net/~trebla/haskell/learn-sources.html, see also @where LYAH, RWH, YAHT, HFTVB, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP,
2022-05-11 01:56:23 +0200 <lambdabot> PFAD, WYAH, non-haskell-books
2022-05-11 01:57:03 +0200 <sm> I'm thinking of something like a cross between @where and https://www.extrema.is/articles/haskell-books
2022-05-11 01:58:27 +0200 <texasmynsted> oh I see.
2022-05-11 01:58:41 +0200 <EvanR> from /hask doc above "If you find yourself falling back on [Template Haskell] ask yourself, what in my abstractions has failed me such that my only option is to write code that writes code." loving it xD
2022-05-11 01:58:53 +0200 <texasmynsted> How about a haskell link twitter feed?
2022-05-11 01:59:06 +0200 <texasmynsted> New link every day?
2022-05-11 01:59:30 +0200 <sm> shapr: got it! https://guide.aelve.com
2022-05-11 01:59:49 +0200 <sm> texasmynsted: that's a good idea too, if it doesn't already exist
2022-05-11 02:00:27 +0200 <sm> https://twitter.com/haskelltips stopped a few years back
2022-05-11 02:00:46 +0200 <texasmynsted> There are at least two awesome haskell sites on github
2022-05-11 02:01:04 +0200 <texasmynsted> https://github.com/krispo/awesome-haskell https://github.com/uhub/awesome-haskell
2022-05-11 02:01:16 +0200 <sm> (related, https://twitter.com/haskellceo was fun)
2022-05-11 02:01:37 +0200 <texasmynsted> I am ready to follow your new haskell link twitter feed
2022-05-11 02:02:03 +0200 <texasmynsted> So long as it is all Haskell and not politics
2022-05-11 02:02:13 +0200smran a LedgerTips for a while
2022-05-11 02:03:00 +0200 <texasmynsted> not sure what that would be but tips are good
2022-05-11 02:07:06 +0200kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
2022-05-11 02:07:15 +0200 <sm> thanks for the links, also noted
2022-05-11 02:08:05 +0200pfharlock(~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection)
2022-05-11 02:08:17 +0200 <texasmynsted> Oh Julie and Chris have a twitter for their "Joy of Haskell" book.
2022-05-11 02:08:28 +0200pfharlock(~pfharlock@cpe-74-138-169-108.kya.res.rr.com)
2022-05-11 02:17:19 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds)
2022-05-11 02:17:33 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-11 02:17:34 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-11 02:17:34 +0200wroathe(~wroathe@user/wroathe)
2022-05-11 02:20:08 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-05-11 02:25:11 +0200jmd_jmdaemon
2022-05-11 02:25:40 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds)
2022-05-11 02:29:57 +0200jmd_(~jmdaemon@user/jmdaemon)
2022-05-11 02:30:00 +0200 <shapr> sm: yay!
2022-05-11 02:30:05 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-05-11 02:31:33 +0200Kaiepi(~Kaiepi@156.34.47.253) (Read error: Connection reset by peer)
2022-05-11 02:31:57 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-11 02:41:34 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-05-11 02:48:47 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-05-11 02:50:01 +0200Benzi-Junior(~BenziJuni@88-149-64-179.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-11 02:56:22 +0200xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp)
2022-05-11 03:10:43 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-05-11 03:13:00 +0200zaquest(~notzaques@5.130.79.72)
2022-05-11 03:26:13 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2022-05-11 03:26:31 +0200EvanR(~EvanR@user/evanr)
2022-05-11 03:32:08 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-09ca-22c1-65a3-8fed.res6.spectrum.com) (Ping timeout: 260 seconds)
2022-05-11 03:36:09 +0200 <jackdk> sm: http://jackkelly.name/wiki/haskell.html I think you have different curation goals to me but I like my little linklist
2022-05-11 03:36:41 +0200 <Axman6> hot take: haskell tutorial lists are the new monad tutorial
2022-05-11 03:36:42 +0200 <sm> thanks!
2022-05-11 03:37:32 +0200 <sm> if nothing else, I will achieve a list of lists valid for one day!
2022-05-11 03:37:33 +0200 <exarkun> is there a monad instance for haskell tutorial lists yet
2022-05-11 03:37:45 +0200 <exarkun> if not can I achieve some kind of fame by defining one
2022-05-11 03:42:36 +0200kaph(~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2022-05-11 03:44:41 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-6165-3a77-319f-4350.res6.spectrum.com)
2022-05-11 03:45:48 +0200 <monochrom> May I have haskell tutorial arrays instead?
2022-05-11 03:46:05 +0200 <monochrom> I want to use !!n on haskell tutorial arrays.
2022-05-11 03:46:20 +0200 <Axman6> unboxed tutorial arrays plkease
2022-05-11 03:46:25 +0200 <Axman6> please*
2022-05-11 03:47:04 +0200 <monochrom> webscale unboxed tutorial arrays with batteries included
2022-05-11 03:47:17 +0200 <Axman6> on the blockchain*
2022-05-11 03:47:31 +0200 <monochrom> Ah, missed that. :)
2022-05-11 03:50:21 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 03:50:56 +0200 <dmj`> webscale haskell arrays
2022-05-11 03:55:52 +0200 <jackdk> Axman6: I'm trying to not just magpie a single giant list, but be a bit choosy and say "this is a good series for recursion schemes; that's a good series for lens; etc"
2022-05-11 03:56:17 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2022-05-11 03:56:27 +0200andrey_(~andrey@p200300dbcf0a9400bb18378afbd4165e.dip0.t-ipconnect.de)
2022-05-11 03:56:43 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-05-11 03:59:25 +0200andrey__(~andrey@p508d55ad.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-05-11 04:01:46 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-11 04:06:45 +0200searemind(~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3) (Quit: nyaa~)
2022-05-11 04:07:28 +0200stackdroid18(14094@user/stackdroid) (Quit: hasta la vista... tchau!)
2022-05-11 04:07:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-05-11 04:09:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-05-11 04:09:53 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-05-11 04:09:53 +0200finn_elijaFinnElija
2022-05-11 04:09:54 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-05-11 04:10:13 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-05-11 04:10:13 +0200finn_elijaFinnElija
2022-05-11 04:16:35 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-11 04:19:20 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-11 04:26:22 +0200searemind(~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3)
2022-05-11 04:26:44 +0200searemind(~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3) (Client Quit)
2022-05-11 04:27:08 +0200AlexNoo_(~AlexNoo@178.34.163.35)
2022-05-11 04:28:52 +0200AlexZenon(~alzenon@178.34.162.228) (Ping timeout: 248 seconds)
2022-05-11 04:30:00 +0200Alex_test(~al_test@178.34.162.228) (Ping timeout: 250 seconds)
2022-05-11 04:30:28 +0200AlexNoo(~AlexNoo@178.34.162.228) (Ping timeout: 248 seconds)
2022-05-11 04:33:27 +0200searemind(~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3)
2022-05-11 04:33:34 +0200searemind(~searemind@2401:4900:4129:2b11:8d8e:c937:86ed:aff3) (Client Quit)
2022-05-11 04:34:38 +0200Alex_test(~al_test@178.34.163.35)
2022-05-11 04:35:00 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-05-11 04:35:16 +0200AlexZenon(~alzenon@178.34.163.35)
2022-05-11 04:38:10 +0200searemind(~searemind@122.161.48.152)
2022-05-11 04:38:13 +0200searemind(~searemind@122.161.48.152) (Client Quit)
2022-05-11 04:39:11 +0200kaph(~kaph@net-2-42-128-205.cust.vodafonedsl.it)
2022-05-11 04:39:28 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-11 04:40:05 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-05-11 04:40:36 +0200melas(~melas@172.77.31.247) (Quit: Leaving)
2022-05-11 04:48:41 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-05-11 04:49:51 +0200td_(~td@muedsl-82-207-238-066.citykom.de) (Ping timeout: 256 seconds)
2022-05-11 04:49:57 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-05-11 04:50:01 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-11 04:57:08 +0200LordOfLive(~textual@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-05-11 05:00:02 +0200haasn(~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2022-05-11 05:01:24 +0200haasn(~nand@haasn.dev)
2022-05-11 05:02:22 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 05:09:43 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-05-11 05:15:31 +0200smscripts @where db import, https://github.com/simonmichael/haskell-links/blob/main/links.csv
2022-05-11 05:20:10 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-05-11 05:31:12 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-05-11 05:35:00 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds)
2022-05-11 05:35:29 +0200LordOfLiveLordOfLiive
2022-05-11 05:35:39 +0200LordOfLiiveLordOfLive
2022-05-11 05:42:41 +0200jonggoloho(~ASas@vps-a637c981.vps.ovh.ca)
2022-05-11 05:55:44 +0200LordOfLive(~textual@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-05-11 05:57:21 +0200dcoutts__(~duncan@host86-153-135-80.range86-153.btcentralplus.com)
2022-05-11 05:58:32 +0200shailangsa(~shailangs@host86-186-127-233.range86-186.btcentralplus.com) (Ping timeout: 252 seconds)
2022-05-11 06:00:04 +0200dcoutts_(~duncan@host86-153-135-80.range86-153.btcentralplus.com) (Ping timeout: 248 seconds)
2022-05-11 06:01:24 +0200xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
2022-05-11 06:01:42 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-11 06:03:21 +0200xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp)
2022-05-11 06:10:58 +0200kenran(~kenran@200116b82b7b15006bab2a7f42c47c33.dip.versatel-1u1.de)
2022-05-11 06:14:13 +0200LordOfLive(~ME@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-05-11 06:26:35 +0200LordOfLivemoney
2022-05-11 06:26:36 +0200moneyGuest4155
2022-05-11 06:28:40 +0200Kaiepi(~Kaiepi@156.34.47.253) (Read error: Connection reset by peer)
2022-05-11 06:29:28 +0200Guest4155038AALONU
2022-05-11 06:31:32 +0200038AALONULordOfLive
2022-05-11 06:36:51 +0200coot(~coot@213.134.190.95)
2022-05-11 06:39:29 +0200shailangsa_(~shailangs@host86-186-127-233.range86-186.btcentralplus.com)
2022-05-11 06:41:12 +0200LordOfLive(~ME@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-05-11 06:49:17 +0200kenran(~kenran@200116b82b7b15006bab2a7f42c47c33.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-05-11 06:52:10 +0200Sgeo_(~Sgeo@user/sgeo)
2022-05-11 06:54:18 +0200mbuf(~Shakthi@122.162.131.93)
2022-05-11 06:54:36 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 240 seconds)
2022-05-11 06:58:42 +0200frost(~frost@user/frost)
2022-05-11 07:03:40 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-05-11 07:04:45 +0200Vajb(~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56)
2022-05-11 07:07:21 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-05-11 07:08:40 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-05-11 07:18:38 +0200gff(~gff@168.103.132.194) (Changing host)
2022-05-11 07:18:38 +0200gff(~gff@user/gff)
2022-05-11 07:22:39 +0200vicfred(~vicfred@user/vicfred)
2022-05-11 07:23:16 +0200dut_(~dut@user/dut) (Quit: Leaving)
2022-05-11 07:31:08 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-05-11 07:31:09 +0200king_gs(~Thunderbi@187.201.105.54)
2022-05-11 07:31:16 +0200biberu(~biberu@user/biberu)
2022-05-11 07:35:31 +0200zmt01(~zmt00@user/zmt00)
2022-05-11 07:39:00 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2022-05-11 07:47:14 +0200michalz(~michalz@185.246.204.126)
2022-05-11 07:48:21 +0200lagooned(~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 276 seconds)
2022-05-11 07:50:44 +0200stefan-_(~cri@42dots.de) (Ping timeout: 252 seconds)
2022-05-11 07:52:19 +0200searemind(~searemind@122.161.48.152)
2022-05-11 07:53:29 +0200searemind(~searemind@122.161.48.152) (Client Quit)
2022-05-11 07:54:42 +0200stefan-_(~cri@42dots.de)
2022-05-11 07:54:43 +0200jonggoloho(~ASas@vps-a637c981.vps.ovh.ca) (Remote host closed the connection)
2022-05-11 07:56:00 +0200jonggoloho(~jonggoloh@36.72.100.223)
2022-05-11 07:56:21 +0200jonggoloho(~jonggoloh@36.72.100.223) (Remote host closed the connection)
2022-05-11 07:56:40 +0200jonggoloho(~jonggoloh@36.72.101.107)
2022-05-11 07:57:41 +0200jonggoloho(~jonggoloh@36.72.101.107) (Remote host closed the connection)
2022-05-11 07:58:37 +0200jonggoloho(~jonggoloh@36.72.101.107)
2022-05-11 07:58:38 +0200king_gs(~Thunderbi@187.201.105.54) (Read error: Connection reset by peer)
2022-05-11 07:59:23 +0200jonggoloho(~jonggoloh@36.72.101.107) (Remote host closed the connection)
2022-05-11 08:01:00 +0200king_gs(~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634)
2022-05-11 08:01:02 +0200raym(~raym@user/raym) (Ping timeout: 250 seconds)
2022-05-11 08:02:40 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-05-11 08:06:04 +0200thelounge4185(~2732b090@39.50.176.144)
2022-05-11 08:08:04 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-05-11 08:10:28 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-05-11 08:10:40 +0200bahamas(~lucian@84.232.141.55)
2022-05-11 08:11:15 +0200lagooned(~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net)
2022-05-11 08:21:32 +0200jmd_(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-05-11 08:29:51 +0200searemind(~searemind@122.161.48.152)
2022-05-11 08:30:07 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-11 08:30:14 +0200searemind(~searemind@122.161.48.152) (Remote host closed the connection)
2022-05-11 08:31:21 +0200mikoto-chan(~mikoto-ch@84.199.144.234)
2022-05-11 08:32:27 +0200simeon(~pi@dslb-088-076-113-053.088.076.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-05-11 08:33:12 +0200dextaa49(~dextaa@user/dextaa)
2022-05-11 08:33:19 +0200searemind(~searemind@122.161.48.152)
2022-05-11 08:33:51 +0200bahamas(~lucian@84.232.141.55) (Ping timeout: 276 seconds)
2022-05-11 08:34:09 +0200searemind(~searemind@122.161.48.152) (Client Quit)
2022-05-11 08:34:26 +0200simeon(~pi@dslb-088-076-113-044.088.076.pools.vodafone-ip.de)
2022-05-11 08:34:54 +0200thelounge4185(~2732b090@39.50.176.144) (Quit: The Lounge - https://thelounge.chat)
2022-05-11 08:35:44 +0200acidjnk_new(~acidjnk@p200300d0c7068b59fd670879892edcc4.dip0.t-ipconnect.de)
2022-05-11 08:37:34 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 08:38:33 +0200arjun(~arjun@user/arjun)
2022-05-11 08:40:25 +0200bahamas(~lucian@84.232.141.55)
2022-05-11 08:42:56 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-11 08:45:33 +0200bahamas(~lucian@84.232.141.55) (Ping timeout: 276 seconds)
2022-05-11 08:46:29 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving)
2022-05-11 08:54:55 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-11 08:56:44 +0200bahamas(~lucian@84.232.141.55)
2022-05-11 09:00:52 +0200bahamas(~lucian@84.232.141.55) (Ping timeout: 246 seconds)
2022-05-11 09:03:50 +0200cfricke(~cfricke@user/cfricke)
2022-05-11 09:10:41 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-05-11 09:13:09 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-11 09:15:00 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2022-05-11 09:15:39 +0200alp_(~alp@user/alp)
2022-05-11 09:16:49 +0200zeenk(~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d)
2022-05-11 09:18:58 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-05-11 09:19:11 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-05-11 09:26:10 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-05-11 09:26:55 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:c062:9ce0:f472:fe68)
2022-05-11 09:28:39 +0200chele(~chele@user/chele)
2022-05-11 09:34:59 +0200erisco(~erisco@d24-57-249-233.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2022-05-11 09:35:47 +0200erisco(~erisco@d24-57-249-233.home.cgocable.net)
2022-05-11 09:36:06 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-11 09:38:30 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-05-11 09:41:18 +0200raym(~raym@user/raym)
2022-05-11 09:45:21 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-11 09:48:47 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-11 09:53:47 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:64b4:113a:8a62:5026)
2022-05-11 10:05:32 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2022-05-11 10:06:04 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2022-05-11 10:06:59 +0200raym(~raym@user/raym) (Quit: kernel update, rebooting...)
2022-05-11 10:08:53 +0200shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-05-11 10:09:40 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2022-05-11 10:10:15 +0200raym(~raym@user/raym)
2022-05-11 10:18:04 +0200bahamas(~lucian@86.120.77.115)
2022-05-11 10:18:26 +0200odnes(~odnes@5-203-241-182.pat.nym.cosmote.net)
2022-05-11 10:20:13 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-05-11 10:25:29 +0200simeon(~pi@dslb-088-076-113-044.088.076.pools.vodafone-ip.de) (Quit: leaving)
2022-05-11 10:27:10 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-11 10:30:01 +0200ccntrq(~Thunderbi@2a01:c22:8970:3800:9a3a:7b10:8d3e:d898)
2022-05-11 10:36:34 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2022-05-11 10:36:43 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 10:38:56 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs)
2022-05-11 10:39:46 +0200jinsun__(~jinsun@user/jinsun) ()
2022-05-11 10:40:07 +0200jinsun(~jinsun@user/jinsun)
2022-05-11 10:41:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-05-11 10:44:10 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 240 seconds)
2022-05-11 10:44:29 +0200ccntrq1(~Thunderbi@2a01:c22:888f:db00:4a4f:13b8:3156:bbbf)
2022-05-11 10:44:51 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-11 10:45:56 +0200ccntrq(~Thunderbi@2a01:c22:8970:3800:9a3a:7b10:8d3e:d898) (Ping timeout: 248 seconds)
2022-05-11 10:47:39 +0200ccntrq(~Thunderbi@2a01:c22:90ad:600:956d:b88c:2ed8:a6d7)
2022-05-11 10:47:50 +0200king_gs(~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634) (Ping timeout: 260 seconds)
2022-05-11 10:48:57 +0200ccntrq1(~Thunderbi@2a01:c22:888f:db00:4a4f:13b8:3156:bbbf) (Ping timeout: 248 seconds)
2022-05-11 10:50:44 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 10:53:00 +0200 <kuribas> Are higher kinded records the solution to the problem with records that clojurists complain about?
2022-05-11 10:53:30 +0200 <kuribas> For example: partial fields, I just use (MyRecord Maybe).
2022-05-11 10:54:15 +0200 <kuribas> You can also easily put business logic data in the record, then extract it later (for example configuration file parsing).
2022-05-11 10:55:25 +0200 <jackdk> They help a lot
2022-05-11 10:56:16 +0200 <kuribas> They also give a nice mix of type safety and flexibility.
2022-05-11 10:56:23 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 10:56:33 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs)
2022-05-11 10:58:31 +0200 <lortabac> higher-order kinds are great, but unfortunately a little clumsy to work with
2022-05-11 10:58:50 +0200 <lortabac> we need a language with better support for this kind of programming
2022-05-11 11:01:02 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-05-11 11:01:42 +0200 <kuribas> lortabac: idris?
2022-05-11 11:02:06 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2022-05-11 11:02:37 +0200 <lortabac> I don't know, I'm not familiar enough with Idris
2022-05-11 11:02:52 +0200 <bahamas> kuribas: purescript has a better record story as well
2022-05-11 11:03:31 +0200 <kuribas> yeah, but they aren't higher kinded, right?
2022-05-11 11:03:43 +0200odnes(~odnes@5-203-241-182.pat.nym.cosmote.net) (Ping timeout: 246 seconds)
2022-05-11 11:05:04 +0200 <kuribas> I like to think of the type of field as the "specification", and the type function as the "specialisation".
2022-05-11 11:05:29 +0200 <kuribas> The field doesn't even need to have kind "Type", it can be any kind.
2022-05-11 11:06:19 +0200 <kuribas> for example a DataKind.
2022-05-11 11:07:32 +0200 <bahamas> kuribas: does higher kinded mean that the type constructor can take a variable?
2022-05-11 11:07:53 +0200 <kuribas> bahamas: it means the type constructor takes type function.
2022-05-11 11:07:57 +0200bliminse(~bliminse@host86-164-128-238.range86-164.btcentralplus.com) (Quit: leaving)
2022-05-11 11:08:13 +0200 <bahamas> kuribas: maybe this answers your question https://github.com/purescript/documentation/blob/master/language/Differences-from-Haskell.md
2022-05-11 11:08:24 +0200 <kuribas> MyRecord f = MyRecord {foo :: f Int, bar :: f String}
2022-05-11 11:08:39 +0200 <bahamas> aha, I see
2022-05-11 11:08:55 +0200 <bahamas> I guess f has kind `Type -> Type`, right?
2022-05-11 11:09:06 +0200 <kuribas> the kind of MyRecord is (Type -> Type) -> Type
2022-05-11 11:09:44 +0200 <kuribas> yes
2022-05-11 11:09:46 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-05-11 11:11:03 +0200 <kuribas> but you can do "data FieldInfo = Field1 | Field2" data MyRecord f = MyRecord {foo :: f 'Field1, bar :: f 'Field2}
2022-05-11 11:11:28 +0200 <kuribas> then MyRecord :: ('FieldInfo -> Type) -> Type
2022-05-11 11:11:57 +0200 <bahamas> btw, I want to write some Haskell articles and I want to use more meaningful examples, ideally from real code. is "base" a good way to look for these examples? if not, any other library?
2022-05-11 11:12:16 +0200odnes(~odnes@5-203-241-182.pat.nym.cosmote.net)
2022-05-11 11:12:31 +0200 <kuribas> bahamas: who is the audience?
2022-05-11 11:13:17 +0200 <kuribas> for non functional programmers, you could show ADT give much less ceremony than OO.
2022-05-11 11:13:28 +0200 <kuribas> How easy it is to define sum types.
2022-05-11 11:13:42 +0200 <bahamas> kuribas: yeah, programmers who want to learn Haskell
2022-05-11 11:14:34 +0200 <bahamas> kuribas: I'm looking for examples that show (for example), how to define a function with pattern matching, or with guards. or one where you use `let ... in ...` for the body
2022-05-11 11:15:01 +0200 <bahamas> or where you use ` ... where ...`, etc. so the fundamental things. at least for starters
2022-05-11 11:15:01 +0200 <kuribas> "where" is more common than let.
2022-05-11 11:15:31 +0200 <kuribas> "where" is for things which are scoped over all clauses, "let" is for local thing.
2022-05-11 11:15:52 +0200 <bahamas> kuribas: may be, but since `let ... in ...` is used as well, I want to cover it as well
2022-05-11 11:16:13 +0200 <bahamas> it may also be a question of habit, but sometimes I tended to use `let ... in ...`
2022-05-11 11:16:39 +0200 <bahamas> I think the difference is that with `let ... in ...` you want to show to the reader the implementation first
2022-05-11 11:16:48 +0200 <kuribas> When both work I use "where", otherwise "let".
2022-05-11 11:17:10 +0200 <bahamas> with `... where ...`, you want to show you got to the result. if they care about the implementation, they scroll down
2022-05-11 11:17:39 +0200 <kuribas> I'd say "where" is more idiomatic.
2022-05-11 11:17:41 +0200 <merijn> It's easy: If you're not forced to use let, use where
2022-05-11 11:17:43 +0200 <merijn> If you'
2022-05-11 11:17:56 +0200 <merijn> If you're forced to use let, well, then you got no choice :p
2022-05-11 11:19:49 +0200Guest3749(~Guest37@86.121.90.182)
2022-05-11 11:19:58 +0200 <kuribas> "let" is more lispy.
2022-05-11 11:19:59 +0200Guest3749(~Guest37@86.121.90.182) (Client Quit)
2022-05-11 11:20:39 +0200 <kuribas> I think top-down is more the haskell way. You start with some code, write holes where you don't know the implementation.
2022-05-11 11:20:49 +0200 <kuribas> Gradually fill in the holes.
2022-05-11 11:22:12 +0200 <bahamas> so, can you think of any modules on hackage that have more simple examples of Haskell constructs? if not, I'll have to go digging myself
2022-05-11 11:23:23 +0200king_gs(~Thunderbi@187.201.105.54)
2022-05-11 11:25:42 +0200 <kuribas> bahamas: something I always miss in other languages is pattern matching.
2022-05-11 11:26:09 +0200 <kuribas> You can also show type directed programming, where the compiler helps you fill in holes.
2022-05-11 11:27:27 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-11 11:28:50 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-05-11 11:32:46 +0200 <kuribas> So types are not just constraining you, but also guiding the process.
2022-05-11 11:32:47 +0200tomsmedinglikes to use 'let' for smaller definitions _because_ it's more clearly scoped
2022-05-11 11:33:41 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 11:33:55 +0200 <tomsmeding> local functions go in 'where', though
2022-05-11 11:34:12 +0200 <tomsmeding> (but subjective)
2022-05-11 11:34:49 +0200 <merijn> tomsmeding: Just nest your where's for smaller scoping
2022-05-11 11:37:07 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-05-11 11:37:56 +0200bliminse(~bliminse@host86-164-128-238.range86-164.btcentralplus.com)
2022-05-11 11:38:16 +0200 <maerwald[m]> For some reason, 90% of my use of `let` is in do-notation
2022-05-11 11:38:28 +0200 <maerwald[m]> I find it a bit messy to let..in in function bodies
2022-05-11 11:38:59 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 256 seconds)
2022-05-11 11:41:07 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-05-11 11:43:56 +0200Benzi-Junior(~BenziJuni@88-149-64-179.du.xdsl.is)
2022-05-11 11:45:26 +0200 <bahamas> maerwald[m]: messy in what way?
2022-05-11 11:45:42 +0200 <maerwald[m]> bahamas: in a subjective way
2022-05-11 11:46:00 +0200ccntrq1(~Thunderbi@2a01:c22:91a3:f800:f60a:3bdc:73fc:bc3c)
2022-05-11 11:46:17 +0200 <kuribas> tomsmeding: I put them often in let in do.
2022-05-11 11:46:35 +0200 <kuribas> when they depend on a result of an IO action.
2022-05-11 11:46:47 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2022-05-11 11:46:53 +0200 <maerwald[m]> flying let's
2022-05-11 11:46:58 +0200arjun(~arjun@user/arjun) (Quit: Leaving)
2022-05-11 11:47:05 +0200ccntrq(~Thunderbi@2a01:c22:90ad:600:956d:b88c:2ed8:a6d7) (Ping timeout: 248 seconds)
2022-05-11 11:48:37 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2022-05-11 11:52:01 +0200bahamas(~lucian@86.120.77.115) (Ping timeout: 246 seconds)
2022-05-11 11:56:47 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-05-11 11:58:52 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2022-05-11 11:59:17 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-11 12:01:24 +0200mikoto-chan(~mikoto-ch@84.199.144.234) (Ping timeout: 240 seconds)
2022-05-11 12:02:13 +0200king_gs(~Thunderbi@187.201.105.54) (Read error: Connection reset by peer)
2022-05-11 12:05:43 +0200king_gs(~Thunderbi@187.201.105.54)
2022-05-11 12:06:10 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 12:07:36 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-05-11 12:12:50 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
2022-05-11 12:14:17 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 12:16:13 +0200ccntrq1(~Thunderbi@dynamic-077-010-049-099.77.10.pool.telefonica.de)
2022-05-11 12:16:36 +0200ccntrq(~Thunderbi@2a01:c22:91a3:f800:f60a:3bdc:73fc:bc3c) (Ping timeout: 240 seconds)
2022-05-11 12:16:37 +0200ccntrq1ccntrq
2022-05-11 12:19:20 +0200akegalj(~akegalj@141-136-146-186.dsl.iskon.hr)
2022-05-11 12:19:48 +0200ccntrq1(~Thunderbi@dynamic-077-003-219-000.77.3.pool.telefonica.de)
2022-05-11 12:20:43 +0200ccntrq(~Thunderbi@dynamic-077-010-049-099.77.10.pool.telefonica.de) (Ping timeout: 246 seconds)
2022-05-11 12:20:43 +0200ccntrq1ccntrq
2022-05-11 12:25:08 +0200king_gs1(~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634)
2022-05-11 12:25:08 +0200king_gs(~Thunderbi@187.201.105.54) (Read error: Connection reset by peer)
2022-05-11 12:25:09 +0200king_gs1king_gs
2022-05-11 12:25:13 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-05-11 12:29:02 +0200xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2022-05-11 12:33:47 +0200 <Taneb> Is there any library that lets me generate a Haskell data-type from an SQL file describing a table? I'm aware that there's several that do the other way around
2022-05-11 12:35:57 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-11 12:36:54 +0200coot(~coot@213.134.190.95)
2022-05-11 12:38:39 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 12:40:02 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-05-11 12:43:23 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-05-11 12:43:49 +0200ccntrq(~Thunderbi@dynamic-077-003-219-000.77.3.pool.telefonica.de) (Ping timeout: 246 seconds)
2022-05-11 12:43:54 +0200ccntrq1(~Thunderbi@dynamic-077-008-064-188.77.8.pool.telefonica.de)
2022-05-11 12:44:35 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs)
2022-05-11 12:45:48 +0200akegalj(~akegalj@141-136-146-186.dsl.iskon.hr) (Ping timeout: 240 seconds)
2022-05-11 12:46:12 +0200ccntrq1ccntrq
2022-05-11 12:48:28 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-05-11 12:51:46 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-05-11 12:52:41 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2022-05-11 12:54:28 +0200Lord_of_Life_Lord_of_Life
2022-05-11 12:54:34 +0200 <tomsmeding> kuribas: same
2022-05-11 12:57:35 +0200 <dragestil> what library would be suitable to use for downloading thousands of text files (for parsing)?
2022-05-11 12:59:38 +0200 <dragestil> for example what does cabal use to download packages?
2022-05-11 13:00:25 +0200 <dragestil> just use System.Process with wget?
2022-05-11 13:00:36 +0200 <dminuoso> No, thats not the best thing to do.
2022-05-11 13:00:53 +0200 <maerwald[m]> dragestil: yes
2022-05-11 13:00:54 +0200 <dminuoso> I think cabal-install uses the HTTP package
2022-05-11 13:01:01 +0200 <maerwald[m]> No it doesn't
2022-05-11 13:01:06 +0200 <dminuoso> Ah, it really does use wget?
2022-05-11 13:01:20 +0200 <maerwald[m]> curl, it falls back to wget
2022-05-11 13:01:23 +0200mmhat(~mmh@2001:4090:a243:802a:ee08:6bff:fe09:5315)
2022-05-11 13:01:34 +0200 <maerwald[m]> That is the most portable strategy
2022-05-11 13:02:05 +0200 <dragestil> portable as in curl / wget is widely available?
2022-05-11 13:03:26 +0200 <tdammers> Yes. It also has the advantage that you can benefit from security patches to those external tools without having to ship a new version of your own code.
2022-05-11 13:03:27 +0200 <maerwald[m]> Yes and it deals better with esoteric proxy configuration
2022-05-11 13:04:13 +0200 <dragestil> ok. strangely i can't find invocation of curl in the Cabal codebase obtained from `cabal unpack Cabal`
2022-05-11 13:05:12 +0200 <maerwald[m]> It is not trivial to achieve the same level of portability across configurations, even with http-client-openssl
2022-05-11 13:05:27 +0200 <maerwald[m]> dragestil: check cabal-install
2022-05-11 13:05:47 +0200 <dragestil> maerwald[m]: ok, i thought cabal-install was just a wrapper
2022-05-11 13:05:57 +0200 <maerwald[m]> If portability is not a concern, I'd probably use http-client-openssl
2022-05-11 13:06:25 +0200 <maerwald[m]> Because error handling is easier/more idiomatic
2022-05-11 13:06:46 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-05-11 13:07:22 +0200 <dragestil> I find it odd that there don't seem to be widely used libraries for fetching from ftp
2022-05-11 13:08:35 +0200mjacob(~mjacob@adrastea.uberspace.de) (Read error: Connection reset by peer)
2022-05-11 13:09:36 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 13:09:44 +0200 <maerwald[m]> Maybe because ftp is a mess and S3 object storage is more widespread these days
2022-05-11 13:10:57 +0200 <dragestil> maybe.
2022-05-11 13:11:22 +0200 <dragestil> has anyone tried the newly released hls yet? I wonder whether the performance gain is signficant
2022-05-11 13:12:21 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 13:12:39 +0200 <dragestil> currently i can only run hls on a server because my laptop cannot handle it
2022-05-11 13:13:04 +0200notzmv(~zmv@user/notzmv)
2022-05-11 13:14:10 +0200ubert1(~Thunderbi@p200300ecdf158806117918b760ecf219.dip0.t-ipconnect.de)
2022-05-11 13:14:31 +0200mjacob(~mjacob@adrastea.uberspace.de)
2022-05-11 13:14:40 +0200 <dragestil> hls is the only language server that brings my laptop to its knees though
2022-05-11 13:15:02 +0200 <Bulby[m]> haha it does use a lot of memory
2022-05-11 13:15:21 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-11 13:16:23 +0200 <dragestil> yeah. i wrote some elisp code to use hiedb for goto definition / find references, but .hie files have limitations e.g. does not support template haskell
2022-05-11 13:16:44 +0200 <Bulby[m]> yeah 🙁
2022-05-11 13:17:04 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-05-11 13:19:48 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-11 13:22:07 +0200mattil(~mattil@helsinki.portalify.com)
2022-05-11 13:25:33 +0200frost(~frost@user/frost)
2022-05-11 13:25:46 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 13:28:31 +0200 <dragestil> maerwald[m]: you were right about the wget / curl in cabal-install code. the reason i thought there's nothing in cabal-install is because I can't find its code in hackage
2022-05-11 13:29:26 +0200 <dragestil> *browse its code on hackage
2022-05-11 13:32:47 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.5)
2022-05-11 13:39:59 +0200mc47(~mc47@xmonad/TheMC47)
2022-05-11 13:40:17 +0200 <maerwald> dragestil: https://hackage.haskell.org/package/cabal-install
2022-05-11 13:41:35 +0200 <dragestil> maerwald: right, but it's empty there - you don't get a tree of modules to browse
2022-05-11 13:41:48 +0200 <maerwald> yeah, they're not exposed, so `cabal unpack cabal-install`
2022-05-11 13:42:17 +0200ztefan(~stefan@78.31.98.27)
2022-05-11 13:43:34 +0200 <ztefan> hi there! I'm trying to build xmond in slackware from slackbuild. I satisfied the dependencies but have strange trouble with linker as I think. Any ideas? http://termbin.com/m2rxy
2022-05-11 13:43:38 +0200 <ztefan> xmonad*
2022-05-11 13:44:47 +0200king_gs(~Thunderbi@2806:103e:29:da71:ba86:4e28:3521:b634) (Remote host closed the connection)
2022-05-11 13:46:06 +0200king_gs(~Thunderbi@187.201.105.54)
2022-05-11 13:50:15 +0200ccntrq1(~Thunderbi@2a01:c22:8dca:f800:d8ef:2fca:d893:8682)
2022-05-11 13:53:28 +0200 <geekosaur> that's not the linker, it's the compiler. usually means the package in question (mtl) was built with the wrong version of ghc
2022-05-11 13:53:39 +0200ccntrq(~Thunderbi@dynamic-077-008-064-188.77.8.pool.telefonica.de) (Ping timeout: 276 seconds)
2022-05-11 13:53:39 +0200ccntrq1ccntrq
2022-05-11 13:53:40 +0200 <maerwald> ztefan: what is your cabal version
2022-05-11 13:56:31 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-11 13:57:20 +0200 <ztefan> maerwald, i don't even have one. As I see, slackbuild script for xmonad doesn't use it, it builds with runghc.
2022-05-11 13:57:48 +0200 <ztefan> https://slackbuilds.org/slackbuilds/15.0/desktop/xmonad/xmonad.SlackBuild
2022-05-11 14:00:10 +0200 <ztefan> geekosaur, i compiled all packages with the same ghc
2022-05-11 14:00:47 +0200 <maerwald> looks like badly packaged stuff to me then
2022-05-11 14:00:54 +0200 <geekosaur> same
2022-05-11 14:03:54 +0200 <ztefan> you mean mtl or xmonad badly packaged?
2022-05-11 14:04:18 +0200 <ztefan> recompiled mtl,it compiles successfully. Reinstalled. Problem still persists
2022-05-11 14:04:34 +0200 <ztefan> Will try to compile xmonad manually with no slackbuild
2022-05-11 14:05:47 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds)
2022-05-11 14:10:00 +0200dvdrw(~dvdrw@user/dvdrw)
2022-05-11 14:10:03 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-11 14:11:21 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-11 14:13:13 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 260 seconds)
2022-05-11 14:14:15 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-05-11 14:16:47 +0200dvdrw(~dvdrw@user/dvdrw) (Quit: leaving)
2022-05-11 14:20:48 +0200king_gs(~Thunderbi@187.201.105.54) (Quit: king_gs)
2022-05-11 14:22:28 +0200 <geekosaur> this is a problem with mtl. any chance you have another copy of mtl somewhere that might be interfering?
2022-05-11 14:22:32 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-11 14:22:35 +0200 <geekosaur> try "ghc-pkg list"
2022-05-11 14:22:56 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2022-05-11 14:23:24 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 14:24:08 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 14:28:04 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-11 14:28:26 +0200LambdaDuck(~anka@ksit.fixme.fi) (Ping timeout: 250 seconds)
2022-05-11 14:28:49 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-05-11 14:29:07 +0200LambdaDuck(~anka@ksit.fixme.fi)
2022-05-11 14:30:11 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 14:31:27 +0200ccntrq(~Thunderbi@2a01:c22:8dca:f800:d8ef:2fca:d893:8682) (Ping timeout: 240 seconds)
2022-05-11 14:32:15 +0200ccntrq(~Thunderbi@2a01:c23:9536:3e00:d1bd:2381:12ec:51b0)
2022-05-11 14:37:51 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-05-11 14:38:50 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-05-11 14:40:14 +0200coot(~coot@213.134.190.95)
2022-05-11 14:40:15 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 14:40:51 +0200kaph(~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-05-11 14:43:51 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 14:44:19 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-05-11 14:45:01 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 14:49:57 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-05-11 14:50:47 +0200ccntrq1(~Thunderbi@2a01:c22:9116:5d00:6813:9828:c0a3:c1d7)
2022-05-11 14:50:56 +0200ccntrq(~Thunderbi@2a01:c23:9536:3e00:d1bd:2381:12ec:51b0) (Ping timeout: 252 seconds)
2022-05-11 14:50:56 +0200ccntrq1ccntrq
2022-05-11 14:52:20 +0200acidjnk_new(~acidjnk@p200300d0c7068b59fd670879892edcc4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-05-11 14:57:16 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs)
2022-05-11 14:57:34 +0200kaskallala
2022-05-11 14:57:48 +0200lalakaskal
2022-05-11 15:00:06 +0200mattil(~mattil@helsinki.portalify.com) (Remote host closed the connection)
2022-05-11 15:05:01 +0200AlexNoo_AlexNoo
2022-05-11 15:05:06 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-05-11 15:09:45 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 248 seconds)
2022-05-11 15:21:25 +0200moonsheep(~user@user/moonsheep)
2022-05-11 15:21:47 +0200ccntrq1(~Thunderbi@2a01:c22:90f8:c200:9460:c46d:b547:8490)
2022-05-11 15:23:05 +0200ccntrq(~Thunderbi@2a01:c22:9116:5d00:6813:9828:c0a3:c1d7) (Ping timeout: 248 seconds)
2022-05-11 15:23:05 +0200ccntrq1ccntrq
2022-05-11 15:28:04 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-05-11 15:28:33 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-05-11 15:29:42 +0200ztefan(~stefan@78.31.98.27) (Remote host closed the connection)
2022-05-11 15:30:23 +0200ztefan(~stefan@78.31.98.27)
2022-05-11 15:31:57 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-05-11 15:32:44 +0200 <k`> I'm getting conflicting typedefs of `Time` as `int64_t` in include/rts/Time.h and `unsigned long` in `X11/X.h`. I'm trying to use the CApiFFI. Where should I #undef the conflicting one?
2022-05-11 15:33:59 +0200 <k`> Do I need to create a separate c header file for my project and do all of that there?
2022-05-11 15:34:59 +0200shriekingnoise(~shrieking@201.231.16.156)
2022-05-11 15:35:23 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 15:35:26 +0200 <geekosaur> I would #undef just before #include-ing X11/X.h (or whichever header is pulling it in)
2022-05-11 15:36:35 +0200 <int-e> it's a typedef
2022-05-11 15:36:53 +0200 <int-e> so you're kind of screwed here
2022-05-11 15:37:02 +0200 <geekosaur> oh, that won't work, yes
2022-05-11 15:37:11 +0200moonsheep(~user@user/moonsheep) (ERC (IRC client for Emacs 27.2))
2022-05-11 15:37:17 +0200 <k`> Oh, right. FML.
2022-05-11 15:37:57 +0200 <int-e> #pragma once means you can't even cheat by predefining the include guard... :-/
2022-05-11 15:40:15 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-05-11 15:40:32 +0200kaph(~kaph@net-2-42-128-205.cust.vodafonedsl.it)
2022-05-11 15:44:03 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-11 15:47:50 +0200odnes(~odnes@5-203-241-182.pat.nym.cosmote.net) (Ping timeout: 240 seconds)
2022-05-11 15:48:07 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-05-11 15:48:49 +0200cfricke(~cfricke@user/cfricke)
2022-05-11 15:51:13 +0200ccntrq(~Thunderbi@2a01:c22:90f8:c200:9460:c46d:b547:8490) (Ping timeout: 260 seconds)
2022-05-11 15:51:16 +0200ztefan(~stefan@78.31.98.27) (Read error: Connection reset by peer)
2022-05-11 15:53:01 +0200ccntrq(~Thunderbi@2a01:c22:84d6:b600:8aaa:9616:4aea:d318)
2022-05-11 15:53:46 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs)
2022-05-11 15:57:48 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 240 seconds)
2022-05-11 15:59:05 +0200 <int-e> k`: Oh there's this terrible idea: #define Time XTime #include <X11/X.h> #undef Time
2022-05-11 16:00:17 +0200 <int-e> (Hacking the X11 include because I expect that you can't intercept the Rts include because that'll be in generated code)
2022-05-11 16:00:24 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 276 seconds)
2022-05-11 16:00:37 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen)
2022-05-11 16:03:36 +0200raym(~raym@user/raym) (Quit: leaving)
2022-05-11 16:06:20 +0200Sgeo(~Sgeo@user/sgeo)
2022-05-11 16:08:49 +0200bahamas(~lucian@86.120.77.115)
2022-05-11 16:09:40 +0200Pickchea(~private@user/pickchea)
2022-05-11 16:11:22 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds)
2022-05-11 16:14:33 +0200thyriaen(~thyriaen@46.183.103.17)
2022-05-11 16:14:34 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-05-11 16:17:21 +0200dsrt^(~dsrt@50-73-82-13-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-05-11 16:18:46 +0200raym(~raym@user/raym)
2022-05-11 16:20:02 +0200thyriaen(~thyriaen@46.183.103.17) (Quit: Leaving)
2022-05-11 16:22:41 +0200ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de)
2022-05-11 16:24:15 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-05-11 16:26:22 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-05-11 16:26:37 +0200dextaa49(~dextaa@user/dextaa) (Remote host closed the connection)
2022-05-11 16:29:27 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs)
2022-05-11 16:31:01 +0200 <ManofLetters[m]> How to make GHC deduce `Enum (Foo b)`, where `b :: Bool`, from instances for both `True` and `False` provided by the programmer? Or could I define the instance manually by somehow dispatching on `True` vs `False` (but not separately in each method of the class)? An example that GHC does not automatically do this: https://paste.tomsmeding.com/XijZr37z
2022-05-11 16:31:48 +0200ccntrq(~Thunderbi@2a01:c22:84d6:b600:8aaa:9616:4aea:d318) (Ping timeout: 240 seconds)
2022-05-11 16:32:02 +0200ccntrq(~Thunderbi@2a01:c22:85fa:dd00:7faa:4d3f:b0f9:da3)
2022-05-11 16:32:05 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-05-11 16:33:01 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-11 16:34:04 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-11 16:34:31 +0200 <k`> Are you saying that you want `Foo` to only be `Enum` when it's applied to `Bool`?
2022-05-11 16:35:16 +0200 <k`> Oh, Bool kind.
2022-05-11 16:35:30 +0200 <ManofLetters[m]> right
2022-05-11 16:36:38 +0200 <ManofLetters[m]> silly computer should know that `Enum (Foo b)` holds when both `Enum (Foo True)` and `Enum (Foo False)` holds
2022-05-11 16:38:01 +0200 <int-e> ManofLetters[m]: Types are erased though... you need something (like a class constraint on b) that remains that allows the code (at runtime) to know which of the two instances it should be using.
2022-05-11 16:38:25 +0200 <k`> That's obnoxious.
2022-05-11 16:39:29 +0200 <int-e> I find it easier to digest than explanations that the type system's current rules can't do that... it's hard to make those arguments exhaustive (but easy to make the exhausting :P)
2022-05-11 16:40:26 +0200 <int-e> the exhausting -> them exhausting
2022-05-11 16:41:51 +0200 <ManofLetters[m]> oh, I see; when I add `Enum (Foo b)` constraint to the signature of the function it works fine (the constraint probably is the slot that carries the chosen dictionary to be applied), but the problem is, in the real code, I can't add such a constraint (I'd need an extra variable for that that'd pollute the outer type and `forall` can't be used either)
2022-05-11 16:43:09 +0200Vajb(~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer)
2022-05-11 16:44:18 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-05-11 16:45:08 +0200 <ManofLetters[m]> (and then I need to call the function with `f (T 1 :: T True)` so that it's know which dictionary is chosen)
2022-05-11 16:52:50 +0200ec(~ec@gateway/tor-sasl/ec)
2022-05-11 16:54:19 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-05-11 16:57:47 +0200akegalj(~akegalj@141-136-146-186.dsl.iskon.hr)
2022-05-11 16:57:50 +0200bahamas(~lucian@86.120.77.115) (Ping timeout: 240 seconds)
2022-05-11 17:00:17 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-05-11 17:00:19 +0200alp_(~alp@user/alp) (Ping timeout: 240 seconds)
2022-05-11 17:01:42 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Client Quit)
2022-05-11 17:01:43 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:c062:9ce0:f472:fe68) (Quit: WeeChat 2.8)
2022-05-11 17:04:14 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-05-11 17:06:06 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 17:18:35 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-05-11 17:19:26 +0200Kaiepi(~Kaiepi@156.34.47.253) (Remote host closed the connection)
2022-05-11 17:20:07 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-11 17:21:30 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-11 17:24:09 +0200jinsun(~jinsun@user/jinsun)
2022-05-11 17:27:40 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-11 17:28:00 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2022-05-11 17:30:25 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-11 17:32:15 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-11 17:32:28 +0200jinsun__(~jinsun@user/jinsun)
2022-05-11 17:34:36 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 240 seconds)
2022-05-11 17:35:36 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.5)
2022-05-11 17:37:49 +0200xkuru(~xkuru@user/xkuru)
2022-05-11 17:42:08 +0200califax(~califax@user/califx)
2022-05-11 17:46:11 +0200stackdroid18(14094@user/stackdroid)
2022-05-11 17:50:59 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 17:51:40 +0200jinsun__(~jinsun@user/jinsun) ()
2022-05-11 17:51:53 +0200xaotuk(~sasha@net137-32-245-109.mbb.telenor.rs) (Ping timeout: 252 seconds)
2022-05-11 17:52:01 +0200jinsun(~jinsun@user/jinsun)
2022-05-11 17:56:38 +0200Batzy(~quassel@user/batzy)
2022-05-11 18:00:06 +0200euphrates[m](~euphrates@2001:470:69fc:105::fbb5) (Quit: You have been kicked for being idle)
2022-05-11 18:04:03 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-11 18:04:43 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-11 18:05:59 +0200ccntrq(~Thunderbi@2a01:c22:85fa:dd00:7faa:4d3f:b0f9:da3) (Ping timeout: 240 seconds)
2022-05-11 18:10:44 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 248 seconds)
2022-05-11 18:12:05 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-11 18:12:56 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 18:13:46 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 18:15:13 +0200ccntrq(~Thunderbi@2a01:c23:8934:3d00:3d25:a9ed:1d1b:3258)
2022-05-11 18:15:24 +0200coot(~coot@213.134.190.95)
2022-05-11 18:18:25 +0200Pickchea(~private@user/pickchea) (Ping timeout: 246 seconds)
2022-05-11 18:18:58 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2022-05-11 18:24:21 +0200zeenk(~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!)
2022-05-11 18:24:42 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-05-11 18:25:08 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 18:25:59 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 18:29:38 +0200akegalj(~akegalj@141-136-146-186.dsl.iskon.hr) (Quit: leaving)
2022-05-11 18:30:17 +0200ccntrq(~Thunderbi@2a01:c23:8934:3d00:3d25:a9ed:1d1b:3258) (Ping timeout: 248 seconds)
2022-05-11 18:30:29 +0200ccntrq1(~Thunderbi@2a01:c23:9007:9800:5031:ed4a:a927:7fd0)
2022-05-11 18:32:02 +0200econo(uid147250@user/econo)
2022-05-11 18:33:35 +0200ccntrq(~Thunderbi@2a02:3100:7105:7400:cfe4:96b:755:10bc)
2022-05-11 18:34:39 +0200ccntrq1(~Thunderbi@2a01:c23:9007:9800:5031:ed4a:a927:7fd0) (Ping timeout: 240 seconds)
2022-05-11 18:38:42 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 18:38:57 +0200alp_(~alp@user/alp)
2022-05-11 18:39:33 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-05-11 18:39:44 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-05-11 18:45:24 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-05-11 18:49:12 +0200kenran(~kenran@200116b82b7b15001c85fb2857230cf5.dip.versatel-1u1.de)
2022-05-11 18:56:22 +0200xaotuk(~sasha@2a06:5b00:15fe:9b00::2)
2022-05-11 18:56:35 +0200ccntrq(~Thunderbi@2a02:3100:7105:7400:cfe4:96b:755:10bc) (Quit: ccntrq)
2022-05-11 18:58:42 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-11 18:59:40 +0200acidjnk_new(~acidjnk@p200300d0c7068b598473bf92e3392dfc.dip0.t-ipconnect.de)
2022-05-11 19:08:29 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-05-11 19:16:19 +0200alp_(~alp@user/alp) (Ping timeout: 240 seconds)
2022-05-11 19:31:49 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 19:32:24 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 19:33:45 +0200dsrt^(~dsrt@128-092-160-234.biz.spectrum.com)
2022-05-11 19:35:25 +0200Guest2(~Guest2@cpc103424-donc13-2-0-cust953.17-1.cable.virginm.net)
2022-05-11 19:36:42 +0200Guest2(~Guest2@cpc103424-donc13-2-0-cust953.17-1.cable.virginm.net) (Client Quit)
2022-05-11 19:37:15 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-05-11 19:37:56 +0200mbuf(~Shakthi@122.162.131.93) (Quit: Leaving)
2022-05-11 19:41:54 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-11 19:44:36 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 19:46:28 +0200Feuermagier(~Feuermagi@user/feuermagier)
2022-05-11 19:46:34 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-11 19:50:38 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2022-05-11 19:51:57 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-05-11 19:53:04 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2022-05-11 19:53:43 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-05-11 19:54:41 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 19:57:13 +0200coot(~coot@213.134.190.95) (Ping timeout: 248 seconds)
2022-05-11 19:57:33 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-05-11 19:58:12 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-11 19:58:37 +0200bliminse(~bliminse@host86-164-128-238.range86-164.btcentralplus.com) (Quit: leaving)
2022-05-11 19:59:46 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-05-11 20:00:53 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-11 20:01:53 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-05-11 20:03:04 +0200bliminse(~bliminse@host86-164-128-238.range86-164.btcentralplus.com)
2022-05-11 20:03:22 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-11 20:04:14 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 20:05:17 +0200codaraxis(~codaraxis@user/codaraxis)
2022-05-11 20:08:30 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-05-11 20:10:25 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 20:10:58 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi)
2022-05-11 20:13:14 +0200pavonia(~user@user/siracusa)
2022-05-11 20:13:55 +0200[_](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-05-11 20:15:40 +0200MoC(~moc@user/moc)
2022-05-11 20:18:36 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-11 20:19:36 +0200Pickchea(~private@user/pickchea)
2022-05-11 20:23:18 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-05-11 20:23:45 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 20:24:29 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 20:30:19 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-05-11 20:33:04 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-05-11 20:34:47 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-05-11 20:38:22 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 20:38:27 +0200briandaed(~briandaed@109.95.142.93.r.toneticgroup.pl)
2022-05-11 20:38:37 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-05-11 20:38:42 +0200machinedgod(~machinedg@24.105.81.50) (Remote host closed the connection)
2022-05-11 20:39:10 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 20:39:35 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 20:41:09 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-11 20:44:27 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-05-11 20:44:35 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-11 20:45:30 +0200Hildegunst(~luc@80.248.12.109.rev.sfr.net)
2022-05-11 20:55:50 +0200briandaed(~briandaed@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection)
2022-05-11 21:00:23 +0200bahamas(~lucian@84.232.141.55)
2022-05-11 21:04:50 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-11 21:09:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-11 21:12:47 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-05-11 21:15:05 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 21:22:15 +0200dextaa49(~dextaa@user/dextaa)
2022-05-11 21:23:38 +0200bahamas(~lucian@84.232.141.55) (Ping timeout: 252 seconds)
2022-05-11 21:24:06 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 21:24:25 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-11 21:24:47 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 21:26:09 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-05-11 21:27:03 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-11 21:31:11 +0200coot(~coot@213.134.190.95)
2022-05-11 21:40:34 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 21:41:24 +0200sleym(~sleym@user/sleym)
2022-05-11 21:42:06 +0200Hildegunst(~luc@80.248.12.109.rev.sfr.net) (Quit: leaving)
2022-05-11 21:43:34 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 21:49:20 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-11 21:53:36 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 21:55:07 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 21:55:07 +0200alp_(~alp@user/alp)
2022-05-11 21:58:49 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2022-05-11 21:59:10 +0200pie_(~pie_bnc@user/pie/x-2818909)
2022-05-11 21:59:48 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-11 22:01:46 +0200dhil(~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net)
2022-05-11 22:02:00 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-11 22:02:30 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2022-05-11 22:04:04 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-05-11 22:05:21 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-11 22:05:27 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-05-11 22:05:35 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 22:05:58 +0200machinedgod(~machinedg@24.105.81.50) (Quit: Lost terminal)
2022-05-11 22:06:42 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-11 22:09:30 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-05-11 22:09:51 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-11 22:10:51 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 22:26:12 +0200dsrt^(~dsrt@128-092-160-234.biz.spectrum.com) (Ping timeout: 240 seconds)
2022-05-11 22:28:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-11 22:32:55 +0200bahamas(~lucian@84.232.141.55)
2022-05-11 22:33:41 +0200coot(~coot@213.134.190.95)
2022-05-11 22:34:17 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-05-11 22:34:50 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 22:37:10 +0200bahamas(~lucian@84.232.141.55) (Ping timeout: 240 seconds)
2022-05-11 22:41:27 +0200dsrt^(~dsrt@128-092-160-234.biz.spectrum.com)
2022-05-11 22:42:14 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 22:43:21 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-11 22:45:51 +0200ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving)
2022-05-11 22:46:03 +0200k`(~user@152.1.137.158) (Quit: EoD)
2022-05-11 22:46:50 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-05-11 22:49:23 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-11 22:52:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-11 22:54:34 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
2022-05-11 22:54:34 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds)
2022-05-11 22:54:40 +0200acidjnk_new(~acidjnk@p200300d0c7068b598473bf92e3392dfc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-05-11 22:59:36 +0200 <[exa]> Any hints on if there can be an instance of MonadUnliftIO for monads that carry stuff around, such as StateT x IO? I see there's one provided for ReaderT but that one is kinda easy
2022-05-11 23:00:04 +0200 <[exa]> (that is, preferably without using IORef)
2022-05-11 23:04:59 +0200slack1256(~slack1256@191.125.227.220)
2022-05-11 23:08:00 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-11 23:08:33 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2022-05-11 23:12:57 +0200kadobanana(~mud@user/kadoban) (Read error: Connection reset by peer)
2022-05-11 23:13:22 +0200kadobanana(~mud@user/kadoban)
2022-05-11 23:19:12 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-11 23:20:14 +0200 <tomsmeding> [exa]: > Note that, in order to meet the laws given below, the intuition is that a monad must have no monadic state, but may have monadic context.
2022-05-11 23:20:18 +0200 <tomsmeding> that doesn't sound hopeful
2022-05-11 23:20:42 +0200 <geekosaur> doesn't state inply the ability to "teleport" that state around?
2022-05-11 23:22:04 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 23:22:34 +0200littlebo1eep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-11 23:24:53 +0200WhateverRabbit(~rabbit@206.81.18.26) (Quit: WeeChat 2.8)
2022-05-11 23:26:24 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-11 23:29:34 +0200 <tomsmeding> [exa]: to make an implementation of MonadUnliftIO for 'StateT IO s', you eventually need to conjure a 'forall a. (s -> IO (a, s)) -> IO a' out of thin air
2022-05-11 23:30:35 +0200 <tomsmeding> while you do have an initial state at that point, so you can apply the 's -> IO (a, s)' to a sensible state, but you cannot do anything with the resulting state -- and you need to give a resulting state back at the end of withRunInIO
2022-05-11 23:31:02 +0200 <tomsmeding> which makes sense: to express State in IO, you need to store the state _somewhere_
2022-05-11 23:31:08 +0200 <tomsmeding> so I guess IORef is the only option
2022-05-11 23:34:20 +0200alp_(~alp@user/alp) (Ping timeout: 260 seconds)
2022-05-11 23:34:57 +0200kenran(~kenran@200116b82b7b15001c85fb2857230cf5.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-05-11 23:36:28 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 23:40:00 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 23:44:09 +0200 <[exa]> ok good, now battling the foralls
2022-05-11 23:44:27 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-05-11 23:46:18 +0200 <[exa]> the teleport for just RWST IO seems to work as https://paste.tomsmeding.com/Jk5saqQp but kinda struggling to make it polymorphic
2022-05-11 23:47:11 +0200zeenk(~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d)
2022-05-11 23:47:13 +0200xaotuk(~sasha@2a06:5b00:15fe:9b00::2) (Ping timeout: 260 seconds)
2022-05-11 23:48:43 +0200 <EvanR> what's this teleport thing, is this a technical term
2022-05-11 23:49:09 +0200 <[exa]> the current half-borked state with actual transformer is https://paste.tomsmeding.com/vPGggCey
2022-05-11 23:49:33 +0200 <[exa]> EvanR: geekosaur calls it teleport, it's a teleport! :]
2022-05-11 23:50:01 +0200 <[exa]> tomsmeding: thanks for the intuition with the storage needed, that's helpful
2022-05-11 23:50:04 +0200 <geekosaur> veryinformal version of what tomsmeding said
2022-05-11 23:50:26 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-11 23:51:07 +0200 <EvanR> How do the Heisenberg compensators work? "They work very well thanks for asking"
2022-05-11 23:51:29 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net)
2022-05-11 23:52:11 +0200alp_(~alp@user/alp)
2022-05-11 23:52:49 +0200 <EvanR> (mangled paraphrase)
2022-05-11 23:53:12 +0200 <[exa]> EvanR: we're teleporting state through IO
2022-05-11 23:54:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-11 23:55:39 +0200slac91684(~slack1256@186.11.61.142)
2022-05-11 23:56:51 +0200yauhsien(~yauhsien@61-231-24-3.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-05-11 23:57:23 +0200 <EvanR> sounds evocative of object programming
2022-05-11 23:57:25 +0200bahamas(~lucian@84.232.141.55)
2022-05-11 23:57:38 +0200slack1256(~slack1256@191.125.227.220) (Ping timeout: 252 seconds)
2022-05-11 23:57:43 +0200 <Bulby[m]> 🤣
2022-05-11 23:58:07 +0200 <[exa]> ah it was missing a lift
2022-05-11 23:58:14 +0200 <[exa]> sufficient kind of teleport
2022-05-11 23:58:28 +0200sleym(~sleym@user/sleym) (Quit: sleym)
2022-05-11 23:58:59 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)