2025-07-10 00:00:59 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-07-10 00:03:49 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
2025-07-10 00:06:19 +0200 | trickard_ | trickard |
2025-07-10 00:06:58 +0200 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
2025-07-10 00:09:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 00:11:33 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-07-10 00:14:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-10 00:16:11 +0200 | sprotte24 | (~sprotte24@p200300d16f1294001cef72f177208735.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-07-10 00:21:47 +0200 | Rain_ | (Rain@user/Rain-:22721) Rain_ |
2025-07-10 00:23:29 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-07-10 00:24:53 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-07-10 00:25:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 00:25:42 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 00:30:25 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 00:31:30 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-07-10 00:31:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 00:31:59 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-07-10 00:33:07 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
2025-07-10 00:35:23 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 00:35:29 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-07-10 00:36:21 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 00:36:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 00:41:29 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 00:42:23 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 00:43:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 00:44:04 +0200 | <jreicher> | merijn: I had a look at typeclassopedia. I think I understand why you said that and I agree. |
2025-07-10 00:44:22 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-07-10 00:45:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-10 00:46:00 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 00:48:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 00:50:28 +0200 | Catty | catties |
2025-07-10 00:52:46 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-07-10 00:53:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 00:54:12 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 00:54:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-07-10 00:55:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 276 seconds) |
2025-07-10 00:56:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-10 00:58:06 +0200 | <geekosaur> | monochrom: “If you wish to make an apple pie from scratch, you must first invent the universe.” |
2025-07-10 00:59:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 00:59:13 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 00:59:33 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 01:00:16 +0200 | catties | catttttttties |
2025-07-10 01:04:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-10 01:05:18 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 01:08:23 +0200 | catttttttties | catties |
2025-07-10 01:09:17 +0200 | mikess | (~sam@user/mikess) mikess |
2025-07-10 01:10:24 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-07-10 01:14:12 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
2025-07-10 01:14:15 +0200 | <jreicher> | Only if you don't have naive set comprehension |
2025-07-10 01:14:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 01:19:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 01:24:10 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
2025-07-10 01:26:32 +0200 | trickard__ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 01:27:34 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2025-07-10 01:27:57 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-07-10 01:27:58 +0200 | trickard__ | trickard |
2025-07-10 01:30:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 01:31:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-07-10 01:32:44 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2025-07-10 01:32:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-07-10 01:35:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-10 01:38:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-10 01:41:06 +0200 | Rain_ | (Rain@user/Rain-:22721) (Quit: ZNC 1.10.0-rc1 - https://znc.in) |
2025-07-10 01:44:29 +0200 | mange | (~mange@user/mange) mange |
2025-07-10 01:44:36 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
2025-07-10 01:45:29 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-07-10 01:45:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-07-10 01:46:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 01:47:30 +0200 | <Axman6> | geekosaur: probie: sorry for running away yesterday on all the C-FFI talk, it was very helpful. I have a feeling wrapping this library will be pretty difficult, because it does appear to call into C++ (and does need access to all these structs from various parts of the OS - this is the macOS endpoint security framework, so it does things like provide the stat struct of opened files, or structs that represent filesystem mounts) |
2025-07-10 01:48:33 +0200 | <geekosaur> | if it has C wrappers then those should deal with that for you. if it doesn't, well, C++ calling conventions are like the struct calling conventions I mentioned yesterday, only more so. |
2025-07-10 01:48:53 +0200 | <geekosaur> | the Raku folks died on that hill too 🙂 |
2025-07-10 01:49:38 +0200 | <Axman6> | yeah - well the current thing that's stopping c2hs is the enum : uint32_t stuff (I had a quick look to see if that's something that was added to a C standard but then went home) |
2025-07-10 01:49:58 +0200 | <geekosaur> | cppreference says it's not in a C standard |
2025-07-10 01:50:13 +0200 | <geekosaur> | (they do generally note when C has something, sometimes in a different form) |
2025-07-10 01:51:19 +0200 | <geekosaur> | I think SWIG has some ability to deal with both of those things, but that would add a layer of indirection because I don't think it supports generating Haskell bindings so you would need to generate something that Haskell can bind to |
2025-07-10 01:51:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-07-10 01:51:59 +0200 | <geekosaur> | (not necessarily C: IIRC SSWIG can generate Python bindings, then there's https://flora.pm/packages/@hackage/inline-python) |
2025-07-10 01:53:23 +0200 | <geekosaur> | *SWIG |
2025-07-10 01:53:38 +0200 | <humasect> | why does haskell need building on mac(homebrew)? are there no binaries |
2025-07-10 01:53:46 +0200 | <humasect> | taking some hours |
2025-07-10 01:53:54 +0200 | <Axman6> | my interest in this was spurred by this announcement https://alt-romes.github.io/posts/2025-07-05-packaging-a-haskell-library-as-a-swift-binary-xcframe… which made the possibility of doing things by making a C wrapper that calls Haskell a possibility, but at some point I will probably still need to interact with the C structs |
2025-07-10 01:54:03 +0200 | <Axman6> | humasect: use ghcup, not homebrew |
2025-07-10 01:54:59 +0200 | <Axman6> | I would have thought homebrew also had the pre-compiled binaries the GHC team make, but nonetheless, homebrew is the wrong tool for the job, ghcup lets you manage multiple compilers, and all the tools like cabal, HLS |
2025-07-10 01:55:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 01:55:29 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 272 seconds) |
2025-07-10 01:57:21 +0200 | <geekosaur> | homebrew is weird, I don't know why their binaries stuff doesn't have ghc on it and in any case you'd be stuck with whatever version they bottle I think. |
2025-07-10 01:58:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-10 01:59:44 +0200 | <Axman6> | geekosaur: have you done anything with inline-c? Wondering if that could avoid some of these issues by offloading more to the C compiler |
2025-07-10 01:59:58 +0200 | <geekosaur> | I know it exists but haven't used it |
2025-07-10 02:00:18 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 02:00:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 02:00:31 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 02:01:08 +0200 | <jackdk> | Axman6: I remember Frase doing a bunch of stuff with (?hs)c2hs when he was wrangling notmuch |
2025-07-10 02:01:20 +0200 | <jackdk> | Dunno if he played with inline-c any |
2025-07-10 02:02:24 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 02:02:38 +0200 | <Axman6> | yeah, I remember looking into that but seem to remember it not matching the sort of stuff I needed to do. Most ofwhat's causing me troubles is being able to interact with structs in Haskell defined in Apple's annoyingly nonstandard headers (I know jack, I can hear you already) |
2025-07-10 02:04:05 +0200 | <humasect> | Axman6: ohh. okay thanks |
2025-07-10 02:04:15 +0200 | jespada | (~jespada@r190-133-11-154.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-07-10 02:04:18 +0200 | phma | (~phma@host-67-44-208-10.hnremote.net) (Read error: Connection reset by peer) |
2025-07-10 02:04:41 +0200 | <jackdk> | Axman6: (Not saying a word.) Does any of M. Chakravaty's stuff help you here? I remember him doing a lot of work on native macOS things. |
2025-07-10 02:05:12 +0200 | <Axman6> | Not sure, I'd have to have another look. A lot of that was before Apple added things like block (lambda) syntax IIRC |
2025-07-10 02:05:20 +0200 | phma | (phma@2001:5b0:211b:84d8:ea0c:3bd3:b60:4179) |
2025-07-10 02:05:25 +0200 | <Axman6> | having random ^'s in code makes tools sad |
2025-07-10 02:08:50 +0200 | <jackdk> | My gut instinct (which is probably way out of date) is that I'd want to talk over the C ABI, and so doing something like what the zeromq people did: provide a C wrapper that passes objects around as opaque pointers, that you can then FFI into much more easily. But I don't know your actual problem. |
2025-07-10 02:10:33 +0200 | <Axman6> | the problem with that is the sheer number of types I'd need to interact with - see Apple's _awful_ documentation here: https://developer.apple.com/documentation/endpointsecurity?language=objc |
2025-07-10 02:11:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 02:11:09 +0200 | <Axman6> | I need Chak or someone to write inline-swift. Feels like there'd likely be less of an impedance mismatch there |
2025-07-10 02:11:32 +0200 | <humasect> | COM objects.. |
2025-07-10 02:11:48 +0200 | <humasect> | (thats how it happens.) |
2025-07-10 02:12:11 +0200 | <jackdk> | I was going to suggest automatic generation of gobject wrappers just to troll Axman6 |
2025-07-10 02:12:50 +0200 | carlo_h_ | (~carlo_h_@pa49-182-186-83.pa.qld.optusnet.com.au) |
2025-07-10 02:14:10 +0200 | carlo_h_ | (~carlo_h_@pa49-182-186-83.pa.qld.optusnet.com.au) (Client Quit) |
2025-07-10 02:14:17 +0200 | phma | (phma@2001:5b0:211b:84d8:ea0c:3bd3:b60:4179) (Read error: Connection reset by peer) |
2025-07-10 02:15:13 +0200 | mikess | (~sam@user/mikess) (Quit: leaving) |
2025-07-10 02:17:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-10 02:18:26 +0200 | falafel | (~falafel@79.117.174.28) falafel |
2025-07-10 02:21:02 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
2025-07-10 02:29:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3f62:37ac:1098:7185) (Ping timeout: 252 seconds) |
2025-07-10 02:29:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 02:30:46 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds) |
2025-07-10 02:32:36 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-07-10 02:33:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-07-10 02:34:24 +0200 | califax | (~califax@user/califx) califx |
2025-07-10 02:38:36 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-07-10 02:39:04 +0200 | euandreh | (~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) (Ping timeout: 260 seconds) |
2025-07-10 02:39:20 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-07-10 02:40:31 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 02:41:16 +0200 | mange | (~mange@user/mange) (Ping timeout: 268 seconds) |
2025-07-10 02:44:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 02:45:15 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 02:45:28 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 02:46:03 +0200 | <humasect> | eh 9gb free, not enough space for ghcup 9.12.x ? trying again. nothing else to remove. dont think this is much different than homebrew situation for how long it takes also. i remember there used to be a .pkg installer |
2025-07-10 02:46:15 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-07-10 02:50:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-10 02:50:44 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-07-10 02:51:33 +0200 | mange | (~mange@user/mange) mange |
2025-07-10 02:56:14 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 02:57:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
2025-07-10 02:58:43 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 02:59:22 +0200 | <Axman6> | GHC is pretty big. But also, 9gb free on a mac is not enough regardless of GHC D: |
2025-07-10 02:59:28 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 03:00:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 03:00:55 +0200 | <humasect> | hmmm yeah |
2025-07-10 03:03:00 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-07-10 03:05:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-07-10 03:12:45 +0200 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
2025-07-10 03:13:50 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 03:15:36 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
2025-07-10 03:17:34 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
2025-07-10 03:18:40 +0200 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-10 03:19:54 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
2025-07-10 03:19:54 +0200 | phma | (phma@2001:5b0:210d:d2d8:28e4:6c9c:55f8:f877) |
2025-07-10 03:20:50 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-07-10 03:20:52 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
2025-07-10 03:24:09 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-07-10 03:33:22 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 03:33:37 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
2025-07-10 03:33:58 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) (Remote host closed the connection) |
2025-07-10 03:35:19 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-07-10 03:36:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 03:38:24 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 03:39:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 03:41:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 03:43:18 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
2025-07-10 03:45:38 +0200 | humasect_ | humasect |
2025-07-10 03:46:36 +0200 | CalimeroTeknik | (~calimero@ctkarch.org) |
2025-07-10 03:50:26 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 03:50:34 +0200 | echoreply | (~echoreply@45.32.163.16) (Ping timeout: 272 seconds) |
2025-07-10 03:52:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 03:58:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-07-10 04:04:41 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-07-10 04:08:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 04:09:11 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner |
2025-07-10 04:09:33 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 04:12:57 +0200 | <monochrom> | GHC is only half that big. But ghcup needs twice of what GHC takes, temporarily. |
2025-07-10 04:13:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 04:13:40 +0200 | <monochrom> | Basically ghcup unpacks GHC into one directory, then copy to the final directory, then delete the unpacking. |
2025-07-10 04:13:52 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-07-10 04:14:40 +0200 | <monochrom> | Actually I think it is not up to ghcup, it is GHC bindist install script. |
2025-07-10 04:15:15 +0200 | <geekosaur> | yeh, and it's editing a bunch of paths as it does so |
2025-07-10 04:18:45 +0200 | phma | (phma@2001:5b0:210d:d2d8:28e4:6c9c:55f8:f877) (Read error: Connection reset by peer) |
2025-07-10 04:20:13 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-07-10 04:20:26 +0200 | carlo_h_ | (~carlo@user/carlo-h-:36448) carlo_h_ |
2025-07-10 04:21:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
2025-07-10 04:21:36 +0200 | trickard_ | trickard |
2025-07-10 04:24:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 04:25:14 +0200 | td_ | (~td@i5387091B.versanet.de) (Ping timeout: 260 seconds) |
2025-07-10 04:26:12 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
2025-07-10 04:26:42 +0200 | td_ | (~td@i53870910.versanet.de) td_ |
2025-07-10 04:27:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer) |
2025-07-10 04:28:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-10 04:34:29 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply |
2025-07-10 04:39:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 04:39:32 +0200 | <haskellbridge> | <maerwald> Editing paths? |
2025-07-10 04:40:52 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 04:42:25 +0200 | phma | (phma@2001:5b0:210b:f1e8:734f:632c:cae3:f702) |
2025-07-10 04:44:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-07-10 04:50:11 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-07-10 04:50:20 +0200 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
2025-07-10 04:50:27 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-10 04:50:36 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-07-10 04:51:24 +0200 | Katarushisu3 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
2025-07-10 04:53:06 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
2025-07-10 04:53:07 +0200 | Katarushisu3 | Katarushisu |
2025-07-10 04:54:13 +0200 | phma | (phma@2001:5b0:210b:f1e8:734f:632c:cae3:f702) (Ping timeout: 248 seconds) |
2025-07-10 04:55:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 04:55:18 +0200 | <geekosaur> | Aren't there a bunch of paths in pkg.conf files that need to be rewritten for the install location still? (I know they've been working on being relocatable but I thought that wasn't quite done yet) |
2025-07-10 04:58:52 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 04:59:16 +0200 | phma | (phma@2001:5b0:210b:f1e8:734f:632c:cae3:f702) |
2025-07-10 04:59:32 +0200 | carlo_h_ | (~carlo@user/carlo-h-:36448) (Quit: leaving) |
2025-07-10 05:01:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 05:03:31 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 05:05:15 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 05:09:26 +0200 | phma | (phma@2001:5b0:210b:f1e8:734f:632c:cae3:f702) (Read error: Connection reset by peer) |
2025-07-10 05:09:47 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2025-07-10 05:10:15 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 05:13:06 +0200 | phma | (~phma@2001:5b0:210d:c948:1cf:a497:23a0:1033) |
2025-07-10 05:13:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 05:14:50 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-07-10 05:15:25 +0200 | phma | (~phma@2001:5b0:210d:c948:1cf:a497:23a0:1033) (Read error: Connection reset by peer) |
2025-07-10 05:17:01 +0200 | phma | (phma@2001:5b0:210d:c948:1cf:a497:23a0:1033) |
2025-07-10 05:18:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 05:27:09 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-07-10 05:29:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 05:29:55 +0200 | phma | (phma@2001:5b0:210d:c948:1cf:a497:23a0:1033) (Read error: Connection reset by peer) |
2025-07-10 05:34:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 05:36:24 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 05:42:20 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 05:43:31 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 05:44:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 05:49:05 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 05:49:08 +0200 | phma | (~phma@host-67-44-208-55.hnremote.net) |
2025-07-10 05:49:10 +0200 | JayKobe6k | (~jbarber@user/JayKobe6k) (Quit: WeeChat 4.6.3) |
2025-07-10 05:49:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-07-10 06:00:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 06:03:44 +0200 | aaronv_ | (~aaronv@user/aaronv) (Remote host closed the connection) |
2025-07-10 06:04:09 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
2025-07-10 06:05:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 06:09:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 06:10:01 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 06:13:25 +0200 | <haskellbridge> | <maerwald> that's probably done by GHC Makefile, ghcup doesn't do anything with that |
2025-07-10 06:13:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 06:14:58 +0200 | <haskellbridge> | <maerwald> https://gitlab.haskell.org/ghc/ghc/-/blob/master/hadrian/bindist/Makefile?ref_type=heads#L252 |
2025-07-10 06:15:30 +0200 | Square | (~Square@user/square) Square |
2025-07-10 06:16:05 +0200 | <haskellbridge> | <maerwald> ghcup just makes use of DESTDIR so not install straight to the target location |
2025-07-10 06:21:02 +0200 | <haskellbridge> | <maerwald> most package managers do that... some also have sandboxes (in case Makefile is buggy), unfortunately that's a bit harder (see https://github.com/teh/hsseccomp/issues/8) |
2025-07-10 06:22:16 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 06:24:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-07-10 06:24:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 06:25:29 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-07-10 06:29:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 06:40:01 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-10 06:40:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 06:41:54 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
2025-07-10 06:47:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-10 06:57:17 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 06:58:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 07:00:01 +0200 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
2025-07-10 07:01:32 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-10 07:03:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 07:04:50 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-10 07:05:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-07-10 07:05:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 07:06:09 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 07:07:04 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-07-10 07:10:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 07:10:36 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
2025-07-10 07:15:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-10 07:17:33 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
2025-07-10 07:20:44 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-07-10 07:21:24 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
2025-07-10 07:26:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 07:31:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-10 07:34:42 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-07-10 07:36:34 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
2025-07-10 07:39:59 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
2025-07-10 07:41:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 07:42:14 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
2025-07-10 07:42:26 +0200 | aaronv__ | (~aaronv@user/aaronv) (Remote host closed the connection) |
2025-07-10 07:42:49 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
2025-07-10 07:47:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 07:56:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
2025-07-10 07:57:06 +0200 | kuribas | (~user@ptr-17d51eoaqysj5hpqn01.18120a2.ip6.access.telenet.be) (Ping timeout: 248 seconds) |
2025-07-10 07:57:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 08:02:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-07-10 08:02:39 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
2025-07-10 08:07:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-10 08:11:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 08:16:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 08:19:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-07-10 08:19:57 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 08:20:11 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 08:27:07 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-07-10 08:29:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 08:30:59 +0200 | kuribas | (~user@2a02:1808:4d:d943:4fec:e37f:3195:e982) kuribas |
2025-07-10 08:32:02 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-07-10 08:32:53 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
2025-07-10 08:34:05 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-10 08:34:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-07-10 08:34:51 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-10 08:36:26 +0200 | kuribas | (~user@2a02:1808:4d:d943:4fec:e37f:3195:e982) (Remote host closed the connection) |
2025-07-10 08:36:40 +0200 | kuribas | (~user@2a02:1808:4d:d943:9ae2:fac:c54b:c3ef) kuribas |
2025-07-10 08:37:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-10 08:39:58 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 252 seconds) |
2025-07-10 08:45:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 08:45:59 +0200 | kuribas | (~user@2a02:1808:4d:d943:9ae2:fac:c54b:c3ef) (Ping timeout: 260 seconds) |
2025-07-10 08:47:23 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 08:47:37 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 08:48:13 +0200 | Razn0r | (~quassel@94.142.208.170) |
2025-07-10 08:50:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-10 08:51:04 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
2025-07-10 08:55:38 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-07-10 08:59:33 +0200 | acidjnk | (~acidjnk@p200300d6e70b6624c5dc7d25cdcb4315.dip0.t-ipconnect.de) acidjnk |
2025-07-10 09:00:01 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
2025-07-10 09:00:41 +0200 | caconym74 | (~caconym@user/caconym) caconym |
2025-07-10 09:01:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
2025-07-10 09:02:27 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-07-10 09:05:03 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 276 seconds) |
2025-07-10 09:06:40 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 09:07:18 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 09:10:23 +0200 | byorgey | (~byorgey@user/byorgey) (Ping timeout: 268 seconds) |
2025-07-10 09:10:30 +0200 | byorgey | (~byorgey@user/byorgey) byorgey |
2025-07-10 09:10:47 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-07-10 09:12:34 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 09:12:47 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 09:13:27 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 09:13:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-10 09:15:25 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 09:18:28 +0200 | <geekosaur> | right, I was talking about the bindist `make install` |
2025-07-10 09:22:47 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-10 09:28:24 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 09:29:29 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 09:31:03 +0200 | <feetwind> | has anybody made a ghci extension/wrapper/something that lets you e.g., hit the up arrow key to complete from history that matches the current written prefix? (a la fish/shells) |
2025-07-10 09:32:53 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 245 seconds) |
2025-07-10 09:34:29 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 09:35:21 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 09:37:54 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-07-10 09:39:44 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
2025-07-10 09:42:11 +0200 | <dminuoso> | feetwind: Mmm, technically that seems almost trivial as you can just delegate to say fzf. |
2025-07-10 09:42:41 +0200 | <dminuoso> | Probably just a bit of effort to connect the dots in how to provide a custom prompt in the GHCi library code. |
2025-07-10 09:43:05 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-10 09:53:41 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 09:54:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-10 09:58:41 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-07-10 10:00:19 +0200 | mud | (~mud@user/kadoban) kadoban |
2025-07-10 10:00:52 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
2025-07-10 10:01:13 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-10 10:02:24 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2025-07-10 10:02:43 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-07-10 10:06:48 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-07-10 10:10:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-07-10 10:13:13 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 10:14:23 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-07-10 10:18:27 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 10:19:43 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
2025-07-10 10:22:40 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-10 10:26:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-07-10 10:27:23 +0200 | califax | (~califax@user/califx) califx |
2025-07-10 10:38:38 +0200 | qqe | (~qqq@185.54.23.207) |
2025-07-10 10:40:42 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-07-10 10:45:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-10 10:54:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-07-10 10:55:31 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 10:59:51 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 10:59:58 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds) |
2025-07-10 11:00:05 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 11:01:51 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-07-10 11:04:17 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
2025-07-10 11:05:09 +0200 | trickard_ | trickard |
2025-07-10 11:08:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-10 11:08:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-07-10 11:11:10 +0200 | dhil | (~dhil@5.151.29.141) dhil |
2025-07-10 11:12:51 +0200 | califax | (~califax@user/califx) califx |
2025-07-10 11:14:23 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-07-10 11:18:39 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 11:20:25 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 11:20:42 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 11:22:22 +0200 | euandreh | (~Thunderbi@189-31-61-8.user3p.v-tal.net.br) euandreh |
2025-07-10 11:25:06 +0200 | patri_ | (~patri@user/patri) (Ping timeout: 248 seconds) |
2025-07-10 11:26:06 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
2025-07-10 11:41:56 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-07-10 11:42:34 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-07-10 11:48:02 +0200 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
2025-07-10 11:55:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 11:57:00 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-07-10 11:57:18 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer) |
2025-07-10 11:57:58 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-07-10 11:58:31 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
2025-07-10 12:00:40 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 12:09:00 +0200 | trickard_ | trickard |
2025-07-10 12:21:09 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 12:21:23 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 12:26:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-07-10 12:34:16 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-07-10 12:41:41 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-07-10 12:42:23 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 12:45:41 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-07-10 12:45:42 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-07-10 12:45:42 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-07-10 12:47:29 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 12:53:00 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-07-10 12:59:19 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
2025-07-10 13:00:04 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
2025-07-10 13:01:41 +0200 | jespada | (~jespada@179.26.197.246) jespada |
2025-07-10 13:02:12 +0200 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
2025-07-10 13:05:21 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-07-10 13:07:30 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
2025-07-10 13:12:39 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 13:15:33 +0200 | acidjnk | (~acidjnk@p200300d6e70b6624c5dc7d25cdcb4315.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-07-10 13:25:19 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 13:27:55 +0200 | Digit | (~user@user/digit) Digit |
2025-07-10 13:29:06 +0200 | acidjnk | (~acidjnk@p200300d6e70b66245cb465603f00e107.dip0.t-ipconnect.de) acidjnk |
2025-07-10 13:32:51 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
2025-07-10 13:37:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0) |
2025-07-10 13:37:50 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-07-10 13:40:29 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 13:55:01 +0200 | tv | (~tv@user/tv) tv |
2025-07-10 13:58:13 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-07-10 14:07:56 +0200 | jespada | (~jespada@179.26.197.246) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-07-10 14:15:14 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-07-10 14:16:31 +0200 | tv | (~tv@user/tv) tv |
2025-07-10 14:16:39 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-07-10 14:17:11 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 14:17:44 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-10 14:21:34 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 14:21:48 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 14:24:07 +0200 | jespada | (~jespada@179.26.197.246) jespada |
2025-07-10 14:25:12 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 14:25:33 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 14:25:48 +0200 | aforemny | (~aforemny@i59F4C482.versanet.de) (Ping timeout: 245 seconds) |
2025-07-10 14:26:13 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-07-10 14:28:48 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-07-10 14:34:14 +0200 | tv | (~tv@user/tv) tv |
2025-07-10 14:37:21 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 14:38:33 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 14:39:28 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 14:42:25 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
2025-07-10 14:43:41 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 14:44:02 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 14:46:31 +0200 | trickard_ | trickard |
2025-07-10 14:49:56 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-07-10 14:50:09 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-10 14:53:09 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-07-10 14:54:49 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 14:56:59 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-07-10 14:57:52 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 15:00:24 +0200 | aforemny | (~aforemny@i59F4C62E.versanet.de) aforemny |
2025-07-10 15:01:11 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-07-10 15:01:28 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 15:03:18 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-07-10 15:04:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 15:05:15 +0200 | aforemny | (~aforemny@i59F4C62E.versanet.de) (Ping timeout: 252 seconds) |
2025-07-10 15:08:04 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-07-10 15:08:31 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 15:12:27 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 15:14:23 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
2025-07-10 15:15:50 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 272 seconds) |
2025-07-10 15:19:39 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-07-10 15:21:20 +0200 | rvalue- | rvalue |
2025-07-10 15:21:57 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-07-10 15:29:59 +0200 | Square | (~Square@user/square) Square |
2025-07-10 15:30:54 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-07-10 15:32:21 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 15:56:05 +0200 | ubert | (~Thunderbi@178.115.41.81.wireless.dyn.drei.com) ubert |
2025-07-10 16:01:03 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-10 16:05:44 +0200 | esfo | (~esfo@host-pnul5yhg558oustj.pd.og-w2d1-a.v6.dfn.nl) esfo |
2025-07-10 16:13:05 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 16:13:19 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 16:14:30 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 16:15:56 +0200 | elenril | (~elenril@tutturu.khirnov.net) elenril |
2025-07-10 16:17:29 +0200 | trickard_ | trickard |
2025-07-10 16:19:15 +0200 | Razn0r | (~quassel@94.142.208.170) (Ping timeout: 276 seconds) |
2025-07-10 16:22:46 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 16:23:13 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 16:28:35 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 16:34:03 +0200 | Everything | (~Everythin@94.153.14.148) Everything |
2025-07-10 16:34:20 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) RedFlamingos |
2025-07-10 16:34:52 +0200 | mange | (~mange@user/mange) (Quit: Zzz///) |
2025-07-10 16:35:34 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-07-10 16:36:26 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 16:42:12 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-07-10 16:50:08 +0200 | Everythi1g | (~Everythin@static.208.206.21.65.clients.your-server.de) |
2025-07-10 16:54:17 +0200 | Everything | (~Everythin@94.153.14.148) (Quit: leaving) |
2025-07-10 16:56:57 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-07-10 16:57:16 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 16:59:34 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-07-10 17:00:53 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-07-10 17:00:53 +0200 | ChanServ | +v haskellbridge |
2025-07-10 17:03:00 +0200 | Nosrep | (~jimothy@user/nosrep) Nosrep |
2025-07-10 17:04:33 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 17:04:47 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 17:08:04 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 17:15:31 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 17:16:00 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-07-10 17:18:48 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-10 17:21:25 +0200 | trickard_ | trickard |
2025-07-10 17:25:27 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 17:25:45 +0200 | euandreh | (~Thunderbi@189-31-61-8.user3p.v-tal.net.br) (Quit: euandreh) |
2025-07-10 17:29:04 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
2025-07-10 17:30:23 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 17:30:25 +0200 | qqe | (~qqq@185.54.23.207) (Quit: Lost terminal) |
2025-07-10 17:35:39 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
2025-07-10 17:38:44 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 17:38:58 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 17:41:12 +0200 | jespada | (~jespada@179.26.197.246) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-07-10 17:43:04 +0200 | jespada | (~jespada@179.26.197.246) jespada |
2025-07-10 17:43:43 +0200 | acidjnk | (~acidjnk@p200300d6e70b66245cb465603f00e107.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-07-10 17:48:45 +0200 | Everythi1g | (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
2025-07-10 17:52:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 17:54:30 +0200 | acidjnk | (~acidjnk@p200300d6e70b66235cb465603f00e107.dip0.t-ipconnect.de) acidjnk |
2025-07-10 17:54:58 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 18:04:21 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-07-10 18:07:20 +0200 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
2025-07-10 18:14:09 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-07-10 18:14:10 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) ft |
2025-07-10 18:15:02 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 18:17:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 18:21:48 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-07-10 18:24:17 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-07-10 18:28:40 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-07-10 18:34:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-07-10 18:43:13 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-07-10 18:43:58 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-07-10 18:48:32 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 18:53:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
2025-07-10 18:53:56 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 18:54:10 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 18:56:42 +0200 | trickard_ | trickard |
2025-07-10 18:59:17 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 19:03:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-10 19:05:06 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 19:15:34 +0200 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Remote host closed the connection) |
2025-07-10 19:21:50 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-07-10 19:22:00 +0200 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) |
2025-07-10 19:24:10 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 19:28:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 19:31:31 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-07-10 19:32:18 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 19:33:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 19:34:25 +0200 | jespada | (~jespada@179.26.197.246) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-07-10 19:35:25 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-07-10 19:35:39 +0200 | jespada | (~jespada@179.26.197.246) jespada |
2025-07-10 19:37:25 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
2025-07-10 19:43:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 19:45:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-10 19:49:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-10 19:49:08 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
2025-07-10 19:52:03 +0200 | acidjnk | (~acidjnk@p200300d6e70b66235cb465603f00e107.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-07-10 19:52:20 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
2025-07-10 19:52:44 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 19:53:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-07-10 19:54:51 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-07-10 19:56:00 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 19:56:35 +0200 | cross | (~cross@spitfire.i.gajendra.net) cross |
2025-07-10 19:57:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
2025-07-10 19:59:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 20:00:49 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-07-10 20:06:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-10 20:06:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-10 20:11:56 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
2025-07-10 20:13:27 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 20:13:37 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 20:15:04 +0200 | ph88 | (~ph88@2a02:8109:9e21:b800:9687:d19d:fbd0:f1f1) (Quit: Leaving) |
2025-07-10 20:17:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 20:19:40 +0200 | dmjio | (~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13) |
2025-07-10 20:19:52 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-07-10 20:20:37 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-10 20:21:19 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-07-10 20:23:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
2025-07-10 20:24:48 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-07-10 20:25:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-07-10 20:25:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 20:27:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-07-10 20:32:26 +0200 | sprotte24 | (~sprotte24@p200300d16f1bd900a53b05e7935c196d.dip0.t-ipconnect.de) |
2025-07-10 20:33:56 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-07-10 20:34:14 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 20:37:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 20:41:21 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-07-10 20:42:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 20:44:51 +0200 | patri_ | (~patri@user/patri) patri |
2025-07-10 20:53:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 20:55:17 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 20:57:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-07-10 20:58:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-10 20:58:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
2025-07-10 20:59:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
2025-07-10 21:00:43 +0200 | caconym74 | (~caconym@user/caconym) caconym |
2025-07-10 21:07:10 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
2025-07-10 21:07:25 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-07-10 21:09:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 21:09:58 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Client Quit) |
2025-07-10 21:10:14 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-07-10 21:13:02 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-07-10 21:13:42 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 21:14:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 21:18:13 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-10 21:21:17 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-10 21:23:09 +0200 | dmjio | (~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13) (Ping timeout: 260 seconds) |
2025-07-10 21:25:12 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
2025-07-10 21:25:13 +0200 | merijn | (~merijn@62.45.137.128) merijn |
2025-07-10 21:26:45 +0200 | dmjio | (~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13) |
2025-07-10 21:28:28 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 21:29:02 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-07-10 21:29:52 +0200 | merijn | (~merijn@62.45.137.128) (Ping timeout: 276 seconds) |
2025-07-10 21:30:20 +0200 | jespada | (~jespada@179.26.197.246) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-07-10 21:32:26 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 21:32:49 +0200 | jespada | (~jespada@179.26.197.246) jespada |
2025-07-10 21:33:55 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2025-07-10 21:37:09 +0200 | dmjio | (~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13) (Ping timeout: 260 seconds) |
2025-07-10 21:38:29 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-07-10 21:40:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 21:40:45 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-07-10 21:43:54 +0200 | <Enrico63> | Hi all. I would like to expereiment with https://github.com/haskell/haskeline in an attempt to address https://github.com/haskell/haskeline/issues/60. However, I don't really know how ghci uses haskeline, nor I remember what did I do to make use of haskeline. I just know I've got a ~/.haskeline file which tells which mode I want to use for |
2025-07-10 21:43:55 +0200 | <Enrico63> | instance. But I don't know how to make ghci use haskeline from a local clone of the repo. Any suggestion? |
2025-07-10 21:45:14 +0200 | <geekosaur> | afaik you can't build ghci without building ghc, and in that case you just point the libraries/haskeline submodule to your repo |
2025-07-10 21:45:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-10 21:46:46 +0200 | <geekosaur> | there is a standalone ghci-ng on hackage but it's bitrotted; it was used to trial `:doc` which went in years ago |
2025-07-10 21:51:02 +0200 | <Enrico63> | Re your first reply. SoI would have to clone https://github.com/ghc/ghc, so that I can edit presumably its cabal.project-reinstall file (https://github.com/ghc/ghc/blob/master/cabal.project-reinstall) by changing this very line https://github.com/ghc/ghc/blob/ef03d8b8851a1cace5f792fe5a91b6b227198aa2/cabal.project-reinstall#L25 to the path of my |
2025-07-10 21:51:02 +0200 | <Enrico63> | clone of https://github.com/haskell/haskeline ? |
2025-07-10 21:56:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 22:00:00 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
2025-07-10 22:00:46 +0200 | <tomsmeding> | Enrico63: you'd follow the normal build process of GHC (tl/dr: checkout git submodules; ./boot; ./configure; hadrian/build; -- docs here https://gitlab.haskell.org/ghc/ghc/-/wikis/javascript-backend/building ), but you'd replace the libraries/haskeline submodule with your own repo |
2025-07-10 22:00:55 +0200 | <tomsmeding> | there should be no need to modify any files, if I'm not mistaken |
2025-07-10 22:01:09 +0200 | <tomsmeding> | oh wrong docs |
2025-07-10 22:01:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-07-10 22:01:31 +0200 | <tomsmeding> | Enrico63: https://gitlab.haskell.org/ghc/ghc/-/wikis/building/hadrian |
2025-07-10 22:01:35 +0200 | <tomsmeding> | these are the correct ones |
2025-07-10 22:02:03 +0200 | acidjnk | (~acidjnk@p200300d6e70b66237c900a45f667e7c0.dip0.t-ipconnect.de) acidjnk |
2025-07-10 22:05:30 +0200 | esfo | (~esfo@host-pnul5yhg558oustj.pd.og-w2d1-a.v6.dfn.nl) (Quit: Client closed) |
2025-07-10 22:07:36 +0200 | tolt_ | (~weechat-h@li219-154.members.linode.com) tolt |
2025-07-10 22:09:02 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 244 seconds) |
2025-07-10 22:12:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 22:14:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-10 22:17:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-10 22:20:19 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-07-10 22:21:50 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
2025-07-10 22:25:33 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Quit: RedFlamingos) |
2025-07-10 22:27:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 22:30:58 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
2025-07-10 22:33:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 22:35:48 +0200 | <Enrico63> | tomsmeding, JavaScript?! |
2025-07-10 22:36:06 +0200 | <geekosaur> | see his correction later |
2025-07-10 22:36:10 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-07-10 22:36:28 +0200 | <geekosaur> | he pointed you to the JS backend docs first, then the main docs later |
2025-07-10 22:36:57 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 22:37:10 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 22:38:12 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-07-10 22:41:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
2025-07-10 22:43:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 22:44:44 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-07-10 22:45:01 +0200 | califax | (~califax@user/califx) califx |
2025-07-10 22:49:06 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 22:50:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 22:53:37 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-07-10 22:55:17 +0200 | <Enrico63> | But is my summary above incorrect? Is this suggestion of using this hadrian thing an alternative? Is it the only way? Or what? Maybe it's best I describe what my setup is. When I have to use haskell on a system, I just installe GHCup and use that to install GHC, HLS, Cabal, and whatever. |
2025-07-10 22:59:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-10 23:01:38 +0200 | dhil | (~dhil@5.151.29.141) (Ping timeout: 245 seconds) |
2025-07-10 23:01:41 +0200 | <geekosaur> | hadrian is the only supported way to do it |
2025-07-10 23:01:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 23:01:54 +0200 | <geekosaur> | ghc cannot yet be built using cabal |
2025-07-10 23:02:10 +0200 | <geekosaur> | (although cabal is used to build some bootlibs, under hadrian's control) |
2025-07-10 23:04:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-10 23:06:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-10 23:08:23 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-10 23:08:40 +0200 | jespada | (~jespada@179.26.197.246) (Ping timeout: 276 seconds) |
2025-07-10 23:11:38 +0200 | jespada | (~jespada@r190-133-9-81.dialup.adsl.anteldata.net.uy) jespada |
2025-07-10 23:11:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
2025-07-10 23:12:00 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
2025-07-10 23:17:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 23:19:28 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-10 23:20:21 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
2025-07-10 23:21:51 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
2025-07-10 23:22:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-10 23:24:30 +0200 | yin | (~zero@user/zero) zero |
2025-07-10 23:30:02 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-07-10 23:32:35 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-07-10 23:32:49 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
2025-07-10 23:33:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 23:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-10 23:42:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-10 23:48:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-10 23:51:20 +0200 | sprotte24 | (~sprotte24@p200300d16f1bd900a53b05e7935c196d.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-07-10 23:53:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-10 23:54:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |