| 2022-11-20 00:02:50 +0100 | bobbingbob | (~bobbingbo@2604:3d09:207f:f650::b469) (Ping timeout: 260 seconds) |
| 2022-11-20 00:06:34 +0100 | foul_owl | (~kerry@157.97.134.158) (Ping timeout: 260 seconds) |
| 2022-11-20 00:06:40 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 00:09:36 +0100 | bobbingbob | (~bobbingbo@2604:3d09:207f:f650::b469) |
| 2022-11-20 00:10:49 +0100 | foul_owl | (~kerry@157.97.134.158) |
| 2022-11-20 00:12:42 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-20 00:12:59 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-20 00:23:55 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2022-11-20 00:26:32 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-11-20 00:29:02 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 00:30:16 +0100 | <c209e6dc-4d76-47> | I'm trying to debug `prelude.!!: index too large` |
| 2022-11-20 00:31:10 +0100 | <c209e6dc-4d76-47> | using `+RTS -xc` I get something like this: https://paste.tomsmeding.com/abAI2yCn |
| 2022-11-20 00:31:11 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-11-20 00:31:21 +0100 | <c209e6dc-4d76-47> | I am not sure which `!!` is it referring to |
| 2022-11-20 00:34:13 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2022-11-20 00:36:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Remote host closed the connection) |
| 2022-11-20 00:41:30 +0100 | jecxjo[m] | (~jecxjomat@2001:470:69fc:105::2:bd7c) |
| 2022-11-20 00:43:35 +0100 | <EvanR> | you could replace one !! with a custom operator does the same thing but has a different message on error... |
| 2022-11-20 00:44:41 +0100 | <EvanR> | in any case, review all existing !! and the proof obligation that n < length |
| 2022-11-20 00:44:50 +0100 | dimsuz | (~dima@95.52.248.22) |
| 2022-11-20 00:45:07 +0100 | <dimsuz> | I'm using aeson and writing a FromJSON instance which will output a [Foo], so I use "withArray $ \arr -> map parseJSON arr". Can I somehow skip some items while doing map? |
| 2022-11-20 00:45:40 +0100 | <dsal> | :t mapMaybe |
| 2022-11-20 00:45:40 +0100 | <EvanR> | map them to Maybe Foo then finally use catMaybes |
| 2022-11-20 00:45:41 +0100 | <lambdabot> | (a -> Maybe b) -> [a] -> [b] |
| 2022-11-20 00:45:50 +0100 | <EvanR> | doh, or that |
| 2022-11-20 00:45:56 +0100 | <dimsuz> | I defined a FromJSON instance for Foo which returns mzero if some property of this object is present, but this only outputs an aeson error |
| 2022-11-20 00:46:34 +0100 | <dimsuz> | i.e. mapMaybe (parseMaybe parseJSON) arr |
| 2022-11-20 00:46:35 +0100 | <dimsuz> | ? |
| 2022-11-20 00:51:18 +0100 | goepsilongo | (~goepsilon@2603-7000-ab00-00e5-4167-a449-9ece-260f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-20 00:51:50 +0100 | goepsilongo | (~goepsilon@2603-7000-ab00-00e5-4167-a449-9ece-260f.res6.spectrum.com) |
| 2022-11-20 00:55:22 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-20 00:56:04 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 2022-11-20 00:59:37 +0100 | <maralorn> | Is there some tool which can draw me a graph of all top-level bindings in my program so I can discover if another Module structure might make sense? |
| 2022-11-20 01:00:28 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-20 01:02:30 +0100 | acidjnk | (~acidjnk@p200300d6e7137a4619037b2a1cfeb60c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-11-20 01:06:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-20 01:08:17 +0100 | mauke_ | (~mauke@p57b6ed34.dip0.t-ipconnect.de) |
| 2022-11-20 01:09:36 +0100 | mauke | (~mauke@p5091177f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-11-20 01:09:36 +0100 | mauke_ | mauke |
| 2022-11-20 01:17:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-20 01:17:51 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-11-20 01:18:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-11-20 01:18:40 +0100 | srz | (~srz@181.228.49.93) (Ping timeout: 260 seconds) |
| 2022-11-20 01:22:38 +0100 | chomwitt | (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2022-11-20 01:22:54 +0100 | dimsuz | (~dima@95.52.248.22) (Quit: leaving) |
| 2022-11-20 01:23:17 +0100 | shinjipf8 | (~shinjipf@2a01:4f8:1c1c:c1be::1) |
| 2022-11-20 01:24:49 +0100 | shinjipf | (~shinjipf@2a01:4f8:1c1c:c1be::1) (Ping timeout: 252 seconds) |
| 2022-11-20 01:24:49 +0100 | shinjipf8 | shinjipf |
| 2022-11-20 01:27:49 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 268 seconds) |
| 2022-11-20 01:28:23 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-11-20 01:30:07 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-11-20 01:30:23 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 2022-11-20 01:32:38 +0100 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2022-11-20 01:32:38 +0100 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2022-11-20 01:32:38 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2022-11-20 01:34:46 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-11-20 01:35:13 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 2022-11-20 01:37:14 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-11-20 01:42:23 +0100 | lechner | (~lechner@debian/lechner) (Remote host closed the connection) |
| 2022-11-20 01:46:13 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-11-20 01:46:32 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-20 01:46:51 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit) |
| 2022-11-20 01:47:29 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-11-20 01:49:13 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-20 01:50:53 +0100 | mauke | (~mauke@p57b6ed34.dip0.t-ipconnect.de) (Quit: brb) |
| 2022-11-20 01:50:56 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-11-20 01:51:15 +0100 | mauke | (~mauke@p57b6ed34.dip0.t-ipconnect.de) |
| 2022-11-20 01:52:26 +0100 | darchitect | (~darchitec@2a00:23c6:3584:df01:d84a:e6ea:9bdf:965a) |
| 2022-11-20 01:52:52 +0100 | <darchitect> | guys can anyone explain to a dummy why "lambda calculus" is called "calculus" ? |
| 2022-11-20 01:55:28 +0100 | <hpc> | that's a really good question |
| 2022-11-20 01:55:33 +0100 | <sclv> | It involves variable binding |
| 2022-11-20 01:55:36 +0100 | <hpc> | wikipedia says "Calculus (from Latin calculus meaning ‘pebble’, plural calculī) in its most general sense is any method or system of calculation." |
| 2022-11-20 01:55:54 +0100 | <sclv> | If it didn’t we might call it an algebra |
| 2022-11-20 01:56:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-20 01:56:30 +0100 | <[Leary]> | Also, wiktionary: /calculus/: (countable, mathematics) Any formal system in which symbolic expressions are manipulated according to fixed rules. |
| 2022-11-20 01:58:04 +0100 | <hpc> | "It also meant a pebble used for calculating, or a small stone used as a counter in an abacus" - i guess what is a symbolic expression but some very fancy pebbles :D |
| 2022-11-20 02:00:04 +0100 | <hpc> | sclv's answer is the best i think |
| 2022-11-20 02:00:15 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 02:01:42 +0100 | <hpc> | although you can probably think of each as related |
| 2022-11-20 02:02:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Remote host closed the connection) |
| 2022-11-20 02:02:32 +0100 | <sclv> | Yeah the dictionary defs make it seem sort of arbitrary but there’s a general mathematical convention on what gets to be called an algebra, and without that you end up being called a calculus very often |
| 2022-11-20 02:02:38 +0100 | <hpc> | like when you do differential calculus you can think of it as manipulating some f(x) by manipulating x (the variable binding way) |
| 2022-11-20 02:02:53 +0100 | <hpc> | or there's a cool computer trick where you make a numeric type that's a tuple, kind of like complex numbers |
| 2022-11-20 02:03:37 +0100 | <hpc> | but instead of a+bi, you have something like ax+b(dx) |
| 2022-11-20 02:03:59 +0100 | <hpc> | (i forget what that sort of number is called and it's hard to google) |
| 2022-11-20 02:04:06 +0100 | <c_wraith> | dual numbers |
| 2022-11-20 02:04:18 +0100 | <hpc> | but then you're not doing symbolic stuff per-se, you're just doing calculations on fancy numbers |
| 2022-11-20 02:04:33 +0100 | <c_wraith> | they're the basis of forward-mode automatic differentiation |
| 2022-11-20 02:04:51 +0100 | <c_wraith> | which, as you say, is not symbolic calculation. Nor is it numeric. It's something else. :) |
| 2022-11-20 02:05:08 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 2022-11-20 02:05:15 +0100 | <hpc> | it depends on what you consider a number to be |
| 2022-11-20 02:05:32 +0100 | <hpc> | but that's a whole other bunch of abstract nonsense |
| 2022-11-20 02:05:43 +0100 | <c_wraith> | well. Not numeric differentiation in the sense that calculus packages advertise. |
| 2022-11-20 02:06:28 +0100 | ub | (~Thunderbi@178.165.166.23.wireless.dyn.drei.com) |
| 2022-11-20 02:07:06 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-11-20 02:07:10 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::fba) (Quit: Konversation terminated!) |
| 2022-11-20 02:07:58 +0100 | ubert | (~Thunderbi@178.115.40.94.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2022-11-20 02:07:58 +0100 | ub | ubert |
| 2022-11-20 02:08:51 +0100 | <hpc> | oh, also on the algebra thing, that's a specific mathematical object - https://en.wikipedia.org/wiki/Algebra_over_a_field |
| 2022-11-20 02:12:31 +0100 | <hpc> | sometimes the names do get muddy, but for a good example of how they are distinct, one of my college courses was called "relational calculus", and taught how to solve problems in the algebra of sets |
| 2022-11-20 02:13:41 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-11-20 02:14:28 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-20 02:14:53 +0100 | <hpc> | or maybe a better example is predicate calculus and boolean algebra |
| 2022-11-20 02:17:05 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 02:18:58 +0100 | <dolio> | That doesn't really match the supposed distinction, really. |
| 2022-11-20 02:19:00 +0100 | SrainUser | (~Srain@189.6.35.188) (Ping timeout: 268 seconds) |
| 2022-11-20 02:19:17 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-20 02:19:17 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-20 02:19:17 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-20 02:20:24 +0100 | <dolio> | E.G. there's "propositional calculus," because there it's referring to the syntax. And "boolean algebra" refers to the models of (classical) propositional calculus. |
| 2022-11-20 02:20:35 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-20 02:20:42 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-11-20 02:20:53 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Quit: king_gs) |
| 2022-11-20 02:21:25 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-20 02:22:15 +0100 | srz | (~srz@179.36.74.229) |
| 2022-11-20 02:25:36 +0100 | lechner | (~lechner@debian/lechner) (Remote host closed the connection) |
| 2022-11-20 02:26:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Write error: Connection reset by peer) |
| 2022-11-20 02:26:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
| 2022-11-20 02:26:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
| 2022-11-20 02:26:36 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-20 02:26:56 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-11-20 02:27:05 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-20 02:27:23 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-11-20 02:27:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-20 02:28:56 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-20 02:30:06 +0100 | razetime | (~quassel@117.254.34.68) |
| 2022-11-20 02:30:46 +0100 | <hpc> | dolio: predicate calculus introduces forall/exists (aka, variable bindings) |
| 2022-11-20 02:31:06 +0100 | <hpc> | that's more what i was thinking |
| 2022-11-20 02:31:26 +0100 | <dolio> | Propositional calculus doesn't have variable binding. |
| 2022-11-20 02:31:52 +0100 | ddellacosta | (~ddellacos@89.45.224.59) |
| 2022-11-20 02:32:26 +0100 | <hpc> | https://en.wikipedia.org/wiki/First-order_logic#Logical_symbols |
| 2022-11-20 02:32:36 +0100 | <hpc> | first bullet point is the variable bindings, second bullet point is boolean algebra :P |
| 2022-11-20 02:33:39 +0100 | <hpc> | or i guess, second bullet point is propositional calculus, which i had never heard referred to that way until just now |
| 2022-11-20 02:33:49 +0100 | <hpc> | and that is what contains boolean algebra |
| 2022-11-20 02:38:43 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-11-20 02:39:34 +0100 | califax | (~califax@user/califx) |
| 2022-11-20 02:48:09 +0100 | srz_ | (~srz@181.228.49.93) |
| 2022-11-20 02:48:12 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2022-11-20 02:48:29 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-11-20 02:49:50 +0100 | <janus> | why does the GHC 9.4 release announcement say that it must be used with Cabal 3.8? stack still uses Cabal 3.6 and it seems to compile projects on GHC 9.4 just fine |
| 2022-11-20 02:51:02 +0100 | srz | (~srz@179.36.74.229) (Ping timeout: 256 seconds) |
| 2022-11-20 02:52:42 +0100 | ddellacosta | (~ddellacos@89.45.224.59) (Quit: WeeChat 3.6) |
| 2022-11-20 02:53:07 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-11-20 02:53:43 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-20 02:55:00 +0100 | rburkholder | (~blurb@96.45.2.121) (Remote host closed the connection) |
| 2022-11-20 02:55:28 +0100 | ddellacosta | (~ddellacos@143.244.47.70) |
| 2022-11-20 02:56:05 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-11-20 02:57:19 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-20 02:59:25 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-20 03:00:38 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2022-11-20 03:00:40 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-20 03:02:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-11-20 03:02:36 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-11-20 03:06:08 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-20 03:06:54 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-11-20 03:09:34 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-11-20 03:09:48 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-11-20 03:10:18 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2022-11-20 03:10:23 +0100 | neightchan | (~nate@98.45.169.16) (Quit: WeeChat 2.9) |
| 2022-11-20 03:13:53 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-20 03:13:53 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-11-20 03:13:57 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-11-20 03:14:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-20 03:14:47 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-11-20 03:14:54 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-20 03:16:07 +0100 | califax | (~califax@user/califx) |
| 2022-11-20 03:16:24 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-20 03:17:22 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-11-20 03:17:45 +0100 | natechan | (~nate@98.45.169.16) |
| 2022-11-20 03:17:54 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2022-11-20 03:20:28 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-20 03:21:04 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-11-20 03:22:10 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-11-20 03:25:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-20 03:25:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-11-20 03:33:34 +0100 | srz_ | (~srz@181.228.49.93) (Quit: Leaving) |
| 2022-11-20 03:39:17 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2022-11-20 03:42:24 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-11-20 03:46:50 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2022-11-20 03:46:57 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-20 03:48:52 +0100 | son0p | (~ff@s0106f88b37df247a.vn.shawcable.net) |
| 2022-11-20 03:49:15 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 03:49:51 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2022-11-20 03:53:50 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-20 03:56:12 +0100 | son0p | (~ff@s0106f88b37df247a.vn.shawcable.net) (Ping timeout: 256 seconds) |
| 2022-11-20 03:56:53 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-11-20 03:59:11 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-20 03:59:24 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-20 03:59:24 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-20 03:59:24 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-20 04:02:15 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 2022-11-20 04:02:39 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 04:06:18 +0100 | td_ | (~td@83.135.9.60) (Ping timeout: 268 seconds) |
| 2022-11-20 04:07:14 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-11-20 04:07:29 +0100 | td_ | (~td@83.135.9.29) |
| 2022-11-20 04:09:50 +0100 | pieguy128 | (~pieguy128@65.93.192.212) (Ping timeout: 240 seconds) |
| 2022-11-20 04:09:56 +0100 | bobbingbob | (~bobbingbo@2604:3d09:207f:f650::b469) (Ping timeout: 260 seconds) |
| 2022-11-20 04:11:44 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-11-20 04:12:18 +0100 | marc___ | (~marc@5.83.191.103) |
| 2022-11-20 04:13:40 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::efb) |
| 2022-11-20 04:13:50 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::efb) (Client Quit) |
| 2022-11-20 04:14:17 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-11-20 04:14:29 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 2022-11-20 04:15:28 +0100 | marc__ | (~marc@5.83.191.214) (Ping timeout: 256 seconds) |
| 2022-11-20 04:20:17 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2022-11-20 04:21:11 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 2022-11-20 04:22:05 +0100 | califax | (~califax@user/califx) |
| 2022-11-20 04:22:55 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-20 04:24:20 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-11-20 04:24:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2022-11-20 04:28:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-11-20 04:28:16 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-11-20 04:29:32 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-11-20 04:34:32 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-11-20 04:36:23 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-50-65-93-192-212.dsl.bell.ca) |
| 2022-11-20 04:38:15 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-20 04:46:29 +0100 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Ping timeout: 252 seconds) |
| 2022-11-20 04:47:30 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-11-20 04:47:48 +0100 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2022-11-20 04:53:10 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 268 seconds) |
| 2022-11-20 04:58:19 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-11-20 04:58:28 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-11-20 05:00:03 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-20 05:01:13 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-20 05:01:13 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-20 05:01:13 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-20 05:06:50 +0100 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 240 seconds) |
| 2022-11-20 05:08:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-11-20 05:09:40 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-20 05:11:16 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-20 05:12:13 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-11-20 05:13:40 +0100 | bjourne | (~bjorn@94.191.152.93) (Read error: Connection reset by peer) |
| 2022-11-20 05:33:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-11-20 05:34:04 +0100 | califax | (~califax@user/califx) |
| 2022-11-20 05:35:09 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 05:56:19 +0100 | sagex | (~sagex@2600:1700:42d8:4530:2ef0:5dff:fede:e8) |
| 2022-11-20 06:03:36 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-11-20 06:06:15 +0100 | son0p | (~ff@S0106f88b37df247a.vn.shawcable.net) |
| 2022-11-20 06:31:51 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-11-20 06:33:05 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-11-20 06:33:22 +0100 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2022-11-20 06:34:19 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2022-11-20 06:34:23 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-11-20 06:35:32 +0100 | bilegeek | (~bilegeek@2600:1008:b015:d320:dfa7:ce99:aec2:dd5e) |
| 2022-11-20 06:36:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-20 06:38:36 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-20 06:43:54 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-11-20 06:45:38 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-11-20 07:01:34 +0100 | money | Guest9851 |
| 2022-11-20 07:13:04 +0100 | raym | (~ray@user/raym) |
| 2022-11-20 07:13:34 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-11-20 07:17:53 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-20 07:18:32 +0100 | chromoblob | (~user@37.113.164.122) |
| 2022-11-20 07:23:02 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-11-20 07:23:07 +0100 | chromoblob | (~user@37.113.164.122) (Ping timeout: 260 seconds) |
| 2022-11-20 07:23:58 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-11-20 07:23:58 +0100 | jinsun | Guest4629 |
| 2022-11-20 07:23:58 +0100 | Guest4629 | (~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2022-11-20 07:23:58 +0100 | jinsun__ | jinsun |
| 2022-11-20 07:50:37 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-11-20 07:56:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-11-20 07:56:12 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-11-20 08:03:30 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2022-11-20 08:15:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-20 08:19:10 +0100 | evanvarvell | (~evanvarve@097-088-181-216.res.spectrum.com) |
| 2022-11-20 08:24:03 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-11-20 08:25:05 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-20 08:27:31 +0100 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2022-11-20 08:30:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-20 08:34:15 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-11-20 08:40:48 +0100 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-11-20 08:41:08 +0100 | bilegeek | (~bilegeek@2600:1008:b015:d320:dfa7:ce99:aec2:dd5e) (Remote host closed the connection) |
| 2022-11-20 08:41:28 +0100 | bilegeek | (~bilegeek@2600:1008:b015:d320:dfa7:ce99:aec2:dd5e) |
| 2022-11-20 08:47:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-20 08:49:50 +0100 | mei | (~mei@user/mei) |
| 2022-11-20 08:51:37 +0100 | ft | (~ft@87.122.4.81) (Quit: leaving) |
| 2022-11-20 08:59:09 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-20 09:10:03 +0100 | chromoblob | (~user@37.113.164.122) |
| 2022-11-20 09:14:54 +0100 | chromoblob | (~user@37.113.164.122) (Ping timeout: 260 seconds) |
| 2022-11-20 09:20:08 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-11-20 09:26:48 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-20 09:27:14 +0100 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-11-20 09:27:16 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 09:31:54 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-11-20 09:34:44 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 2022-11-20 09:39:10 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Ping timeout: 260 seconds) |
| 2022-11-20 09:45:01 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 10:01:14 +0100 | evanvarvell | (~evanvarve@097-088-181-216.res.spectrum.com) (Quit: Leaving) |
| 2022-11-20 10:08:17 +0100 | acidjnk | (~acidjnk@p200300d6e7137a4619037b2a1cfeb60c.dip0.t-ipconnect.de) |
| 2022-11-20 10:20:04 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-11-20 10:20:57 +0100 | chromoblob | (~user@37.113.164.122) |
| 2022-11-20 10:27:00 +0100 | chromoblob | (~user@37.113.164.122) (Ping timeout: 260 seconds) |
| 2022-11-20 10:32:07 +0100 | acidjnk | (~acidjnk@p200300d6e7137a4619037b2a1cfeb60c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-11-20 10:35:59 +0100 | acidjnk | (~acidjnk@p200300d6e7137a467df64b119b403ddd.dip0.t-ipconnect.de) |
| 2022-11-20 10:40:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2022-11-20 10:44:19 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-11-20 10:44:31 +0100 | leo__ | (~leo@150.187.35.37.dynamic.jazztel.es) |
| 2022-11-20 10:44:54 +0100 | leo__ | oblivious |
| 2022-11-20 10:46:36 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-11-20 10:49:06 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-20 10:50:08 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-20 10:52:13 +0100 | sagex | (~sagex@2600:1700:42d8:4530:2ef0:5dff:fede:e8) (Leaving) |
| 2022-11-20 10:53:25 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-20 10:54:03 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-20 10:58:39 +0100 | bilegeek | (~bilegeek@2600:1008:b015:d320:dfa7:ce99:aec2:dd5e) (Quit: Leaving) |
| 2022-11-20 11:06:33 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-11-20 11:07:29 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::fba) |
| 2022-11-20 11:13:32 +0100 | zxrom | (~zxrom@mm-92-9-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2022-11-20 11:13:33 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::fba) (Remote host closed the connection) |
| 2022-11-20 11:13:55 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::7fe) |
| 2022-11-20 11:18:18 +0100 | <Inst> | hi, erm, could someone help me out with figuring out how to parallelize a recursive function? |
| 2022-11-20 11:18:30 +0100 | <Inst> | parallelize and memorize a recursive function? |
| 2022-11-20 11:18:43 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-20 11:19:28 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-20 11:22:10 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-20 11:24:20 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-11-20 11:25:05 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-11-20 11:25:32 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 2022-11-20 11:26:13 +0100 | <Rembane> | Inst: What's the function? |
| 2022-11-20 11:26:36 +0100 | oblivious | (~leo@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 2022-11-20 11:27:29 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-11-20 11:28:30 +0100 | <Inst> | not sure if this is readable |
| 2022-11-20 11:28:30 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-11-20 11:28:31 +0100 | <Inst> | https://paste.tomsmeding.com/tIqqvUCQ |
| 2022-11-20 11:29:15 +0100 | <Inst> | what i want to do is to change it so i don't have to use a lazy parallelizer |
| 2022-11-20 11:29:49 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2022-11-20 11:29:51 +0100 | hnOsmium0001 | (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
| 2022-11-20 11:32:19 +0100 | chomwitt | (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
| 2022-11-20 11:33:35 +0100 | titibandit | (~titibandi@xdsl-87-78-52-100.nc.de) |
| 2022-11-20 11:36:06 +0100 | dknite | (~dknite@65.20.68.77) |
| 2022-11-20 11:36:18 +0100 | dknite | (~dknite@65.20.68.77) (Remote host closed the connection) |
| 2022-11-20 11:37:55 +0100 | dknite | (~dknite@65.20.68.77) |
| 2022-11-20 11:42:36 +0100 | acidjnk | (~acidjnk@p200300d6e7137a467df64b119b403ddd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-11-20 11:43:15 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-11-20 11:43:52 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-11-20 11:47:45 +0100 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-11-20 11:47:45 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-20 11:52:11 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-20 11:54:26 +0100 | oblivious | (~leo@150.187.35.37.dynamic.jazztel.es) |
| 2022-11-20 11:54:42 +0100 | oblivious | Obstacle7267 |
| 2022-11-20 11:55:26 +0100 | kjlid[m] | (~kjlidmatr@2001:470:69fc:105::2:c193) |
| 2022-11-20 11:56:42 +0100 | Obstacle7267 | Tamale3289 |
| 2022-11-20 11:59:00 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2022-11-20 11:59:09 +0100 | Tamale3289 | oblivious |
| 2022-11-20 11:59:58 +0100 | oblivious | Tamale3289 |
| 2022-11-20 12:01:05 +0100 | Tamale3289 | oblivious |
| 2022-11-20 12:02:22 +0100 | phma_ | (phma@2001:5b0:210b:aef8:6f3d:20c2:b904:df4f) |
| 2022-11-20 12:06:41 +0100 | phma | (~phma@host-67-44-208-214.hnremote.net) (Ping timeout: 268 seconds) |
| 2022-11-20 12:06:47 +0100 | SrainUser | (~Srain@189.6.35.188) |
| 2022-11-20 12:06:50 +0100 | oblivious | (~leo@150.187.35.37.dynamic.jazztel.es) (Good Bye) |
| 2022-11-20 12:09:39 +0100 | oblivious | (~leo@150.187.35.37.dynamic.jazztel.es) |
| 2022-11-20 12:11:18 +0100 | oblivious | (~leo@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 2022-11-20 12:12:18 +0100 | oblivious | (~oblivious@150.187.35.37.dynamic.jazztel.es) |
| 2022-11-20 12:12:26 +0100 | mei_ | (~mei@user/mei) |
| 2022-11-20 12:15:01 +0100 | <oblivious> | @pl g f (a, c) = (f a, c) |
| 2022-11-20 12:15:02 +0100 | <lambdabot> | g = (`ap` snd) . (. fst) . ((,) .) |
| 2022-11-20 12:15:02 +0100 | dknite | (~dknite@65.20.68.77) (Remote host closed the connection) |
| 2022-11-20 12:16:12 +0100 | <oblivious> | that's definitely uglier... |
| 2022-11-20 12:16:23 +0100 | mei | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2022-11-20 12:17:09 +0100 | <Rembane> | oblivious: Have you looked into first? https://hackage.haskell.org/package/base-4.17.0.0/docs/Data-Bifunctor.html#v:first |
| 2022-11-20 12:20:18 +0100 | _leo92_ | (~emmanuelu@user/emmanuelux) |
| 2022-11-20 12:23:56 +0100 | <oblivious> | Hi Rambane, thanks for the info! Just starting up with haskell, reading a bit and messing arounbd with point free |
| 2022-11-20 12:23:56 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2022-11-20 12:24:13 +0100 | <oblivious> | Looks like I have a long way to go though :) |
| 2022-11-20 12:32:37 +0100 | <Rembane> | oblivious: No worries, messing around with point free is way too fun imo. :D |
| 2022-11-20 12:33:36 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-11-20 12:37:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 2022-11-20 12:38:36 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-11-20 12:42:19 +0100 | phma_ | phma |
| 2022-11-20 12:42:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Ping timeout: 260 seconds) |
| 2022-11-20 12:42:30 +0100 | bjourne | (~bjorn@94.191.152.93) |
| 2022-11-20 12:42:52 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-11-20 12:45:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-20 12:53:17 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-11-20 12:59:32 +0100 | <tomsmeding> | oblivious: https://pointfree.io (same as @pl here, but online) |
| 2022-11-20 13:03:34 +0100 | oblivious | (~oblivious@150.187.35.37.dynamic.jazztel.es) (Ping timeout: 260 seconds) |
| 2022-11-20 13:06:10 +0100 | zxrom | (~zxrom@mm-92-9-212-37.vitebsk.dynamic.pppoe.byfly.by) (Leaving) |
| 2022-11-20 13:09:18 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-20 13:09:36 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-11-20 13:13:02 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-20 13:25:06 +0100 | yella | (~yell@2607:fb90:806a:936d:b554:4be2:310c:aa5a) |
| 2022-11-20 13:25:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-20 13:30:35 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-11-20 13:35:03 +0100 | SrainUser | (~Srain@189.6.35.188) (Remote host closed the connection) |
| 2022-11-20 13:35:23 +0100 | SrainUser | (~Srain@189.6.35.188) |
| 2022-11-20 13:35:25 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 2022-11-20 13:36:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-20 13:36:08 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::7fe) (Quit: Konversation terminated!) |
| 2022-11-20 13:45:37 +0100 | titibandit | (~titibandi@xdsl-87-78-52-100.nc.de) (Quit: Leaving.) |
| 2022-11-20 13:50:44 +0100 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
| 2022-11-20 13:50:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
| 2022-11-20 13:50:45 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-11-20 13:50:45 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Read error: Connection reset by peer) |
| 2022-11-20 13:52:02 +0100 | califax | (~califax@user/califx) |
| 2022-11-20 13:52:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-20 13:52:49 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-20 13:53:32 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2022-11-20 13:54:10 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-11-20 13:54:56 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2022-11-20 13:58:34 +0100 | coot | (~coot@213.134.171.3) |
| 2022-11-20 14:01:16 +0100 | chromoblob | (~user@37.113.164.122) |
| 2022-11-20 14:02:38 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-20 14:04:00 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2022-11-20 14:05:10 +0100 | AlexZenon | (~alzenon@178.34.162.26) (Quit: ;-) |
| 2022-11-20 14:05:34 +0100 | acidjnk | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) |
| 2022-11-20 14:05:41 +0100 | Alex_test | (~al_test@178.34.162.26) (Quit: ;-) |
| 2022-11-20 14:05:58 +0100 | AlexNoo | (~AlexNoo@178.34.162.26) (Quit: Leaving) |
| 2022-11-20 14:12:50 +0100 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.7.1) |
| 2022-11-20 14:12:53 +0100 | Techcable | (~Techcable@user/Techcable) |
| 2022-11-20 14:17:53 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2022-11-20 14:19:18 +0100 | <maralorn> | For me differential calculus is not really a calculus in the sense that calculus is used in logic. In German they use different words for that. And a calculus in mathematical logic is a set of rules to make calculations on symbolic expressions. |
| 2022-11-20 14:20:22 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-20 14:21:04 +0100 | AlexNoo | (~AlexNoo@178.34.162.26) |
| 2022-11-20 14:22:44 +0100 | AlexNoo | (~AlexNoo@178.34.162.26) (Read error: Connection reset by peer) |
| 2022-11-20 14:24:31 +0100 | AlexNoo | (~AlexNoo@178.34.162.26) |
| 2022-11-20 14:24:33 +0100 | AlexNoo | (~AlexNoo@178.34.162.26) (Read error: Connection reset by peer) |
| 2022-11-20 14:24:49 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 268 seconds) |
| 2022-11-20 14:27:19 +0100 | AlexZenon | (~alzenon@178.34.162.26) |
| 2022-11-20 14:27:19 +0100 | AlexZenon_2 | (~alzenon@178.34.162.26) |
| 2022-11-20 14:27:21 +0100 | AlexZenon | (~alzenon@178.34.162.26) (Read error: Connection reset by peer) |
| 2022-11-20 14:27:21 +0100 | AlexZenon_2 | (~alzenon@178.34.162.26) (Read error: Connection reset by peer) |
| 2022-11-20 14:28:22 +0100 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-11-20 14:28:44 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 2022-11-20 14:29:36 +0100 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2022-11-20 14:29:52 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:792b:647:3435:d0cb) |
| 2022-11-20 14:31:27 +0100 | SrainUser | (~Srain@189.6.35.188) (Remote host closed the connection) |
| 2022-11-20 14:33:28 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) |
| 2022-11-20 14:38:04 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-11-20 14:39:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 2022-11-20 14:39:25 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-20 14:40:06 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-11-20 14:43:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Ping timeout: 255 seconds) |
| 2022-11-20 14:44:34 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-11-20 14:45:32 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-11-20 14:47:39 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-11-20 14:50:08 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-11-20 14:53:57 +0100 | yella | (~yell@2607:fb90:806a:936d:b554:4be2:310c:aa5a) (Remote host closed the connection) |
| 2022-11-20 14:54:13 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-11-20 14:58:06 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:792b:647:3435:d0cb) (Quit: WeeChat 3.5) |
| 2022-11-20 14:59:27 +0100 | yella | (~yell@2607:fb90:806a:936d:b554:4be2:310c:aa5a) |
| 2022-11-20 15:00:14 +0100 | AlexNoo | (~AlexNoo@178.34.162.26) |
| 2022-11-20 15:00:55 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-11-20 15:00:56 +0100 | AlexNoo | (~AlexNoo@178.34.162.26) (Read error: Connection reset by peer) |
| 2022-11-20 15:01:43 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-11-20 15:08:14 +0100 | phma | (phma@2001:5b0:210b:aef8:6f3d:20c2:b904:df4f) (Read error: Connection reset by peer) |
| 2022-11-20 15:09:12 +0100 | phma | (~phma@2001:5b0:215d:aad8:20ab:f617:f484:4a0d) |
| 2022-11-20 15:10:38 +0100 | ddellacosta | (~ddellacos@143.244.47.70) (Quit: WeeChat 3.7.1) |
| 2022-11-20 15:11:55 +0100 | ddellacosta | (~ddellacos@89.45.224.241) |
| 2022-11-20 15:12:58 +0100 | goepsilongo | (~goepsilon@2603-7000-ab00-00e5-4167-a449-9ece-260f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-20 15:13:27 +0100 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-11-20 15:13:53 +0100 | goepsilongo | (~goepsilon@2603-7000-ab00-00e5-7193-cc53-ebba-5530.res6.spectrum.com) |
| 2022-11-20 15:15:10 +0100 | acidjnk | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-11-20 15:15:11 +0100 | yella | (~yell@2607:fb90:806a:936d:b554:4be2:310c:aa5a) (Remote host closed the connection) |
| 2022-11-20 15:16:11 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-11-20 15:17:40 +0100 | acidjnk | (~acidjnk@p200300d6e7137a23e941795d142fec24.dip0.t-ipconnect.de) |
| 2022-11-20 15:17:58 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-20 15:23:20 +0100 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
| 2022-11-20 15:24:10 +0100 | oblivious | (~oblivious@150.187.35.37.dynamic.jazztel.es) |
| 2022-11-20 15:25:08 +0100 | <kenaryn> | Hello! I have ghc-9.0.2 with stack 3.2.1 and for some reason a stack project installed ghc8.10.7 which uses another version of stack and cabal. Therefore, when trying to install another compiler (https://github.com/unisonweb/unison#building-using-stack) both attempts with cabal and stack fails (see the first code block at https://unisonlanguage.slack.com/archives/CLUNF0J5S/p1668905311121569). Please do |
| 2022-11-20 15:25:14 +0100 | <kenaryn> | someone knows how to remove the old ghc? I'm using void and they tell me on the channel that this is a stack related issue. |
| 2022-11-20 15:31:46 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-11-20 15:35:31 +0100 | <geekosaur> | stack does that. every stack project has an associated resolver which includes a specific ghc version. this will only affect projects using that resolver / ghc version; if you have a different project using a different ghc version then it'll continue to use that |
| 2022-11-20 15:35:31 +0100 | bjourne | (~bjorn@94.191.152.93) (Read error: Connection reset by peer) |
| 2022-11-20 15:36:24 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 2022-11-20 15:36:32 +0100 | <geekosaur> | and slack is demanding I log in, but I don't have a slack account and don't particularly want one |
| 2022-11-20 15:37:36 +0100 | <geekosaur> | in any case unison's stack.yaml should specify the resolver and therefore compiler it requires, and if that's not working then you might need to file a support ticket against stack |
| 2022-11-20 15:38:52 +0100 | <mauke> | I don't even get that far. slack's website stays white (refuses to load anything) if I don't unblock two third-party trackers first |
| 2022-11-20 15:39:28 +0100 | <geekosaur> | "resolver: lts-18.28" this corresponds to ghc-8.10.7 |
| 2022-11-20 15:39:36 +0100 | <kenaryn> | I knew not that it was requiring any tracker :/ |
| 2022-11-20 15:39:50 +0100 | <geekosaur> | I didn't see thoird party trackers as such but I did see a CDN |
| 2022-11-20 15:40:14 +0100 | <geekosaur> | anyway you can'tr use ghc-9.0.2 to build it since it specifies 8.10.7 via the resolver |
| 2022-11-20 15:41:06 +0100 | <kenaryn> | That is the log with cabal https://p.ip.fi/TJxr |
| 2022-11-20 15:42:03 +0100 | <geekosaur> | yes, it's not compatible with that version |
| 2022-11-20 15:42:08 +0100 | <mauke> | it tries to load from cookielaw.org and slack-edge.com |
| 2022-11-20 15:42:24 +0100 | <geekosaur> | I read slack-edge as the CDN osince it's slack |
| 2022-11-20 15:42:40 +0100 | <geekosaur> | cookielaw I've seen before, I don't think it's a tracker as such but maybe it is |
| 2022-11-20 15:42:57 +0100 | <geekosaur> | usually my blocker knows the trackers and lists them separately |
| 2022-11-20 15:43:10 +0100 | <mauke> | if it has an access.log, it's a tracker |
| 2022-11-20 15:44:00 +0100 | <geekosaur> | I would use slack and let its resolver determine the versions, instead of trying to bui;ld with 9.0.2 and its preferred versions |
| 2022-11-20 15:44:05 +0100 | <geekosaur> | er, stack |
| 2022-11-20 15:44:32 +0100 | <geekosaur> | the readme makes it clear they support stack only, and cabal support is an afterthought |
| 2022-11-20 15:44:35 +0100 | <kenaryn> | And here is the log with stack: https://p.ip.fi/gyyZ (I manage not to redirect the error steam with `stack build --test --fast && stack exec unison 2> error.log`) so there is merely a sample. But every .log file is empty |
| 2022-11-20 15:44:37 +0100 | <geekosaur> | I wouldn't trust it much |
| 2022-11-20 15:45:39 +0100 | <geekosaur> | your command line captures only the stack exec part, you need the stack build part |
| 2022-11-20 15:45:43 +0100 | <kenaryn> | I tried removing --fast in case of lack of memory from my machine but to no avail. |
| 2022-11-20 15:46:13 +0100 | <kenaryn> | How can I capture the stack build part in command line? (please) |
| 2022-11-20 15:46:35 +0100 | <geekosaur> | `stack build --test --fast 2>error.log && stack exec unison` |
| 2022-11-20 15:46:51 +0100 | <geekosaur> | the redirection goes on the command you want to redirect, not on the whole line |
| 2022-11-20 15:47:32 +0100 | <geekosaur> | you could also wrap the whole command in parentheses or braces (I think thre braces require some semicolons though) |
| 2022-11-20 15:47:46 +0100 | <kenaryn> | allright, that is why the file was not created, because the second command did not even run once. |
| 2022-11-20 15:48:37 +0100 | <geekosaur> | right, it failed so && didn't run the second one or its redirection |
| 2022-11-20 15:49:48 +0100 | <kenaryn> | Here is the thing but I'm afraid it won't tell you anything of significance: https://p.ip.fi/t9eM |
| 2022-11-20 15:50:36 +0100 | <kenaryn> | it uses the ABI `ghc-tinfo6-8.10.7` |
| 2022-11-20 15:50:41 +0100 | <geekosaur> | you're also building trunk whichj in many projects isn't guaranteed to run because it's actively developed. it looks to me like there are release tags but I wouldn't know which to use |
| 2022-11-20 15:52:24 +0100 | <kenaryn> | I have `resolver: lts-18.28` in ~/.stack/global-project/stack.yaml should I remove this line? |
| 2022-11-20 15:52:44 +0100 | <geekosaur> | no |
| 2022-11-20 15:52:50 +0100 | acidjnk | (~acidjnk@p200300d6e7137a23e941795d142fec24.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-11-20 15:53:00 +0100 | <kenaryn> | I added it because the local stack.yaml mentionned it. |
| 2022-11-20 15:53:19 +0100 | titibandit | (~titibandi@xdsl-87-78-52-100.nc.de) |
| 2022-11-20 15:53:27 +0100 | <geekosaur> | oh wait, global-project, it shouldn't be using that at all |
| 2022-11-20 15:53:57 +0100 | <geekosaur> | it has a local stack.yaml which specifies a resolver. |
| 2022-11-20 15:53:57 +0100 | <kenaryn> | Here is the stack.yaml in the unison directory: https://p.ip.fi/25za |
| 2022-11-20 15:54:14 +0100 | <geekosaur> | I was looking at the one on github |
| 2022-11-20 15:54:17 +0100 | <kenaryn> | Yes, exactly. That is why I tried to match/sync with it. |
| 2022-11-20 15:54:42 +0100 | <kenaryn> | Line 39. |
| 2022-11-20 15:55:52 +0100 | <geekosaur> | I think I need to see the logs for zlib in particular, which your original log points to (/home/aurele/dev/unisonlang/.stack-work/logs/zlib-0.6.2.3.log) |
| 2022-11-20 15:56:17 +0100 | <geekosaur> | I would however suspect you might be missing the OS zlib devel package |
| 2022-11-20 15:57:11 +0100 | <kenaryn> | All right, checking now.. |
| 2022-11-20 15:57:33 +0100 | <geekosaur> | on my system (debian) it's zlib1g-dev, but it will vary widely |
| 2022-11-20 15:58:49 +0100 | <kenaryn> | zlib is empty like all others .log except 2 of them (`entropy` and 'network') I know not why. |
| 2022-11-20 15:59:13 +0100 | <geekosaur> | interesting |
| 2022-11-20 15:59:15 +0100 | <kenaryn> | I'm using Void musl... It's a super-niche segment which is beyond my abilities to maintain properly I know. |
| 2022-11-20 15:59:52 +0100 | <kenaryn> | I have `zlib` and `zlib-devel` installed still. Odd... |
| 2022-11-20 15:59:54 +0100 | <geekosaur> | void doesn't distinguish dev packages and zlib is a base package so it should be there. but what your log showed suggested it was failing in the configure step |
| 2022-11-20 16:00:44 +0100 | <kenaryn> | Yes, yesterday I have a error related to linker gold.ld which required to use a non-broken link like LD="path/to/ld" in configure= |
| 2022-11-20 16:01:05 +0100 | <kenaryn> | but I don't see this error anymore and can not reproduce it I'm in deep trouble. |
| 2022-11-20 16:01:44 +0100 | <kenaryn> | [error] configure: error: The ld.gold linker is affected by binutils bug 23856; please specify a non-broken linker by passing LD=/path/to/ld to ./configure |
| 2022-11-20 16:01:56 +0100 | <kenaryn> | (was saved in the web browser lol) |
| 2022-11-20 16:03:24 +0100 | nosferandu | (uid576473@user/nosferandu) (Quit: Connection closed for inactivity) |
| 2022-11-20 16:07:37 +0100 | <geekosaur> | I'm pretty much out of my depth here, sadly |
| 2022-11-20 16:07:56 +0100 | <geekosaur> | if it's not writingt logs then I have no idea (but that sounds like a stack bug?) |
| 2022-11-20 16:12:34 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-11-20 16:12:35 +0100 | acidjnk | (~acidjnk@p200300d6e7137a23e941795d142fec24.dip0.t-ipconnect.de) |
| 2022-11-20 16:13:07 +0100 | jespada_ | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2022-11-20 16:15:51 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-11-20 16:17:14 +0100 | <kenaryn> | Yes, I don't have the skills to resolve this by myself that is why I asked for help. I'm currently running a system diagnostic to check and resolve dependencies's conflicts (including modified metadata) so maybe (that is a long shot in the wild), something positive will come out of it. |
| 2022-11-20 16:17:22 +0100 | <kenaryn> | Thank you for your patience as always :) |
| 2022-11-20 16:17:28 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 2022-11-20 16:17:50 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-11-20 16:19:18 +0100 | <geekosaur> | there might be someone else around who can help later. I'm short in two areas here (void/musl and stack) so what I can do is fairly limited; there are various stack users around, but maybe not on sundays |
| 2022-11-20 16:19:31 +0100 | <geekosaur> | less sure about void |
| 2022-11-20 16:20:34 +0100 | <kenaryn> | Yes, I understand. The diagnostic just returned `ERROR: stack: hash mismatch for /usr/bin/stack.` and `ERROR: stack: files check FAILED.` so that won't help me at all. |
| 2022-11-20 16:21:55 +0100 | <geekosaur> | did you upgrade it? most package managers don't like upgrades that aren't under their control |
| 2022-11-20 16:22:20 +0100 | <geekosaur> | whereas stack prefers to manage itself and everything else it can (ghc installs, etc.) |
| 2022-11-20 16:25:21 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-11-20 16:26:39 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) |
| 2022-11-20 16:27:40 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 2022-11-20 16:28:13 +0100 | AlexZenon | (~alzenon@178.34.160.146) |
| 2022-11-20 16:28:17 +0100 | AlexZenon | (~alzenon@178.34.160.146) (Client Quit) |
| 2022-11-20 16:28:35 +0100 | <kenaryn> | In fact, void package manager use v2.7 and I run stack upgrade to get 2.9 I think (so it's now outside the perimeter of the package-manager) |
| 2022-11-20 16:29:22 +0100 | <geekosaur> | right |
| 2022-11-20 16:29:22 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-20 16:31:42 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) |
| 2022-11-20 16:36:08 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 2022-11-20 16:36:46 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) |
| 2022-11-20 16:37:39 +0100 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 260 seconds) |
| 2022-11-20 16:38:00 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-20 16:38:44 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-20 16:42:14 +0100 | <kenaryn> | reinstalling it kept the same version 2.7.5, the other one is still outside somewhere :/ linux is such a mess. why UNIX did not prevail is beyond me. |
| 2022-11-20 16:43:53 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-11-20 16:45:26 +0100 | <hpc> | unix did prevail, and then it postvailed |
| 2022-11-20 16:45:41 +0100 | <hpc> | linux is not that old |
| 2022-11-20 16:46:28 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-11-20 16:46:59 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 2022-11-20 16:47:22 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) |
| 2022-11-20 16:50:50 +0100 | marc___ | (~marc@5.83.191.103) (Ping timeout: 256 seconds) |
| 2022-11-20 16:52:48 +0100 | marc__ | (~marc@5.83.191.103) |
| 2022-11-20 17:00:20 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2022-11-20 17:00:32 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 2022-11-20 17:01:17 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-20 17:01:18 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-20 17:01:18 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-20 17:02:33 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-11-20 17:02:55 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-20 17:03:46 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-11-20 17:05:19 +0100 | zer0bitz_ | (~zer0bitz@196.244.192.60) |
| 2022-11-20 17:05:55 +0100 | califax | (~califax@user/califx) |
| 2022-11-20 17:08:30 +0100 | zer0bitz | (~zer0bitz@196.244.192.54) (Ping timeout: 240 seconds) |
| 2022-11-20 17:12:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 2022-11-20 17:13:37 +0100 | oblivious | (~oblivious@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 2022-11-20 17:14:04 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds) |
| 2022-11-20 17:18:36 +0100 | son0p | (~ff@S0106f88b37df247a.vn.shawcable.net) (Ping timeout: 260 seconds) |
| 2022-11-20 17:19:25 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-20 17:21:03 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-11-20 17:25:58 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2022-11-20 17:26:53 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-20 17:27:26 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-11-20 17:28:30 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-11-20 17:36:18 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-20 17:36:50 +0100 | oblivious | (~oblivious@150.187.35.37.dynamic.jazztel.es) |
| 2022-11-20 17:42:05 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-11-20 17:45:01 +0100 | titibandit | (~titibandi@xdsl-87-78-52-100.nc.de) (Quit: Leaving.) |
| 2022-11-20 17:46:28 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-11-20 17:49:01 +0100 | acidjnk | (~acidjnk@p200300d6e7137a23e941795d142fec24.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-11-20 17:54:02 +0100 | econo | (uid147250@user/econo) |
| 2022-11-20 17:55:15 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-11-20 17:56:42 +0100 | kleczkowski | (~kleczkows@2a02:a311:a23f:9780:9920:84a:8da5:75f3) |
| 2022-11-20 18:00:42 +0100 | rburkholder | (~blurb@96.45.2.121) |
| 2022-11-20 18:01:16 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-20 18:01:40 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-11-20 18:02:06 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-20 18:02:27 +0100 | califax | (~califax@user/califx) |
| 2022-11-20 18:02:48 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2022-11-20 18:02:48 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-11-20 18:02:48 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-20 18:10:04 +0100 | bjourne | (~bjorn@94.191.152.232) |
| 2022-11-20 18:13:58 +0100 | <fendor[m]> | playing around with singletons, and I was wondering whether I can express `forall (j :: [*]) . (setAt 0 5 j) !! 0 ~ 5` on the type level. It feels like it should be possible. I am pretty sure, we can do it via a typechecker plugin, but ideally I want to be able to express this equality in my normal code as well |
| 2022-11-20 18:15:29 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt https://tinyurl.com/4m8d4kd5) |
| 2022-11-20 18:15:38 +0100 | <c_wraith> | what is setAt? |
| 2022-11-20 18:15:56 +0100 | <c_wraith> | like, I'm not even convinced that is a true assertion |
| 2022-11-20 18:16:27 +0100 | <fendor[m]> | ah yes, of course, it is `setAt :: Natural -> a -> [a] -> [a]`. Basically just set the value at index i |
| 2022-11-20 18:16:49 +0100 | <c_wraith> | Yeah, I'm still not convinced. |
| 2022-11-20 18:17:01 +0100 | <fendor[m]> | well, it is with the additional assertion that `i < length [a]`, no? |
| 2022-11-20 18:17:08 +0100 | <dolio> | What is `setAt 5 x []`? |
| 2022-11-20 18:17:25 +0100 | <c_wraith> | with that additional assertion, yes. |
| 2022-11-20 18:17:35 +0100 | <c_wraith> | But that wasn't included in the original statement. |
| 2022-11-20 18:17:56 +0100 | <fendor[m]> | that is true |
| 2022-11-20 18:18:14 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) |
| 2022-11-20 18:19:01 +0100 | <c_wraith> | hahahaha... I just noticed that base is rated 2.75 on hackage. I guess that's all I need to know about hackage ratings... |
| 2022-11-20 18:19:07 +0100 | razetime | (~quassel@117.254.34.68) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-11-20 18:20:12 +0100 | <fendor[m]> | I think the case i >= length xs doesn't quite matter for my use-case, for the first approximation, I would like to tell the typechecker this assumption holds, asserted through other type level shenanigans. Still, can I convince the typechecker in this case to make it work? |
| 2022-11-20 18:20:55 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 2022-11-20 18:22:39 +0100 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-11-20 18:23:46 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-11-20 18:23:55 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2022-11-20 18:24:05 +0100 | aliosablack | (~chomwitt@athedsl-351518.home.otenet.gr) |
| 2022-11-20 18:26:02 +0100 | chomwitt | (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2022-11-20 18:26:29 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-11-20 18:29:26 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2022-11-20 18:29:26 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-11-20 18:29:26 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-20 18:30:45 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 2022-11-20 18:31:26 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-11-20 18:31:59 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-20 18:34:06 +0100 | elevenkb | (~elevenkb@105.184.125.168) |
| 2022-11-20 18:35:23 +0100 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-11-20 18:37:30 +0100 | coot | (~coot@213.134.171.3) |
| 2022-11-20 18:40:55 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-20 18:41:16 +0100 | ddellacosta | (~ddellacos@89.45.224.241) (Quit: WeeChat 3.7.1) |
| 2022-11-20 18:42:32 +0100 | ddellacosta | (~ddellacos@89.45.224.241) |
| 2022-11-20 18:43:10 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-11-20 18:44:17 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-20 18:45:39 +0100 | oblivious | (~oblivious@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 2022-11-20 18:45:45 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-20 18:47:09 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 18:48:43 +0100 | Chalito | (~Chalito@201.192.205.165) |
| 2022-11-20 18:48:58 +0100 | <EvanR> | fendor[m], so you want the haskell type checker to be even more illogical xD |
| 2022-11-20 18:49:35 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-11-20 18:49:56 +0100 | <fendor[m]> | not quite, I am also fine if I have to include a prove that the list is long enough |
| 2022-11-20 18:50:01 +0100 | ddellacosta | (~ddellacos@89.45.224.241) (Quit: WeeChat 3.7.1) |
| 2022-11-20 18:50:57 +0100 | ddellacosta | (~ddellacos@89.45.224.241) |
| 2022-11-20 18:51:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Remote host closed the connection) |
| 2022-11-20 18:51:32 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 2022-11-20 18:53:29 +0100 | lechner | (~lechner@debian/lechner) (Read error: Connection reset by peer) |
| 2022-11-20 18:54:21 +0100 | ddellacosta | (~ddellacos@89.45.224.241) (Client Quit) |
| 2022-11-20 18:54:31 +0100 | <Chalito> | Buenas, una consulta, estaba tratando de descargar Haskell desde ghcup con el comando para Windows, pero al ejecutarlo, cuando llega a la parte de instalación me manda el siguiente error: curl: (35) schannel: next InitializeSecurityContext failed: Unknown error (0x80092013) - La función de revocación no puede comprobar la revocación debido a |
| 2022-11-20 18:54:32 +0100 | <Chalito> | que el servidor de revocación está sin conexión. |
| 2022-11-20 18:54:50 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-11-20 18:55:04 +0100 | lechner | (~lechner@debian/lechner) (Remote host closed the connection) |
| 2022-11-20 18:55:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 2022-11-20 18:57:06 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-11-20 18:57:43 +0100 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection) |
| 2022-11-20 18:58:06 +0100 | yahb2 | (~yahb2@static.56.27.47.78.clients.your-server.de) |
| 2022-11-20 18:58:39 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-11-20 18:59:30 +0100 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-11-20 19:00:16 +0100 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
| 2022-11-20 19:00:43 +0100 | <[exa]> | Chalito: hola, in what kind of shell are you running it? Looks like curl is broken. Also this is a very english channel but I think there's also (lower-volume) #haskell-es |
| 2022-11-20 19:01:14 +0100 | SridharRatnakuma | srid[m] |
| 2022-11-20 19:01:15 +0100 | <[exa]> | (also, which precise command tells you this error?) |
| 2022-11-20 19:02:23 +0100 | ircbrowse_tom | (~ircbrowse@static.162.49.55.162.clients.your-server.de) |
| 2022-11-20 19:02:29 +0100 | Server | +Cnt |
| 2022-11-20 19:02:49 +0100 | <Chalito> | Bueno no sé a que se refiere con caparazón, pero lo estoy ejecutando en el powerShell de Windows, con el comando Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072;Invoke-Command -ScriptBlock ([ScriptBlock]::Create((Invoke-WebRequest |
| 2022-11-20 19:02:49 +0100 | <Chalito> | https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing))) -ArgumentList $true |
| 2022-11-20 19:03:41 +0100 | <mauke> | isn't "curl" on windows just a weird powershell alias? |
| 2022-11-20 19:03:45 +0100 | <[exa]> | ahhh powershell, I have no experience there. Can you try with good old boring `cmd.exe` ? |
| 2022-11-20 19:04:05 +0100 | <[exa]> | yeah I'd suspect powershell might be doing ugly tricks there |
| 2022-11-20 19:04:23 +0100 | <Chalito> | Es que en cmd no sirve ese comando |
| 2022-11-20 19:04:32 +0100 | <[exa]> | ah okay |
| 2022-11-20 19:04:44 +0100 | <Chalito> | De hecho estoy ejecutandolo justo como dice el tutorial, pero siempre me sale ese error |
| 2022-11-20 19:06:04 +0100 | <[exa]> | ok I'd suggest waiting here for a moment until some windows users notice, there might be solutions |
| 2022-11-20 19:06:23 +0100 | <Chalito> | Okok gracias!! |
| 2022-11-20 19:07:15 +0100 | <[exa]> | de nada (literally) |
| 2022-11-20 19:07:26 +0100 | <kenaryn> | Hello again! I'm trying to build a compiler to try out a programming language (based on Haskell) using stack, at: https://github.com/unisonweb/unison#building-using-stack . `stack build --fast --test` and it fails dealing with `zlib` for a unknown (to me) reason. The error message is here: https://p.ip.fi/R0Do |
| 2022-11-20 19:07:54 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 19:07:55 +0100 | <kenaryn> | Like geekosaur pointed it out, the empty .log file suggests that the configure phase failed even before attempting to build it. |
| 2022-11-20 19:08:33 +0100 | <[exa]> | Chalito: like, it looks that some certificate revocation server is offline so the curl version is not happy with letting you connect there just so, see e.g. here https://social.technet.microsoft.com/Forums/ie/en-US/b8827da2-d32f-4774-8ecc-bdf06418e31b/revocati… |
| 2022-11-20 19:09:09 +0100 | zer0bitz_ | (~zer0bitz@196.244.192.60) () |
| 2022-11-20 19:09:09 +0100 | <[exa]> | Chalito: normally you'd (very insecurely) circumvent that with checking the cert in some other way and then going with --no-check-certificate or so, but no idea here to pass it on here |
| 2022-11-20 19:10:12 +0100 | <[exa]> | kenaryn: can you see the relevant piece of error that comes out of zlib? (it says "(scroll up to its section to see the error)" ) |
| 2022-11-20 19:10:30 +0100 | <kenaryn> | I have ghc-9.0.2 installed and zlib and `zlib-del` 1.2.13. But the project unison uses an old version of ghc (8.10.7) and my implicit global (~/.stack/global-project/stack.yaml includes `lts-19.33`). I tried also 18.13 and 19.12 but to no avail. |
| 2022-11-20 19:12:35 +0100 | <kenaryn> | [exa]: `zlib` has 47 occurrences and only one `[error]` occurence so I know not where to look I apologize. |
| 2022-11-20 19:12:35 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-20 19:13:31 +0100 | zer0bitz | (~zer0bitz@196.244.192.60) |
| 2022-11-20 19:14:00 +0100 | <[exa]> | kenaryn: ah feel free to pastebin the whole log tbh |
| 2022-11-20 19:14:39 +0100 | <kenaryn> | Thank you: here is the full log: https://p.ip.fi/rnQX |
| 2022-11-20 19:15:28 +0100 | bobbingbob | (~bobbingbo@2604:3d09:207f:f650::b469) |
| 2022-11-20 19:16:16 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-11-20 19:17:36 +0100 | <[exa]> | kenaryn: oh I see, actually not only zlib but all builds failed with ExitFailure (-11) |
| 2022-11-20 19:17:39 +0100 | <kenaryn> | only `entropy` and `network` have a written .log among 92 .log files generated |
| 2022-11-20 19:18:14 +0100 | <kenaryn> | Yes, I tried to remove `--fast` flag in case it would be too resources eager but that did not change a thing. |
| 2022-11-20 19:18:44 +0100 | <[exa]> | the beginning of the log has a message about compatibility (just below the list of packages) with stack upgrade --force-download, would that help? |
| 2022-11-20 19:19:38 +0100 | <Chalito> | [exa] Gracias por el consejo, pero de hecho ya lo he intentado, pero cuando coloco eso en el comando me tira un error como de que esa bandera no va ahí |
| 2022-11-20 19:19:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-20 19:19:52 +0100 | lechner | (~lechner@debian/lechner) (Remote host closed the connection) |
| 2022-11-20 19:20:18 +0100 | <Chalito> | Y como el curl va implícito (no va en el comando principal) no lo puedo colocar donde está el curl |
| 2022-11-20 19:21:21 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-11-20 19:21:31 +0100 | lechner | (~lechner@debian/lechner) (Remote host closed the connection) |
| 2022-11-20 19:22:32 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Read error: Connection reset by peer) |
| 2022-11-20 19:22:32 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-20 19:22:32 +0100 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
| 2022-11-20 19:22:51 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-11-20 19:22:59 +0100 | <[exa]> | Chalito: hm it might be actually useful to ask the ghcup folks now. This might be a new issue that might be easily fixable (you know, windows update) |
| 2022-11-20 19:23:02 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-11-20 19:23:03 +0100 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-11-20 19:23:19 +0100 | aliosablack | (~chomwitt@athedsl-351518.home.otenet.gr) (Ping timeout: 260 seconds) |
| 2022-11-20 19:23:38 +0100 | <[exa]> | Chalito: also, as one option that tends to work better, you might try with WSL |
| 2022-11-20 19:24:33 +0100 | <[exa]> | kenaryn: anyway what's your system? ExitFailure (-11) seems like the build processes are simply just segfaulting right away, and finding why might be quite useful |
| 2022-11-20 19:24:46 +0100 | oblivious | (~oblivious@150.187.35.37.dynamic.jazztel.es) |
| 2022-11-20 19:25:30 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-20 19:29:54 +0100 | califax | (~califax@user/califx) |
| 2022-11-20 19:32:03 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-11-20 19:32:41 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-20 19:33:38 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 19:34:57 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-11-20 19:36:14 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 2022-11-20 19:37:19 +0100 | <kenaryn> | [exa]: I tried at this very moment using latest stack version (i.e. 2.9.1) but nothing changed I think, the log starts slightly differently nevertheless: https://p.ip.fi/sJPy |
| 2022-11-20 19:37:58 +0100 | <kenaryn> | [exa]: my system is Linux omega 6.0.9_1 #1 SMP PREEMPT_DYNAMIC x86_64 GNU/Linux (VoidLinux musl) |
| 2022-11-20 19:38:42 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-11-20 19:39:27 +0100 | <[exa]> | kenaryn: how much memory does it have available? |
| 2022-11-20 19:39:38 +0100 | <kenaryn> | The log is thrice shorter in fact. |
| 2022-11-20 19:40:01 +0100 | <kenaryn> | ➜ free total used free shared buff/cache available |
| 2022-11-20 19:40:01 +0100 | <kenaryn> | Mem: 16347664 2556024 10800640 16480 2991000 13475800 |
| 2022-11-20 19:40:04 +0100 | <kenaryn> | Swap: 25165820 0 25165820 |
| 2022-11-20 19:40:22 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-11-20 19:40:36 +0100 | <kenaryn> | Apologies for the spam. |
| 2022-11-20 19:41:03 +0100 | <Chalito> | [exa]: Creo que ya lo pude solucionar, cuando te contesté lo del curl se me ocurrió descargar el archivo que ejecutaba internamente el comando, modificarle la parte en que ejecutaba el curl agregandole la bandera '--ssl-no-revoke' y ejecutando el comando con ese archivo, y aún no se ha terminado de instalar, pero al menos ya está instalando |
| 2022-11-20 19:41:04 +0100 | <Chalito> | jajaja |
| 2022-11-20 19:41:12 +0100 | <[exa]> | kenaryn: ok that is more than enough memory I'd say, I was just wondering if this isn't a tiny trying-haskell-in-amazon-ec-micro kind of error |
| 2022-11-20 19:41:39 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-20 19:41:54 +0100 | <kenaryn> | No :) I'm trying on my only machine. |
| 2022-11-20 19:42:27 +0100 | <[exa]> | Chalito: ah yeah good that might solve it easily. I was afraid the `curl` was ran by the actual ghcup, not the install script |
| 2022-11-20 19:43:15 +0100 | <[exa]> | re the install script, at worse you may just literally walk over it and do any (possibly fixed) install steps manually |
| 2022-11-20 19:43:21 +0100 | <[exa]> | *at worst |
| 2022-11-20 19:43:42 +0100 | <[exa]> | kenaryn: I hope `musl` wouldn't be the problem source there |
| 2022-11-20 19:46:13 +0100 | <kenaryn> | [exa]: musl is a nightmare. There is almost 0 project using it so I hope too because I'm screwed. I have `gcompat` which is a compatibility layer with glibc but as far as I recall, it has never saved the day even once. |
| 2022-11-20 19:46:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-20 19:48:03 +0100 | dsrt^ | (~dsrt@76.145.185.103) (Remote host closed the connection) |
| 2022-11-20 19:48:13 +0100 | <kenaryn> | you mean I shall try to build ghc-8.10.7 from source for musl? |
| 2022-11-20 19:48:21 +0100 | <kenaryn> | if it even exists.. |
| 2022-11-20 19:49:51 +0100 | srz | (~srz@181.228.49.93) |
| 2022-11-20 19:50:35 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 19:52:35 +0100 | <geekosaur> | you might be able to get it via ghcup but then you have to reconfigure stack to use that instead of the one from the resolver |
| 2022-11-20 19:53:08 +0100 | <geekosaur> | but what worries me is it works right up to that point and then ExitFailure (-11) on what might be the first one with a configure script |
| 2022-11-20 19:53:26 +0100 | <geekosaur> | which as [exa] said might mean it's dumping core before it can do anything |
| 2022-11-20 19:53:33 +0100 | <geekosaur> | which is … bad |
| 2022-11-20 19:53:43 +0100 | <geekosaur> | (and means it's not even reaching ghc in those cases) |
| 2022-11-20 19:55:23 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-20 19:55:44 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 19:55:48 +0100 | <[exa]> | like, ghc has been seen working with musl |
| 2022-11-20 19:56:05 +0100 | <[exa]> | kenaryn: how'd you install stack btw? |
| 2022-11-20 19:59:07 +0100 | <kenaryn> | [exa]: I used the void package manager `xbps-install -S stack` (which is in `/usr/bin`) and for the new one `stack upgrade --force-download` has copied the latest version in `~/.local/bin/stack` (I added the latter one in PATH env var) but to no avail so in my directory project I used `~/.local/bin/stack build --fast --test` |
| 2022-11-20 19:59:39 +0100 | <kenaryn> | That is why the .log was reduced to 1969 lines to 641 lines. |
| 2022-11-20 20:00:39 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-20 20:01:09 +0100 | <kenaryn> | the first line is: `No packages found in snapshot which provide a "unison" executable, which is a build-tool dependency of unison-cli` |
| 2022-11-20 20:01:23 +0100 | <kenaryn> | so maybe that's the actual problem. |
| 2022-11-20 20:03:43 +0100 | oblivious | (~oblivious@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 2022-11-20 20:04:40 +0100 | <kenaryn> | the former one is stack-2.7.5 and the latter one is stack-2.9.1 |
| 2022-11-20 20:06:34 +0100 | <kenaryn> | But I changed numerous times the implicit global at ~/.stack/global-work/stack.yaml so now I know not what resolver lts or ghc version write it down. |
| 2022-11-20 20:07:18 +0100 | <[exa]> | kenaryn: just to be absolutely sure it might be useful to remove the original stack from package manager (not that I wouldn't trust the package manager but we have a few similar bad experiences from some other unnamed distros) |
| 2022-11-20 20:08:30 +0100 | <kenaryn> | Alpine linux? |
| 2022-11-20 20:08:33 +0100 | <kenaryn> | :D |
| 2022-11-20 20:09:02 +0100 | <kenaryn> | I'll try to remove the original one. Thank you for your patience and your help. |
| 2022-11-20 20:10:01 +0100 | <geekosaur> | arch is the usual disaster area, they muck with everything and you can only find out by reading their wiki |
| 2022-11-20 20:10:44 +0100 | <kenaryn> | lmao you broke the taboo with such ease. |
| 2022-11-20 20:11:11 +0100 | <[exa]> | arch has a taboo? |
| 2022-11-20 20:11:20 +0100 | <[exa]> | (is it documented in the wiki?) |
| 2022-11-20 20:11:41 +0100 | geekosaur | has no trouble dragging them in the dirt, he's had to help too many people fix their messes… |
| 2022-11-20 20:12:23 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-20 20:14:16 +0100 | elevenkb | (~elevenkb@105.184.125.168) (Quit: Quit) |
| 2022-11-20 20:14:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-11-20 20:14:37 +0100 | elevenkb | (~elevenkb@105.184.125.168) |
| 2022-11-20 20:15:39 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 20:16:01 +0100 | AlexNoo | (~AlexNoo@178.34.160.146) |
| 2022-11-20 20:17:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-20 20:20:34 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection) |
| 2022-11-20 20:21:04 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-11-20 20:23:02 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2022-11-20 20:23:02 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-11-20 20:23:02 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-20 20:26:44 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-11-20 20:27:07 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:a553:6552:13c1:4f41) |
| 2022-11-20 20:31:20 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-11-20 20:42:51 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Quit: euandreh) |
| 2022-11-20 20:45:40 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 20:46:40 +0100 | michalz | (~michalz@185.246.207.193) |
| 2022-11-20 20:46:51 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-20 20:49:32 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Remote host closed the connection) |
| 2022-11-20 20:49:58 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-20 21:03:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Remote host closed the connection) |
| 2022-11-20 21:05:09 +0100 | kenran | (~user@user/kenran) |
| 2022-11-20 21:05:20 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-11-20 21:08:22 +0100 | yella | (~yell@2607:fb90:8061:645e:b50a:8579:b31d:1eec) |
| 2022-11-20 21:08:48 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 2022-11-20 21:08:50 +0100 | srz | (~srz@181.228.49.93) (Ping timeout: 240 seconds) |
| 2022-11-20 21:13:26 +0100 | brettgilio | (~brettgili@x-irc.gq) (Quit: The Lounge - https://thelounge.chat) |
| 2022-11-20 21:15:41 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-11-20 21:16:58 +0100 | brettgilio | (~brettgili@x-irc.gq) |
| 2022-11-20 21:18:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-20 21:21:45 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-11-20 21:25:56 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-11-20 21:28:36 +0100 | elevenkb | (~elevenkb@105.184.125.168) (Ping timeout: 248 seconds) |
| 2022-11-20 21:28:44 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-11-20 21:30:07 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-11-20 21:32:10 +0100 | Guest9851 | money |
| 2022-11-20 21:32:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-20 21:33:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-11-20 21:34:44 +0100 | InstX1 | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-11-20 21:35:00 +0100 | acidjnk | (~acidjnk@p200300d6e7137a2348c5e2c763436845.dip0.t-ipconnect.de) |
| 2022-11-20 21:38:36 +0100 | bjourne | (~bjorn@94.191.152.232) (Read error: Connection reset by peer) |
| 2022-11-20 21:39:25 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-11-20 21:43:14 +0100 | mei_ | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2022-11-20 21:43:29 +0100 | pavonia | (~user@user/siracusa) |
| 2022-11-20 21:46:30 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Quit: euandreh) |
| 2022-11-20 21:50:30 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-20 21:51:12 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Client Quit) |
| 2022-11-20 21:51:20 +0100 | Chalito | (~Chalito@201.192.205.165) (Quit: Connection closed) |
| 2022-11-20 21:54:05 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 255 seconds) |
| 2022-11-20 21:54:45 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-20 21:58:52 +0100 | crns | (~netcrns@user/crns) (Quit: Lost terminal) |
| 2022-11-20 21:59:35 +0100 | crns | (~netcrns@user/crns) |
| 2022-11-20 21:59:54 +0100 | crns | (~netcrns@user/crns) (Client Quit) |
| 2022-11-20 22:00:17 +0100 | crns | (~netcrns@p4ff5e521.dip0.t-ipconnect.de) |
| 2022-11-20 22:00:17 +0100 | crns | (~netcrns@p4ff5e521.dip0.t-ipconnect.de) (Changing host) |
| 2022-11-20 22:00:17 +0100 | crns | (~netcrns@user/crns) |
| 2022-11-20 22:01:13 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Quit: euandreh) |
| 2022-11-20 22:02:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 2022-11-20 22:04:29 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-20 22:04:40 +0100 | _leo92_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2022-11-20 22:07:54 +0100 | aliosablack | (~chomwitt@2a02:587:7a08:f700:1ac0:4dff:fedb:a3f1) |
| 2022-11-20 22:08:41 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::7fe) |
| 2022-11-20 22:24:25 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 22:29:11 +0100 | elevenkb | (~elevenkb@105.184.125.168) |
| 2022-11-20 22:36:50 +0100 | constxd | (~brad@77.68.183.226) |
| 2022-11-20 22:38:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-11-20 22:45:11 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-11-20 22:58:32 +0100 | kleczkowski | (~kleczkows@2a02:a311:a23f:9780:9920:84a:8da5:75f3) (Read error: Connection reset by peer) |
| 2022-11-20 23:02:40 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-20 23:02:52 +0100 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2022-11-20 23:03:05 +0100 | titibandit | (~titibandi@xdsl-87-78-52-100.nc.de) |
| 2022-11-20 23:04:26 +0100 | titibandit | (~titibandi@xdsl-87-78-52-100.nc.de) (Remote host closed the connection) |
| 2022-11-20 23:04:27 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-20 23:10:44 +0100 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2022-11-20 23:11:42 +0100 | srz | (~srz@181.228.49.93) |
| 2022-11-20 23:12:42 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::7fe) (Remote host closed the connection) |
| 2022-11-20 23:13:05 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::fba) |
| 2022-11-20 23:25:33 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-11-20 23:28:58 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-11-20 23:29:12 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 2022-11-20 23:29:40 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-20 23:31:21 +0100 | califax | (~califax@user/califx) |
| 2022-11-20 23:33:23 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-20 23:33:23 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-20 23:33:23 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-20 23:40:43 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-20 23:41:51 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-20 23:42:40 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-20 23:44:42 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection) |
| 2022-11-20 23:46:45 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-11-20 23:50:21 +0100 | elevenkb | (~elevenkb@105.184.125.168) (Remote host closed the connection) |
| 2022-11-20 23:50:29 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 2022-11-20 23:54:19 +0100 | constxd | (~brad@77.68.183.226) (Ping timeout: 260 seconds) |
| 2022-11-20 23:55:42 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-11-20 23:56:32 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |