| 2025-09-10 00:02:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-10 00:08:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 00:13:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 00:17:40 +0200 | <biberao> | ok |
| 2025-09-10 00:17:48 +0200 | <biberao> | but can i isolate it? |
| 2025-09-10 00:17:53 +0200 | <biberao> | or its globally installed? |
| 2025-09-10 00:24:06 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 00:28:33 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-10 00:32:02 +0200 | <geekosaur> | globally installed. ghcup and even more so stack can isolate them |
| 2025-09-10 00:34:17 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-09-10 00:35:40 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 00:35:44 +0200 | <biberao> | ah i can use ghcup or stack? |
| 2025-09-10 00:35:47 +0200 | <biberao> | im cnfused here |
| 2025-09-10 00:38:04 +0200 | <geekosaur> | both of them can install ghc for you, although modern stack usage gets ghc from ghcup |
| 2025-09-10 00:38:32 +0200 | <geekosaur> | when you install ghcup, it will install ghc, haskell-language-server, cabal, and stack |
| 2025-09-10 00:38:52 +0200 | <geekosaur> | it will also ask if you want to install a stack hook that makes it get ghc from ghcup instead of downloading it separately |
| 2025-09-10 00:39:44 +0200 | <geekosaur> | stack is somewhat easier for beginners to use, although if you find yourself using extra-deps a lot then cabal might be a better alternative |
| 2025-09-10 00:39:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 00:44:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 00:46:38 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 256 seconds) |
| 2025-09-10 00:47:48 +0200 | <biberao> | ive always used linux so i dont know win11 |
| 2025-09-10 00:49:25 +0200 | <geekosaur> | unless you need to make a native Windows app then WSL2 + ghcup might be the way to go, then |
| 2025-09-10 00:50:43 +0200 | <biberao> | geekosaur: any good reading for me to try? |
| 2025-09-10 00:51:12 +0200 | <biberao> | i dont want it to mess much with the system |
| 2025-09-10 00:53:38 +0200 | <monochrom> | I don't know what "isolation" means. But I can say what ghcup does. It can install multiple GHC versions, set one of them as default, but the others are still accessible as eg "ghc-9.6.7". It can uninstall any of the GHC versions. |
| 2025-09-10 00:54:40 +0200 | <biberao> | ayh awesome |
| 2025-09-10 00:54:47 +0200 | <biberao> | so i grab ghcup and its done then? |
| 2025-09-10 00:54:55 +0200 | <geekosaur> | I'm not seeing any good documentation. Windows Subsystem for Linux 2 should be available for free in the Windows Store if it's not preinstalled, and once you start it you can use the Linux instructions to install ghcup within it https://haskell.org/ghcup |
| 2025-09-10 00:55:23 +0200 | <biberao> | ah ok cool thanks |
| 2025-09-10 00:55:28 +0200 | <biberao> | im sorry |
| 2025-09-10 00:55:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 00:57:00 +0200 | <EvanR> | is jsaddle an improbably obscure reference to "haskell on a horse" |
| 2025-09-10 00:57:37 +0200 | <monochrom> | Heh, how does haskell get in there? |
| 2025-09-10 00:58:25 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-10 00:58:47 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 00:58:52 +0200 | <EvanR> | it's some thing that facilitates haskell for web |
| 2025-09-10 00:59:04 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 01:00:20 +0200 | <geekosaur> | ruby on rails, cobol on cogs, haskell on a horse |
| 2025-09-10 01:00:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 01:00:37 +0200 | <EvanR> | intercal on interstates |
| 2025-09-10 01:00:47 +0200 | <monochrom> | But then I would expect "hsaddle". :) |
| 2025-09-10 01:01:12 +0200 | <geekosaur> | I think it's actually saddling Javascript for use with Haskell via ghcjs/the JS backend |
| 2025-09-10 01:01:17 +0200 | <Lycurgus> | did i imagine a ghcjs oder? |
| 2025-09-10 01:01:52 +0200 | <EvanR> | ok javascript is the horse |
| 2025-09-10 01:01:57 +0200 | <monochrom> | May I distort this thing completely and imagine "j in Spanish is like h in English"? >:) |
| 2025-09-10 01:02:10 +0200 | <EvanR> | no that explains it |
| 2025-09-10 01:02:13 +0200 | <geekosaur> | harder h, though |
| 2025-09-10 01:02:21 +0200 | <monochrom> | Jasquell |
| 2025-09-10 01:02:38 +0200 | <EvanR> | I never learned haskell only HQuery |
| 2025-09-10 01:03:15 +0200 | <Lycurgus> | https://github.com/ghcjs/ghcjs |
| 2025-09-10 01:03:38 +0200 | <Lycurgus> | just died out igess |
| 2025-09-10 01:05:35 +0200 | <Lycurgus> | went to ill conceived idea heaven |
| 2025-09-10 01:05:49 +0200 | raym | (~ray@user/raym) (Ping timeout: 258 seconds) |
| 2025-09-10 01:05:57 +0200 | <EvanR> | ghcjs was an ill conceived idea and died out? |
| 2025-09-10 01:06:03 +0200 | acidjnk | (~acidjnk@p200300d6e7171905303ea6658b591e68.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-10 01:06:15 +0200 | <jackdk> | Isn't there a JS and a WASM backend in mainline GHC now? |
| 2025-09-10 01:07:03 +0200 | <geekosaur> | more correctly, all its devs moved over to developing ghc's JS backend |
| 2025-09-10 01:07:39 +0200 | <geekosaur> | because trying to upgrade ghcjs past 8.10 was too much of a nightmare |
| 2025-09-10 01:07:48 +0200 | <Lycurgus> | so it could hook up with another ill concieved thing igess (wasm) |
| 2025-09-10 01:08:04 +0200 | <EvanR> | ill advised |
| 2025-09-10 01:08:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-10 01:08:19 +0200 | <Lycurgus> | same deal |
| 2025-09-10 01:08:29 +0200 | <int-e> | There is a wasm backend in mainline GHC. I don't think the JS backend is in there, but that's fine; the WASM one largely supersedes it anyway. |
| 2025-09-10 01:08:41 +0200 | <geekosaur> | JS is in there |
| 2025-09-10 01:08:45 +0200 | <int-e> | where? |
| 2025-09-10 01:08:55 +0200 | <Lycurgus> | unless u think an idea is good if it looks or sounds good |
| 2025-09-10 01:09:16 +0200 | <Lycurgus> | if sex ka-ching or whatever |
| 2025-09-10 01:09:17 +0200 | <int-e> | Oh I'm too stupid to search. ./compiler/GHC/StgToJS.hs |
| 2025-09-10 01:09:24 +0200 | <Lycurgus> | *sez |
| 2025-09-10 01:09:29 +0200 | <geekosaur> | right |
| 2025-09-10 01:10:42 +0200 | <int-e> | geekosaur: thanks |
| 2025-09-10 01:10:54 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2025-09-10 01:11:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 01:11:56 +0200 | <geekosaur> | sorry, I had a link but my sister called me out of the blue |
| 2025-09-10 01:12:06 +0200 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/tree/master/compiler/GHC/StgToJS?ref_type=heads |
| 2025-09-10 01:13:08 +0200 | <geekosaur> | (we normally text but she couldn't find our texts from yesterday or today on her phone) |
| 2025-09-10 01:15:32 +0200 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
| 2025-09-10 01:16:03 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-10 01:17:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 01:17:21 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 01:17:36 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 01:19:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 01:20:04 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-09-10 01:20:32 +0200 | Vajb | (~Vajb@n4ff0xajgx7huazq3a1-1.v6.elisa-mobile.fi) (Ping timeout: 265 seconds) |
| 2025-09-10 01:20:54 +0200 | Vajb | (~Vajb@n4c77qqwuy0305es5ac-1.v6.elisa-mobile.fi) |
| 2025-09-10 01:21:29 +0200 | user0 | (~user0@67.161.181.189) (Ping timeout: 260 seconds) |
| 2025-09-10 01:24:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 01:25:59 +0200 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-09-10 01:26:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-10 01:27:43 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-09-10 01:28:06 +0200 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-09-10 01:28:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:263:a30e:567c:e7aa) (Quit: xff0x) |
| 2025-09-10 01:29:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-10 01:30:00 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 248 seconds) |
| 2025-09-10 01:30:00 +0200 | polykernel_ | polykernel |
| 2025-09-10 01:33:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-10 01:34:06 +0200 | phm | (~peter@user/phm) phm |
| 2025-09-10 01:35:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 01:35:57 +0200 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-09-10 01:36:01 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2025-09-10 01:37:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-10 01:39:34 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 260 seconds) |
| 2025-09-10 01:39:34 +0200 | polykernel_ | polykernel |
| 2025-09-10 01:40:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 01:40:24 +0200 | sprotte24 | (~sprotte24@p200300d16f360700bcb9dc3880c1c26e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-10 01:42:30 +0200 | raym | (~ray@user/raym) raym |
| 2025-09-10 01:50:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 01:51:23 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-10 01:51:51 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
| 2025-09-10 01:53:20 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-10 01:53:58 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2025-09-10 01:54:55 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-10 01:55:05 +0200 | tv | (~tv@user/tv) tv |
| 2025-09-10 01:55:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 01:56:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2025-09-10 02:06:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 02:09:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-09-10 02:10:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-10 02:11:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-10 02:12:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4ff2:f904:88e:6936) |
| 2025-09-10 02:22:24 +0200 | otto_s | (~user@p4ff27081.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-10 02:22:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 02:24:45 +0200 | user0 | (~user0@67.161.181.189) |
| 2025-09-10 02:25:33 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 02:28:33 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 02:28:38 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-09-10 02:29:02 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 02:29:21 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-10 02:29:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 02:32:19 +0200 | otto_s | (~user@p5b0442fa.dip0.t-ipconnect.de) |
| 2025-09-10 02:35:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4ff2:f904:88e:6936) (Ping timeout: 265 seconds) |
| 2025-09-10 02:36:54 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-10 02:37:41 +0200 | xff0x | (~xff0x@ai080027.d.east.v6connect.net) |
| 2025-09-10 02:38:16 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
| 2025-09-10 02:40:29 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-10 02:40:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 02:41:11 +0200 | sayola | (~sayola@ipservice-092-208-226-093.092.208.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-09-10 02:41:16 +0200 | a_fantom | (~fantom@90.244.128.25) (Ping timeout: 258 seconds) |
| 2025-09-10 02:42:25 +0200 | xff0x | (~xff0x@ai080027.d.east.v6connect.net) (Ping timeout: 258 seconds) |
| 2025-09-10 02:44:28 +0200 | rvalue- | rvalue |
| 2025-09-10 02:45:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 02:48:23 +0200 | user0 | (~user0@67.161.181.189) (Ping timeout: 260 seconds) |
| 2025-09-10 02:56:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 02:56:24 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 248 seconds) |
| 2025-09-10 02:57:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 02:57:51 +0200 | trickard___ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-10 02:58:04 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-10 03:01:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 03:01:44 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-10 03:02:27 +0200 | FANTOM | (~fantom@90.244.165.186) |
| 2025-09-10 03:04:05 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: leaving) |
| 2025-09-10 03:04:28 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-09-10 03:11:30 +0200 | user0 | (~user0@67.161.181.189) |
| 2025-09-10 03:12:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 03:15:35 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 03:15:36 +0200 | Googulator62 | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 03:16:14 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-10 03:16:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 03:20:12 +0200 | user0 | (~user0@67.161.181.189) (Ping timeout: 256 seconds) |
| 2025-09-10 03:24:38 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 03:25:25 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-09-10 03:25:55 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-09-10 03:27:48 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-09-10 03:27:50 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Client Quit) |
| 2025-09-10 03:27:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 03:29:29 +0200 | Googulator62 | Googulator |
| 2025-09-10 03:31:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-10 03:32:08 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 260 seconds) |
| 2025-09-10 03:32:53 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-10 03:33:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 03:33:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-09-10 03:38:47 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-10 03:41:53 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-10 03:41:56 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-10 03:43:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 03:48:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 03:49:53 +0200 | jespada | (~jespada@r179-25-156-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 258 seconds) |
| 2025-09-10 03:50:23 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-10 03:51:48 +0200 | jespada | (~jespada@r179-25-67-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-09-10 03:55:40 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 03:55:54 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-09-10 03:58:10 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 2025-09-10 03:59:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 04:06:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 04:06:57 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-09-10 04:12:15 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-09-10 04:17:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 04:22:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 04:33:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 04:37:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2025-09-10 04:38:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 04:49:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 04:53:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 05:04:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 05:09:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 05:13:04 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-09-10 05:17:15 +0200 | aforemny | (~aforemny@i59F4C7D6.versanet.de) aforemny |
| 2025-09-10 05:17:33 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-10 05:18:49 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc2:7500:64be:24c3:6006:d7a3) (Ping timeout: 265 seconds) |
| 2025-09-10 05:20:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 05:22:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-10 05:26:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 05:35:38 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-09-10 05:36:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 05:43:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 05:50:47 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-10 05:53:33 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 05:54:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 05:57:55 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 05:59:21 +0200 | koz | (~koz@121.99.240.58) |
| 2025-09-10 05:59:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 06:08:39 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 258 seconds) |
| 2025-09-10 06:09:31 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-10 06:10:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 06:11:06 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-09-10 06:12:03 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-10 06:15:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 06:17:12 +0200 | michalz | (~michalz@185.246.207.200) |
| 2025-09-10 06:26:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 06:31:06 +0200 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 244 seconds) |
| 2025-09-10 06:31:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 06:32:03 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2025-09-10 06:32:29 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) b20n |
| 2025-09-10 06:32:39 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 06:32:39 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 06:32:51 +0200 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2025-09-10 06:32:51 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 2025-09-10 06:33:10 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 06:33:10 +0200 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 06:33:21 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-09-10 06:33:30 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2025-09-10 06:33:41 +0200 | bw | (sid2730@user/betawaffle) (Ping timeout: 244 seconds) |
| 2025-09-10 06:33:41 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 06:33:41 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 06:34:02 +0200 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2025-09-10 06:34:19 +0200 | potato44 | (uid421314@id-421314.lymington.irccloud.com) potato44 |
| 2025-09-10 06:34:43 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) S11001001 |
| 2025-09-10 06:34:58 +0200 | bw | (sid2730@user/betawaffle) betawaffle |
| 2025-09-10 06:35:03 +0200 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
| 2025-09-10 06:35:20 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
| 2025-09-10 06:35:29 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-10 06:35:42 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 06:36:07 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) tapas |
| 2025-09-10 06:36:21 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2025-09-10 06:41:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 06:41:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 06:45:49 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-09-10 06:46:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-10 06:49:06 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-10 06:57:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 06:58:33 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-10 07:02:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 07:21:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 07:22:25 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-09-10 07:28:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 07:30:28 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-10 07:32:46 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-10 07:35:51 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 07:40:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 07:41:30 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-09-10 07:45:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 07:48:08 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-10 07:48:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 07:55:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 07:57:28 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 07:57:39 +0200 | trickard_ | trickard |
| 2025-09-10 08:00:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 08:04:02 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 08:11:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 08:16:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-10 08:17:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 08:26:50 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2025-09-10 08:32:20 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 08:34:05 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Client Quit) |
| 2025-09-10 08:34:13 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 08:36:34 +0200 | fp1 | fp |
| 2025-09-10 08:52:15 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-10 08:52:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-10 09:00:00 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-10 09:00:40 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-09-10 09:03:52 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 09:05:05 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-10 09:06:21 +0200 | img | (~img@user/img) img |
| 2025-09-10 09:06:41 +0200 | img | (~img@user/img) (Remote host closed the connection) |
| 2025-09-10 09:07:49 +0200 | acidjnk | (~acidjnk@p200300d6e7171978f1deda3d99afd1a1.dip0.t-ipconnect.de) acidjnk |
| 2025-09-10 09:08:04 +0200 | img | (~img@user/img) img |
| 2025-09-10 09:09:37 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-10 09:10:37 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2025-09-10 09:19:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-10 09:24:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 09:26:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-10 09:35:26 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 09:42:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-10 09:46:52 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-09-10 09:48:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-10 09:50:44 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 09:52:34 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-10 09:53:06 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-10 10:04:05 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Quit: fp) |
| 2025-09-10 10:04:18 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 10:12:29 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-10 10:13:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-10 10:21:23 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 265 seconds) |
| 2025-09-10 10:24:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-09-10 10:25:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-10 10:26:05 +0200 | Square3 | (~Square4@user/square) Square |
| 2025-09-10 10:31:36 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-10 10:31:37 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-10 10:31:37 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-10 10:40:39 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 10:59:05 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-10 11:00:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-10 11:02:14 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-10 11:03:00 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-10 11:03:37 +0200 | <kqr> | If anyone still is curious about the problem I had with cabal build --enable-profiling complaining about parallel not being installed with profiling: seems like that library was installed as a system package. On Fedora i could `dnf install ghc-parallel-prof` to solve the problem. Fortunately that was the only library with this problem! |
| 2025-09-10 11:06:30 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-10 11:06:35 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
| 2025-09-10 11:07:03 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-10 11:13:39 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-09-10 11:14:02 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-10 11:16:01 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-09-10 11:16:58 +0200 | AlexZenon | (~alzenon@178.34.162.29) (Ping timeout: 265 seconds) |
| 2025-09-10 11:18:27 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-10 11:19:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-10 11:21:03 +0200 | <Leary> | kqr: I suspect you really want `package-dbs: clear` in `cabal.project.local` instead, so that unrelated global installs don't interfere with your build in the first place. |
| 2025-09-10 11:24:59 +0200 | AlexZenon | (~alzenon@178.34.162.29) |
| 2025-09-10 11:32:59 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-10 11:42:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-09-10 11:49:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-10 11:50:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-10 11:56:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 11:59:48 +0200 | <kqr> | That sounds much better, yes. |
| 2025-09-10 12:18:13 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds) |
| 2025-09-10 12:20:11 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-10 12:21:09 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-10 12:33:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-10 12:37:15 +0200 | <dminuoso> | kaol: Can you make a fully self contained minimal example program that I can just `cabal run`? |
| 2025-09-10 12:37:54 +0200 | <dminuoso> | I'm fully convinced that any latin 1 decoding cannot happen on JSON with servant-client alone. |
| 2025-09-10 12:38:06 +0200 | <dminuoso> | Maybe its your FromJSON instance that is borked? |
| 2025-09-10 12:39:30 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-10 12:44:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-10 12:50:00 +0200 | inline | (~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 2025-09-10 12:51:25 +0200 | Axma39609 | (~Axman6@user/axman6) Axman6 |
| 2025-09-10 12:52:56 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-10 12:53:21 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-10 12:54:21 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 252 seconds) |
| 2025-09-10 12:55:49 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 12:58:31 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-10 13:00:27 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-09-10 13:01:03 +0200 | sttau | (~sttau@user/sttau) sttau |
| 2025-09-10 13:02:51 +0200 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 13:04:52 +0200 | <kqr> | I must be missing something dumb here. Why does the MonadRandom typeclass not have a function `liftRandom :: g -> (a, g)`? Seems like something that'd be supported by anything that can do the other things MonadRandom does. |
| 2025-09-10 13:05:23 +0200 | <kqr> | (I know the RandT transformer has that function, but I'd like the implementor to choose whether to draw random numbers from RandT or IO.) |
| 2025-09-10 13:06:34 +0200 | <kqr> | Uh, that would be `liftRandom :: (g -> (a, g)) -> MonadRandom a` or something, I suppose. Maybe that's the problem – we don't know what g is. But then why does not MonadSplit have that function? |
| 2025-09-10 13:08:26 +0200 | <kqr> | Backing up a little, I want to use List.Shuffle.shuffle because it looks well written, but I don't want to tie it to RandT or the like. |
| 2025-09-10 13:08:53 +0200 | <dminuoso> | kqr: Hold on, liftRandT is a thing. |
| 2025-09-10 13:09:03 +0200 | <kaol> | dminuoso: Unlikely, I don't think I can do it without running it on a browser. |
| 2025-09-10 13:09:45 +0200 | <kqr> | dminuoso, Yeah, but it lifts it into a RandT specifically, and I would like the option to use it in an IO context also. |
| 2025-09-10 13:11:33 +0200 | <dminuoso> | kqr: A `MonadRandom IO` instance exists, what do you nneed? |
| 2025-09-10 13:12:03 +0200 | <kaol> | Though I think the AJAX call can be dropped if I take the offending JSString just by grabbing it from the DOM tree or something like that. |
| 2025-09-10 13:12:09 +0200 | <dminuoso> | Hold on Im confusing things |
| 2025-09-10 13:12:52 +0200 | <dminuoso> | kqr: Lets untwine this: You can use `runRand` in IO just fine |
| 2025-09-10 13:13:16 +0200 | <dminuoso> | Similarly, `instance MonadRandom IO` is also a thing |
| 2025-09-10 13:13:27 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-10 13:14:13 +0200 | <dminuoso> | kqr: `Rand` is basically a pure monad for you to get random effects with. RandT exists so you can layer it into other monads if you like. |
| 2025-09-10 13:14:27 +0200 | <dminuoso> | But for convenience you can also just use IO directly. |
| 2025-09-10 13:14:38 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 13:15:42 +0200 | <dminuoso> | And for convenience in arbitrary transformer stacks you can use `randomIO :: (Random a, MonadIO m) => m a` |
| 2025-09-10 13:15:58 +0200 | <dminuoso> | What are you missing exactly? |
| 2025-09-10 13:17:08 +0200 | <kqr> | Backing up further, I want to compare the performance of using the RandT transformer layered on top of IO to drawing numbers in IO directly. |
| 2025-09-10 13:18:45 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-10 13:19:48 +0200 | <kqr> | Thus I'd like to create a `shuffle :: MonadRandom m => [a] -> m [a]` to be used both from within a RandT stack and directly from IO. However, with the given tools I can only create `shuffle :: RandomGen g => [a] -> Rand g [a]` which can only be used in IO by running it with evalRandIO which goes through StateT in the end. |
| 2025-09-10 13:19:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c68c:683e:9c65:6f0a) |