| 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 |