Logs on 2022-11-20 (liberachat/#haskell)
| 00:00:28 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 00:02:30 | × | acidjnk quits (~acidjnk@p200300d6e7137a4619037b2a1cfeb60c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 00:06:34 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 00:08:17 | → | mauke_ joins (~mauke@p57b6ed34.dip0.t-ipconnect.de) |
| 00:09:36 | × | mauke quits (~mauke@p5091177f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 00:09:36 | mauke_ | is now known as mauke |
| 00:17:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 00:17:51 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:18:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 00:18:40 | × | srz quits (~srz@181.228.49.93) (Ping timeout: 260 seconds) |
| 00:22:38 | × | chomwitt quits (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 00:22:54 | × | dimsuz quits (~dima@95.52.248.22) (Quit: leaving) |
| 00:23:17 | → | shinjipf8 joins (~shinjipf@2a01:4f8:1c1c:c1be::1) |
| 00:24:49 | × | shinjipf quits (~shinjipf@2a01:4f8:1c1c:c1be::1) (Ping timeout: 252 seconds) |
| 00:24:49 | shinjipf8 | is now known as shinjipf |
| 00:27:49 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 268 seconds) |
| 00:28:23 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 00:30:07 | → | InstX1 joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 00:30:23 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 00:32:38 | → | dibblego joins (~dibblego@122-199-1-30.ip4.superloop.com) |
| 00:32:38 | × | dibblego quits (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 00:32:38 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 00:34:46 | × | c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 00:35:13 | × | InstX1 quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 00:37:14 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:42:23 | × | lechner quits (~lechner@debian/lechner) (Remote host closed the connection) |
| 00:46:13 | → | kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 00:46:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 00:46:51 | × | kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit) |
| 00:47:29 | → | notzmv joins (~zmv@user/notzmv) |
| 00:49:13 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 00:50:53 | × | mauke quits (~mauke@p57b6ed34.dip0.t-ipconnect.de) (Quit: brb) |
| 00:50:56 | → | lechner joins (~lechner@debian/lechner) |
| 00:51:15 | → | mauke joins (~mauke@p57b6ed34.dip0.t-ipconnect.de) |
| 00:52:26 | → | darchitect joins (~darchitec@2a00:23c6:3584:df01:d84a:e6ea:9bdf:965a) |
| 00:52:52 | <darchitect> | guys can anyone explain to a dummy why "lambda calculus" is called "calculus" ? |
| 00:55:28 | <hpc> | that's a really good question |
| 00:55:33 | <sclv> | It involves variable binding |
| 00:55:36 | <hpc> | wikipedia says "Calculus (from Latin calculus meaning ‘pebble’, plural calculī) in its most general sense is any method or system of calculation." |
| 00:55:54 | <sclv> | If it didn’t we might call it an algebra |
| 00:56:18 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:56:30 | <[Leary]> | Also, wiktionary: /calculus/: (countable, mathematics) Any formal system in which symbolic expressions are manipulated according to fixed rules. |
| 00:58:04 | <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 |
| 01:00:04 | <hpc> | sclv's answer is the best i think |
| 01:00:15 | → | freeside joins (~mengwong@103.252.202.193) |
| 01:01:42 | <hpc> | although you can probably think of each as related |
| 01:02:05 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Remote host closed the connection) |
| 01:02:32 | <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 |
| 01:02:38 | <hpc> | like when you do differential calculus you can think of it as manipulating some f(x) by manipulating x (the variable binding way) |
| 01:02:53 | <hpc> | or there's a cool computer trick where you make a numeric type that's a tuple, kind of like complex numbers |
| 01:03:37 | <hpc> | but instead of a+bi, you have something like ax+b(dx) |
| 01:03:59 | <hpc> | (i forget what that sort of number is called and it's hard to google) |
| 01:04:06 | <c_wraith> | dual numbers |
| 01:04:18 | <hpc> | but then you're not doing symbolic stuff per-se, you're just doing calculations on fancy numbers |
| 01:04:33 | <c_wraith> | they're the basis of forward-mode automatic differentiation |
| 01:04:51 | <c_wraith> | which, as you say, is not symbolic calculation. Nor is it numeric. It's something else. :) |
| 01:05:08 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 01:05:15 | <hpc> | it depends on what you consider a number to be |
| 01:05:32 | <hpc> | but that's a whole other bunch of abstract nonsense |
| 01:05:43 | <c_wraith> | well. Not numeric differentiation in the sense that calculus packages advertise. |
| 01:06:28 | → | ub joins (~Thunderbi@178.165.166.23.wireless.dyn.drei.com) |
| 01:07:06 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 01:07:10 | × | zeenk quits (~zeenk@2a02:2f04:a208:3600::fba) (Quit: Konversation terminated!) |
| 01:07:58 | × | ubert quits (~Thunderbi@178.115.40.94.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 01:07:58 | ub | is now known as ubert |
| 01:08:51 | <hpc> | oh, also on the algebra thing, that's a specific mathematical object - https://en.wikipedia.org/wiki/Algebra_over_a_field |
| 01:12:31 | <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 |
| 01:13:41 | → | Kaiepi joins (~Kaiepi@108.175.84.104) |
| 01:14:28 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:14:53 | <hpc> | or maybe a better example is predicate calculus and boolean algebra |
| 01:17:05 | → | freeside joins (~mengwong@103.252.202.193) |
| 01:18:58 | <dolio> | That doesn't really match the supposed distinction, really. |
| 01:19:00 | × | SrainUser quits (~Srain@189.6.35.188) (Ping timeout: 268 seconds) |
| 01:19:17 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:19:17 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:19:17 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:20:24 | <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. |
| 01:20:35 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:20:42 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 01:20:53 | × | king_gs quits (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Quit: king_gs) |
| 01:21:25 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 01:22:15 | → | srz joins (~srz@179.36.74.229) |
| 01:25:36 | × | lechner quits (~lechner@debian/lechner) (Remote host closed the connection) |
| 01:26:35 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Write error: Connection reset by peer) |
| 01:26:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
| 01:26:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
| 01:26:36 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 01:26:56 | → | lechner joins (~lechner@debian/lechner) |
| 01:27:05 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 01:27:23 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 01:27:54 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:28:56 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:30:06 | → | razetime joins (~quassel@117.254.34.68) |
| 01:30:46 | <hpc> | dolio: predicate calculus introduces forall/exists (aka, variable bindings) |
| 01:31:06 | <hpc> | that's more what i was thinking |
| 01:31:26 | <dolio> | Propositional calculus doesn't have variable binding. |
| 01:31:52 | → | ddellacosta joins (~ddellacos@89.45.224.59) |
| 01:32:26 | <hpc> | https://en.wikipedia.org/wiki/First-order_logic#Logical_symbols |
| 01:32:36 | <hpc> | first bullet point is the variable bindings, second bullet point is boolean algebra :P |
| 01:33:39 | <hpc> | or i guess, second bullet point is propositional calculus, which i had never heard referred to that way until just now |
| 01:33:49 | <hpc> | and that is what contains boolean algebra |
| 01:38:43 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:39:34 | → | califax joins (~califax@user/califx) |
| 01:48:09 | → | srz_ joins (~srz@181.228.49.93) |
| 01:48:12 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 01:48:29 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 01:49:50 | <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 |
| 01:51:02 | × | srz quits (~srz@179.36.74.229) (Ping timeout: 256 seconds) |
| 01:52:42 | × | ddellacosta quits (~ddellacos@89.45.224.59) (Quit: WeeChat 3.6) |
| 01:53:07 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 01:53:43 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 01:55:00 | × | rburkholder quits (~blurb@96.45.2.121) (Remote host closed the connection) |
| 01:55:28 | → | ddellacosta joins (~ddellacos@143.244.47.70) |
| 01:56:05 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 01:57:19 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 01:59:25 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 02:00:38 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 02:00:40 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 02:02:31 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 02:02:36 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 02:06:08 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:06:54 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 02:09:34 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 02:09:48 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 02:10:18 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 02:10:23 | × | neightchan quits (~nate@98.45.169.16) (Quit: WeeChat 2.9) |
| 02:13:53 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 02:13:53 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 02:13:57 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 02:14:20 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 02:14:47 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 02:14:54 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 02:16:07 | → | califax joins (~califax@user/califx) |
| 02:16:24 | → | nate4 joins (~nate@98.45.169.16) |
| 02:17:22 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 02:17:45 | → | natechan joins (~nate@98.45.169.16) |
| 02:17:54 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 02:20:28 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 02:21:04 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 02:22:10 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 02:25:03 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 02:25:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 02:33:34 | × | srz_ quits (~srz@181.228.49.93) (Quit: Leaving) |
| 02:39:17 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 02:42:24 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 02:46:50 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 02:46:57 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:48:52 | → | son0p joins (~ff@s0106f88b37df247a.vn.shawcable.net) |
| 02:49:15 | → | freeside joins (~mengwong@103.252.202.193) |
| 02:49:51 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 02:53:50 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 02:56:12 | × | son0p quits (~ff@s0106f88b37df247a.vn.shawcable.net) (Ping timeout: 256 seconds) |
| 02:56:53 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 02:59:11 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:59:24 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 02:59:24 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 02:59:24 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:02:15 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 03:02:39 | → | freeside joins (~mengwong@103.252.202.193) |
| 03:06:18 | × | td_ quits (~td@83.135.9.60) (Ping timeout: 268 seconds) |
| 03:07:14 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 03:07:29 | → | td_ joins (~td@83.135.9.29) |
| 03:09:50 | × | pieguy128 quits (~pieguy128@65.93.192.212) (Ping timeout: 240 seconds) |
| 03:09:56 | × | bobbingbob quits (~bobbingbo@2604:3d09:207f:f650::b469) (Ping timeout: 260 seconds) |
| 03:11:44 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 03:12:18 | → | marc___ joins (~marc@5.83.191.103) |
| 03:13:40 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::efb) |
| 03:13:50 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::efb) (Client Quit) |
| 03:14:17 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 03:14:29 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 03:15:28 | × | marc__ quits (~marc@5.83.191.214) (Ping timeout: 256 seconds) |
| 03:20:17 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 03:21:11 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 03:22:05 | → | califax joins (~califax@user/califx) |
| 03:22:55 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 03:24:20 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 03:24:20 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 03:28:01 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 03:28:16 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 03:29:32 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 03:34:32 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 03:36:23 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-50-65-93-192-212.dsl.bell.ca) |
| 03:38:15 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 03:46:29 | × | b0o quits (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Ping timeout: 252 seconds) |
| 03:47:30 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 03:47:48 | → | b0o joins (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 03:53:10 | × | Kaiepi quits (~Kaiepi@108.175.84.104) (Ping timeout: 268 seconds) |
| 03:58:19 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 03:58:28 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 04:00:03 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 04:01:13 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 04:01:13 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 04:01:13 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:06:50 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 240 seconds) |
| 04:08:26 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 04:09:40 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 04:11:16 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 04:12:13 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 04:13:40 | × | bjourne quits (~bjorn@94.191.152.93) (Read error: Connection reset by peer) |
| 04:33:17 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 04:34:04 | → | califax joins (~califax@user/califx) |
| 04:35:09 | → | freeside joins (~mengwong@103.252.202.193) |
| 04:56:19 | → | sagex joins (~sagex@2600:1700:42d8:4530:2ef0:5dff:fede:e8) |
| 05:03:36 | → | c209e6dc-4d76-47 joins (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 05:06:15 | → | son0p joins (~ff@S0106f88b37df247a.vn.shawcable.net) |
| 05:31:51 | × | c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 05:33:05 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 05:33:22 | × | raym quits (~ray@user/raym) (Remote host closed the connection) |
| 05:34:19 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 05:34:23 | Lord_of_Life_ | is now known as Lord_of_Life |
| 05:35:32 | → | bilegeek joins (~bilegeek@2600:1008:b015:d320:dfa7:ce99:aec2:dd5e) |
| 05:36:30 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 05:38:36 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 05:43:54 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:45:38 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 06:01:34 | money | is now known as Guest9851 |
| 06:13:04 | → | raym joins (~ray@user/raym) |
| 06:13:34 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 06:17:53 | → | nate4 joins (~nate@98.45.169.16) |
| 06:18:32 | → | chromoblob joins (~user@37.113.164.122) |
| 06:23:02 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 06:23:07 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 260 seconds) |
| 06:23:58 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 06:23:58 | jinsun | is now known as Guest4629 |
| 06:23:58 | × | Guest4629 quits (~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 06:23:58 | jinsun__ | is now known as jinsun |
| 06:50:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 06:56:09 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:56:12 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 07:03:30 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 07:15:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:19:10 | → | evanvarvell joins (~evanvarve@097-088-181-216.res.spectrum.com) |
| 07:24:03 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:25:05 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 07:27:31 | × | xff0x quits (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 07:30:53 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:34:15 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:40:48 | → | xff0x joins (~xff0x@ai071162.d.east.v6connect.net) |
| 07:41:08 | × | bilegeek quits (~bilegeek@2600:1008:b015:d320:dfa7:ce99:aec2:dd5e) (Remote host closed the connection) |
| 07:41:28 | → | bilegeek joins (~bilegeek@2600:1008:b015:d320:dfa7:ce99:aec2:dd5e) |
| 07:47:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:49:50 | → | mei joins (~mei@user/mei) |
| 07:51:37 | × | ft quits (~ft@87.122.4.81) (Quit: leaving) |
| 07:59:09 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 08:10:03 | → | chromoblob joins (~user@37.113.164.122) |
| 08:14:54 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 260 seconds) |
| 08:20:08 | → | Kaiepi joins (~Kaiepi@108.175.84.104) |
| 08:26:48 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 08:27:14 | × | mjrosenb quits (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 08:27:16 | → | freeside joins (~mengwong@103.252.202.193) |
| 08:31:54 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 08:34:44 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 08:39:10 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Ping timeout: 260 seconds) |
| 08:45:01 | → | freeside joins (~mengwong@103.252.202.193) |
| 09:01:14 | × | evanvarvell quits (~evanvarve@097-088-181-216.res.spectrum.com) (Quit: Leaving) |
| 09:08:17 | → | acidjnk joins (~acidjnk@p200300d6e7137a4619037b2a1cfeb60c.dip0.t-ipconnect.de) |
| 09:20:04 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:20:57 | → | chromoblob joins (~user@37.113.164.122) |
| 09:27:00 | × | chromoblob quits (~user@37.113.164.122) (Ping timeout: 260 seconds) |
| 09:32:07 | × | acidjnk quits (~acidjnk@p200300d6e7137a4619037b2a1cfeb60c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 09:35:59 | → | acidjnk joins (~acidjnk@p200300d6e7137a467df64b119b403ddd.dip0.t-ipconnect.de) |
| 09:40:20 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 09:44:19 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:44:31 | → | leo__ joins (~leo@150.187.35.37.dynamic.jazztel.es) |
| 09:44:54 | leo__ | is now known as oblivious |
| 09:46:36 | × | accord quits (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:49:06 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 09:50:08 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 09:52:13 | ← | sagex parts (~sagex@2600:1700:42d8:4530:2ef0:5dff:fede:e8) (Leaving) |
| 09:53:25 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 09:54:03 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 09:58:39 | × | bilegeek quits (~bilegeek@2600:1008:b015:d320:dfa7:ce99:aec2:dd5e) (Quit: Leaving) |
| 10:06:33 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 10:07:29 | → | zeenk joins (~zeenk@2a02:2f04:a208:3600::fba) |
| 10:13:32 | → | zxrom joins (~zxrom@mm-92-9-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 10:13:33 | × | zeenk quits (~zeenk@2a02:2f04:a208:3600::fba) (Remote host closed the connection) |
| 10:13:55 | → | zeenk joins (~zeenk@2a02:2f04:a208:3600::7fe) |
| 10:18:18 | <Inst> | hi, erm, could someone help me out with figuring out how to parallelize a recursive function? |
| 10:18:30 | <Inst> | parallelize and memorize a recursive function? |
| 10:18:43 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 10:19:28 | → | nate4 joins (~nate@98.45.169.16) |
| 10:22:10 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 10:24:20 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 10:25:05 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 10:25:32 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 10:26:13 | <Rembane> | Inst: What's the function? |
| 10:26:36 | × | oblivious quits (~leo@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 10:27:29 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 10:28:30 | <Inst> | not sure if this is readable |
| 10:28:30 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 10:28:31 | <Inst> | https://paste.tomsmeding.com/tIqqvUCQ |
| 10:29:15 | <Inst> | what i want to do is to change it so i don't have to use a lazy parallelizer |
| 10:29:49 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 10:29:51 | × | hnOsmium0001 quits (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
| 10:32:19 | → | chomwitt joins (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
| 10:33:35 | → | titibandit joins (~titibandi@xdsl-87-78-52-100.nc.de) |
| 10:36:06 | → | dknite joins (~dknite@65.20.68.77) |
| 10:36:18 | × | dknite quits (~dknite@65.20.68.77) (Remote host closed the connection) |
| 10:37:55 | → | dknite joins (~dknite@65.20.68.77) |
| 10:42:36 | × | acidjnk quits (~acidjnk@p200300d6e7137a467df64b119b403ddd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 10:43:15 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 10:43:52 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 10:47:45 | ← | jakalx parts (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 10:47:45 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 10:52:11 | → | gmg joins (~user@user/gehmehgeh) |
| 10:54:26 | → | oblivious joins (~leo@150.187.35.37.dynamic.jazztel.es) |
| 10:54:42 | oblivious | is now known as Obstacle7267 |
| 10:55:26 | → | kjlid[m] joins (~kjlidmatr@2001:470:69fc:105::2:c193) |
| 10:56:42 | Obstacle7267 | is now known as Tamale3289 |
| 10:59:00 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 10:59:09 | Tamale3289 | is now known as oblivious |
| 10:59:58 | oblivious | is now known as Tamale3289 |
| 11:01:05 | Tamale3289 | is now known as oblivious |
| 11:02:22 | → | phma_ joins (phma@2001:5b0:210b:aef8:6f3d:20c2:b904:df4f) |
| 11:06:41 | × | phma quits (~phma@host-67-44-208-214.hnremote.net) (Ping timeout: 268 seconds) |
| 11:06:47 | → | SrainUser joins (~Srain@189.6.35.188) |
| 11:06:50 | ← | oblivious parts (~leo@150.187.35.37.dynamic.jazztel.es) (Good Bye) |
| 11:09:39 | → | oblivious joins (~leo@150.187.35.37.dynamic.jazztel.es) |
| 11:11:18 | × | oblivious quits (~leo@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 11:12:18 | → | oblivious joins (~oblivious@150.187.35.37.dynamic.jazztel.es) |
| 11:12:26 | → | mei_ joins (~mei@user/mei) |
| 11:15:01 | <oblivious> | @pl g f (a, c) = (f a, c) |
| 11:15:02 | <lambdabot> | g = (`ap` snd) . (. fst) . ((,) .) |
| 11:15:02 | × | dknite quits (~dknite@65.20.68.77) (Remote host closed the connection) |
| 11:16:12 | <oblivious> | that's definitely uglier... |
| 11:16:23 | × | mei quits (~mei@user/mei) (Ping timeout: 256 seconds) |
| 11:17:09 | <Rembane> | oblivious: Have you looked into first? https://hackage.haskell.org/package/base-4.17.0.0/docs/Data-Bifunctor.html#v:first |
| 11:20:18 | → | _leo92_ joins (~emmanuelu@user/emmanuelux) |
| 11:23:56 | <oblivious> | Hi Rambane, thanks for the info! Just starting up with haskell, reading a bit and messing arounbd with point free |
| 11:23:56 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 11:24:13 | <oblivious> | Looks like I have a long way to go though :) |
| 11:32:37 | <Rembane> | oblivious: No worries, messing around with point free is way too fun imo. :D |
| 11:33:36 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 11:37:25 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 11:38:36 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 11:42:19 | phma_ | is now known as phma |
| 11:42:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Ping timeout: 260 seconds) |
| 11:42:30 | → | bjourne joins (~bjorn@94.191.152.93) |
| 11:42:52 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 11:45:29 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:53:17 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 11:59:32 | <tomsmeding> | oblivious: https://pointfree.io (same as @pl here, but online) |
| 12:03:34 | × | oblivious quits (~oblivious@150.187.35.37.dynamic.jazztel.es) (Ping timeout: 260 seconds) |
| 12:06:10 | ← | zxrom parts (~zxrom@mm-92-9-212-37.vitebsk.dynamic.pppoe.byfly.by) (Leaving) |
| 12:09:18 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 12:09:36 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 12:13:02 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 12:25:06 | → | yella joins (~yell@2607:fb90:806a:936d:b554:4be2:310c:aa5a) |
| 12:25:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:30:35 | → | InstX1 joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 12:35:03 | × | SrainUser quits (~Srain@189.6.35.188) (Remote host closed the connection) |
| 12:35:23 | → | SrainUser joins (~Srain@189.6.35.188) |
| 12:35:25 | × | InstX1 quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 12:36:07 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:36:08 | × | zeenk quits (~zeenk@2a02:2f04:a208:3600::7fe) (Quit: Konversation terminated!) |
| 12:45:37 | × | titibandit quits (~titibandi@xdsl-87-78-52-100.nc.de) (Quit: Leaving.) |
| 12:50:44 | × | califax quits (~califax@user/califx) (Write error: Connection reset by peer) |
| 12:50:45 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
| 12:50:45 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 12:50:45 | × | ec quits (~ec@gateway/tor-sasl/ec) (Read error: Connection reset by peer) |
| 12:52:02 | → | califax joins (~califax@user/califx) |
| 12:52:39 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:52:49 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:53:32 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 12:54:10 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 12:54:56 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 12:58:34 | → | coot joins (~coot@213.134.171.3) |
| 13:01:16 | → | chromoblob joins (~user@37.113.164.122) |
| 13:02:38 | → | gmg joins (~user@user/gehmehgeh) |
| 13:04:00 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 13:05:10 | × | AlexZenon quits (~alzenon@178.34.162.26) (Quit: ;-) |
| 13:05:34 | → | acidjnk joins (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) |
| 13:05:41 | × | Alex_test quits (~al_test@178.34.162.26) (Quit: ;-) |
| 13:05:58 | × | AlexNoo quits (~AlexNoo@178.34.162.26) (Quit: Leaving) |
| 13:12:50 | × | causal quits (~user@50.35.83.177) (Quit: WeeChat 3.7.1) |
| 13:12:53 | → | Techcable joins (~Techcable@user/Techcable) |
| 13:17:53 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 13:19:18 | <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. |
| 13:20:22 | → | gmg joins (~user@user/gehmehgeh) |
| 13:21:04 | → | AlexNoo joins (~AlexNoo@178.34.162.26) |
| 13:22:44 | × | AlexNoo quits (~AlexNoo@178.34.162.26) (Read error: Connection reset by peer) |
| 13:24:31 | → | AlexNoo joins (~AlexNoo@178.34.162.26) |
| 13:24:33 | × | AlexNoo quits (~AlexNoo@178.34.162.26) (Read error: Connection reset by peer) |
| 13:24:49 | × | Kaiepi quits (~Kaiepi@108.175.84.104) (Ping timeout: 268 seconds) |
| 13:27:19 | → | AlexZenon joins (~alzenon@178.34.162.26) |
| 13:27:19 | → | AlexZenon_2 joins (~alzenon@178.34.162.26) |
| 13:27:21 | × | AlexZenon quits (~alzenon@178.34.162.26) (Read error: Connection reset by peer) |
| 13:27:21 | × | AlexZenon_2 quits (~alzenon@178.34.162.26) (Read error: Connection reset by peer) |
| 13:28:22 | → | `2jt joins (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 13:28:44 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 13:29:36 | × | coot quits (~coot@213.134.171.3) (Quit: coot) |
| 13:29:52 | → | mastarija joins (~mastarija@2a05:4f46:e03:6000:792b:647:3435:d0cb) |
| 13:31:27 | × | SrainUser quits (~Srain@189.6.35.188) (Remote host closed the connection) |
| 13:33:28 | → | ft joins (~ft@p508dbd59.dip0.t-ipconnect.de) |
| 13:38:04 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 13:39:06 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 13:39:25 | → | nate4 joins (~nate@98.45.169.16) |
| 13:40:06 | → | Kaiepi joins (~Kaiepi@108.175.84.104) |
| 13:43:27 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Ping timeout: 255 seconds) |
| 13:44:34 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 13:45:32 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 13:47:39 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 13:50:08 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 13:53:57 | × | yella quits (~yell@2607:fb90:806a:936d:b554:4be2:310c:aa5a) (Remote host closed the connection) |
| 13:54:13 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 13:58:06 | × | mastarija quits (~mastarija@2a05:4f46:e03:6000:792b:647:3435:d0cb) (Quit: WeeChat 3.5) |
| 13:59:27 | → | yella joins (~yell@2607:fb90:806a:936d:b554:4be2:310c:aa5a) |
| 14:00:14 | → | AlexNoo joins (~AlexNoo@178.34.162.26) |
| 14:00:55 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 14:00:56 | × | AlexNoo quits (~AlexNoo@178.34.162.26) (Read error: Connection reset by peer) |
| 14:01:43 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:08:14 | × | phma quits (phma@2001:5b0:210b:aef8:6f3d:20c2:b904:df4f) (Read error: Connection reset by peer) |
| 14:09:12 | → | phma joins (~phma@2001:5b0:215d:aad8:20ab:f617:f484:4a0d) |
| 14:10:38 | × | ddellacosta quits (~ddellacos@143.244.47.70) (Quit: WeeChat 3.7.1) |
| 14:11:55 | → | ddellacosta joins (~ddellacos@89.45.224.241) |
| 14:12:58 | × | goepsilongo quits (~goepsilon@2603-7000-ab00-00e5-4167-a449-9ece-260f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:13:27 | → | fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 14:13:53 | → | goepsilongo joins (~goepsilon@2603-7000-ab00-00e5-7193-cc53-ebba-5530.res6.spectrum.com) |
| 14:15:10 | × | acidjnk quits (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 14:15:11 | × | yella quits (~yell@2607:fb90:806a:936d:b554:4be2:310c:aa5a) (Remote host closed the connection) |
| 14:16:11 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 14:17:40 | → | acidjnk joins (~acidjnk@p200300d6e7137a23e941795d142fec24.dip0.t-ipconnect.de) |
| 14:17:58 | → | gmg joins (~user@user/gehmehgeh) |
| 14:23:20 | × | fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
| 14:24:10 | → | oblivious joins (~oblivious@150.187.35.37.dynamic.jazztel.es) |
| 14:25:08 | <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 |
| 14:25:14 | <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. |
| 14:31:46 | → | InstX1 joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 14:35:31 | <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 |
| 14:35:31 | × | bjourne quits (~bjorn@94.191.152.93) (Read error: Connection reset by peer) |
| 14:36:24 | × | InstX1 quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 14:36:32 | <geekosaur> | and slack is demanding I log in, but I don't have a slack account and don't particularly want one |
| 14:37:36 | <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 |
| 14:38:52 | <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 |
| 14:39:28 | <geekosaur> | "resolver: lts-18.28" this corresponds to ghc-8.10.7 |
| 14:39:36 | <kenaryn> | I knew not that it was requiring any tracker :/ |
| 14:39:50 | <geekosaur> | I didn't see thoird party trackers as such but I did see a CDN |
| 14:40:14 | <geekosaur> | anyway you can'tr use ghc-9.0.2 to build it since it specifies 8.10.7 via the resolver |
| 14:41:06 | <kenaryn> | That is the log with cabal https://p.ip.fi/TJxr |
| 14:42:03 | <geekosaur> | yes, it's not compatible with that version |
| 14:42:08 | <mauke> | it tries to load from cookielaw.org and slack-edge.com |
| 14:42:24 | <geekosaur> | I read slack-edge as the CDN osince it's slack |
| 14:42:40 | <geekosaur> | cookielaw I've seen before, I don't think it's a tracker as such but maybe it is |
| 14:42:57 | <geekosaur> | usually my blocker knows the trackers and lists them separately |
| 14:43:10 | <mauke> | if it has an access.log, it's a tracker |
| 14:44:00 | <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 |
| 14:44:05 | <geekosaur> | er, stack |
| 14:44:32 | <geekosaur> | the readme makes it clear they support stack only, and cabal support is an afterthought |
| 14:44:35 | <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 |
| 14:44:37 | <geekosaur> | I wouldn't trust it much |
| 14:45:39 | <geekosaur> | your command line captures only the stack exec part, you need the stack build part |
| 14:45:43 | <kenaryn> | I tried removing --fast in case of lack of memory from my machine but to no avail. |
| 14:46:13 | <kenaryn> | How can I capture the stack build part in command line? (please) |
| 14:46:35 | <geekosaur> | `stack build --test --fast 2>error.log && stack exec unison` |
| 14:46:51 | <geekosaur> | the redirection goes on the command you want to redirect, not on the whole line |
| 14:47:32 | <geekosaur> | you could also wrap the whole command in parentheses or braces (I think thre braces require some semicolons though) |
| 14:47:46 | <kenaryn> | allright, that is why the file was not created, because the second command did not even run once. |
| 14:48:37 | <geekosaur> | right, it failed so && didn't run the second one or its redirection |
| 14:49:48 | <kenaryn> | Here is the thing but I'm afraid it won't tell you anything of significance: https://p.ip.fi/t9eM |
| 14:50:36 | <kenaryn> | it uses the ABI `ghc-tinfo6-8.10.7` |
| 14:50:41 | <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 |
| 14:52:24 | <kenaryn> | I have `resolver: lts-18.28` in ~/.stack/global-project/stack.yaml should I remove this line? |
| 14:52:44 | <geekosaur> | no |
| 14:52:50 | × | acidjnk quits (~acidjnk@p200300d6e7137a23e941795d142fec24.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:53:00 | <kenaryn> | I added it because the local stack.yaml mentionned it. |
| 14:53:19 | → | titibandit joins (~titibandi@xdsl-87-78-52-100.nc.de) |
| 14:53:27 | <geekosaur> | oh wait, global-project, it shouldn't be using that at all |
| 14:53:57 | <geekosaur> | it has a local stack.yaml which specifies a resolver. |
| 14:53:57 | <kenaryn> | Here is the stack.yaml in the unison directory: https://p.ip.fi/25za |
| 14:54:14 | <geekosaur> | I was looking at the one on github |
| 14:54:17 | <kenaryn> | Yes, exactly. That is why I tried to match/sync with it. |
| 14:54:42 | <kenaryn> | Line 39. |
| 14:55:52 | <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) |
| 14:56:17 | <geekosaur> | I would however suspect you might be missing the OS zlib devel package |
| 14:57:11 | <kenaryn> | All right, checking now.. |
| 14:57:33 | <geekosaur> | on my system (debian) it's zlib1g-dev, but it will vary widely |
| 14:58:49 | <kenaryn> | zlib is empty like all others .log except 2 of them (`entropy` and 'network') I know not why. |
| 14:59:13 | <geekosaur> | interesting |
| 14:59:15 | <kenaryn> | I'm using Void musl... It's a super-niche segment which is beyond my abilities to maintain properly I know. |
| 14:59:52 | <kenaryn> | I have `zlib` and `zlib-devel` installed still. Odd... |
| 14:59:54 | <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 |
| 15:00:44 | <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= |
| 15:01:05 | <kenaryn> | but I don't see this error anymore and can not reproduce it I'm in deep trouble. |
| 15:01:44 | <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 |
| 15:01:56 | <kenaryn> | (was saved in the web browser lol) |
| 15:03:24 | × | nosferandu quits (uid576473@user/nosferandu) (Quit: Connection closed for inactivity) |
| 15:07:37 | <geekosaur> | I'm pretty much out of my depth here, sadly |
| 15:07:56 | <geekosaur> | if it's not writingt logs then I have no idea (but that sounds like a stack bug?) |
| 15:12:34 | × | jespada quits (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Ping timeout: 260 seconds) |
| 15:12:35 | → | acidjnk joins (~acidjnk@p200300d6e7137a23e941795d142fec24.dip0.t-ipconnect.de) |
| 15:13:07 | → | jespada_ joins (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 15:15:51 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 15:17:14 | <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. |
| 15:17:22 | <kenaryn> | Thank you for your patience as always :) |
| 15:17:28 | × | perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 15:17:50 | → | perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 15:19:18 | <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 |
| 15:19:31 | <geekosaur> | less sure about void |
| 15:20:34 | <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. |
| 15:21:55 | <geekosaur> | did you upgrade it? most package managers don't like upgrades that aren't under their control |
| 15:22:20 | <geekosaur> | whereas stack prefers to manage itself and everything else it can (ghc installs, etc.) |
| 15:25:21 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 15:26:39 | → | AlexNoo joins (~AlexNoo@178.34.160.146) |
| 15:27:40 | × | AlexNoo quits (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 15:28:13 | → | AlexZenon joins (~alzenon@178.34.160.146) |
| 15:28:17 | × | AlexZenon quits (~alzenon@178.34.160.146) (Client Quit) |
| 15:28:35 | <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) |
| 15:29:22 | <geekosaur> | right |
| 15:29:22 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 15:31:42 | → | AlexNoo joins (~AlexNoo@178.34.160.146) |
| 15:36:08 | × | AlexNoo quits (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 15:36:46 | → | AlexNoo joins (~AlexNoo@178.34.160.146) |
| 15:37:39 | × | Xeroine quits (~Xeroine@user/xeroine) (Ping timeout: 260 seconds) |
| 15:38:00 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 15:38:44 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 15:42:14 | <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. |
| 15:43:53 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 15:45:26 | <hpc> | unix did prevail, and then it postvailed |
| 15:45:41 | <hpc> | linux is not that old |
| 15:46:28 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:46:59 | × | AlexNoo quits (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 15:47:22 | → | AlexNoo joins (~AlexNoo@178.34.160.146) |
| 15:50:50 | × | marc___ quits (~marc@5.83.191.103) (Ping timeout: 256 seconds) |
| 15:52:48 | → | marc__ joins (~marc@5.83.191.103) |
| 16:00:20 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 16:00:32 | × | AlexNoo quits (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 16:01:17 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 16:01:18 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 16:01:18 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:02:33 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 16:02:55 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 16:03:46 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 16:05:19 | → | zer0bitz_ joins (~zer0bitz@196.244.192.60) |
| 16:05:55 | → | califax joins (~califax@user/califx) |
| 16:08:30 | × | zer0bitz quits (~zer0bitz@196.244.192.54) (Ping timeout: 240 seconds) |
| 16:12:34 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 16:13:37 | × | oblivious quits (~oblivious@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 16:14:04 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds) |
| 16:18:36 | × | son0p quits (~ff@S0106f88b37df247a.vn.shawcable.net) (Ping timeout: 260 seconds) |
| 16:19:25 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 16:21:03 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 16:25:58 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 16:26:53 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 16:27:26 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 16:28:30 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:36:18 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 16:36:50 | → | oblivious joins (~oblivious@150.187.35.37.dynamic.jazztel.es) |
| 16:42:05 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 16:45:01 | × | titibandit quits (~titibandi@xdsl-87-78-52-100.nc.de) (Quit: Leaving.) |
| 16:46:28 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 16:49:01 | × | acidjnk quits (~acidjnk@p200300d6e7137a23e941795d142fec24.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 16:54:02 | → | econo joins (uid147250@user/econo) |
| 16:55:15 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 16:56:42 | → | kleczkowski joins (~kleczkows@2a02:a311:a23f:9780:9920:84a:8da5:75f3) |
| 17:00:42 | → | rburkholder joins (~blurb@96.45.2.121) |
| 17:01:16 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 17:01:40 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 17:02:06 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 17:02:27 | → | califax joins (~califax@user/califx) |
| 17:02:48 | → | wroathe joins (~wroathe@50.205.197.50) |
| 17:02:48 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 17:02:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:10:04 | → | bjourne joins (~bjorn@94.191.152.232) |
| 17:13:58 | <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 |
| 17:15:29 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt https://tinyurl.com/4m8d4kd5) |
| 17:15:38 | <c_wraith> | what is setAt? |
| 17:15:56 | <c_wraith> | like, I'm not even convinced that is a true assertion |
| 17:16:27 | <fendor[m]> | ah yes, of course, it is `setAt :: Natural -> a -> [a] -> [a]`. Basically just set the value at index i |
| 17:16:49 | <c_wraith> | Yeah, I'm still not convinced. |
| 17:17:01 | <fendor[m]> | well, it is with the additional assertion that `i < length [a]`, no? |
| 17:17:08 | <dolio> | What is `setAt 5 x []`? |
| 17:17:25 | <c_wraith> | with that additional assertion, yes. |
| 17:17:35 | <c_wraith> | But that wasn't included in the original statement. |
| 17:17:56 | <fendor[m]> | that is true |
| 17:18:14 | → | AlexNoo joins (~AlexNoo@178.34.160.146) |
| 17:19:01 | <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... |
| 17:19:07 | × | razetime quits (~quassel@117.254.34.68) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:20:12 | <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? |
| 17:20:55 | × | AlexNoo quits (~AlexNoo@178.34.160.146) (Read error: Connection reset by peer) |
| 17:22:39 | × | `2jt quits (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 17:23:46 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 17:23:55 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 17:24:05 | → | aliosablack joins (~chomwitt@athedsl-351518.home.otenet.gr) |
| 17:26:02 | × | chomwitt quits (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 17:26:29 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 17:29:26 | → | wroathe joins (~wroathe@50.205.197.50) |
| 17:29:26 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 17:29:26 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:30:45 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 17:31:26 | → | kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 17:31:59 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 17:34:06 | → | elevenkb joins (~elevenkb@105.184.125.168) |
| 17:35:23 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 17:37:30 | → | coot joins (~coot@213.134.171.3) |
| 17:40:55 | → | nate4 joins (~nate@98.45.169.16) |
| 17:41:16 | × | ddellacosta quits (~ddellacos@89.45.224.241) (Quit: WeeChat 3.7.1) |
| 17:42:32 | → | ddellacosta joins (~ddellacos@89.45.224.241) |
| 17:43:10 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 17:44:17 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 17:45:39 | × | oblivious quits (~oblivious@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 17:45:45 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 17:47:09 | → | freeside joins (~mengwong@103.252.202.193) |
| 17:48:43 | → | Chalito joins (~Chalito@201.192.205.165) |
| 17:48:58 | <EvanR> | fendor[m], so you want the haskell type checker to be even more illogical xD |
| 17:49:35 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 17:49:56 | <fendor[m]> | not quite, I am also fine if I have to include a prove that the list is long enough |
| 17:50:01 | × | ddellacosta quits (~ddellacos@89.45.224.241) (Quit: WeeChat 3.7.1) |
| 17:50:57 | → | ddellacosta joins (~ddellacos@89.45.224.241) |
| 17:51:12 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Remote host closed the connection) |
| 17:51:32 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 17:53:29 | × | lechner quits (~lechner@debian/lechner) (Read error: Connection reset by peer) |
| 17:54:21 | × | ddellacosta quits (~ddellacos@89.45.224.241) (Client Quit) |
| 17:54:31 | <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 |
| 17:54:32 | <Chalito> | que el servidor de revocación está sin conexión. |
| 17:54:50 | → | lechner joins (~lechner@debian/lechner) |
| 17:55:04 | × | lechner quits (~lechner@debian/lechner) (Remote host closed the connection) |
| 17:55:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 17:57:06 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:57:43 | × | yahb2 quits (~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection) |
| 17:58:06 | → | yahb2 joins (~yahb2@static.56.27.47.78.clients.your-server.de) |
| 17:58:39 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:59:30 | × | tomsmeding quits (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:00:16 | → | tomsmeding joins (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
| 18:00:43 | <[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 |
| 18:01:14 | SridharRatnakuma | is now known as srid[m] |
| 18:01:15 | <[exa]> | (also, which precise command tells you this error?) |
| 18:02:23 | → | ircbrowse_tom joins (~ircbrowse@static.162.49.55.162.clients.your-server.de) |
| 18:02:29 | Server | sets mode +Cnt |
| 18:02:49 | <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 |
| 18:02:49 | <Chalito> | https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing))) -ArgumentList $true |
| 18:03:41 | <mauke> | isn't "curl" on windows just a weird powershell alias? |
| 18:03:45 | <[exa]> | ahhh powershell, I have no experience there. Can you try with good old boring `cmd.exe` ? |
| 18:04:05 | <[exa]> | yeah I'd suspect powershell might be doing ugly tricks there |
| 18:04:23 | <Chalito> | Es que en cmd no sirve ese comando |
| 18:04:32 | <[exa]> | ah okay |
| 18:04:44 | <Chalito> | De hecho estoy ejecutandolo justo como dice el tutorial, pero siempre me sale ese error |
| 18:06:04 | <[exa]> | ok I'd suggest waiting here for a moment until some windows users notice, there might be solutions |
| 18:06:23 | <Chalito> | Okok gracias!! |
| 18:07:15 | <[exa]> | de nada (literally) |
| 18:07:26 | <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 |
| 18:07:54 | → | freeside joins (~mengwong@103.252.202.193) |
| 18:07:55 | <kenaryn> | Like geekosaur pointed it out, the empty .log file suggests that the configure phase failed even before attempting to build it. |
| 18:08:33 | <[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/revocation-server-offline-error-0x80092013 |
| 18:09:09 | × | zer0bitz_ quits (~zer0bitz@196.244.192.60) () |
| 18:09:09 | <[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 |
| 18:10:12 | <[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)" ) |
| 18:10:30 | <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. |
| 18:12:35 | <kenaryn> | [exa]: `zlib` has 47 occurrences and only one `[error]` occurence so I know not where to look I apologize. |
| 18:12:35 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 18:13:31 | → | zer0bitz joins (~zer0bitz@196.244.192.60) |
| 18:14:00 | <[exa]> | kenaryn: ah feel free to pastebin the whole log tbh |
| 18:14:39 | <kenaryn> | Thank you: here is the full log: https://p.ip.fi/rnQX |
| 18:15:28 | → | bobbingbob joins (~bobbingbo@2604:3d09:207f:f650::b469) |
| 18:16:16 | → | lechner joins (~lechner@debian/lechner) |
| 18:17:36 | <[exa]> | kenaryn: oh I see, actually not only zlib but all builds failed with ExitFailure (-11) |
| 18:17:39 | <kenaryn> | only `entropy` and `network` have a written .log among 92 .log files generated |
| 18:18:14 | <kenaryn> | Yes, I tried to remove `--fast` flag in case it would be too resources eager but that did not change a thing. |
| 18:18:44 | <[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? |
| 18:19:38 | <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í |
| 18:19:40 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:19:52 | × | lechner quits (~lechner@debian/lechner) (Remote host closed the connection) |
| 18:20:18 | <Chalito> | Y como el curl va implícito (no va en el comando principal) no lo puedo colocar donde está el curl |
| 18:21:21 | → | lechner joins (~lechner@debian/lechner) |
| 18:21:31 | × | lechner quits (~lechner@debian/lechner) (Remote host closed the connection) |
| 18:22:32 | × | ec quits (~ec@gateway/tor-sasl/ec) (Read error: Connection reset by peer) |
| 18:22:32 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 18:22:32 | × | gmg quits (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
| 18:22:51 | → | lechner joins (~lechner@debian/lechner) |
| 18:22:59 | <[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) |
| 18:23:02 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:23:03 | → | `2jt joins (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 18:23:19 | × | aliosablack quits (~chomwitt@athedsl-351518.home.otenet.gr) (Ping timeout: 260 seconds) |
| 18:23:38 | <[exa]> | Chalito: also, as one option that tends to work better, you might try with WSL |
| 18:24:33 | <[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 |
| 18:24:46 | → | oblivious joins (~oblivious@150.187.35.37.dynamic.jazztel.es) |
| 18:25:30 | → | gmg joins (~user@user/gehmehgeh) |
| 18:29:54 | → | califax joins (~califax@user/califx) |
| 18:32:03 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 18:32:41 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 18:33:38 | → | freeside joins (~mengwong@103.252.202.193) |
| 18:34:57 | → | notzmv joins (~zmv@user/notzmv) |
| 18:36:14 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 18:37:19 | <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 |
| 18:37:58 | <kenaryn> | [exa]: my system is Linux omega 6.0.9_1 #1 SMP PREEMPT_DYNAMIC x86_64 GNU/Linux (VoidLinux musl) |
| 18:38:42 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 18:39:27 | <[exa]> | kenaryn: how much memory does it have available? |
| 18:39:38 | <kenaryn> | The log is thrice shorter in fact. |
| 18:40:01 | <kenaryn> | ➜ free total used free shared buff/cache available |
| 18:40:01 | <kenaryn> | Mem: 16347664 2556024 10800640 16480 2991000 13475800 |
| 18:40:04 | <kenaryn> | Swap: 25165820 0 25165820 |
| 18:40:22 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 18:40:36 | <kenaryn> | Apologies for the spam. |
| 18:41:03 | <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 |
| 18:41:04 | <Chalito> | jajaja |
| 18:41:12 | <[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 |
| 18:41:39 | → | gmg joins (~user@user/gehmehgeh) |
| 18:41:54 | <kenaryn> | No :) I'm trying on my only machine. |
| 18:42:27 | <[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 |
| 18:43:15 | <[exa]> | re the install script, at worse you may just literally walk over it and do any (possibly fixed) install steps manually |
| 18:43:21 | <[exa]> | *at worst |
| 18:43:42 | <[exa]> | kenaryn: I hope `musl` wouldn't be the problem source there |
| 18:46:13 | <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. |
| 18:46:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:48:03 | × | dsrt^ quits (~dsrt@76.145.185.103) (Remote host closed the connection) |
| 18:48:13 | <kenaryn> | you mean I shall try to build ghc-8.10.7 from source for musl? |
| 18:48:21 | <kenaryn> | if it even exists.. |
| 18:49:51 | → | srz joins (~srz@181.228.49.93) |
| 18:50:35 | → | freeside joins (~mengwong@103.252.202.193) |
| 18:52:35 | <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 |
| 18:53:08 | <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 |
| 18:53:26 | <geekosaur> | which as [exa] said might mean it's dumping core before it can do anything |
| 18:53:33 | <geekosaur> | which is … bad |
| 18:53:43 | <geekosaur> | (and means it's not even reaching ghc in those cases) |
| 18:55:23 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 18:55:44 | → | freeside joins (~mengwong@103.252.202.193) |
| 18:55:48 | <[exa]> | like, ghc has been seen working with musl |
| 18:56:05 | <[exa]> | kenaryn: how'd you install stack btw? |
| 18:59:07 | <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` |
| 18:59:39 | <kenaryn> | That is why the .log was reduced to 1969 lines to 641 lines. |
| 19:00:39 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 19:01:09 | <kenaryn> | the first line is: `No packages found in snapshot which provide a "unison" executable, which is a build-tool dependency of unison-cli` |
| 19:01:23 | <kenaryn> | so maybe that's the actual problem. |
| 19:03:43 | × | oblivious quits (~oblivious@150.187.35.37.dynamic.jazztel.es) (Quit: oblivious) |
| 19:04:40 | <kenaryn> | the former one is stack-2.7.5 and the latter one is stack-2.9.1 |
| 19:06:34 | <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. |
| 19:07:18 | <[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) |
| 19:08:30 | <kenaryn> | Alpine linux? |
| 19:08:33 | <kenaryn> | :D |
| 19:09:02 | <kenaryn> | I'll try to remove the original one. Thank you for your patience and your help. |
| 19:10:01 | <geekosaur> | arch is the usual disaster area, they muck with everything and you can only find out by reading their wiki |
| 19:10:44 | <kenaryn> | lmao you broke the taboo with such ease. |
| 19:11:11 | <[exa]> | arch has a taboo? |
| 19:11:20 | <[exa]> | (is it documented in the wiki?) |
| 19:11:41 | geekosaur | has no trouble dragging them in the dirt, he's had to help too many people fix their messes… |
| 19:12:23 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 19:14:16 | × | elevenkb quits (~elevenkb@105.184.125.168) (Quit: Quit) |
| 19:14:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 19:14:37 | → | elevenkb joins (~elevenkb@105.184.125.168) |
| 19:15:39 | → | freeside joins (~mengwong@103.252.202.193) |
| 19:16:01 | → | AlexNoo joins (~AlexNoo@178.34.160.146) |
| 19:17:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:20:34 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection) |
| 19:21:04 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 19:23:02 | → | wroathe joins (~wroathe@50.205.197.50) |
| 19:23:02 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 19:23:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:26:44 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 19:27:07 | → | mastarija joins (~mastarija@2a05:4f46:e03:6000:a553:6552:13c1:4f41) |
| 19:31:20 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 19:42:51 | × | euandreh quits (~Thunderbi@179.214.113.107) (Quit: euandreh) |
| 19:45:40 | → | freeside joins (~mengwong@103.252.202.193) |
| 19:46:40 | → | michalz joins (~michalz@185.246.207.193) |
| 19:46:51 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 19:49:32 | × | euandreh quits (~Thunderbi@179.214.113.107) (Remote host closed the connection) |
| 19:49:58 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 20:03:36 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Remote host closed the connection) |
| 20:05:09 | → | kenran joins (~user@user/kenran) |
| 20:05:20 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 20:08:22 | → | yella joins (~yell@2607:fb90:8061:645e:b50a:8579:b31d:1eec) |
| 20:08:48 | × | kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 20:08:50 | × | srz quits (~srz@181.228.49.93) (Ping timeout: 240 seconds) |
| 20:13:26 | × | brettgilio quits (~brettgili@x-irc.gq) (Quit: The Lounge - https://thelounge.chat) |
| 20:15:41 | → | mikoto-chan joins (~mikoto-ch@164.5.249.78) |
| 20:16:58 | → | brettgilio joins (~brettgili@x-irc.gq) |
| 20:18:26 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:21:45 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 20:25:56 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:28:36 | × | elevenkb quits (~elevenkb@105.184.125.168) (Ping timeout: 248 seconds) |
| 20:28:44 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 20:30:07 | → | InstX1 joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 20:32:10 | Guest9851 | is now known as money |
| 20:32:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:33:14 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 20:34:44 | × | InstX1 quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 20:35:00 | → | acidjnk joins (~acidjnk@p200300d6e7137a2348c5e2c763436845.dip0.t-ipconnect.de) |
| 20:38:36 | × | bjourne quits (~bjorn@94.191.152.232) (Read error: Connection reset by peer) |
| 20:39:25 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 20:43:14 | × | mei_ quits (~mei@user/mei) (Ping timeout: 256 seconds) |
| 20:43:29 | → | pavonia joins (~user@user/siracusa) |
| 20:46:30 | × | euandreh quits (~Thunderbi@179.214.113.107) (Quit: euandreh) |
| 20:50:30 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 20:51:12 | × | euandreh quits (~Thunderbi@179.214.113.107) (Client Quit) |
| 20:51:20 | × | Chalito quits (~Chalito@201.192.205.165) (Quit: Connection closed) |
| 20:54:05 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 255 seconds) |
| 20:54:45 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 20:58:52 | × | crns quits (~netcrns@user/crns) (Quit: Lost terminal) |
| 20:59:35 | → | crns joins (~netcrns@user/crns) |
| 20:59:54 | × | crns quits (~netcrns@user/crns) (Client Quit) |
| 21:00:17 | → | crns joins (~netcrns@p4ff5e521.dip0.t-ipconnect.de) |
| 21:00:17 | × | crns quits (~netcrns@p4ff5e521.dip0.t-ipconnect.de) (Changing host) |
| 21:00:17 | → | crns joins (~netcrns@user/crns) |
| 21:01:13 | × | euandreh quits (~Thunderbi@179.214.113.107) (Quit: euandreh) |
| 21:02:21 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) |
| 21:04:29 | → | euandreh joins (~Thunderbi@179.214.113.107) |
| 21:04:40 | × | _leo92_ quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 21:07:54 | → | aliosablack joins (~chomwitt@2a02:587:7a08:f700:1ac0:4dff:fedb:a3f1) |
| 21:08:41 | → | zeenk joins (~zeenk@2a02:2f04:a208:3600::7fe) |
| 21:24:25 | → | freeside joins (~mengwong@103.252.202.193) |
| 21:29:11 | → | elevenkb joins (~elevenkb@105.184.125.168) |
| 21:36:50 | → | constxd joins (~brad@77.68.183.226) |
| 21:38:48 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:45:11 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 21:58:32 | × | kleczkowski quits (~kleczkows@2a02:a311:a23f:9780:9920:84a:8da5:75f3) (Read error: Connection reset by peer) |
| 22:02:40 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 22:02:52 | × | coot quits (~coot@213.134.171.3) (Quit: coot) |
| 22:03:05 | → | titibandit joins (~titibandi@xdsl-87-78-52-100.nc.de) |
| 22:04:26 | × | titibandit quits (~titibandi@xdsl-87-78-52-100.nc.de) (Remote host closed the connection) |
| 22:04:27 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 22:10:44 | × | michalz quits (~michalz@185.246.207.193) (Remote host closed the connection) |
| 22:11:42 | → | srz joins (~srz@181.228.49.93) |
| 22:12:42 | × | zeenk quits (~zeenk@2a02:2f04:a208:3600::7fe) (Remote host closed the connection) |
| 22:13:05 | → | zeenk joins (~zeenk@2a02:2f04:a208:3600::fba) |
| 22:25:33 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 22:28:58 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:29:12 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 22:29:40 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 22:31:21 | → | califax joins (~califax@user/califx) |
| 22:33:23 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 22:33:23 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 22:33:23 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:40:43 | → | freeside joins (~mengwong@103.252.202.193) |
| 22:41:51 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 22:42:40 | → | libertyprime joins (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 22:44:42 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection) |
| 22:46:45 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 22:50:21 | × | elevenkb quits (~elevenkb@105.184.125.168) (Remote host closed the connection) |
| 22:50:29 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 22:54:19 | × | constxd quits (~brad@77.68.183.226) (Ping timeout: 260 seconds) |
| 22:55:42 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 22:56:32 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 23:00:42 | × | zer0bitz quits (~zer0bitz@196.244.192.60) (Read error: Connection reset by peer) |
| 23:01:35 | → | zer0bitz joins (~zer0bitz@196.244.192.59) |
| 23:03:20 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 23:06:28 | × | Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 248 seconds) |
| 23:07:01 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 23:08:10 | → | Vq joins (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 23:09:32 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 246 seconds) |
| 23:12:43 | → | hrberg joins (~quassel@171.79-160-161.customer.lyse.net) |
| 23:20:50 | × | mikoto-chan quits (~mikoto-ch@164.5.249.78) (Ping timeout: 240 seconds) |
| 23:23:23 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 23:26:10 | → | InstX1 joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 23:26:18 | × | goepsilongo quits (~goepsilon@2603-7000-ab00-00e5-7193-cc53-ebba-5530.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 23:30:10 | × | perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 23:31:51 | → | perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 23:34:05 | × | InstX1 quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 23:36:29 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:36:34 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 260 seconds) |
| 23:38:49 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 23:39:56 | × | adium quits (adium@user/adium) (Read error: Connection reset by peer) |
| 23:39:58 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 23:44:22 | → | nate4 joins (~nate@98.45.169.16) |
| 23:45:11 | × | freeside quits (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 23:48:36 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 23:53:58 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 23:54:46 | × | srz quits (~srz@181.228.49.93) (Ping timeout: 252 seconds) |
| 23:55:48 | → | hrberg joins (~quassel@171.79-160-161.customer.lyse.net) |
| 23:56:51 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e090:a1b4:58fc:3f99) (Remote host closed the connection) |
| 23:57:25 | → | freeside joins (~mengwong@103.252.202.193) |
All times are in UTC on 2022-11-20.