| 2023-03-11 00:00:40 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) |
| 2023-03-11 00:00:41 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-11 00:01:07 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-11 00:01:59 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-11 00:06:30 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-03-11 00:07:11 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-11 00:12:19 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-03-11 00:17:04 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-03-11 00:18:08 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2023-03-11 00:18:45 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Quit: ZZZzzz…) |
| 2023-03-11 00:21:50 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-03-11 00:22:41 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) |
| 2023-03-11 00:26:26 +0100 | mastarija | (~mastarija@188.252.197.7) (Quit: WeeChat 3.7.1) |
| 2023-03-11 00:27:12 +0100 | pwntips | (~user@24-113-98-114.wavecable.com) (Ping timeout: 255 seconds) |
| 2023-03-11 00:30:19 +0100 | bgs | (~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 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-03-11 00:41:18 +0100 | Lumia | (~Lumia@user/Lumia) |
| 2023-03-11 00:42:11 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-03-11 00:42:41 +0100 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-03-11 00:46:05 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-03-11 00:46:37 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) |
| 2023-03-11 00:49:23 +0100 | manwithluck | (~manwithlu@hoeven.dossingday.ml) |
| 2023-03-11 00:50:03 +0100 | manwithl- | (~manwithlu@2406:da14:b37:1300:8c42:7d16:8950:6c74) (Ping timeout: 255 seconds) |
| 2023-03-11 00:52:24 +0100 | vglfr | (~vglfr@209.198.138.7) (Ping timeout: 255 seconds) |
| 2023-03-11 00:54:27 +0100 | vglfr | (~vglfr@209.198.138.7) |
| 2023-03-11 00:57:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-03-11 00:58:04 +0100 | pwntips | (~user@24-113-98-114.wavecable.com) |
| 2023-03-11 00:58:55 +0100 | acidjnk_new | (~acidjnk@p200300d6e715c453151e77c9b880b4dd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-03-11 00:59:41 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Quit: WeeChat 3.6) |
| 2023-03-11 01:05:00 +0100 | MacSlow | (~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 +0100 | Albina_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 +0100 | Albina_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 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Client Quit) |
| 2023-03-11 01:25:30 +0100 | freeside | (~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 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) |
| 2023-03-11 01:28:57 +0100 | Albina_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 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-03-11 01:30:31 +0100 | zmt01 | (~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 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-03-11 01:33:34 +0100 | use-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 +0100 | Albina_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 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 255 seconds) |
| 2023-03-11 01:34:56 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Client Quit) |
| 2023-03-11 01:35:30 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) |
| 2023-03-11 01:40:43 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2023-03-11 01:40:43 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2023-03-11 01:41:54 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-03-11 01:45:15 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Quit: ZZZzzz…) |
| 2023-03-11 01:47:57 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) |
| 2023-03-11 01:59:54 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-03-11 02:00:19 +0100 | mauke_ | (~mauke@user/mauke) |
| 2023-03-11 02:02:09 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 255 seconds) |
| 2023-03-11 02:02:10 +0100 | mauke_ | mauke |
| 2023-03-11 02:05:53 +0100 | Albina_Pavlovna | (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Quit: bb) |
| 2023-03-11 02:11:08 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-03-11 02:16:00 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2023-03-11 02:16:28 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-11 02:16:28 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-11 02:16:28 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-11 02:17:17 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-03-11 02:17:28 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-11 02:22:24 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-03-11 02:27:31 +0100 | vglfr | (~vglfr@209.198.138.7) (Ping timeout: 276 seconds) |
| 2023-03-11 02:32:11 +0100 | Lumia | (~Lumia@user/Lumia) (Ping timeout: 255 seconds) |
| 2023-03-11 02:34:28 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-03-11 02:34:46 +0100 | califax | (~califax@user/califx) |
| 2023-03-11 02:36:23 +0100 | <MacSlow> | bbl |
| 2023-03-11 02:36:25 +0100 | MacSlow | (~MacSlow@p57bb2fc5.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-03-11 02:41:51 +0100 | vglfr | (~vglfr@209.198.138.7) |
| 2023-03-11 02:48:43 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-11 02:53:31 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-03-11 02:55:18 +0100 | slack1256 | (~slack1256@186.11.17.85) |
| 2023-03-11 03:00:31 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-03-11 03:02:17 +0100 | razetime | (~Thunderbi@117.193.5.173) |
| 2023-03-11 03:08:02 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-11 03:12:39 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2023-03-11 03:13:01 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-03-11 03:15:54 +0100 | razetime | (~Thunderbi@117.193.5.173) (Quit: See You Space Cowboy) |
| 2023-03-11 03:25:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2023-03-11 03:26:19 +0100 | Lord_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 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-03-11 03:39:48 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-03-11 03:45:05 +0100 | Lumia | (~Lumia@user/Lumia) |
| 2023-03-11 03:48:44 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-11 03:50:23 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-03-11 03:53:17 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-11 03:53:58 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-03-11 03:57:49 +0100 | roconnor | (~quassel@coq/roconnor) () |
| 2023-03-11 03:59:11 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-11 03:59:11 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-11 03:59:11 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-11 04:02:09 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-11 04:02:32 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-03-11 04:02:32 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-03-11 04:02:32 +0100 | finn_elija | FinnElija |
| 2023-03-11 04:06:48 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-03-11 04:15:20 +0100 | gastus_ | (~gastus@5.83.191.21) |
| 2023-03-11 04:15:23 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-03-11 04:16:59 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2023-03-11 04:17:23 +0100 | talismanick | (~talismani@2601:200:c000:f7a0::5321) |
| 2023-03-11 04:18:30 +0100 | gastus | (~gastus@5.83.191.20) (Ping timeout: 255 seconds) |
| 2023-03-11 04:18:59 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-11 04:19:14 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-03-11 04:25:16 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-03-11 04:26:39 +0100 | td_ | (~td@i53870929.versanet.de) (Ping timeout: 268 seconds) |
| 2023-03-11 04:27:58 +0100 | td_ | (~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 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 2023-03-11 04:35:20 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-03-11 04:35:33 +0100 | xff0x | (~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 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-03-11 04:41:54 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 255 seconds) |
| 2023-03-11 04:42:43 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2023-03-11 04:43:46 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7d0a:21b:da04:25b8) |
| 2023-03-11 04:51:25 +0100 | cassiopea | (~cassiopea@user/cassiopea) |
| 2023-03-11 04:51:57 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-03-11 04:51:57 +0100 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-03-11 04:52:42 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-03-11 05:00:34 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-03-11 05:00:34 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-03-11 05:00:34 +0100 | finn_elija | FinnElija |
| 2023-03-11 05:00:34 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Read error: Connection reset by peer) |
| 2023-03-11 05:00:49 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-11 05:01:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7d0a:21b:da04:25b8) (Ping timeout: 248 seconds) |
| 2023-03-11 05:01:39 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-03-11 05:12:46 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-11 05:20:06 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-11 05:21:43 +0100 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 276 seconds) |
| 2023-03-11 05:23:39 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-03-11 05:23:57 +0100 | irrgit__ | (~irrgit@176.113.74.138) (Remote host closed the connection) |
| 2023-03-11 05:24:39 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-03-11 05:27:32 +0100 | irrgit__ | (~irrgit@89.47.234.74) |
| 2023-03-11 05:27:44 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 248 seconds) |
| 2023-03-11 05:38:00 +0100 | Lumia | (~Lumia@user/Lumia) (Ping timeout: 260 seconds) |
| 2023-03-11 05:44:04 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-11 05:46:01 +0100 | Lumia | (~Lumia@user/Lumia) |
| 2023-03-11 05:51:37 +0100 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-03-11 06:18:03 +0100 | thegeekinside | (~thegeekin@189.141.115.134) (Ping timeout: 248 seconds) |
| 2023-03-11 06:22:24 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-03-11 06:30:12 +0100 | Lumia | (~Lumia@user/Lumia) (Quit: ,-) |
| 2023-03-11 06:37:21 +0100 | <Inst__> | is there any research |
| 2023-03-11 06:37:35 +0100 | Inst__ | 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 +0100 | merijn | (~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 +0100 | raym | (~ray@user/raym) (Quit: kernel update, rebooting...) |
| 2023-03-11 07:03:12 +0100 | machinedgod | (~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 +0100 | vernorvintage | (~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 +0100 | son0p | (~ff@181.136.122.143) (Ping timeout: 248 seconds) |
| 2023-03-11 07:23:55 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-03-11 07:38:03 +0100 | trev | (~trev@user/trev) |
| 2023-03-11 07:39:35 +0100 | manwithluck | (~manwithlu@hoeven.dossingday.ml) (Quit: ZNC - https://znc.in) |
| 2023-03-11 07:39:50 +0100 | manwithluck | (manwithluc@hoeven.dossingday.ml) |
| 2023-03-11 07:40:29 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-03-11 07:54:15 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-11 07:54:49 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-03-11 07:56:05 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-11 07:57:33 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-11 07:57:40 +0100 | cheater__ | cheater |
| 2023-03-11 07:58:13 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-11 07:59:27 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-11 08:00:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-11 08:44:06 +0100 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-03-11 08:44:09 +0100 | Axma26687 | (~Axman6@user/axman6) |
| 2023-03-11 08:44:30 +0100 | Bocaneri | Guest3094 |
| 2023-03-11 08:45:36 +0100 | Sauvin | (~sauvin@user/Sauvin) (Read error: Connection reset by peer) |
| 2023-03-11 08:45:48 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-03-11 08:46:03 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2023-03-11 08:51:36 +0100 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2023-03-11 08:52:26 +0100 | slack1256 | (~slack1256@186.11.17.85) (Ping timeout: 268 seconds) |
| 2023-03-11 08:53:43 +0100 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2023-03-11 09:00:02 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-03-11 09:01:43 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 2023-03-11 09:01:45 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 2023-03-11 09:02:13 +0100 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-03-11 09:06:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-11 09:08:33 +0100 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-03-11 09:13:01 +0100 | tzh | (~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 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-11 09:20:05 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-03-11 09:20:24 +0100 | califax | (~califax@user/califx) |
| 2023-03-11 09:23:55 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-03-11 09:24:11 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-03-11 09:26:48 +0100 | img | (~img@user/img) |
| 2023-03-11 09:27:44 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-03-11 09:33:02 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-03-11 09:33:24 +0100 | califax | (~califax@user/califx) |
| 2023-03-11 09:50:46 +0100 | acidjnk_new | (~acidjnk@p200300d6e715c48418cb99816a46cc8f.dip0.t-ipconnect.de) |
| 2023-03-11 09:56:03 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-11 09:57:22 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-03-11 10:00:11 +0100 | ajf___[m] | (~ajfmatrix@2001:470:69fc:105::2:5be3) (Quit: You have been kicked for being idle) |
| 2023-03-11 10:02:39 +0100 | biberu | (~biberu@user/biberu) |
| 2023-03-11 10:06:22 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-03-11 10:07:06 +0100 | sus0 | (zero@user/zeromomentum) |
| 2023-03-11 10:17:19 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-03-11 10:20:35 +0100 | mei | (~mei@user/mei) |
| 2023-03-11 10:24:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-11 10:31:26 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2023-03-11 10:31:49 +0100 | jrm | (~jrm@user/jrm) |
| 2023-03-11 10:39:16 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-11 10:43:28 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-03-11 10:45:11 +0100 | Axma26687 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2023-03-11 10:51:43 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2023-03-11 10:59:28 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-03-11 10:59:40 +0100 | razetime | (~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 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-03-11 11:26:14 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-03-11 11:38:22 +0100 | razetime | (~Thunderbi@117.193.6.165) (Remote host closed the connection) |
| 2023-03-11 11:39:11 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-11 11:41:23 +0100 | freeside | (~mengwong@122.11.212.91) |
| 2023-03-11 11:44:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:605c:57fb:61f1:1248) |
| 2023-03-11 11:44:38 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-03-11 11:47:34 +0100 | Guest7045 | (~Guest70@176.221.171.242) |
| 2023-03-11 11:47:46 +0100 | Guest7045 | (~Guest70@176.221.171.242) () |
| 2023-03-11 11:49:00 +0100 | eggplantade | (~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 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 2023-03-11 11:59:56 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2023-03-11 12:01:17 +0100 | freeside | (~mengwong@122.11.212.91) (Read error: Connection reset by peer) |
| 2023-03-11 12:04:09 +0100 | mechap | (~mechap@user/mechap) |
| 2023-03-11 12:11:04 +0100 | mastarija | (~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 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 255 seconds) |
| 2023-03-11 12:38:48 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-03-11 12:40:30 +0100 | chomwitt | (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) |
| 2023-03-11 12:41:31 +0100 | acidjnk_new | (~acidjnk@p200300d6e715c48418cb99816a46cc8f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-03-11 12:41:44 +0100 | mastarija | (~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 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-03-11 12:45:44 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356) |
| 2023-03-11 12:47:39 +0100 | mechap | (~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 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356) (Ping timeout: 255 seconds) |
| 2023-03-11 12:51:33 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-03-11 12:53:03 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-03-11 12:53:59 +0100 | Joao003 | (~Joao003@2804:840:8310:4e00:c922:bc22:56e2:86fd) |
| 2023-03-11 12:55:59 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-11 12:59:06 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-03-11 12:59:19 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2023-03-11 13:10:17 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-03-11 13:15:28 +0100 | mastarija | (~mastarija@188.252.199.128) |
| 2023-03-11 13:17:44 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 2023-03-11 13:18:09 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-11 13:20:27 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-11 13:20:35 +0100 | cheater_ | cheater |
| 2023-03-11 13:22:46 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 2023-03-11 13:22:51 +0100 | freeside | (~mengwong@122.11.214.10) |
| 2023-03-11 13:23:02 +0100 | mastarija | (~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 +0100 | tubogram44 | (~tubogram@user/tubogram) (Quit: See ya later!) |
| 2023-03-11 13:28:15 +0100 | freeside | (~mengwong@122.11.214.10) (Read error: Connection reset by peer) |
| 2023-03-11 13:29:31 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-03-11 13:30:46 +0100 | tubogram44 | (~tubogram@user/tubogram) |
| 2023-03-11 13:33:41 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-11 13:33:47 +0100 | <Hecate> | never |
| 2023-03-11 13:34:51 +0100 | qy | (~ix@213.205.241.172) |
| 2023-03-11 13:35:40 +0100 | qy | (~ix@213.205.241.172) (Read error: Connection reset by peer) |
| 2023-03-11 13:37:04 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-11 13:37:07 +0100 | cheater_ | cheater |
| 2023-03-11 13:37:57 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2023-03-11 13:38:14 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2023-03-11 13:38:18 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-03-11 13:38:58 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2023-03-11 13:40:16 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 2023-03-11 13:40:17 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 2023-03-11 13:41:05 +0100 | qy | (~ix@213.205.241.172) |
| 2023-03-11 13:43:23 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:e507:6b15:fde6:a01) |
| 2023-03-11 13:44:18 +0100 | tubogram44 | (~tubogram@user/tubogram) (Quit: See ya later!) |
| 2023-03-11 13:46:07 +0100 | qy | (~ix@213.205.241.172) (Read error: Connection reset by peer) |
| 2023-03-11 13:46:39 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-11 13:52:17 +0100 | qy | (~ix@213.205.241.172) |
| 2023-03-11 13:57:24 +0100 | qy | (~ix@213.205.241.172) (Read error: Connection reset by peer) |
| 2023-03-11 13:58:18 +0100 | gurkengl1s | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-03-11 13:58:18 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-03-11 13:58:45 +0100 | tubogram44 | (~tubogram@user/tubogram) |
| 2023-03-11 13:59:44 +0100 | gurkenglas | (~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de) |
| 2023-03-11 13:59:48 +0100 | gurkengl1s | (~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de) |
| 2023-03-11 14:03:43 +0100 | qy | (~ix@213.205.241.172) |
| 2023-03-11 14:05:47 +0100 | qy | (~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 +0100 | qy | (~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 +0100 | qy | (~ix@213.205.241.172) (Ping timeout: 276 seconds) |
| 2023-03-11 14:29:59 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) |
| 2023-03-11 14:30:03 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Client Quit) |
| 2023-03-11 14:30:33 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) |
| 2023-03-11 14:34:34 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-11 14:44:43 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Ping timeout: 252 seconds) |
| 2023-03-11 14:46:10 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) |
| 2023-03-11 14:51:02 +0100 | vglfr | (~vglfr@209.198.138.7) (Read error: Connection reset by peer) |
| 2023-03-11 14:52:31 +0100 | vglfr | (~vglfr@209.198.138.7) |
| 2023-03-11 14:52:31 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Ping timeout: 248 seconds) |
| 2023-03-11 14:57:58 +0100 | NiceBird | (~NiceBird@185.133.111.196) (Quit: Leaving) |
| 2023-03-11 15:06:05 +0100 | polyphem_ | (~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 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-03-11 15:14:49 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-03-11 15:16:37 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds) |
| 2023-03-11 15:39:42 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-03-11 15:43:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-11 15:45:37 +0100 | vglfr | (~vglfr@209.198.138.7) (Read error: Connection reset by peer) |
| 2023-03-11 15:46:16 +0100 | vglfr | (~vglfr@209.198.138.7) |
| 2023-03-11 15:51:14 +0100 | acidjnk_new | (~acidjnk@p200300d6e715c4844872eb3a15c09e4f.dip0.t-ipconnect.de) |
| 2023-03-11 15:52:47 +0100 | euandreh1 | (~Thunderbi@189.6.18.7) |
| 2023-03-11 15:53:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-11 15:54:51 +0100 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 268 seconds) |
| 2023-03-11 15:54:52 +0100 | euandreh1 | euandreh |
| 2023-03-11 15:55:30 +0100 | ddellacosta | (~ddellacos@146.70.165.157) (Quit: WeeChat 3.8) |
| 2023-03-11 15:56:43 +0100 | ddellacosta | (~ddellacos@146.70.165.157) |
| 2023-03-11 15:57:08 +0100 | Joao003 | (~Joao003@2804:840:8310:4e00:c922:bc22:56e2:86fd) (Quit: Leaving) |
| 2023-03-11 16:00:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-03-11 16:00:25 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-11 16:00:38 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-11 16:01:30 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-03-11 16:02:55 +0100 | msavoritias | (cb716af6b3@irc.cheogram.com) |
| 2023-03-11 16:03:50 +0100 | mechap | (~mechap@user/mechap) |
| 2023-03-11 16:06:22 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-11 16:08:55 +0100 | coot | (~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 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-03-11 16:15:36 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-03-11 16:19:23 +0100 | <hammond> | im interested in coding something in haskell |
| 2023-03-11 16:19:31 +0100 | emmanuelux | (~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 +0100 | joes | (~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 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-03-11 16:26:51 +0100 | maroloccio | (~marolocci@90.167.243.161) |
| 2023-03-11 16:26:54 +0100 | sm | uses 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 +0100 | Nosrep | (~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 +0100 | gehmehgeh | gmg |
| 2023-03-11 16:35:32 +0100 | freeside | (~mengwong@103.252.202.85) |
| 2023-03-11 16:48:43 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356) |
| 2023-03-11 16:49:39 +0100 | trev | (~trev@user/trev) |
| 2023-03-11 16:49:41 +0100 | maroloccio | (~marolocci@90.167.243.161) (Quit: WeeChat 3.7.1) |
| 2023-03-11 16:50:55 +0100 | gurkengl1s | (~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-03-11 16:50:56 +0100 | gurkenglas | (~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-03-11 16:51:34 +0100 | vernorvintage | (~maxsu@wsip-24-120-138-106.lv.lv.cox.net) (Read error: Connection reset by peer) |
| 2023-03-11 16:52:43 +0100 | gurkenglas | (~gurkengla@dynamic-089-015-236-016.89.15.236.pool.telefonica.de) |
| 2023-03-11 16:53:01 +0100 | gurkengl1s | (~gurkengla@89.15.236.16) |
| 2023-03-11 16:53:30 +0100 | eggplantade | (~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 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-11 17:00:42 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-11 17:01:43 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-03-11 17:04:20 +0100 | jespada | (~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 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-11 17:05:31 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:3ca7:d087:3205:3c69) (Ping timeout: 252 seconds) |
| 2023-03-11 17:06:35 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
| 2023-03-11 17:08:40 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-11 17:09:35 +0100 | machinedgod | (~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 +0100 | trev | (~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 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2023-03-11 17:16:32 +0100 | cheater | (~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 +0100 | cheater_ | (~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 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-11 17:22:42 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-11 17:22:44 +0100 | cheater__ | cheater |
| 2023-03-11 17:23:59 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-11 17:27:28 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-03-11 17:27:47 +0100 | adanwan | (~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 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-03-11 17:33:39 +0100 | Nosrep | (~Nosrep@user/nosrep) (Ping timeout: 255 seconds) |
| 2023-03-11 17:34:40 +0100 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-03-11 17:39:30 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-03-11 17:47:33 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-03-11 17:53:33 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2023-03-11 17:56:30 +0100 | mastarija | (~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 +0100 | hugo | (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 +0100 | Joao003 | (~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 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2023-03-11 18:10:44 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer) |
| 2023-03-11 18:11:09 +0100 | Raito_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 +0100 | pavonia | (~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 +0100 | Raito_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 +0100 | Raito_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 +0100 | slack1256 | (~slack1256@186.11.17.85) |
| 2023-03-11 18:33:13 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-03-11 18:33:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-03-11 18:33:51 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-03-11 18:34:01 +0100 | waleee | (~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 +0100 | NiceBird | (~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 +0100 | slack1256 | (~slack1256@186.11.17.85) (Ping timeout: 276 seconds) |
| 2023-03-11 18:41:56 +0100 | econo | (uid147250@user/econo) |
| 2023-03-11 18:43:46 +0100 | <mastarija> | huh... |
| 2023-03-11 18:45:16 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-03-11 18:52:22 +0100 | pareto-optimal-d | (~pareto-op@2001:470:69fc:105::1:b61f) |
| 2023-03-11 18:55:11 +0100 | Guest3094 | Sauvin |
| 2023-03-11 19:00:50 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-11 19:00:50 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-11 19:00:50 +0100 | wroathe | (~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 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-11 19:12:01 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-03-11 19:12:19 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-03-11 19:13:32 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-11 19:14:29 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) |
| 2023-03-11 19:14:32 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-11 19:14:38 +0100 | cheater__ | 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 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-03-11 19:17:03 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-11 19:19:27 +0100 | eggplantade | (~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 +0100 | cheater | (~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 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-11 19:24:10 +0100 | talismanick | (~talismani@2601:200:c000:f7a0::5321) (Remote host closed the connection) |
| 2023-03-11 19:25:02 +0100 | talismanick | (~talismani@2601:200:c000:f7a0::5321) |
| 2023-03-11 19:26:26 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-11 19:26:43 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-11 19:26:47 +0100 | Joao003 | (~Joao003@2804:840:8310:4e00:c922:bc22:56e2:86fd) (Read error: Connection reset by peer) |
| 2023-03-11 19:28:24 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-11 19:28:30 +0100 | cheater_ | cheater |
| 2023-03-11 19:29:09 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-03-11 19:29:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-11 19:34:26 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-11 19:35:40 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-11 19:36:03 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-11 19:36:35 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-11 19:37:07 +0100 | joes | (~joes@hardfought/member/joes) (Ping timeout: 276 seconds) |
| 2023-03-11 19:39:28 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-11 19:40:32 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-03-11 19:43:11 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-11 19:44:04 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-11 19:50:07 +0100 | wroathe | (~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 +0100 | trev | (~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 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-11 20:02:12 +0100 | qy | (~ix@213.205.241.172) |
| 2023-03-11 20:06:15 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-11 20:08:36 +0100 | ac | (~aloiscoch@2001:470:69fc:105::65) |
| 2023-03-11 20:09:32 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-11 20:09:33 +0100 | cheater_ | cheater |
| 2023-03-11 20:14:19 +0100 | qy | (~ix@213.205.241.172) (Ping timeout: 248 seconds) |
| 2023-03-11 20:17:09 +0100 | qy | (~ix@213.205.241.172) |
| 2023-03-11 20:21:58 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2023-03-11 20:22:11 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-03-11 20:22:11 +0100 | qy | (~ix@213.205.241.172) (Read error: Connection reset by peer) |
| 2023-03-11 20:24:34 +0100 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 276 seconds) |
| 2023-03-11 20:25:19 +0100 | L29Ah | (~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 +0100 | qy | (~ix@213.205.241.172) |
| 2023-03-11 20:29:53 +0100 | sadmax | (~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 +0100 | caryhartline | (~caryhartl@072-180-197-087.res.spectrum.com) |
| 2023-03-11 20:44:03 +0100 | son0p | (~ff@181.136.122.143) |
| 2023-03-11 20:51:23 +0100 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
| 2023-03-11 20:53:30 +0100 | sadmax | (~user@64.130.91.66) |
| 2023-03-11 21:07:09 +0100 | ikervagyok[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 +0100 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-03-11 21:21:14 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2023-03-11 21:21:14 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-03-11 21:21:14 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-11 21:26:06 +0100 | wroathe_ | (~wroathe@50.205.197.50) |
| 2023-03-11 21:27:07 +0100 | wroathe_ | (~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 +0100 | eggplantade | (~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 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356) |
| 2023-03-11 21:36:38 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-11 21:37:41 +0100 | trev | (~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 +0100 | mniip_ | (mniip@libera/staff/mniip) |
| 2023-03-11 21:41:19 +0100 | ub | (~Thunderbi@p200300ecdf0c576826ee66118dae3d0d.dip0.t-ipconnect.de) |
| 2023-03-11 21:41:23 +0100 | trev | (~trev@user/trev) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:255c:3f40:58d6:8356) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | vglfr | (~vglfr@209.198.138.7) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:e507:6b15:fde6:a01) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | img | (~img@user/img) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:7095:1969:fc0c:ba25) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | lottaquestions | (~nick@2607:fa49:503e:7100:dbe0:8110:91f3:4f25) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | stilgart_ | (~Christoph@chezlefab.net) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | finsternis | (~X@23.226.237.192) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | xelxebar | (~xelxebar@wilsonb.com) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | ggranberry | (sid267884@id-267884.uxbridge.irccloud.com) (*.net *.split) |
| 2023-03-11 21:41:23 +0100 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | mixfix41 | (~sdenynine@user/mixfix41) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | ubert | (~Thunderbi@p548c84ba.dip0.t-ipconnect.de) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | micro | (~micro@user/micro) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | auri | (~auri@fsf/member/auri) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | Guest975 | (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | stefan-_ | (~cri@42dots.de) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | mniip | (mniip@libera/staff/mniip) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | bjobjo | (~bjobjo@user/bjobjo) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | voidzero | (~voidzero@user/voidzero) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | shinjipf | (~shinjipf@2a01:4f8:1c1c:c1be::1) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | lisq | (~quassel@lis.moe) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | Unhammer | (~Unhammer@user/unhammer) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | anderson | (~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 +0100 | bollu | (~bollu@159.65.151.13) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | ddb | (~ddb@tilde.club) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | Teacup | (~teacup@user/teacup) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | cln | (cln@wtf.cx) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | pierrot | (~pi@user/pierrot) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | kawen | (~quassel@static.208.191.216.95.clients.your-server.de) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | _________ | (~nobody@user/noodly) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2023-03-11 21:41:24 +0100 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | probie | (cc0b34050a@user/probie) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | jakzale | (6291399afa@user/jakzale) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (*.net *.split) |
| 2023-03-11 21:41:25 +0100 | ub | ubert |
| 2023-03-11 21:41:33 +0100 | lisq | (~quassel@lis.moe) |
| 2023-03-11 21:41:35 +0100 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2023-03-11 21:41:35 +0100 | darkling | (~darkling@savella.carfax.org.uk) |
| 2023-03-11 21:41:37 +0100 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) |
| 2023-03-11 21:41:39 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2023-03-11 21:41:41 +0100 | voidzero | (~voidzero@backspace.undo.it) |
| 2023-03-11 21:41:41 +0100 | voidzero | (~voidzero@backspace.undo.it) (Changing host) |
| 2023-03-11 21:41:41 +0100 | voidzero | (~voidzero@user/voidzero) |
| 2023-03-11 21:41:42 +0100 | stilgart | (~Christoph@chezlefab.net) |
| 2023-03-11 21:41:43 +0100 | bjobjo | (~bjobjo@user/bjobjo) |
| 2023-03-11 21:41:43 +0100 | shinjipf | (~shinjipf@2a01:4f8:1c1c:c1be::1) |
| 2023-03-11 21:41:43 +0100 | root__ | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2023-03-11 21:41:45 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2023-03-11 21:41:46 +0100 | ggranberry | (sid267884@id-267884.uxbridge.irccloud.com) |
| 2023-03-11 21:41:47 +0100 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) |
| 2023-03-11 21:41:55 +0100 | lieven | (~mal@ns2.wyrd.be) |
| 2023-03-11 21:41:55 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:e507:6b15:fde6:a01) |
| 2023-03-11 21:41:57 +0100 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2023-03-11 21:41:58 +0100 | Unhammer | (~Unhammer@user/unhammer) |
| 2023-03-11 21:42:01 +0100 | ddb | (~ddb@tilde.club) |
| 2023-03-11 21:42:01 +0100 | cln | (~cln@wtf.cx) |
| 2023-03-11 21:42:03 +0100 | pierrot | (~pi@user/pierrot) |
| 2023-03-11 21:42:09 +0100 | [Ristovski] | (~Ristovski@hellomouse/perf/ristovski) |
| 2023-03-11 21:42:09 +0100 | bollu | (~bollu@159.65.151.13) |
| 2023-03-11 21:42:13 +0100 | trev | (~trev@109.252.35.99) |
| 2023-03-11 21:42:19 +0100 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2023-03-11 21:42:20 +0100 | trev | (~trev@109.252.35.99) (Changing host) |
| 2023-03-11 21:42:20 +0100 | trev | (~trev@user/trev) |
| 2023-03-11 21:42:27 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-03-11 21:42:33 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-11 21:42:41 +0100 | stefan-_ | (~cri@42dots.de) |
| 2023-03-11 21:42:44 +0100 | xelxebar | (~xelxebar@wilsonb.com) |
| 2023-03-11 21:42:44 +0100 | img | (~img@user/img) |
| 2023-03-11 21:42:47 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2023-03-11 21:42:48 +0100 | kawen | (~quassel@static.208.191.216.95.clients.your-server.de) |
| 2023-03-11 21:42:49 +0100 | auri | (~auri@fsf/member/auri) |
| 2023-03-11 21:42:49 +0100 | Teacup | (~teacup@user/teacup) |
| 2023-03-11 21:42:57 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2023-03-11 21:42:58 +0100 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
| 2023-03-11 21:42:58 +0100 | lottaquestions | (~nick@2607:fa49:503e:7100:df4b:8386:5d62:a084) |
| 2023-03-11 21:43:08 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2023-03-11 21:43:11 +0100 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-03-11 21:43:11 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-03-11 21:43:39 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-11 21:43:44 +0100 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2023-03-11 21:43:44 +0100 | gawen | (~gawen@user/gawen) |
| 2023-03-11 21:43:50 +0100 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2023-03-11 21:43:51 +0100 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2023-03-11 21:43:51 +0100 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2023-03-11 21:43:55 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2023-03-11 21:44:03 +0100 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) |
| 2023-03-11 21:44:03 +0100 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) |
| 2023-03-11 21:44:03 +0100 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2023-03-11 21:44:03 +0100 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2023-03-11 21:44:03 +0100 | probie | (cc0b34050a@user/probie) |
| 2023-03-11 21:44:09 +0100 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2023-03-11 21:44:09 +0100 | jakzale | (6291399afa@user/jakzale) |
| 2023-03-11 21:44:10 +0100 | anderson | (~ande@user/anderson) |
| 2023-03-11 21:44:17 +0100 | vglfr | (~vglfr@209.198.138.7) |
| 2023-03-11 21:44:19 +0100 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-03-11 21:44:20 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-03-11 21:44:20 +0100 | davean | (~davean@davean.sciesnet.net) |
| 2023-03-11 21:44:21 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-03-11 21:44:45 +0100 | dminuoso | (~dminuoso@user/dminuoso) |
| 2023-03-11 21:45:02 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2023-03-11 21:45:02 +0100 | _________ | (~nobody@user/noodly) |
| 2023-03-11 21:45:09 +0100 | sm2n | (ae95cb1267@user/sm2n) |
| 2023-03-11 21:45:34 +0100 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2023-03-11 21:45:51 +0100 | jkoshy | (99b9359beb@user/jkoshy) |
| 2023-03-11 21:46:31 +0100 | micro | (micro@user/micro) |
| 2023-03-11 21:46:33 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2023-03-11 21:46:41 +0100 | Zemyla | (~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 +0100 | finsternis | (~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 +0100 | albet70 | (~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 +0100 | pavonia | (~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 +0100 | MajorBiscuit | (~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 +0100 | EsoAlgo8 | (~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 +0100 | EsoAlgo8 | (~EsoAlgo@129.146.136.145) |
| 2023-03-11 21:56:16 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-03-11 21:56:36 +0100 | root__ | root |
| 2023-03-11 21:57:06 +0100 | root | Guest2579 |
| 2023-03-11 21:57:33 +0100 | NiceBird | (~NiceBird@185.133.111.196) (Quit: Leaving) |
| 2023-03-11 21:57:53 +0100 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2023-03-11 21:59:21 +0100 | slack1256 | (~slack1256@191.125.99.77) |
| 2023-03-11 22:00:26 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-11 22:00:40 +0100 | bramhaag | (~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 +0100 | welterde | (welterde@thinkbase.srv.welterde.de) (Quit: WeeChat 3.0.1) |
| 2023-03-11 22:01:48 +0100 | welterde | (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 +0100 | johnw | (~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 +0100 | jwiegley | (~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 +0100 | merijn | (~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 +0100 | slac78761 | (~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 +0100 | slack1256 | (~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 +0100 | EsoAlgo8 | (~EsoAlgo@129.146.136.145) (Remote host closed the connection) |
| 2023-03-11 22:18:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-03-11 22:18:24 +0100 | slac78761 | slack1256 |
| 2023-03-11 22:18:43 +0100 | EsoAlgo8 | (~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 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-03-11 22:23:45 +0100 | bitmapper | (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 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-03-11 22:25:01 +0100 | cheater | (~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 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2023-03-11 22:32:54 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2023-03-11 22:32:54 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-03-11 22:32:54 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-11 22:46:47 +0100 | qy | (~ix@213.205.241.172) (Ping timeout: 268 seconds) |
| 2023-03-11 22:52:27 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-03-11 22:54:10 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-03-11 23:00:34 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2023-03-11 23:00:34 +0100 | bramhaag | (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 2023-03-11 23:00:46 +0100 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-03-11 23:04:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-11 23:06:13 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-11 23:06:19 +0100 | EsoAlgo8 | (~EsoAlgo@129.146.136.145) (Remote host closed the connection) |
| 2023-03-11 23:07:26 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-03-11 23:08:18 +0100 | EsoAlgo8 | (~EsoAlgo@129.146.136.145) |
| 2023-03-11 23:10:01 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-03-11 23:10:04 +0100 | caryhartline | (~caryhartl@072-180-197-087.res.spectrum.com) (Quit: caryhartline) |
| 2023-03-11 23:10:50 +0100 | qy | (~ix@213.205.241.172) |
| 2023-03-11 23:15:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-11 23:16:40 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-03-11 23:19:09 +0100 | EsoAlgo8 | (~EsoAlgo@129.146.136.145) (Remote host closed the connection) |
| 2023-03-11 23:21:10 +0100 | EsoAlgo8 | (~EsoAlgo@129.146.136.145) |
| 2023-03-11 23:26:27 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Quit: WeeChat 3.7.1) |
| 2023-03-11 23:38:35 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 2023-03-11 23:40:36 +0100 | mechap | (~mechap@user/mechap) |
| 2023-03-11 23:44:13 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-03-11 23:44:13 +0100 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-03-11 23:45:51 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-03-11 23:53:04 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-03-11 23:54:03 +0100 | qy | (~ix@213.205.241.172) (Ping timeout: 250 seconds) |
| 2023-03-11 23:54:04 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-11 23:54:04 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-11 23:54:04 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-11 23:56:22 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |