| 2025-01-30 00:02:28 +0100 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) falafel |
| 2025-01-30 00:02:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-30 00:07:31 +0100 | yin | (~yin@user/zero) zero |
| 2025-01-30 00:07:39 +0100 | <yin> | any reason why ghcup is not on *insert repo* and makes up play dependency-pong everytime we install it? |
| 2025-01-30 00:08:14 +0100 | <int-e> | . o O ( those are words ) |
| 2025-01-30 00:09:41 +0100 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-30 00:11:36 +0100 | <int-e> | I mean there's https://github.com/haskell/ghcup-hs and https://github.com/haskell/ghcup-metadata ...and there was existing Haskell infrastructure to piggy-back on for the binaries. |
| 2025-01-30 00:11:43 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 2025-01-30 00:12:06 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-01-30 00:12:09 +0100 | <int-e> | Which may or may not partially answer the question. |
| 2025-01-30 00:13:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 00:15:09 +0100 | <yin> | i guess my problem would be solved if the installer checked for missing dependencies *before* starting the installation process |
| 2025-01-30 00:15:38 +0100 | <yin> | it usually takes me a few tries |
| 2025-01-30 00:16:18 +0100 | <geekosaur> | the problem with that is that every distro calls them something different |
| 2025-01-30 00:17:31 +0100 | <yin> | yes, i wish i could `<packagemanager> install ghcup> |
| 2025-01-30 00:17:46 +0100 | <int-e> | there's https://www.haskell.org/ghcup/install/#system-requirements ...this way ghcup doesn't have to know every single distribution on Earth |
| 2025-01-30 00:18:01 +0100 | <geekosaur> | you can on some distros. you then can't use its self-upgrade safely |
| 2025-01-30 00:18:20 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-30 00:18:28 +0100 | <geekosaur> | (potentially you can break your package manager if you do it as root) |
| 2025-01-30 00:18:33 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-30 00:18:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-01-30 00:19:09 +0100 | <yin> | int-e: some dependencies are missing there and, in my case today, my distro is not on that list |
| 2025-01-30 00:20:18 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-30 00:20:52 +0100 | <geekosaur> | (I say this as someone who's had to fix an OpenSuSE install and helped RH/Fedora and Debian users try to recover from installing/upgrading the wrong thing) |
| 2025-01-30 00:21:05 +0100 | <int-e> | Well then ghcup itself probably wouldn't know about it either. So as geekosaur is basically saying it becomes a distro issue; Noone is stopping distros from packaging it. |
| 2025-01-30 00:22:27 +0100 | <geekosaur> | (granting the package manager probably doesn't use ghcup, so probably won't do anything beyond complaining that it no longer matches the package manager database) |
| 2025-01-30 00:23:07 +0100 | <int-e> | It may be hard to convince a distro to provide an installer for non-distro packages but https://packages.debian.org/sid/rustup shows that it can be done :P |
| 2025-01-30 00:24:27 +0100 | <geekosaur> | there's a reason pip (python package installer) now has a "distro mode" that disables installing/upgrading system packages and warns you that you can break your distro by overriding it |
| 2025-01-30 00:28:58 +0100 | <geekosaur> | oh, it's fine as lomng as it does per-user installs. it's the system-wide ones that are a problem |
| 2025-01-30 00:29:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 00:29:30 +0100 | <geekosaur> | rustup does per-user installs, in particular |
| 2025-01-30 00:30:46 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-2048-9e7f-54c9-2d46.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-30 00:31:57 +0100 | user__ | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-30 00:32:10 +0100 | <geekosaur> | similarly virtualenv was never a problem (it's just been superseded by `python -m venv`) |
| 2025-01-30 00:32:31 +0100 | user__ | (~user@user/fmira) fmira |
| 2025-01-30 00:33:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-30 00:37:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 00:38:12 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-4078-3e5a-2d1a-9dad.rev.sfr.net) alexherbo2 |
| 2025-01-30 00:39:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-01-30 00:40:51 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-30 00:41:29 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-4078-3e5a-2d1a-9dad.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-30 00:42:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-30 00:44:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 00:48:24 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-30 00:48:32 +0100 | fp1 | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-01-30 00:49:22 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-01-30 00:51:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-30 00:53:06 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-30 00:57:01 +0100 | <haskellbridge> | <Axman6> There's a poem explaining what a parser combinator is, but I can't find it online, anyone have a link to it? "A parser is a function from strings to pairs of things and strings", but I think I'm missing some words |
| 2025-01-30 00:57:25 +0100 | <haskellbridge> | <Axman6> jackdk I'm sure you know it off by heart |
| 2025-01-30 00:57:55 +0100 | <haskellbridge> | <Axman6> Ah found it: https://blog.nikosbaxevanis.com/2020/03/30/the-rhyme-of-the-altered-parser/ |
| 2025-01-30 00:59:05 +0100 | noctux | (~noctux@user/noctux) (Ping timeout: 244 seconds) |
| 2025-01-30 01:00:47 +0100 | <jackdk> | I'm partial to "A parser for things is a function from String, to Maybe the thing and the leftover String" |
| 2025-01-30 01:02:00 +0100 | <glguy> | "The only place I’ve seen it being used is in ..." \o/ |
| 2025-01-30 01:02:15 +0100 | mange | (~user@user/mange) mange |
| 2025-01-30 01:03:10 +0100 | <int-e> | now try to make that work with the fail/tail rhyme |
| 2025-01-30 01:03:29 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2025-01-30 01:04:18 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 2025-01-30 01:04:22 +0100 | <haskellbridge> | <Axman6> glguy You're pretty much famous |
| 2025-01-30 01:06:37 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-30 01:09:07 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-30 01:13:53 +0100 | user__ | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-30 01:15:19 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 260 seconds) |
| 2025-01-30 01:15:24 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-01-30 01:16:05 +0100 | user__ | (~user@user/fmira) fmira |
| 2025-01-30 01:18:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 01:19:21 +0100 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-01-30 01:20:27 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-01-30 01:22:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-01-30 01:27:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 01:30:55 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-30 01:32:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-30 01:32:12 +0100 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-01-30 01:33:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 01:38:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-30 01:39:33 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f984d3514a5c03883b9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-30 01:44:53 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-30 01:45:10 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-30 01:46:19 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-01-30 01:46:38 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 245 seconds) |
| 2025-01-30 01:46:41 +0100 | monochrm | monochrom |
| 2025-01-30 01:49:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 01:53:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-01-30 01:55:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 01:57:22 +0100 | sprotte24 | (~sprotte24@p200300d16f066800e58385d4d3a6ab2d.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-30 01:57:28 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-30 01:58:28 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-30 02:00:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-01-30 02:00:54 +0100 | adamCS | (~adamCS@pool-100-33-243-37.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-01-30 02:03:25 +0100 | brachyrhynchos | (~brachyrhy@user/brachyrhynchos) brachyrhynchos |
| 2025-01-30 02:03:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:dc88:7fed:aa57:a617) (Ping timeout: 252 seconds) |
| 2025-01-30 02:04:56 +0100 | user__ | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-30 02:05:32 +0100 | user__ | (~user@user/fmira) fmira |
| 2025-01-30 02:10:10 +0100 | adamCS | (~adamCS@71.190.30.173) adamCS |
| 2025-01-30 02:10:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 02:15:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-01-30 02:17:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 02:20:51 +0100 | otto_s | (~user@p5b044c4b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-30 02:21:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-30 02:22:50 +0100 | otto_s | (~user@p5b0441ee.dip0.t-ipconnect.de) |
| 2025-01-30 02:26:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 02:30:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-01-30 02:32:36 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-01-30 02:35:50 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-01-30 02:36:13 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-30 02:37:21 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 248 seconds) |
| 2025-01-30 02:37:22 +0100 | monochrm | monochrom |
| 2025-01-30 02:41:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 02:43:11 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-01-30 02:43:40 +0100 | califax | (~califax@user/califx) califx |
| 2025-01-30 02:45:34 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2025-01-30 02:45:46 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-30 02:46:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-01-30 02:55:00 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-30 02:55:48 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-30 02:56:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-01-30 02:57:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 02:57:24 +0100 | <ColinRobinson> | because this is a publicly logged channel, clarifying my use of 'factitious" the last time I spoke here was not meant in the English sense, at least the one that shows in web dictionary entries but rathter the one that shows for 'facticity' w or w/o sartre |
| 2025-01-30 02:58:24 +0100 | <ColinRobinson> | *rather |
| 2025-01-30 02:58:34 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Client Quit) |
| 2025-01-30 02:59:40 +0100 | <EvanR> | are these words actually cromulent |
| 2025-01-30 03:01:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-30 03:01:41 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46c5769c4c50fc7d32.dip0.t-ipconnect.de) acidjnk |
| 2025-01-30 03:03:35 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-30 03:05:35 +0100 | fired_ | (la@2600:3c00::f03c:92ff:fee3:aace) |
| 2025-01-30 03:05:37 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 248 seconds) |
| 2025-01-30 03:05:38 +0100 | fired | (LA@2600:3c00::f03c:92ff:fee3:aace) (Ping timeout: 248 seconds) |
| 2025-01-30 03:06:05 +0100 | fired_ | fired |
| 2025-01-30 03:06:12 +0100 | <ColinRobinson> | aiui, 'cromulent' is a nonce without meaning other than as a meme for a nonsense term. Neither of the terms i referred to has that character. Factitious as it is being reported is the exact opposite of the deadly srsness I intend for this persona. |
| 2025-01-30 03:06:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 03:07:07 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.199) Jeanne-Kamikaze |
| 2025-01-30 03:07:08 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-01-30 03:07:40 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-01-30 03:07:40 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-01-30 03:09:11 +0100 | <EvanR> | ColinRobinson or JuanDaugherty? |
| 2025-01-30 03:09:27 +0100 | <ColinRobinson> | ColinRobinson |
| 2025-01-30 03:09:29 +0100 | <EvanR> | familiar with one nick not the other |
| 2025-01-30 03:11:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-30 03:11:16 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-30 03:12:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 03:14:18 +0100 | <ColinRobinson> | the quit text leads to an explanation (catalog of identities) if u havent already seen. |
| 2025-01-30 03:16:14 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-30 03:17:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-01-30 03:17:29 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-01-30 03:18:59 +0100 | <JuanDaugherty> | it's possible I may give it some use/role in ##haskell-nlp , it's a rich role as far as automating a persona is concerned, more bot like and this one I intend to have the prolog nature and the one sofar assigned the haskell nature i've decided not to run externally |
| 2025-01-30 03:20:19 +0100 | brachyrhynchos | (~brachyrhy@user/brachyrhynchos) (Remote host closed the connection) |
| 2025-01-30 03:21:53 +0100 | <EvanR> | the quit text read "Client Quit" |
| 2025-01-30 03:22:16 +0100 | <EvanR> | you're a bot? |
| 2025-01-30 03:23:03 +0100 | <JuanDaugherty> | not unless i'm marked away |
| 2025-01-30 03:23:55 +0100 | JuanDaugherty | is never away in effect |
| 2025-01-30 03:24:06 +0100 | <EvanR> | o_O |
| 2025-01-30 03:24:10 +0100 | <JuanDaugherty> | when present |
| 2025-01-30 03:25:47 +0100 | <JuanDaugherty> | it looks like nick grouping foils the client quit message, checking |
| 2025-01-30 03:25:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-30 03:26:31 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-01-30 03:27:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 03:29:05 +0100 | <talismanick> | For a function as ubiquitous as `traverse`, I'm surprised there isn't an infix shorthand |
| 2025-01-30 03:37:18 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46c5769c4c50fc7d32.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-30 03:38:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-30 03:43:32 +0100 | <haskellbridge> | <Bowuigi> It's easier to associate it with "for" that way I guess |
| 2025-01-30 03:44:47 +0100 | tuxpaint | (~a@put.gay) (Quit: gn) |
| 2025-01-30 03:45:06 +0100 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2025-01-30 03:46:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 03:46:37 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2025-01-30 03:48:33 +0100 | <talismanick> | `for` is nice if you're mimicking procedural langs with do-notation or simply want to spare your eyes a spurious `flip`, but I wish it was visually distinct like how `<$>` is to `fmap` |
| 2025-01-30 03:48:56 +0100 | <talismanick> | `<*$>`, maybe? |
| 2025-01-30 03:49:54 +0100 | <talismanick> | `<$>>=` looks nicer, but it's not just `mapM` anymore |
| 2025-01-30 03:50:42 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-01-30 03:51:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-01-30 03:51:54 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-30 03:53:29 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-30 03:55:54 +0100 | sarna | (~sarna@d224-221.icpnet.pl) (Ping timeout: 252 seconds) |
| 2025-01-30 03:56:13 +0100 | sarna | (~sarna@d224-221.icpnet.pl) sarna |
| 2025-01-30 03:56:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 03:56:43 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-30 03:56:56 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-30 03:58:20 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-01-30 03:58:38 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 265 seconds) |
| 2025-01-30 03:58:41 +0100 | monochrm | monochrom |
| 2025-01-30 03:58:43 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-30 03:58:43 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-01-30 03:58:53 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-30 03:59:25 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-30 04:00:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-30 04:01:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 04:03:28 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 265 seconds) |
| 2025-01-30 04:03:46 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2025-01-30 04:05:11 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-01-30 04:07:06 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-30 04:08:11 +0100 | pie__ | (~pie_bnc@user/pie/x-2818909) () |
| 2025-01-30 04:08:34 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-01-30 04:09:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-30 04:09:50 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-01-30 04:12:39 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-01-30 04:17:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-30 04:17:25 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-01-30 04:18:14 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-01-30 04:20:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 04:23:34 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-01-30 04:24:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-01-30 04:29:21 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-30 04:36:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 04:38:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-30 04:41:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-01-30 04:44:52 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 04:47:37 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.199) (Quit: Leaving) |
| 2025-01-30 04:49:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-30 04:51:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 04:56:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-30 05:04:33 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-01-30 05:07:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 05:07:49 +0100 | <monochrom> | @type traverse |
| 2025-01-30 05:07:50 +0100 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2025-01-30 05:10:38 +0100 | <monochrom> | Yeah something like <*$> or <$*> |
| 2025-01-30 05:11:22 +0100 | <monochrom> | Note that our traverse is called flip map in impure functional languages for a certain f and a certain t. >:) |
| 2025-01-30 05:14:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-30 05:24:05 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-30 05:25:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 05:26:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-30 05:26:33 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce3:9600:2c48:7088:cbda:dd4) aforemny |
| 2025-01-30 05:27:33 +0100 | aforemny | (~aforemny@i577B125E.versanet.de) (Ping timeout: 248 seconds) |
| 2025-01-30 05:27:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-30 05:29:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-01-30 05:32:21 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-30 05:33:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 05:33:58 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-30 05:38:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-30 05:40:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 05:45:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-30 05:45:55 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-30 05:47:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 05:52:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-30 05:54:38 +0100 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (Ping timeout: 265 seconds) |
| 2025-01-30 05:54:58 +0100 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 2025-01-30 05:57:51 +0100 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) sa1 |
| 2025-01-30 05:57:56 +0100 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) PotatoGim |
| 2025-01-30 06:04:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 06:08:50 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-30 06:09:08 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-30 06:11:12 +0100 | <haskellbridge> | <maerwald> geekosaur: no, ghcup doesn't overwrite itself by default |
| 2025-01-30 06:11:36 +0100 | <haskellbridge> | <maerwald> and no sane package manager places binaries in HOME |
| 2025-01-30 06:13:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-01-30 06:13:37 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-01-30 06:13:43 +0100 | <haskellbridge> | <maerwald> yin: ghcup itself has no dependencies other than "curl" or "wget". The dependencies that you mean are for _GHC_. So someone packaging ghcup properly would _not_ add those dependencies to the ghcup package. |
| 2025-01-30 06:13:57 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 246 seconds) |
| 2025-01-30 06:13:57 +0100 | monochrm | monochrom |
| 2025-01-30 06:13:59 +0100 | monochrom | (trebla@216.138.220.146) (Client Quit) |
| 2025-01-30 06:15:50 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-01-30 06:16:14 +0100 | <haskellbridge> | <maerwald> You can try: <package-manager> install $(ghcup tool-requirements -r) |
| 2025-01-30 06:16:32 +0100 | <euouae> | Hello functions of the type Functor f => f a -> f b, what are they called? |
| 2025-01-30 06:16:48 +0100 | <euouae> | are they functor transformers? natural transformations? |
| 2025-01-30 06:19:01 +0100 | <geekosaur> | the package manager doesn't but rustup does |
| 2025-01-30 06:19:47 +0100 | <haskellbridge> | <maerwald> yes, that's why they don't interfere with each other |
| 2025-01-30 06:20:02 +0100 | <geekosaur> | that was the point I was trying to make |
| 2025-01-30 06:20:41 +0100 | <geekosaur> | as distinct from older pip which happily would overwrite system packages and break stuff |
| 2025-01-30 06:21:10 +0100 | <euouae> | pip and weep |
| 2025-01-30 06:23:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 06:24:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 06:24:46 +0100 | <geekosaur> | Fedora gave up some years back and started shipping a private python install for yum/dnf to use so people upgrading system packages didn't break it |
| 2025-01-30 06:26:04 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-01-30 06:27:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-30 06:28:23 +0100 | <euouae> | debian has some block & banner too for it |
| 2025-01-30 06:28:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-30 06:29:00 +0100 | <euouae> | error: externally-managed-environment is how it starts... 20 line paragraph error |
| 2025-01-30 06:35:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-30 06:35:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-01-30 06:35:24 +0100 | tnt2 | tnt1 |
| 2025-01-30 06:39:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 06:41:41 +0100 | euouae | (~euouae@user/euouae) () |
| 2025-01-30 06:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-01-30 06:48:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 06:48:53 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-01-30 06:49:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-30 06:55:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-30 06:57:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 07:02:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-30 07:03:31 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-01-30 07:03:34 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-30 07:06:25 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-30 07:06:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 07:06:51 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-30 07:12:46 +0100 | CiaoSen | (~Jura@2a05:5800:241:f200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-30 07:14:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-01-30 07:18:27 +0100 | <haskellbridge> | <Axman6> @irc_libera.chat_euouae I've generally seen "(forall a. f a -> g a)" being referred to as natural transformations |
| 2025-01-30 07:18:57 +0100 | <Axman6> | ew... ok, the default formatting used by matrix is bad in IRC. oops |
| 2025-01-30 07:25:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-01-30 07:25:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 07:26:17 +0100 | <int-e> | haskellbridge: it's fine ;-) |
| 2025-01-30 07:27:54 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-01-30 07:28:34 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-01-30 07:28:34 +0100 | monochrm | monochrom |
| 2025-01-30 07:30:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-01-30 07:31:18 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-30 07:31:31 +0100 | euleritian | (~euleritia@dynamic-176-006-142-040.176.6.pool.telefonica.de) |
| 2025-01-30 07:32:25 +0100 | <haskellbridge> | <Axman6> :( |
| 2025-01-30 07:41:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 07:41:24 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-30 07:43:04 +0100 | euleritian | (~euleritia@dynamic-176-006-142-040.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2025-01-30 07:43:42 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-01-30 07:43:48 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-30 07:45:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-01-30 07:46:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 07:49:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 07:50:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-30 07:53:57 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f467932b3eddade0ab9.dip0.t-ipconnect.de) |
| 2025-01-30 07:54:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-30 08:00:44 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-01-30 08:02:16 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 272 seconds) |
| 2025-01-30 08:02:16 +0100 | monochrm | monochrom |
| 2025-01-30 08:03:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-30 08:04:04 +0100 | euleritian | (~euleritia@dynamic-176-003-044-001.176.3.pool.telefonica.de) |