2023/03/11

2023-03-11 00:00:40 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com)
2023-03-11 00:00:41 +0100bramhaag(~bramhaag@134.195.121.39) (Remote host closed the connection)
2023-03-11 00:01:07 +0100bramhaag(~bramhaag@134.195.121.39)
2023-03-11 00:01:59 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 00:06:30 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
2023-03-11 00:07:11 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 00:12:19 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-03-11 00:17:04 +0100Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-03-11 00:18:08 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2023-03-11 00:18:45 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Quit: ZZZzzz…)
2023-03-11 00:21:50 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-03-11 00:22:41 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com)
2023-03-11 00:26:26 +0100mastarija(~mastarija@188.252.197.7) (Quit: WeeChat 3.7.1)
2023-03-11 00:27:12 +0100pwntips(~user@24-113-98-114.wavecable.com) (Ping timeout: 255 seconds)
2023-03-11 00:30:19 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-03-11 00:35:11 +0100 <sm> Your Haskell Tiny Game Jam judges sm and f-a are very pleased to announce.. the contest results!
2023-03-11 00:35:11 +0100 <sm> https://github.com/haskell-game/tiny-games-hs
2023-03-11 00:36:30 +0100 <EvanR> \o/
2023-03-11 00:40:18 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2023-03-11 00:41:18 +0100Lumia(~Lumia@user/Lumia)
2023-03-11 00:42:11 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-03-11 00:42:41 +0100jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-03-11 00:46:05 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-03-11 00:46:37 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031)
2023-03-11 00:49:23 +0100manwithluck(~manwithlu@hoeven.dossingday.ml)
2023-03-11 00:50:03 +0100manwithl-(~manwithlu@2406:da14:b37:1300:8c42:7d16:8950:6c74) (Ping timeout: 255 seconds)
2023-03-11 00:52:24 +0100vglfr(~vglfr@209.198.138.7) (Ping timeout: 255 seconds)
2023-03-11 00:54:27 +0100vglfr(~vglfr@209.198.138.7)
2023-03-11 00:57:49 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-03-11 00:58:04 +0100pwntips(~user@24-113-98-114.wavecable.com)
2023-03-11 00:58:55 +0100acidjnk_new(~acidjnk@p200300d6e715c453151e77c9b880b4dd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-03-11 00:59:41 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Quit: WeeChat 3.6)
2023-03-11 01:05:00 +0100MacSlow(~MacSlow@p57bb2fc5.dip0.t-ipconnect.de)
2023-03-11 01:05:07 +0100 <MacSlow> Greetings everybody!
2023-03-11 01:07:02 +0100 <geekosaur> hello
2023-03-11 01:09:23 +0100 <MacSlow> Is there a Haskell-equivalent to C/C++'s modf()? I want to split a Float into its integral and fractional part without loosing the Float type.
2023-03-11 01:10:19 +0100 <MacSlow> x - (floor x) does not do the trick, since floor implicitly converts the Float to Integral.
2023-03-11 01:10:28 +0100 <geekosaur> https://downloads.haskell.org/ghc/9.2.5/docs/html/libraries/base-4.16.4.0/Data-Fixed.html#v:mod-39- (which, bizarrely, is in Data.Fixed)
2023-03-11 01:11:26 +0100 <MacSlow> Data.Fixed ... hm ok... looking thx
2023-03-11 01:12:32 +0100 <geekosaur> (they needed to generalize it to work with Fixed types, so they went the whole way and made it work with any Real type)
2023-03-11 01:16:24 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Quit: ZZZzzz…)
2023-03-11 01:16:56 +0100 <c_wraith> Just for fun, I went and wrote a module that allows working interactively with monads other than IO in ghci. This feels familiar. Does it already exist somewhere on hackage?
2023-03-11 01:17:16 +0100 <MacSlow> geekosaur: hm... modf 'splits' the input into two floats... this mod from Data.Fixed does only deal with Integral types
2023-03-11 01:17:37 +0100 <geekosaur> @instances Real
2023-03-11 01:17:39 +0100 <lambdabot> Double, Float, Int, Integer, Word
2023-03-11 01:17:42 +0100 <MacSlow> geekosaur: it seems more to be like C/C++'s %
2023-03-11 01:18:22 +0100 <geekosaur> looks to me like it takes any Real instance (see list of instances above, from base)
2023-03-11 01:18:40 +0100 <geekosaur> @instances-importing Data.Fixed Real
2023-03-11 01:18:41 +0100 <lambdabot> Double, Fixed a, Float, Int, Integer, Word
2023-03-11 01:19:13 +0100 <geekosaur> @let import Data.Fixed
2023-03-11 01:19:14 +0100 <lambdabot> Defined.
2023-03-11 01:19:18 +0100 <geekosaur> :t mod'
2023-03-11 01:19:19 +0100 <lambdabot> Real a => a -> a -> a
2023-03-11 01:19:27 +0100 <geekosaur> note that the prime is part of the name
2023-03-11 01:20:03 +0100 <c_wraith> > 3.6 `mod'` 1.2
2023-03-11 01:20:05 +0100 <lambdabot> 4.440892098500626e-16
2023-03-11 01:20:17 +0100 <c_wraith> sure, that looks floating-point correct
2023-03-11 01:20:32 +0100 <c_wraith> > 3.6 `mod'` 1.5
2023-03-11 01:20:34 +0100 <lambdabot> 0.6000000000000001
2023-03-11 01:20:51 +0100 <MacSlow> geekosaur: geee ... :) minimal notation... *sigh* mathematicians ;)
2023-03-11 01:21:29 +0100 <MacSlow> I need a blunt modf... ' I easily overread :)
2023-03-11 01:21:38 +0100 <MacSlow> thx working now with mod'
2023-03-11 01:24:29 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com)
2023-03-11 01:24:58 +0100 <MacSlow> mod' myFloat $ fromIntegral $ floor myFloat
2023-03-11 01:25:25 +0100 <MacSlow> that works... but looks unusual verbose... is that the most compact form for this?
2023-03-11 01:25:26 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Client Quit)
2023-03-11 01:25:30 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 01:25:52 +0100 <MacSlow> I mean I can live with that... just wondering.
2023-03-11 01:27:30 +0100 <[Leary]> :t snd . properFraction
2023-03-11 01:27:31 +0100 <lambdabot> RealFrac c => c -> c
2023-03-11 01:27:49 +0100 <[Leary]> I don't think you need `mod'` here.
2023-03-11 01:27:55 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com)
2023-03-11 01:28:57 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Client Quit)
2023-03-11 01:29:42 +0100 <MacSlow> oh... interesting... snd $ properFraction myFloat works
2023-03-11 01:30:01 +0100 <MacSlow> the . (function composition?!) give me an error
2023-03-11 01:30:12 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
2023-03-11 01:30:31 +0100zmt01(~zmt00@user/zmt00)
2023-03-11 01:30:44 +0100 <MacSlow> ah... sorted it out... have to define this as a function
2023-03-11 01:31:46 +0100 <[Leary]> If you've written `f . g x`, that means `f . (g x)`. You want `(f . g) x` or `f . g $ x`.
2023-03-11 01:32:44 +0100 <MacSlow> yeah... I do not yet instinctively think in these ways
2023-03-11 01:33:14 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-11 01:33:34 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-11 01:33:46 +0100 <[Leary]> It's just precedence rules; function application binds tighter than any operator.
2023-03-11 01:33:48 +0100 <MacSlow> space has the highest binding priority, right
2023-03-11 01:33:54 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com)
2023-03-11 01:33:55 +0100 <MacSlow> yea
2023-03-11 01:34:36 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 255 seconds)
2023-03-11 01:34:56 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Client Quit)
2023-03-11 01:35:30 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com)
2023-03-11 01:40:43 +0100gurkengl1s(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds)
2023-03-11 01:40:43 +0100gurkenglas(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds)
2023-03-11 01:41:54 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-03-11 01:45:15 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Quit: ZZZzzz…)
2023-03-11 01:47:57 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com)
2023-03-11 01:59:54 +0100Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-03-11 02:00:19 +0100mauke_(~mauke@user/mauke)
2023-03-11 02:02:09 +0100mauke(~mauke@user/mauke) (Ping timeout: 255 seconds)
2023-03-11 02:02:10 +0100mauke_mauke
2023-03-11 02:05:53 +0100Albina_Pavlovna(~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Quit: bb)
2023-03-11 02:11:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-03-11 02:16:00 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz)
2023-03-11 02:16:28 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-03-11 02:16:28 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-03-11 02:16:28 +0100wroathe(~wroathe@user/wroathe)
2023-03-11 02:17:17 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-03-11 02:17:28 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 02:22:24 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-03-11 02:27:31 +0100vglfr(~vglfr@209.198.138.7) (Ping timeout: 276 seconds)
2023-03-11 02:32:11 +0100Lumia(~Lumia@user/Lumia) (Ping timeout: 255 seconds)
2023-03-11 02:34:28 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-03-11 02:34:46 +0100califax(~califax@user/califx)
2023-03-11 02:36:23 +0100 <MacSlow> bbl
2023-03-11 02:36:25 +0100MacSlow(~MacSlow@p57bb2fc5.dip0.t-ipconnect.de) (Quit: leaving)
2023-03-11 02:41:51 +0100vglfr(~vglfr@209.198.138.7)
2023-03-11 02:48:43 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 02:53:31 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-03-11 02:55:18 +0100slack1256(~slack1256@186.11.17.85)
2023-03-11 03:00:31 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2023-03-11 03:02:17 +0100razetime(~Thunderbi@117.193.5.173)
2023-03-11 03:08:02 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 03:12:39 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2023-03-11 03:13:01 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-03-11 03:15:54 +0100razetime(~Thunderbi@117.193.5.173) (Quit: See You Space Cowboy)
2023-03-11 03:25:15 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2023-03-11 03:26:19 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-03-11 03:26:45 +0100 <tusko> u wont
2023-03-11 03:39:38 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-03-11 03:39:48 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-03-11 03:45:05 +0100Lumia(~Lumia@user/Lumia)
2023-03-11 03:48:44 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 03:50:23 +0100gehmehgeh(~user@user/gehmehgeh)
2023-03-11 03:53:17 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-03-11 03:53:58 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-03-11 03:57:49 +0100roconnor(~quassel@coq/roconnor) ()
2023-03-11 03:59:11 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-03-11 03:59:11 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-03-11 03:59:11 +0100wroathe(~wroathe@user/wroathe)
2023-03-11 04:02:09 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 04:02:32 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-03-11 04:02:32 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-03-11 04:02:32 +0100finn_elijaFinnElija
2023-03-11 04:06:48 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
2023-03-11 04:15:20 +0100gastus_(~gastus@5.83.191.21)
2023-03-11 04:15:23 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2023-03-11 04:16:59 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2023-03-11 04:17:23 +0100talismanick(~talismani@2601:200:c000:f7a0::5321)
2023-03-11 04:18:30 +0100gastus(~gastus@5.83.191.20) (Ping timeout: 255 seconds)
2023-03-11 04:18:59 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 04:19:14 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection)
2023-03-11 04:25:16 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-03-11 04:26:39 +0100td_(~td@i53870929.versanet.de) (Ping timeout: 268 seconds)
2023-03-11 04:27:58 +0100td_(~td@i53870936.versanet.de)
2023-03-11 04:31:51 +0100_xor(~xor@74.215.46.17) (Quit: bbiab)
2023-03-11 04:35:09 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 255 seconds)
2023-03-11 04:35:20 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-03-11 04:35:33 +0100xff0x(~xff0x@178.255.149.135)
2023-03-11 04:38:17 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-03-11 04:41:38 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat)
2023-03-11 04:41:54 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 255 seconds)
2023-03-11 04:42:43 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::)
2023-03-11 04:43:46 +0100xff0x(~xff0x@2405:6580:b080:900:7d0a:21b:da04:25b8)
2023-03-11 04:51:25 +0100cassiopea(~cassiopea@user/cassiopea)
2023-03-11 04:51:57 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2023-03-11 04:51:57 +0100jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2023-03-11 04:52:42 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-03-11 05:00:34 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-03-11 05:00:34 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-03-11 05:00:34 +0100finn_elijaFinnElija
2023-03-11 05:00:34 +0100bramhaag(~bramhaag@134.195.121.39) (Read error: Connection reset by peer)
2023-03-11 05:00:49 +0100bramhaag(~bramhaag@134.195.121.39)
2023-03-11 05:01:15 +0100xff0x(~xff0x@2405:6580:b080:900:7d0a:21b:da04:25b8) (Ping timeout: 248 seconds)
2023-03-11 05:01:39 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-03-11 05:12:46 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-11 05:20:06 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 05:21:43 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 276 seconds)
2023-03-11 05:23:39 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
2023-03-11 05:23:57 +0100irrgit__(~irrgit@176.113.74.138) (Remote host closed the connection)
2023-03-11 05:24:39 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
2023-03-11 05:27:32 +0100irrgit__(~irrgit@89.47.234.74)
2023-03-11 05:27:44 +0100polyphem_(~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 248 seconds)
2023-03-11 05:38:00 +0100Lumia(~Lumia@user/Lumia) (Ping timeout: 260 seconds)
2023-03-11 05:44:04 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 05:46:01 +0100Lumia(~Lumia@user/Lumia)
2023-03-11 05:51:37 +0100freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-03-11 06:18:03 +0100thegeekinside(~thegeekin@189.141.115.134) (Ping timeout: 248 seconds)
2023-03-11 06:22:24 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2023-03-11 06:30:12 +0100Lumia(~Lumia@user/Lumia) (Quit: ,-)
2023-03-11 06:37:21 +0100 <Inst__> is there any research
2023-03-11 06:37:35 +0100Inst__Inst
2023-03-11 06:37:40 +0100 <Inst> on streaming types with more than one nope?
2023-03-11 06:37:53 +0100 <Inst> node?
2023-03-11 06:37:58 +0100 <Inst> i.e, infinite binary tree?
2023-03-11 06:38:36 +0100 <dsal> I don't think I understand what you mean. What would an streaming infinite binary tree look like?
2023-03-11 06:39:08 +0100 <davean> ah I have no idea what you mean
2023-03-11 06:39:08 +0100 <Inst> data LineStream a = LineStream a (LineStream a) (LineStream a)
2023-03-11 06:39:26 +0100 <davean> what is LineStream?
2023-03-11 06:39:26 +0100 <Inst> not node, but more than one connection
2023-03-11 06:39:44 +0100 <Inst> result of mild fever and playing around with multi-dimensional arrays
2023-03-11 06:39:45 +0100 <davean> it looks like a tree, I se nothing streaming about it
2023-03-11 06:39:57 +0100 <Inst> i guess it needs some functors etc for that
2023-03-11 06:40:18 +0100 <dsal> The functor is obvious, but how you'd traverse it as an infinite stream isn't.
2023-03-11 06:40:22 +0100 <Inst> the definition of stream i'm working on is from https://hackage.haskell.org/package/Stream-0.4.7.2/docs/src/Data.Stream.html#Stream
2023-03-11 06:40:42 +0100 <dsal> Yeah, that's what I'd expect. There's a thing, and then there's more stuff.
2023-03-11 06:41:52 +0100 <Inst> yeah, i'm aware, but say, an infinite or cyclic tree of arity greater than 1 isn't really interesting, is it?
2023-03-11 06:43:05 +0100 <dsal> To consume the tree, you'd basically have to flatten it one way or another. Just walking down one path forever is flattening it.
2023-03-11 06:44:35 +0100 <Inst> i guess i need to learn how to do useful things with just plain cyclic data structures to begin with
2023-03-11 06:45:28 +0100 <Inst> the consumer, as opposed to a linear stream, at least gets to choose which path to go through, in the case of a cyclic data structure
2023-03-11 06:46:17 +0100 <Inst> if you payload IO a you might get an abstraction of control flow
2023-03-11 06:47:00 +0100 <davean> I mean yes, there is choice
2023-03-11 06:48:45 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 06:50:24 +0100 <Inst> i guess it's not very fun or interesting
2023-03-11 06:54:44 +0100 <Inst> it's probably just a graph
2023-03-11 06:54:57 +0100 <Inst> data RoseStream a = RoseStream a [RoseStream a]
2023-03-11 06:55:33 +0100 <EvanR> to stream an infinite binary tree all you have to do is split into two universes at each step
2023-03-11 06:55:53 +0100 <EvanR> with infinite resources it would work
2023-03-11 06:56:30 +0100 <Inst> could do it concurrently
2023-03-11 06:56:38 +0100 <Inst> trade time for space
2023-03-11 06:56:41 +0100 <EvanR> yeah
2023-03-11 06:56:53 +0100 <Inst> not sure, is this at all interesting? Or is this a boring investigation?
2023-03-11 06:58:10 +0100 <dsal> Your design above would split at every step forever.
2023-03-11 07:00:05 +0100 <dsal> Other way around, though, how and when would you use this? That can help you figure out what might be interesting.
2023-03-11 07:00:18 +0100 <Inst> one way i'm thinking about it might be to model state
2023-03-11 07:00:27 +0100 <Inst> or is the term a state machine?
2023-03-11 07:00:51 +0100 <Inst> you build a cyclic data structure, and a function that can use both data within the cyclic data structure and data it holds through other means
2023-03-11 07:00:53 +0100 <Inst> to choose which way to go
2023-03-11 07:01:49 +0100 <Inst> since it's cyclic, you can easily constrain the number of possible distinct states
2023-03-11 07:02:59 +0100raym(~ray@user/raym) (Quit: kernel update, rebooting...)
2023-03-11 07:03:12 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2023-03-11 07:03:31 +0100 <Inst> the only positive i have about it is that while you guys don't find it that interesting, you haven't posted a paper yet where someone else is discussing it
2023-03-11 07:05:18 +0100vernorvintage(~maxsu@wsip-24-120-138-106.lv.lv.cox.net)
2023-03-11 07:06:17 +0100 <dsal> A stream that expands infinitely in multiple dimensions may not have a lot of practical uses.
2023-03-11 07:07:11 +0100 <Inst> it's just a cyclic graph, i guess
2023-03-11 07:13:52 +0100son0p(~ff@181.136.122.143) (Ping timeout: 248 seconds)
2023-03-11 07:23:55 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds)
2023-03-11 07:38:03 +0100trev(~trev@user/trev)
2023-03-11 07:39:35 +0100manwithluck(~manwithlu@hoeven.dossingday.ml) (Quit: ZNC - https://znc.in)
2023-03-11 07:39:50 +0100manwithluck(manwithluc@hoeven.dossingday.ml)
2023-03-11 07:40:29 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-03-11 07:54:15 +0100cheater_(~Username@user/cheater)
2023-03-11 07:54:49 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-03-11 07:56:05 +0100cheater__(~Username@user/cheater)
2023-03-11 07:57:33 +0100cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-03-11 07:57:40 +0100cheater__cheater
2023-03-11 07:58:13 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-11 07:59:27 +0100cheater_(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-03-11 08:00:08 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-11 08:44:06 +0100Bocaneri(~sauvin@user/Sauvin)
2023-03-11 08:44:09 +0100Axma26687(~Axman6@user/axman6)
2023-03-11 08:44:30 +0100BocaneriGuest3094
2023-03-11 08:45:36 +0100Sauvin(~sauvin@user/Sauvin) (Read error: Connection reset by peer)
2023-03-11 08:45:48 +0100theproffesor(~theproffe@user/theproffesor)
2023-03-11 08:46:03 +0100Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2023-03-11 08:51:36 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
2023-03-11 08:52:26 +0100slack1256(~slack1256@186.11.17.85) (Ping timeout: 268 seconds)
2023-03-11 08:53:43 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de)
2023-03-11 09:00:02 +0100rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2023-03-11 09:01:43 +0100gurkenglas(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de)
2023-03-11 09:01:45 +0100gurkengl1s(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de)
2023-03-11 09:02:13 +0100rembo10(~rembo10@main.remulis.com)
2023-03-11 09:06:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-11 09:08:33 +0100NiceBird(~NiceBird@185.133.111.196)
2023-03-11 09:13:01 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-03-11 09:15:03 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-03-11 09:19:36 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 09:20:05 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-03-11 09:20:24 +0100califax(~califax@user/califx)
2023-03-11 09:23:55 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-03-11 09:24:11 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2023-03-11 09:26:48 +0100img(~img@user/img)
2023-03-11 09:27:44 +0100Midjak(~Midjak@82.66.147.146)
2023-03-11 09:33:02 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2023-03-11 09:33:24 +0100califax(~califax@user/califx)
2023-03-11 09:50:46 +0100acidjnk_new(~acidjnk@p200300d6e715c48418cb99816a46cc8f.dip0.t-ipconnect.de)
2023-03-11 09:56:03 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 09:57:22 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-03-11 10:00:11 +0100ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3) (Quit: You have been kicked for being idle)
2023-03-11 10:02:39 +0100biberu(~biberu@user/biberu)
2023-03-11 10:06:22 +0100mei(~mei@user/mei) (Quit: mei)
2023-03-11 10:07:06 +0100sus0(zero@user/zeromomentum)
2023-03-11 10:17:19 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2023-03-11 10:20:35 +0100mei(~mei@user/mei)
2023-03-11 10:24:38 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-11 10:31:26 +0100jrm(~jrm@user/jrm) (Quit: ciao)
2023-03-11 10:31:49 +0100jrm(~jrm@user/jrm)
2023-03-11 10:39:16 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-03-11 10:43:28 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-03-11 10:45:11 +0100Axma26687(~Axman6@user/axman6) (Remote host closed the connection)
2023-03-11 10:51:43 +0100Axman6(~Axman6@user/axman6)
2023-03-11 10:59:28 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-03-11 10:59:40 +0100razetime(~Thunderbi@117.193.6.165)
2023-03-11 11:01:28 +0100 <razetime> i'd like some help from people familiar with the haskell language server. I want to know the areas in the server which check for unused functions.
2023-03-11 11:23:42 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-03-11 11:26:14 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-03-11 11:38:22 +0100razetime(~Thunderbi@117.193.6.165) (Remote host closed the connection)
2023-03-11 11:39:11 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-03-11 11:41:23 +0100freeside(~mengwong@122.11.212.91)
2023-03-11 11:44:31 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:605c:57fb:61f1:1248)
2023-03-11 11:44:38 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-03-11 11:47:34 +0100Guest7045(~Guest70@176.221.171.242)
2023-03-11 11:47:46 +0100Guest7045(~Guest70@176.221.171.242) ()
2023-03-11 11:49:00 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:605c:57fb:61f1:1248) (Ping timeout: 260 seconds)
2023-03-11 11:50:23 +0100 <Unicorn_Princess> psa: stick a (setq lsp-haskell-plugin-ghcide-completions-config-auto-extend-on nil) somewhere in your init.el or equivalent to keep the haskell lsp from adding imports when you tab-complete something that's missing an import
2023-03-11 11:51:17 +0100 <Unicorn_Princess> i don't know what psychopath thinks silent non-local changes are acceptable, but i had to stop the c++ lsp from adding #imports on its own too, so here we are
2023-03-11 11:51:41 +0100 <Unicorn_Princess> *acceptable as default-enabled
2023-03-11 11:54:01 +0100 <c_wraith> Well this is sad. I had to replace a traverse_ over a maybe with an explicit case to get rid of a space leak.
2023-03-11 11:54:29 +0100 <c_wraith> ... in ghci. It's probable compiling would have done the same job, but I don't want to rely on the compiler...
2023-03-11 11:57:57 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 255 seconds)
2023-03-11 11:59:56 +0100xff0x(~xff0x@178.255.149.135)
2023-03-11 12:01:17 +0100freeside(~mengwong@122.11.212.91) (Read error: Connection reset by peer)
2023-03-11 12:04:09 +0100mechap(~mechap@user/mechap)
2023-03-11 12:11:04 +0100mastarija(~mastarija@188.252.199.128)
2023-03-11 12:25:05 +0100 <DigitalKiwi> why use haskell if you don't want to rely on the compiler
2023-03-11 12:25:22 +0100 <c_wraith> I specifically don't want to rely on the compiler to make my memory use correct.
2023-03-11 12:25:35 +0100 <c_wraith> That's how you write code that springs "surprise" space use problems.
2023-03-11 12:26:04 +0100 <c_wraith> The code was always wrong, but the compiler papered over it for you until you overwhelmed it.
2023-03-11 12:29:35 +0100 <DigitalKiwi> i for one want an unreliable interpreter
2023-03-11 12:29:49 +0100 <DigitalKiwi> cpython <3
2023-03-11 12:32:46 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-03-11 12:36:39 +0100 <Unicorn_Princess> c and python.. even separately, they are abominations
2023-03-11 12:36:58 +0100 <Unicorn_Princess> i shudder to think what their union birthed
2023-03-11 12:37:06 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 255 seconds)
2023-03-11 12:38:48 +0100xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-03-11 12:40:30 +0100chomwitt(~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1)
2023-03-11 12:41:31 +0100acidjnk_new(~acidjnk@p200300d6e715c48418cb99816a46cc8f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-03-11 12:41:44 +0100mastarija(~mastarija@188.252.199.128) (Quit: WeeChat 3.7.1)
2023-03-11 12:42:00 +0100 <DigitalKiwi> pypy
2023-03-11 12:45:43 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-03-11 12:45:44 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356)
2023-03-11 12:47:39 +0100mechap(~mechap@user/mechap)
2023-03-11 12:47:46 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-03-11 12:50:02 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356) (Ping timeout: 255 seconds)
2023-03-11 12:51:33 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-03-11 12:53:03 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-03-11 12:53:59 +0100Joao003(~Joao003@2804:840:8310:4e00:c922:bc22:56e2:86fd)
2023-03-11 12:55:59 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 12:59:06 +0100gurkengl1s(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-03-11 12:59:19 +0100gurkenglas(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds)
2023-03-11 13:10:17 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-03-11 13:15:28 +0100mastarija(~mastarija@188.252.199.128)
2023-03-11 13:17:44 +0100gurkenglas(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de)
2023-03-11 13:18:09 +0100cheater_(~Username@user/cheater)
2023-03-11 13:20:27 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-11 13:20:35 +0100cheater_cheater
2023-03-11 13:22:46 +0100gurkengl1s(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de)
2023-03-11 13:22:51 +0100freeside(~mengwong@122.11.214.10)
2023-03-11 13:23:02 +0100mastarija(~mastarija@188.252.199.128) (Quit: WeeChat 3.7.1)
2023-03-11 13:26:28 +0100 <ph88> did anyone here try this package ? https://github.com/NorfairKing/sydtest
2023-03-11 13:27:39 +0100tubogram44(~tubogram@user/tubogram) (Quit: See ya later!)
2023-03-11 13:28:15 +0100freeside(~mengwong@122.11.214.10) (Read error: Connection reset by peer)
2023-03-11 13:29:31 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2023-03-11 13:30:46 +0100tubogram44(~tubogram@user/tubogram)
2023-03-11 13:33:41 +0100cheater_(~Username@user/cheater)
2023-03-11 13:33:47 +0100 <Hecate> never
2023-03-11 13:34:51 +0100qy(~ix@213.205.241.172)
2023-03-11 13:35:40 +0100qy(~ix@213.205.241.172) (Read error: Connection reset by peer)
2023-03-11 13:37:04 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-03-11 13:37:07 +0100cheater_cheater
2023-03-11 13:37:57 +0100Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2023-03-11 13:38:14 +0100Axman6(~Axman6@user/axman6)
2023-03-11 13:38:18 +0100gurkengl1s(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 255 seconds)
2023-03-11 13:38:58 +0100gurkenglas(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds)
2023-03-11 13:40:16 +0100gurkenglas(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de)
2023-03-11 13:40:17 +0100gurkengl1s(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de)
2023-03-11 13:41:05 +0100qy(~ix@213.205.241.172)
2023-03-11 13:43:23 +0100jero98772(~jero98772@2800:484:1d80:d8ce:e507:6b15:fde6:a01)
2023-03-11 13:44:18 +0100tubogram44(~tubogram@user/tubogram) (Quit: See ya later!)
2023-03-11 13:46:07 +0100qy(~ix@213.205.241.172) (Read error: Connection reset by peer)
2023-03-11 13:46:39 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-03-11 13:52:17 +0100qy(~ix@213.205.241.172)
2023-03-11 13:57:24 +0100qy(~ix@213.205.241.172) (Read error: Connection reset by peer)
2023-03-11 13:58:18 +0100gurkengl1s(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-03-11 13:58:18 +0100gurkenglas(~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-03-11 13:58:45 +0100tubogram44(~tubogram@user/tubogram)
2023-03-11 13:59:44 +0100gurkenglas(~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de)
2023-03-11 13:59:48 +0100gurkengl1s(~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de)
2023-03-11 14:03:43 +0100qy(~ix@213.205.241.172)
2023-03-11 14:05:47 +0100qy(~ix@213.205.241.172) (Read error: Connection reset by peer)
2023-03-11 14:08:22 +0100 <DigitalKiwi> it has all of the features to exist (ever) except one Optional standard output and standard error suppression [2]! https://github.com/NorfairKing/sydtest#features--comparison-to-similar-projects
2023-03-11 14:09:43 +0100 <DigitalKiwi> turns out nobody can figure out how to do that
2023-03-11 14:11:10 +0100 <mauke> >/dev/null 2>&1
2023-03-11 14:12:10 +0100qy(~ix@213.205.241.172)
2023-03-11 14:12:10 +0100 <DigitalKiwi> i should start making a list of every positive quality about me and then judging everyone only by whether or not they have that quality too
2023-03-11 14:14:04 +0100 <DigitalKiwi> i'll soon conclude that digitalkiwi > everyone. nobody else will ever match up to me!
2023-03-11 14:15:32 +0100 <DigitalKiwi> https://mostlyabsurd.com/about/#robert-djubek heheh
2023-03-11 14:26:25 +0100qy(~ix@213.205.241.172) (Ping timeout: 276 seconds)
2023-03-11 14:29:59 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031)
2023-03-11 14:30:03 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Client Quit)
2023-03-11 14:30:33 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031)
2023-03-11 14:34:34 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 14:44:43 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Ping timeout: 252 seconds)
2023-03-11 14:46:10 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031)
2023-03-11 14:51:02 +0100vglfr(~vglfr@209.198.138.7) (Read error: Connection reset by peer)
2023-03-11 14:52:31 +0100vglfr(~vglfr@209.198.138.7)
2023-03-11 14:52:31 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Ping timeout: 248 seconds)
2023-03-11 14:57:58 +0100NiceBird(~NiceBird@185.133.111.196) (Quit: Leaving)
2023-03-11 15:06:05 +0100polyphem_(~rod@2a02:810d:840:8754:3ca7:d087:3205:3c69)
2023-03-11 15:07:32 +0100__monty__(~toonn@user/toonn)
2023-03-11 15:08:18 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-03-11 15:14:49 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2023-03-11 15:16:37 +0100kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds)
2023-03-11 15:39:42 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-03-11 15:43:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-11 15:45:37 +0100vglfr(~vglfr@209.198.138.7) (Read error: Connection reset by peer)
2023-03-11 15:46:16 +0100vglfr(~vglfr@209.198.138.7)
2023-03-11 15:51:14 +0100acidjnk_new(~acidjnk@p200300d6e715c4844872eb3a15c09e4f.dip0.t-ipconnect.de)
2023-03-11 15:52:47 +0100euandreh1(~Thunderbi@189.6.18.7)
2023-03-11 15:53:07 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-11 15:54:51 +0100euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 268 seconds)
2023-03-11 15:54:52 +0100euandreh1euandreh
2023-03-11 15:55:30 +0100ddellacosta(~ddellacos@146.70.165.157) (Quit: WeeChat 3.8)
2023-03-11 15:56:43 +0100ddellacosta(~ddellacos@146.70.165.157)
2023-03-11 15:57:08 +0100Joao003(~Joao003@2804:840:8310:4e00:c922:bc22:56e2:86fd) (Quit: Leaving)
2023-03-11 16:00:25 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-03-11 16:00:25 +0100bramhaag(~bramhaag@134.195.121.39) (Remote host closed the connection)
2023-03-11 16:00:38 +0100bramhaag(~bramhaag@134.195.121.39)
2023-03-11 16:01:30 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-03-11 16:02:55 +0100msavoritias(cb716af6b3@irc.cheogram.com)
2023-03-11 16:03:50 +0100mechap(~mechap@user/mechap)
2023-03-11 16:06:22 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-03-11 16:08:55 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit)
2023-03-11 16:09:22 +0100 <ph88> does someone know of a tool to automatically remove unused imports ?
2023-03-11 16:09:48 +0100 <Axman6> hls
2023-03-11 16:09:50 +0100 <geekosaur> no independent tool but hls marks and there's a code action to remove them
2023-03-11 16:10:12 +0100 <geekosaur> that is, I don't know of such a tool. someone probably has one somewhere
2023-03-11 16:13:50 +0100 <ph88> cool i'll check hls
2023-03-11 16:15:12 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-03-11 16:15:36 +0100emmanuelux_(~emmanuelu@user/emmanuelux)
2023-03-11 16:19:23 +0100 <hammond> im interested in coding something in haskell
2023-03-11 16:19:31 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds)
2023-03-11 16:19:53 +0100 <hammond> whats a workspace for it.
2023-03-11 16:19:59 +0100 <hammond> im not good at vim
2023-03-11 16:20:14 +0100 <ph88> hammond, what do you mean workspace ?
2023-03-11 16:20:23 +0100 <hammond> like an ide
2023-03-11 16:20:35 +0100 <ph88> hammond, i use ubuntu, stack and vscode and it works well
2023-03-11 16:20:51 +0100 <hammond> well
2023-03-11 16:21:06 +0100 <hammond> sad to say, but im on windowze for now.
2023-03-11 16:21:20 +0100 <ph88> then use windows, stack and vscode which also works well
2023-03-11 16:21:35 +0100 <hammond> oh lemmi look into it
2023-03-11 16:21:47 +0100 <sm> https://www.haskell.org/get-started
2023-03-11 16:22:14 +0100 <ph88> you can also use windows subsystem for linux WSL2, which i think is better than using a virtual machine
2023-03-11 16:22:35 +0100 <ph88> https://docs.haskellstack.org/en/stable/install_and_upgrade/
2023-03-11 16:22:59 +0100 <ph88> in vscode you should be able to go to marketplace and search for haskell language server (i don't use it myself but i guess it's good)
2023-03-11 16:23:08 +0100joes(~joes@hardfought/member/joes)
2023-03-11 16:23:31 +0100 <hammond> i know this is not the chan for it, but i was thinking i could have one server for the code, like on a ssh, and have the ide of diff computers login into that and code from anywhere
2023-03-11 16:25:00 +0100 <sm> there are tools like that from microsoft, github, gitpod..
2023-03-11 16:25:12 +0100 <hammond> https://code.visualstudio.com/docs/remote/remote-overview
2023-03-11 16:25:17 +0100 <hammond> yeah
2023-03-11 16:25:59 +0100 <ph88> hammond, there are such solutions like https://github.com/coder/code-server but i don't recommend it because then you have no offline support while you are travelling. I think it's better to have a git server to keep your code up to date and then share through that from different machines
2023-03-11 16:26:23 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-03-11 16:26:51 +0100maroloccio(~marolocci@90.167.243.161)
2023-03-11 16:26:54 +0100smuses both
2023-03-11 16:27:28 +0100 <ph88> only when your machine is extremely weak or low battery i guess you could do the compiling somewhere else .. but tbh buy a better machine then
2023-03-11 16:28:20 +0100Nosrep(~Nosrep@user/nosrep)
2023-03-11 16:28:20 +0100 <hammond> well sometimes i code with dbs, and do tests, it's annoying setting that up on diff computers.
2023-03-11 16:28:27 +0100 <sm> in fairness compiling haskell is slow and costly on most machines
2023-03-11 16:28:27 +0100 <hammond> idk
2023-03-11 16:28:55 +0100 <ph88> dbs databases ?
2023-03-11 16:29:00 +0100 <hammond> yes
2023-03-11 16:29:06 +0100 <sm> Remote Develop extension works briliiantly, can recommend
2023-03-11 16:29:12 +0100 <hammond> the database is not remote.
2023-03-11 16:29:32 +0100 <hammond> ok
2023-03-11 16:29:59 +0100 <ph88> hammond, perhaps also look into putting DB into a docker container for testing and development
2023-03-11 16:30:36 +0100 <sm> ..but I haven't used Remote Develop for haskell work, don't know how HLS works with it
2023-03-11 16:33:46 +0100 <hammond> thx guize
2023-03-11 16:34:59 +0100gehmehgehgmg
2023-03-11 16:35:32 +0100freeside(~mengwong@103.252.202.85)
2023-03-11 16:48:43 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356)
2023-03-11 16:49:39 +0100trev(~trev@user/trev)
2023-03-11 16:49:41 +0100maroloccio(~marolocci@90.167.243.161) (Quit: WeeChat 3.7.1)
2023-03-11 16:50:55 +0100gurkengl1s(~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de) (Ping timeout: 248 seconds)
2023-03-11 16:50:56 +0100gurkenglas(~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de) (Ping timeout: 248 seconds)
2023-03-11 16:51:34 +0100vernorvintage(~maxsu@wsip-24-120-138-106.lv.lv.cox.net) (Read error: Connection reset by peer)
2023-03-11 16:52:43 +0100gurkenglas(~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de)
2023-03-11 16:53:01 +0100gurkengl1s(~gurkengla@89.15.236.16)
2023-03-11 16:53:30 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356) (Ping timeout: 260 seconds)
2023-03-11 16:59:05 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-03-11 17:00:30 +0100bramhaag(~bramhaag@134.195.121.39) (Remote host closed the connection)
2023-03-11 17:00:42 +0100bramhaag(~bramhaag@134.195.121.39)
2023-03-11 17:01:43 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-03-11 17:04:20 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-03-11 17:05:04 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 17:05:31 +0100polyphem_(~rod@2a02:810d:840:8754:3ca7:d087:3205:3c69) (Ping timeout: 252 seconds)
2023-03-11 17:06:35 +0100polyphem_(~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17)
2023-03-11 17:08:40 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-11 17:09:35 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-03-11 17:10:44 +0100 <Nosrep> can i get profiling to be more fine grained or ignore something
2023-03-11 17:10:59 +0100trev(~trev@user/trev)
2023-03-11 17:11:14 +0100 <Nosrep> i'm trying to profile something that gets overshadowed by another function that is required but i don't really care about so the thing i actually do care about has 0.0 on everything
2023-03-11 17:12:23 +0100 <sm> yes you can annotate specific functions and profile only those but... why do you care about a 0.0 thing
2023-03-11 17:14:02 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2023-03-11 17:16:32 +0100cheater(~Username@user/cheater)
2023-03-11 17:18:22 +0100 <Nosrep> the big thing only runs once
2023-03-11 17:18:29 +0100 <Nosrep> (in normal execution of the program)
2023-03-11 17:18:50 +0100 <Nosrep> and im trying to profile one function call thats actually used a ton normally but i only run it one time here so its pretty fast
2023-03-11 17:19:16 +0100cheater_(~Username@user/cheater)
2023-03-11 17:19:29 +0100 <Nosrep> i tried to use -fno-prof-auto (stack adds -fprof-auto automatically i think) but the big thing still shows up i think because the little thing depends on the big thing
2023-03-11 17:19:49 +0100 <Nosrep> maybe i run the little thing in a loop to get the numbers up?
2023-03-11 17:20:38 +0100cheater__(~Username@user/cheater)
2023-03-11 17:22:42 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-03-11 17:22:44 +0100cheater__cheater
2023-03-11 17:23:59 +0100cheater_(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-03-11 17:27:28 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-03-11 17:27:47 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-03-11 17:28:25 +0100 <ph88> Nosrep, i would say either go for the scenario where it is actually "used a ton" instead of once. Or maybe better you can create the inputs of the function and then factor that out in a test or a benchmark and profile that
2023-03-11 17:28:57 +0100 <ph88> https://bpa.st/S6CKU i'm trying to test code with sandwich can anyone help me with these type errors ?
2023-03-11 17:30:51 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2023-03-11 17:33:39 +0100Nosrep(~Nosrep@user/nosrep) (Ping timeout: 255 seconds)
2023-03-11 17:34:40 +0100Nosrep(~Nosrep@user/nosrep)
2023-03-11 17:39:30 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-03-11 17:47:33 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-03-11 17:53:33 +0100gentauro(~gentauro@user/gentauro)
2023-03-11 17:56:30 +0100mastarija(~mastarija@188.252.199.128)
2023-03-11 17:59:35 +0100 <mastarija> Is there a good beginner friendly explanation of `IndexedTraversal`? I'm trying to understand how to implement one for my custom tree-like structure.
2023-03-11 17:59:51 +0100hugo(znc@verdigris.lysator.liu.se) (Quit: ZNC 1.8.2 - https://znc.in)
2023-03-11 18:00:07 +0100 <mastarija> From what I understand, `IndexedTraversal` allows me to have access to index of each data contained in my structure while traversing.
2023-03-11 18:00:53 +0100 <mastarija> Something like `fmap (\ (ix, d) -> ...) $ zip [1..] myData`
2023-03-11 18:01:22 +0100Joao003(~Joao003@2804:840:8310:4e00:c922:bc22:56e2:86fd)
2023-03-11 18:01:23 +0100 <mastarija> Ok, maybe not the `fmap` but you get my point
2023-03-11 18:02:33 +0100 <mastarija> And if I undertand this correctly, I can use `IndexedTraversal` to implement `Traversal` and `Ixed` class, right?
2023-03-11 18:02:53 +0100 <mastarija> Because it's more powerful in a way.
2023-03-11 18:07:21 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2023-03-11 18:10:44 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
2023-03-11 18:11:09 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2023-03-11 18:21:25 +0100 <c_wraith> mastarija: I'd just implement all the classes by hand. And while implementing Traversal in terms of IndexedTraversal seems mostly fine, implemented Ixed in terms of IndexedTraversal seems like a huge performance issue
2023-03-11 18:22:34 +0100 <c_wraith> the latter implies Ixed would walk the entire data structure to find the one thing it cares about. Most of the time having an index available should allow you to navigate more directly to your target element
2023-03-11 18:22:40 +0100 <mastarija> c_wraith: yes, I was just talking from the more theoretical point to check if I understood `IndexedTraversal` properly.
2023-03-11 18:23:39 +0100 <mastarija> c_wraith: do you maybe know of an article explaining the `IndexedTraversal`? I'm not really sure how to implement it because I don't quite understand its underlying type.
2023-03-11 18:24:45 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-03-11 18:24:49 +0100 <c_wraith> oh. Implement TraversableWithIndex and let itraversed do the hard work.
2023-03-11 18:25:56 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
2023-03-11 18:26:24 +0100 <mastarija> Hm... problem is, I have this structure, and I want to have an interface for traversing several different things inside of it.
2023-03-11 18:26:38 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2023-03-11 18:26:39 +0100 <mastarija> It's not as clean as a `Map`
2023-03-11 18:27:16 +0100 <mastarija> It's kind of like a collection of points / directed graph. So I want to be able to travere each point individually, and also each edge between the points.
2023-03-11 18:28:59 +0100 <c_wraith> well. If you really want to look at an IndexedTraversal directly, the underlying type is the same as a Traversal, except the function argument is abstracted a bit such that it supports providing an index or not.
2023-03-11 18:29:00 +0100 <mastarija> I guess I could use `newtype` and then hide that with some aux functions...
2023-03-11 18:29:10 +0100 <c_wraith> But yes, that's also a workable solution
2023-03-11 18:29:49 +0100 <c_wraith> You could also look at the definition of itraversed: https://hackage.haskell.org/package/lens-5.2.1/docs/src/Control.Lens.Indexed.html#itraversed
2023-03-11 18:29:49 +0100 <mastarija> Ok, tbh. I haven't even figured out `Traversal`, i've went directly from lenses to `IndexedTraversal` xD
2023-03-11 18:30:04 +0100 <c_wraith> oh, then that doesn't help. :P
2023-03-11 18:30:19 +0100 <mastarija> :)
2023-03-11 18:30:20 +0100 <c_wraith> Uh. Traversal is not directly part of lens.
2023-03-11 18:30:34 +0100 <mastarija> Yes, I've noticed that
2023-03-11 18:30:53 +0100 <c_wraith> Or rather, the lens library is based on a generalization of the ideas of Traversable.
2023-03-11 18:31:15 +0100 <mastarija> More like, I haven't figured out how all of that works together with the lens ecosystem
2023-03-11 18:31:25 +0100 <c_wraith> Ed Kmett once described the paper talking that introduced Traversable as "the old testament of lens"
2023-03-11 18:31:35 +0100 <mastarija> xD
2023-03-11 18:32:07 +0100 <mastarija> I mean, the type matches that of the lenses, and I can combine then easily, so yeah...
2023-03-11 18:32:20 +0100 <mastarija> It was cool when I've noticed it.
2023-03-11 18:32:41 +0100slack1256(~slack1256@186.11.17.85)
2023-03-11 18:33:13 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-03-11 18:33:48 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-03-11 18:33:51 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-03-11 18:34:01 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-03-11 18:34:37 +0100 <c_wraith> It look like if you want to write an IndexedTraversal by hand, the easiest way to do it is to write a normal Traversal and then one specialized to work with indices, then use conjoined to combine them so that instance resolution picks the correct one when needed.
2023-03-11 18:34:38 +0100NiceBird(~NiceBird@185.133.111.196)
2023-03-11 18:35:24 +0100 <c_wraith> Uh, not instance resolution. Type inference in general.
2023-03-11 18:36:05 +0100 <c_wraith> :t conjoined
2023-03-11 18:36:06 +0100 <lambdabot> Conjoined p => ((p ~ (->)) => q (a -> b) r) -> q (p a b) r -> q (p a b) r
2023-03-11 18:36:26 +0100 <c_wraith> that's a very funny type, don't worry about it. :)
2023-03-11 18:37:39 +0100 <c_wraith> as I understand it, the Conjoined class is not theoretically important. rather, it's all the implementation details stuffed together into one big unhappy class.
2023-03-11 18:37:58 +0100slack1256(~slack1256@186.11.17.85) (Ping timeout: 276 seconds)
2023-03-11 18:41:56 +0100econo(uid147250@user/econo)
2023-03-11 18:43:46 +0100 <mastarija> huh...
2023-03-11 18:45:16 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-03-11 18:52:22 +0100pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f)
2023-03-11 18:55:11 +0100Guest3094Sauvin
2023-03-11 19:00:50 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-03-11 19:00:50 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-03-11 19:00:50 +0100wroathe(~wroathe@user/wroathe)
2023-03-11 19:04:49 +0100 <tomsmeding> that is one big set of superclasses
2023-03-11 19:06:23 +0100 <c_wraith> all that's really important about Conjoined is that (->) and (Indexed i) are instances, and they're basically going to be the only two instances ever.
2023-03-11 19:11:56 +0100cheater_(~Username@user/cheater)
2023-03-11 19:12:01 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-03-11 19:12:19 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-03-11 19:13:32 +0100cheater__(~Username@user/cheater)
2023-03-11 19:14:29 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031)
2023-03-11 19:14:32 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-03-11 19:14:38 +0100cheater__cheater
2023-03-11 19:15:21 +0100 <c_wraith> Anyone know if there's an existing package on hackage for working with monads other than IO interactively in ghci?
2023-03-11 19:16:37 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-03-11 19:17:03 +0100cheater_(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-11 19:19:27 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-03-11 19:20:25 +0100 <geekosaur> do you need a package? I thought it worked with any MonadIO
2023-03-11 19:20:43 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-11 19:21:06 +0100 <c_wraith> Oh. Other way around. Like to work with a StateT s IO environment interactively
2023-03-11 19:21:40 +0100 <c_wraith> Or at least, that's the test case I've been using. More practically, things like amazonka
2023-03-11 19:22:53 +0100 <c_wraith> But the important part is that you can run one action at a time and preserve the environment for the next action you might decide to run
2023-03-11 19:23:13 +0100cheater(~Username@user/cheater)
2023-03-11 19:24:10 +0100talismanick(~talismani@2601:200:c000:f7a0::5321) (Remote host closed the connection)
2023-03-11 19:25:02 +0100talismanick(~talismani@2601:200:c000:f7a0::5321)
2023-03-11 19:26:26 +0100Sgeo(~Sgeo@user/sgeo)
2023-03-11 19:26:43 +0100cheater_(~Username@user/cheater)
2023-03-11 19:26:47 +0100Joao003(~Joao003@2804:840:8310:4e00:c922:bc22:56e2:86fd) (Read error: Connection reset by peer)
2023-03-11 19:28:24 +0100cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-03-11 19:28:30 +0100cheater_cheater
2023-03-11 19:29:09 +0100jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-03-11 19:29:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-11 19:34:26 +0100cheater_(~Username@user/cheater)
2023-03-11 19:35:40 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 19:36:03 +0100cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-03-11 19:36:35 +0100cheater(~Username@user/cheater)
2023-03-11 19:37:07 +0100joes(~joes@hardfought/member/joes) (Ping timeout: 276 seconds)
2023-03-11 19:39:28 +0100cheater_(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-11 19:40:32 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2023-03-11 19:43:11 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-11 19:44:04 +0100cheater(~Username@user/cheater)
2023-03-11 19:50:07 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 276 seconds)
2023-03-11 19:51:43 +0100 <Jade[m]1> Is there a haskell WASM compiler?
2023-03-11 19:53:52 +0100 <geekosaur> there's a release candidate for one
2023-03-11 19:54:01 +0100 <geekosaur> and it'[s still considered a tech preview
2023-03-11 19:54:39 +0100 <Jade[m]1> cool, thanks
2023-03-11 19:54:50 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-03-11 19:56:28 +0100 <geekosaur> doesn't look like they have any downloads for one with the wasm backend; you'd have to build ghc from source
2023-03-11 19:59:59 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-11 20:02:12 +0100qy(~ix@213.205.241.172)
2023-03-11 20:06:15 +0100cheater_(~Username@user/cheater)
2023-03-11 20:08:36 +0100ac(~aloiscoch@2001:470:69fc:105::65)
2023-03-11 20:09:32 +0100cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-03-11 20:09:33 +0100cheater_cheater
2023-03-11 20:14:19 +0100qy(~ix@213.205.241.172) (Ping timeout: 248 seconds)
2023-03-11 20:17:09 +0100qy(~ix@213.205.241.172)
2023-03-11 20:21:58 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection)
2023-03-11 20:22:11 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2023-03-11 20:22:11 +0100qy(~ix@213.205.241.172) (Read error: Connection reset by peer)
2023-03-11 20:24:34 +0100euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 276 seconds)
2023-03-11 20:25:19 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-11 20:26:30 +0100 <tomsmeding> c_wraith: if your M is MonadIO, spin up a thread (forkIO) that accepts 'M a' values on a Chan, runs them in the monad, and sends back the 'a' results over a second Chan; then write 'r :: M a -> IO a' that uses the Chans to get a result, then prefix your input with r$
2023-03-11 20:26:52 +0100 <c_wraith> tomsmeding: it's a lot more complicated than that, which I know because I've done it.
2023-03-11 20:27:00 +0100 <tomsmeding> I haven't :p
2023-03-11 20:27:12 +0100 <c_wraith> The question is whether I'm duplicating effort or not
2023-03-11 20:27:25 +0100 <tomsmeding> in two words, what's more complicated?
2023-03-11 20:27:41 +0100 <c_wraith> exceptions; garbagecollection
2023-03-11 20:27:52 +0100 <tomsmeding> I see
2023-03-11 20:28:22 +0100qy(~ix@213.205.241.172)
2023-03-11 20:29:53 +0100sadmax(~user@64.130.91.66)
2023-03-11 20:32:35 +0100 <c_wraith> It was a bizarre amount of work to figure out how to stop the background thread when the function sending stuff to it goes out of scope.
2023-03-11 20:34:32 +0100 <c_wraith> err. becomes unreachable. that's more precise and actually more relevant
2023-03-11 20:42:42 +0100caryhartline(~caryhartl@072-180-197-087.res.spectrum.com)
2023-03-11 20:44:03 +0100son0p(~ff@181.136.122.143)
2023-03-11 20:51:23 +0100sadmax(~user@64.130.91.66) (Remote host closed the connection)
2023-03-11 20:53:30 +0100sadmax(~user@64.130.91.66)
2023-03-11 21:07:09 +0100ikervagyok[m](~ikervagyo@2001:470:69fc:105::2:f119)
2023-03-11 21:12:06 +0100 <carter> finalizers are fun
2023-03-11 21:12:10 +0100 <carter> weak references party!
2023-03-11 21:19:18 +0100euandreh(~Thunderbi@189.6.18.7)
2023-03-11 21:21:14 +0100wroathe(~wroathe@50.205.197.50)
2023-03-11 21:21:14 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2023-03-11 21:21:14 +0100wroathe(~wroathe@user/wroathe)
2023-03-11 21:26:06 +0100wroathe_(~wroathe@50.205.197.50)
2023-03-11 21:27:07 +0100wroathe_(~wroathe@50.205.197.50) (Client Quit)
2023-03-11 21:27:35 +0100 <c_wraith> carter: I'm not actually touching the weak reference. It isn't necessary to keep around. The big issue is that finalizers can run prematurely if attached to regular data types, and that's really bad in this case.
2023-03-11 21:27:46 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-03-11 21:27:57 +0100 <carter> ohhcause worker wrapper stuff?
2023-03-11 21:28:01 +0100 <c_wraith> yep
2023-03-11 21:28:29 +0100 <c_wraith> So I need to insert a reference type in there pecifically to hook the finalizer to. It's weird, but I did check that it works!
2023-03-11 21:28:35 +0100 <c_wraith> *specifically
2023-03-11 21:31:25 +0100 <carter> theres other ways like "touch" or the "with" combinator
2023-03-11 21:31:28 +0100 <carter> but yeah
2023-03-11 21:35:59 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356)
2023-03-11 21:36:38 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-03-11 21:37:41 +0100trev(~trev@user/trev)
2023-03-11 21:41:01 +0100 <c_wraith> I suppose there's a good chance touch# would do what I need, but I worry that it appears completely undocumented.
2023-03-11 21:41:08 +0100mniip_(mniip@libera/staff/mniip)
2023-03-11 21:41:19 +0100ub(~Thunderbi@p200300ecdf0c576826ee66118dae3d0d.dip0.t-ipconnect.de)
2023-03-11 21:41:23 +0100trev(~trev@user/trev) (*.net *.split)
2023-03-11 21:41:23 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356) (*.net *.split)
2023-03-11 21:41:23 +0100cheater(~Username@user/cheater) (*.net *.split)
2023-03-11 21:41:23 +0100vglfr(~vglfr@209.198.138.7) (*.net *.split)
2023-03-11 21:41:23 +0100wootehfoot(~wootehfoo@user/wootehfoot) (*.net *.split)
2023-03-11 21:41:23 +0100jero98772(~jero98772@2800:484:1d80:d8ce:e507:6b15:fde6:a01) (*.net *.split)
2023-03-11 21:41:23 +0100img(~img@user/img) (*.net *.split)
2023-03-11 21:41:23 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2023-03-11 21:41:23 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
2023-03-11 21:41:23 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (*.net *.split)
2023-03-11 21:41:23 +0100Inst(~Inst@2601:6c4:4081:54f0:7095:1969:fc0c:ba25) (*.net *.split)
2023-03-11 21:41:23 +0100lottaquestions(~nick@2607:fa49:503e:7100:dbe0:8110:91f3:4f25) (*.net *.split)
2023-03-11 21:41:23 +0100farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
2023-03-11 21:41:23 +0100stilgart_(~Christoph@chezlefab.net) (*.net *.split)
2023-03-11 21:41:23 +0100lieven(~mal@ns2.wyrd.be) (*.net *.split)
2023-03-11 21:41:23 +0100juri_(~juri@84-19-175-179.pool.ovpn.com) (*.net *.split)
2023-03-11 21:41:23 +0100finsternis(~X@23.226.237.192) (*.net *.split)
2023-03-11 21:41:23 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split)
2023-03-11 21:41:23 +0100xelxebar(~xelxebar@wilsonb.com) (*.net *.split)
2023-03-11 21:41:23 +0100ggranberry(sid267884@id-267884.uxbridge.irccloud.com) (*.net *.split)
2023-03-11 21:41:23 +0100yaroot(~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (*.net *.split)
2023-03-11 21:41:24 +0100mixfix41(~sdenynine@user/mixfix41) (*.net *.split)
2023-03-11 21:41:24 +0100ubert(~Thunderbi@p548c84ba.dip0.t-ipconnect.de) (*.net *.split)
2023-03-11 21:41:24 +0100dminuoso(~dminuoso@user/dminuoso) (*.net *.split)
2023-03-11 21:41:24 +0100micro(~micro@user/micro) (*.net *.split)
2023-03-11 21:41:24 +0100auri(~auri@fsf/member/auri) (*.net *.split)
2023-03-11 21:41:24 +0100Guest975(~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split)
2023-03-11 21:41:24 +0100nek0(~nek0@2a01:4f8:222:2b41::12) (*.net *.split)
2023-03-11 21:41:24 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (*.net *.split)
2023-03-11 21:41:24 +0100geekosaur(~geekosaur@xmonad/geekosaur) (*.net *.split)
2023-03-11 21:41:24 +0100stefan-_(~cri@42dots.de) (*.net *.split)
2023-03-11 21:41:24 +0100mniip(mniip@libera/staff/mniip) (*.net *.split)
2023-03-11 21:41:24 +0100Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split)
2023-03-11 21:41:24 +0100gawen(~gawen@user/gawen) (*.net *.split)
2023-03-11 21:41:24 +0100bjobjo(~bjobjo@user/bjobjo) (*.net *.split)
2023-03-11 21:41:24 +0100voidzero(~voidzero@user/voidzero) (*.net *.split)
2023-03-11 21:41:24 +0100shinjipf(~shinjipf@2a01:4f8:1c1c:c1be::1) (*.net *.split)
2023-03-11 21:41:24 +0100lisq(~quassel@lis.moe) (*.net *.split)
2023-03-11 21:41:24 +0100nshepperd2(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
2023-03-11 21:41:24 +0100Unhammer(~Unhammer@user/unhammer) (*.net *.split)
2023-03-11 21:41:24 +0100Typedfern(~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) (*.net *.split)
2023-03-11 21:41:24 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0) (*.net *.split)
2023-03-11 21:41:24 +0100anderson(~ande@user/anderson) (*.net *.split)
2023-03-11 21:41:24 +0100[Ristovski](~Ristovski@hellomouse/perf/ristovski) (*.net *.split)
2023-03-11 21:41:24 +0100bollu(~bollu@159.65.151.13) (*.net *.split)
2023-03-11 21:41:24 +0100mjacob(~mjacob@adrastea.uberspace.de) (*.net *.split)
2023-03-11 21:41:24 +0100ddb(~ddb@tilde.club) (*.net *.split)
2023-03-11 21:41:24 +0100JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3) (*.net *.split)
2023-03-11 21:41:24 +0100Teacup(~teacup@user/teacup) (*.net *.split)
2023-03-11 21:41:24 +0100cln(cln@wtf.cx) (*.net *.split)
2023-03-11 21:41:24 +0100pierrot(~pi@user/pierrot) (*.net *.split)
2023-03-11 21:41:24 +0100kawen(~quassel@static.208.191.216.95.clients.your-server.de) (*.net *.split)
2023-03-11 21:41:24 +0100bwe(~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
2023-03-11 21:41:24 +0100darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split)
2023-03-11 21:41:24 +0100absence(torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
2023-03-11 21:41:24 +0100madnight(~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split)
2023-03-11 21:41:24 +0100Aleksejs(~Aleksejs@107.170.21.106) (*.net *.split)
2023-03-11 21:41:24 +0100davean(~davean@davean.sciesnet.net) (*.net *.split)
2023-03-11 21:41:24 +0100_________(~nobody@user/noodly) (*.net *.split)
2023-03-11 21:41:24 +0100sm2n(ae95cb1267@user/sm2n) (*.net *.split)
2023-03-11 21:41:24 +0100welterde(welterde@thinkbase.srv.welterde.de) (*.net *.split)
2023-03-11 21:41:24 +0100n1essa(3d621153a5@2604:bf00:561:2000::df7) (*.net *.split)
2023-03-11 21:41:25 +0100ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (*.net *.split)
2023-03-11 21:41:25 +0100fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (*.net *.split)
2023-03-11 21:41:25 +0100henrytill(e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split)
2023-03-11 21:41:25 +0100jkoshy(99b9359beb@user/jkoshy) (*.net *.split)
2023-03-11 21:41:25 +0100probie(cc0b34050a@user/probie) (*.net *.split)
2023-03-11 21:41:25 +0100MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99) (*.net *.split)
2023-03-11 21:41:25 +0100arcadewise(52968ed80d@2604:bf00:561:2000::3df) (*.net *.split)
2023-03-11 21:41:25 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) (*.net *.split)
2023-03-11 21:41:25 +0100jakzale(6291399afa@user/jakzale) (*.net *.split)
2023-03-11 21:41:25 +0100ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split)
2023-03-11 21:41:25 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split)
2023-03-11 21:41:25 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4) (*.net *.split)
2023-03-11 21:41:25 +0100filwisher(2e6936c793@2604:bf00:561:2000::170) (*.net *.split)
2023-03-11 21:41:25 +0100ububert
2023-03-11 21:41:33 +0100lisq(~quassel@lis.moe)
2023-03-11 21:41:35 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667)
2023-03-11 21:41:35 +0100darkling(~darkling@savella.carfax.org.uk)
2023-03-11 21:41:37 +0100juri_(~juri@84-19-175-179.pool.ovpn.com)
2023-03-11 21:41:39 +0100nek0(~nek0@2a01:4f8:222:2b41::12)
2023-03-11 21:41:41 +0100voidzero(~voidzero@backspace.undo.it)
2023-03-11 21:41:41 +0100voidzero(~voidzero@backspace.undo.it) (Changing host)
2023-03-11 21:41:41 +0100voidzero(~voidzero@user/voidzero)
2023-03-11 21:41:42 +0100stilgart(~Christoph@chezlefab.net)
2023-03-11 21:41:43 +0100bjobjo(~bjobjo@user/bjobjo)
2023-03-11 21:41:43 +0100shinjipf(~shinjipf@2a01:4f8:1c1c:c1be::1)
2023-03-11 21:41:43 +0100root__(~m-mzmz6l@vmi833741.contaboserver.net)
2023-03-11 21:41:45 +0100absence(torgeihe@hildring.pvv.ntnu.no)
2023-03-11 21:41:46 +0100ggranberry(sid267884@id-267884.uxbridge.irccloud.com)
2023-03-11 21:41:47 +0100Typedfern(~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net)
2023-03-11 21:41:55 +0100lieven(~mal@ns2.wyrd.be)
2023-03-11 21:41:55 +0100jero98772(~jero98772@2800:484:1d80:d8ce:e507:6b15:fde6:a01)
2023-03-11 21:41:57 +0100farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2023-03-11 21:41:58 +0100Unhammer(~Unhammer@user/unhammer)
2023-03-11 21:42:01 +0100ddb(~ddb@tilde.club)
2023-03-11 21:42:01 +0100cln(~cln@wtf.cx)
2023-03-11 21:42:03 +0100pierrot(~pi@user/pierrot)
2023-03-11 21:42:09 +0100[Ristovski](~Ristovski@hellomouse/perf/ristovski)
2023-03-11 21:42:09 +0100bollu(~bollu@159.65.151.13)
2023-03-11 21:42:13 +0100trev(~trev@109.252.35.99)
2023-03-11 21:42:19 +0100welterde(welterde@thinkbase.srv.welterde.de)
2023-03-11 21:42:20 +0100trev(~trev@109.252.35.99) (Changing host)
2023-03-11 21:42:20 +0100trev(~trev@user/trev)
2023-03-11 21:42:27 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2023-03-11 21:42:33 +0100cheater(~Username@user/cheater)
2023-03-11 21:42:41 +0100stefan-_(~cri@42dots.de)
2023-03-11 21:42:44 +0100xelxebar(~xelxebar@wilsonb.com)
2023-03-11 21:42:44 +0100img(~img@user/img)
2023-03-11 21:42:47 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2023-03-11 21:42:48 +0100kawen(~quassel@static.208.191.216.95.clients.your-server.de)
2023-03-11 21:42:49 +0100auri(~auri@fsf/member/auri)
2023-03-11 21:42:49 +0100Teacup(~teacup@user/teacup)
2023-03-11 21:42:57 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0)
2023-03-11 21:42:58 +0100arcadewise(52968ed80d@2604:bf00:561:2000::3df)
2023-03-11 21:42:58 +0100lottaquestions(~nick@2607:fa49:503e:7100:df4b:8386:5d62:a084)
2023-03-11 21:43:08 +0100madnight(~madnight@static.59.103.201.195.clients.your-server.de)
2023-03-11 21:43:11 +0100yaroot(~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c)
2023-03-11 21:43:11 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2023-03-11 21:43:39 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-11 21:43:44 +0100Aleksejs(~Aleksejs@107.170.21.106)
2023-03-11 21:43:44 +0100gawen(~gawen@user/gawen)
2023-03-11 21:43:50 +0100filwisher(2e6936c793@2604:bf00:561:2000::170)
2023-03-11 21:43:51 +0100ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2023-03-11 21:43:51 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2023-03-11 21:43:55 +0100shreyasminocha(51fdc93eda@user/shreyasminocha)
2023-03-11 21:44:03 +0100JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3)
2023-03-11 21:44:03 +0100henrytill(e0180937c3@2604:bf00:561:2000::e8c)
2023-03-11 21:44:03 +0100fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2023-03-11 21:44:03 +0100ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2023-03-11 21:44:03 +0100probie(cc0b34050a@user/probie)
2023-03-11 21:44:09 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4)
2023-03-11 21:44:09 +0100jakzale(6291399afa@user/jakzale)
2023-03-11 21:44:10 +0100anderson(~ande@user/anderson)
2023-03-11 21:44:17 +0100vglfr(~vglfr@209.198.138.7)
2023-03-11 21:44:19 +0100nshepperd2(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2023-03-11 21:44:20 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2023-03-11 21:44:20 +0100davean(~davean@davean.sciesnet.net)
2023-03-11 21:44:21 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-03-11 21:44:45 +0100dminuoso(~dminuoso@user/dminuoso)
2023-03-11 21:45:02 +0100bwe(~bwe@2a01:4f8:1c1c:4878::2)
2023-03-11 21:45:02 +0100_________(~nobody@user/noodly)
2023-03-11 21:45:09 +0100sm2n(ae95cb1267@user/sm2n)
2023-03-11 21:45:34 +0100MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99)
2023-03-11 21:45:51 +0100jkoshy(99b9359beb@user/jkoshy)
2023-03-11 21:46:31 +0100micro(micro@user/micro)
2023-03-11 21:46:33 +0100mjacob(~mjacob@adrastea.uberspace.de)
2023-03-11 21:46:41 +0100Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com)
2023-03-11 21:46:46 +0100 <carter> touch and with just are "THIS ISNT DEAD YET"
2023-03-11 21:46:49 +0100finsternis(~X@23.226.237.192)
2023-03-11 21:47:09 +0100 <carter> bugs with them would be like "P1 mayday"
2023-03-11 21:47:17 +0100 <carter> not quite "we mix up registers when we shouldn't"
2023-03-11 21:47:18 +0100 <carter> but up there
2023-03-11 21:47:36 +0100 <c_wraith> I don't see those outside of ForeignPtr-specific stuff
2023-03-11 21:47:45 +0100 <c_wraith> And that primop which is undocumented
2023-03-11 21:47:58 +0100 <carter> foreign ptrs are just ptrs paired witha finalizier
2023-03-11 21:48:17 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-03-11 21:48:18 +0100 <c_wraith> well. a list of finalizers.
2023-03-11 21:48:20 +0100pavonia(~user@user/siracusa)
2023-03-11 21:49:38 +0100 <c_wraith> also, apparently it's not great to use and I should be looking at keepAlive# instead? https://www.haskell.org/ghc/blog/20210607-the-keepAlive-story.html
2023-03-11 21:49:45 +0100 <carter> yes
2023-03-11 21:49:48 +0100 <carter> thats the new one
2023-03-11 21:49:51 +0100 <carter> i meant when i said with
2023-03-11 21:49:55 +0100MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Quit: WeeChat 3.6)
2023-03-11 21:50:47 +0100 <carter> theres a long and storied history of primops need state token passing to not get moved around :)
2023-03-11 21:54:05 +0100EsoAlgo8(~EsoAlgo@129.146.136.145) (Remote host closed the connection)
2023-03-11 21:54:24 +0100 <c_wraith> oh. that section on where touch# fails is very well-written. A good example showing how two things that seem obviously correct are obviously not correct when combined together
2023-03-11 21:56:06 +0100EsoAlgo8(~EsoAlgo@129.146.136.145)
2023-03-11 21:56:16 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-03-11 21:56:36 +0100root__root
2023-03-11 21:57:06 +0100rootGuest2579
2023-03-11 21:57:33 +0100NiceBird(~NiceBird@185.133.111.196) (Quit: Leaving)
2023-03-11 21:57:53 +0100n1essa(3d621153a5@2604:bf00:561:2000::df7)
2023-03-11 21:59:21 +0100slack1256(~slack1256@191.125.99.77)
2023-03-11 22:00:26 +0100bramhaag(~bramhaag@134.195.121.39) (Remote host closed the connection)
2023-03-11 22:00:40 +0100bramhaag(~bramhaag@134.195.121.39)
2023-03-11 22:01:14 +0100 <talismanick> On a scale of 1 to 10, how janky is xmonad-style hotswapping for Haskell?
2023-03-11 22:01:36 +0100welterde(welterde@thinkbase.srv.welterde.de) (Quit: WeeChat 3.0.1)
2023-03-11 22:01:48 +0100welterde(welterde@thinkbase.srv.welterde.de)
2023-03-11 22:03:13 +0100 <ac> talismanick: what do you mean by hotswapping?
2023-03-11 22:03:25 +0100 <talismanick> or Lambdabot for that matter - the 2005 paper I just read was about Lambdabot and the Yi editor
2023-03-11 22:03:45 +0100 <talismanick> ac: injecting new code into a running application
2023-03-11 22:03:54 +0100 <c_wraith> lambdabot and xmonad work a lot differently
2023-03-11 22:04:08 +0100 <talismanick> Oh?
2023-03-11 22:04:09 +0100 <geekosaur> xmonad doesn't actually do that, it re-`exec()`s itself
2023-03-11 22:04:10 +0100 <c_wraith> xmonad recompiles itself, quits, and restarts
2023-03-11 22:04:14 +0100 <ac> talismanick: could you please share a link to that paper? curious to look at it
2023-03-11 22:04:28 +0100 <talismanick> "Dynamic Applications From the Ground Up"
2023-03-11 22:04:30 +0100 <c_wraith> lambdabot runs an external process that interprets the code
2023-03-11 22:04:41 +0100 <talismanick> 2005, Stewart & Chakravarty
2023-03-11 22:04:42 +0100 <ac> talismanick: ty
2023-03-11 22:05:28 +0100 <c_wraith> admittedly, what that external process does is roughly what you'd do for dynamic code execution at run time.
2023-03-11 22:05:29 +0100 <talismanick> Claiming a hotswappable Haskell editor outstrips Emacs in dynamicity is... a bold thesis, to say the least
2023-03-11 22:07:16 +0100 <ac> talismanick: what aspect of dynamicity do you have in mind here? that sounds like a reasonable approach to build a dynamic editor
2023-03-11 22:08:26 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-03-11 22:08:27 +0100 <c_wraith> Hmm. My code is in the neighborhood that touch# can fail in. As I don't want to commit to GHC 9+ yet, I'm sticking with using a reference to attach the finalizer to.
2023-03-11 22:08:56 +0100jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-03-11 22:10:16 +0100 <talismanick> ac: so, they claim on pg1 that they've outdone Emacs in dynamicity because the core of Emacs is C for basic editing notions (buffers management, Emacs Lisp interpretation, etc) but their style of application building defines the minimum because it's only the "stub" needed to load the rest
2023-03-11 22:10:24 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-03-11 22:11:37 +0100 <talismanick> Although, I've always thought of one of Emacs's strengths as deriving from a very Lisp property: that the notation for code and data are the same, so your config file is a(nother) Lisp program itself
2023-03-11 22:11:59 +0100 <mauke> that's true for all programming languages
2023-03-11 22:12:06 +0100 <mauke> every source file is data
2023-03-11 22:12:22 +0100 <talismanick> In the sense of stringly-typed data, perhaps...
2023-03-11 22:12:58 +0100 <ac> talismanick: in my opinion, the main issue to achieve such dynamicity is the lack of an efficient just in time VM for language with non-strict evaluation
2023-03-11 22:13:00 +0100slac78761(~slack1256@186.11.43.38)
2023-03-11 22:13:38 +0100 <talismanick> Online partial evaluation then, maybe?
2023-03-11 22:13:38 +0100 <ac> talismanick: without that, I agree it's an overstatement to say that such approach does cover the full range of dynamicity offered by lisp and its family
2023-03-11 22:15:10 +0100slack1256(~slack1256@191.125.99.77) (Ping timeout: 252 seconds)
2023-03-11 22:16:26 +0100 <ac> talismanick: I did not know about such evalutation strategy, but after checking the abstract and the basic algebra of "Tutorial on Online Partial Evaluation" by William R. Cook and Ralf Lämmel... yeah I think you are spot on.
2023-03-11 22:16:43 +0100EsoAlgo8(~EsoAlgo@129.146.136.145) (Remote host closed the connection)
2023-03-11 22:18:13 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-03-11 22:18:24 +0100slac78761slack1256
2023-03-11 22:18:43 +0100EsoAlgo8(~EsoAlgo@129.146.136.145)
2023-03-11 22:18:57 +0100 <ac> that's a neat trick, thanks for sharing talismanick
2023-03-11 22:22:17 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-03-11 22:23:45 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-11 22:24:04 +0100 <talismanick> :)
2023-03-11 22:24:49 +0100cheater(~Username@user/cheater) (Ping timeout: 276 seconds)
2023-03-11 22:25:01 +0100cheater(~Username@user/cheater)
2023-03-11 22:27:12 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-03-11 22:30:40 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 276 seconds)
2023-03-11 22:32:54 +0100wroathe(~wroathe@50.205.197.50)
2023-03-11 22:32:54 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2023-03-11 22:32:54 +0100wroathe(~wroathe@user/wroathe)
2023-03-11 22:46:47 +0100qy(~ix@213.205.241.172) (Ping timeout: 268 seconds)
2023-03-11 22:52:27 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-03-11 22:54:10 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-03-11 23:00:34 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 276 seconds)
2023-03-11 23:00:34 +0100bramhaag(~bramhaag@134.195.121.39) (Remote host closed the connection)
2023-03-11 23:00:46 +0100bramhaag(~bramhaag@134.195.121.39)
2023-03-11 23:04:08 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-11 23:06:13 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-11 23:06:19 +0100EsoAlgo8(~EsoAlgo@129.146.136.145) (Remote host closed the connection)
2023-03-11 23:07:26 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
2023-03-11 23:08:18 +0100EsoAlgo8(~EsoAlgo@129.146.136.145)
2023-03-11 23:10:01 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-03-11 23:10:04 +0100caryhartline(~caryhartl@072-180-197-087.res.spectrum.com) (Quit: caryhartline)
2023-03-11 23:10:50 +0100qy(~ix@213.205.241.172)
2023-03-11 23:15:23 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-11 23:16:40 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-03-11 23:19:09 +0100EsoAlgo8(~EsoAlgo@129.146.136.145) (Remote host closed the connection)
2023-03-11 23:21:10 +0100EsoAlgo8(~EsoAlgo@129.146.136.145)
2023-03-11 23:26:27 +0100polyphem_(~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Quit: WeeChat 3.7.1)
2023-03-11 23:38:35 +0100mechap(~mechap@user/mechap) (Ping timeout: 248 seconds)
2023-03-11 23:40:36 +0100mechap(~mechap@user/mechap)
2023-03-11 23:44:13 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2023-03-11 23:44:13 +0100jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2023-03-11 23:45:51 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-03-11 23:53:04 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-03-11 23:54:03 +0100qy(~ix@213.205.241.172) (Ping timeout: 250 seconds)
2023-03-11 23:54:04 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-03-11 23:54:04 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-03-11 23:54:04 +0100wroathe(~wroathe@user/wroathe)
2023-03-11 23:56:22 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)