| 2023-02-07 00:04:50 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-02-07 00:06:47 +0100 | AlexZenon | (~alzenon@178.34.160.79) (Ping timeout: 252 seconds) |
| 2023-02-07 00:06:50 +0100 | Alex_test | (~al_test@178.34.160.79) (Ping timeout: 260 seconds) |
| 2023-02-07 00:07:04 +0100 | AlexNoo | (~AlexNoo@178.34.160.79) (Ping timeout: 260 seconds) |
| 2023-02-07 00:13:56 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-02-07 00:17:51 +0100 | slack1256 | (~slack1256@186.11.59.217) |
| 2023-02-07 00:18:55 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-07 00:20:31 +0100 | xeelad | (~xeelad@151.202.46.37) (Remote host closed the connection) |
| 2023-02-07 00:21:20 +0100 | VictorHugenay | (~jh@user/VictorHugenay) (Quit: Konversation terminated!) |
| 2023-02-07 00:21:25 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 2023-02-07 00:22:03 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-02-07 00:22:35 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 2023-02-07 00:23:04 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 00:24:01 +0100 | oldfashionedcow | oldfashionedrat |
| 2023-02-07 00:24:35 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-02-07 00:24:55 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 2023-02-07 00:25:20 +0100 | AlexNoo | (~AlexNoo@178.34.160.79) |
| 2023-02-07 00:26:26 +0100 | AlexZenon | (~alzenon@178.34.160.79) |
| 2023-02-07 00:28:19 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2023-02-07 00:28:42 +0100 | Alex_test | (~al_test@178.34.160.79) |
| 2023-02-07 00:32:47 +0100 | AlexZenon | (~alzenon@178.34.160.79) (Ping timeout: 248 seconds) |
| 2023-02-07 00:33:11 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 252 seconds) |
| 2023-02-07 00:33:19 +0100 | Alex_test | (~al_test@178.34.160.79) (Ping timeout: 260 seconds) |
| 2023-02-07 00:35:27 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-07 00:36:59 +0100 | Alex_test | (~al_test@178.34.160.79) |
| 2023-02-07 00:37:20 +0100 | AlexZenon | (~alzenon@178.34.160.79) |
| 2023-02-07 00:37:41 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-02-07 00:41:51 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-02-07 00:47:10 +0100 | patrl | (~patrl@user/patrl) |
| 2023-02-07 00:50:30 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-02-07 00:57:11 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 2023-02-07 01:01:41 +0100 | Guest33 | (~Guest33@69.5.126.166) |
| 2023-02-07 01:02:26 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 01:05:00 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-02-07 01:10:31 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-02-07 01:14:10 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-02-07 01:14:38 +0100 | jimki | (~jmaki@gazorpazorp.fixme.fi) (Ping timeout: 265 seconds) |
| 2023-02-07 01:14:41 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-07 01:14:41 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-07 01:14:41 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-07 01:14:52 +0100 | jimki | (~jmaki@gazorpazorp.fixme.fi) |
| 2023-02-07 01:17:09 +0100 | theproffesor | (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 2023-02-07 01:17:14 +0100 | the_proffesor | (~theproffe@user/theproffesor) |
| 2023-02-07 01:17:22 +0100 | patrl1 | (~patrl@user/patrl) |
| 2023-02-07 01:17:40 +0100 | patrl1 | (~patrl@user/patrl) (Client Quit) |
| 2023-02-07 01:25:41 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-07 01:27:34 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-07 01:29:51 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-02-07 01:35:09 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-02-07 01:37:29 +0100 | mei | (~mei@user/mei) |
| 2023-02-07 01:38:38 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 2023-02-07 01:40:29 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 01:40:38 +0100 | Guest33 | (~Guest33@69.5.126.166) (Ping timeout: 260 seconds) |
| 2023-02-07 01:40:39 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 01:41:14 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-07 01:41:45 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-07 01:43:01 +0100 | tessier | (~treed@ip72-197-145-89.sd.sd.cox.net) |
| 2023-02-07 01:46:16 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-07 01:46:56 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-07 01:49:22 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 01:55:09 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 2023-02-07 01:57:07 +0100 | Guest75 | (~Guest75@178.141.147.162) |
| 2023-02-07 01:59:43 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Quit: Leaving) |
| 2023-02-07 02:00:00 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 2023-02-07 02:00:48 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-02-07 02:01:56 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 2023-02-07 02:02:13 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-07 02:02:52 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2023-02-07 02:04:08 +0100 | califax | (~califax@user/califx) |
| 2023-02-07 02:06:27 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 2023-02-07 02:09:31 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-07 02:10:35 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-02-07 02:12:48 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 02:13:16 +0100 | troydm | (~troydm@user/troydm) |
| 2023-02-07 02:13:59 +0100 | `2jt | (~jtomas@84.78.228.192) (Ping timeout: 264 seconds) |
| 2023-02-07 02:16:42 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-07 02:17:31 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-07 02:20:31 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-02-07 02:22:47 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2023-02-07 02:23:18 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-07 02:23:32 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 02:24:18 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 02:28:09 +0100 | bilegeek | (~bilegeek@2600:1008:b00b:b87b:97b2:88c7:2fa2:db99) |
| 2023-02-07 02:28:29 +0100 | xeelad | (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Leaving) |
| 2023-02-07 02:35:27 +0100 | patrl | (~patrl@user/patrl) (Ping timeout: 248 seconds) |
| 2023-02-07 02:40:24 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 02:41:39 +0100 | xff0x | (~xff0x@ai081074.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2023-02-07 02:45:59 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:68d2:dfdc:3d8f:12ba) |
| 2023-02-07 02:53:32 +0100 | johnjaye | (~pi@173.209.64.74) |
| 2023-02-07 02:53:34 +0100 | <johnjaye> | hi |
| 2023-02-07 02:53:43 +0100 | <johnjaye> | i'm trying to see why cabal and ghc are taking up a lot of space |
| 2023-02-07 02:53:59 +0100 | <johnjaye> | i ran 'cabal clean' but that didn't change anything as far as i can tell |
| 2023-02-07 02:54:12 +0100 | <sclv> | the space usage is going to be on account of all their bytes |
| 2023-02-07 02:54:27 +0100 | <johnjaye> | yes. gigabytes in fact |
| 2023-02-07 02:54:33 +0100 | <sclv> | well then there it is |
| 2023-02-07 02:54:59 +0100 | <sclv> | more seriously: are there particular directories or files you think are overlarge, or...? |
| 2023-02-07 02:55:02 +0100 | <johnjaye> | .cabal is a gigabyte, .cache is 1.4GiB, .local is 1.6GiB, and .ghcup is 5.4GiB |
| 2023-02-07 02:55:44 +0100 | <johnjaye> | also something called nuget. not sure if that's dotnet though |
| 2023-02-07 02:55:48 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-02-07 02:56:15 +0100 | <sclv> | ok so ghcup will have a full ghc inside it, and that's expected. |
| 2023-02-07 02:56:22 +0100 | <johnjaye> | 01-index.tar at 700MB is the offendign file in .cabal apparently |
| 2023-02-07 02:56:34 +0100 | <sclv> | ok that's the size its supposed to be and that cannot be removed or changed |
| 2023-02-07 02:56:46 +0100 | <sclv> | its a tarball of the entirety of the packages on hackage, and cabal uses it when solving for dependencies. |
| 2023-02-07 02:57:09 +0100 | <johnjaye> | apparently .cache is used by everything. i see large folders from mozilla and chromium there |
| 2023-02-07 02:57:31 +0100 | <johnjaye> | so 5G is a normal size for .ghcup folder? |
| 2023-02-07 02:57:32 +0100 | <sclv> | i also suspect ghcup may not be able to be removed or changed, but within it there may be multiple ghc installs, in which case you can remove the one you have decided you will never use again |
| 2023-02-07 02:57:54 +0100 | <int-e> | .ghcup may contain several ghcs? 5GB is a bit too much for only one version I think |
| 2023-02-07 02:58:03 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 2023-02-07 02:58:41 +0100 | <johnjaye> | it says 8.10.7. the thing is i'm not even sure i used the ghcup version. i installed agda from the repos which is the main project i'm using which is haskell based |
| 2023-02-07 02:58:43 +0100 | <sclv> | a single ghc in my ghcup is about 1.8G, so it may be two or three |
| 2023-02-07 02:58:56 +0100 | <johnjaye> | just 1 thing in the ghc/ folder |
| 2023-02-07 02:59:15 +0100 | <johnjaye> | ghc/8.10.7 is 2.8G, hls is 1.8G, cache is 500MB |
| 2023-02-07 02:59:27 +0100 | <sclv> | ok, well that's pretty expected then |
| 2023-02-07 02:59:40 +0100 | <sclv> | if you don't ever intend to use vscode or hls, that can go. but its a pretty nice env if you want it! |
| 2023-02-07 02:59:55 +0100 | <johnjaye> | it says cabal-3.2 takes up as much space as ghc 8.10.7. both about 500 |
| 2023-02-07 03:00:21 +0100 | <johnjaye> | vscode? that's not a haskell thing i thought? |
| 2023-02-07 03:00:37 +0100 | <geekosaur> | it's an IDE which supports Haskell via HLS |
| 2023-02-07 03:00:56 +0100 | <johnjaye> | oh like lsp. ok |
| 2023-02-07 03:01:16 +0100 | <geekosaur> | HLS is an LSP provider for Haskell, yes |
| 2023-02-07 03:01:27 +0100 | <johnjaye> | ok. well these just seemed really big so i was wondering if i maybe did something wrong or if there was a way to slim it down a little. this is a pi so space isn't infinite |
| 2023-02-07 03:02:38 +0100 | <sclv> | a raspberry pi? yeah lmao i'd forgo hls on that. |
| 2023-02-07 03:03:16 +0100 | <johnjaye> | honestly i'm not sure what i was doing with ghcup unless it was trying to compile agda. but i think i figured out a hack to fix the problems with debian's version |
| 2023-02-07 03:05:45 +0100 | <sclv> | well if you don't need ghc to compile anything, and can just use an existing agda binary, arguably you don't need any of this? |
| 2023-02-07 03:06:28 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-07 03:06:55 +0100 | Guest7536 | (~Guest75@eth-west-pareq2-46-193-2-167.wb.wifirst.net) |
| 2023-02-07 03:07:10 +0100 | <johnjaye> | well. possibly yes. but i wanted to ask first before just deleting .ghcup |
| 2023-02-07 03:07:41 +0100 | <johnjaye> | i'm not opposed to having ghc or .ghcup. but 5G is too much |
| 2023-02-07 03:07:53 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:345:11b6:f068:ad9f) |
| 2023-02-07 03:08:44 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-07 03:09:07 +0100 | slack1256 | sweats looking at /nix/store . |
| 2023-02-07 03:10:08 +0100 | <johnjaye> | ah. i didn't even think about that. lol |
| 2023-02-07 03:14:05 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2023-02-07 03:14:31 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
| 2023-02-07 03:17:53 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:68d2:dfdc:3d8f:12ba) (Ping timeout: 265 seconds) |
| 2023-02-07 03:22:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2023-02-07 03:22:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-02-07 03:24:00 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 2023-02-07 03:25:26 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-02-07 03:34:00 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-07 03:34:41 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 2023-02-07 03:35:18 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-07 03:35:31 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2023-02-07 03:38:42 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2023-02-07 03:38:43 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2023-02-07 03:38:43 +0100 | haritz | (~hrtz@user/haritz) |
| 2023-02-07 03:39:20 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-07 03:39:50 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-02-07 03:40:04 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-07 03:44:03 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-07 03:44:04 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-02-07 03:44:18 +0100 | Guest7536 | (~Guest75@eth-west-pareq2-46-193-2-167.wb.wifirst.net) (Ping timeout: 260 seconds) |
| 2023-02-07 03:45:05 +0100 | Hammdist | (~Hammdist@67.169.114.135) |
| 2023-02-07 03:51:58 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-02-07 03:51:58 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-07 03:52:36 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-02-07 03:52:57 +0100 | califax | (~califax@user/califx) |
| 2023-02-07 03:53:05 +0100 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2023-02-07 03:53:38 +0100 | califax | (~califax@user/califx) |
| 2023-02-07 03:55:25 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-07 03:56:34 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-07 03:56:46 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-07 03:57:28 +0100 | hounded_1969 | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2023-02-07 03:58:11 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2023-02-07 03:58:11 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2023-02-07 03:58:16 +0100 | hounded_1969 | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Client Quit) |
| 2023-02-07 04:01:16 +0100 | varoo | (~varoo@117.203.246.41) (Remote host closed the connection) |
| 2023-02-07 04:01:57 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection) |
| 2023-02-07 04:05:04 +0100 | td_ | (~td@i5387093f.versanet.de) (Ping timeout: 260 seconds) |
| 2023-02-07 04:06:48 +0100 | td_ | (~td@i53870911.versanet.de) |
| 2023-02-07 04:10:50 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-02-07 04:12:55 +0100 | califax | (~califax@user/califx) |
| 2023-02-07 04:14:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 2023-02-07 04:15:01 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-02-07 04:32:18 +0100 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: quit) |
| 2023-02-07 04:32:18 +0100 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: The Lounge - https://thelounge.chat) |
| 2023-02-07 04:35:57 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-02-07 04:35:57 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-07 04:35:57 +0100 | finn_elija | FinnElija |
| 2023-02-07 04:45:03 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 04:47:13 +0100 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-02-07 04:47:17 +0100 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-02-07 04:48:57 +0100 | bilegeek | (~bilegeek@2600:1008:b00b:b87b:97b2:88c7:2fa2:db99) (Quit: Leaving) |
| 2023-02-07 04:53:22 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 2023-02-07 04:53:43 +0100 | Guest75 | (~Guest75@178.141.147.162) (Ping timeout: 260 seconds) |
| 2023-02-07 04:58:57 +0100 | phma | (~phma@host-67-44-208-213.hnremote.net) (Read error: Connection reset by peer) |
| 2023-02-07 04:59:54 +0100 | phma | (phma@2001:5b0:212a:e3d8:88c0:402f:ec64:11e8) |
| 2023-02-07 05:03:11 +0100 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 248 seconds) |
| 2023-02-07 05:04:52 +0100 | td_ | (~td@i5387092C.versanet.de) |
| 2023-02-07 05:06:12 +0100 | irrgit_ | (~irrgit@89.47.234.74) |
| 2023-02-07 05:07:39 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-02-07 05:09:36 +0100 | irrgit | (~irrgit@89.47.234.74) (Ping timeout: 248 seconds) |
| 2023-02-07 05:11:21 +0100 | asscrackbandit | (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) |
| 2023-02-07 05:11:56 +0100 | slack1256 | (~slack1256@186.11.59.217) (Remote host closed the connection) |
| 2023-02-07 05:15:34 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 2023-02-07 05:16:20 +0100 | laalyn | (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) |
| 2023-02-07 05:22:26 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 05:26:06 +0100 | merijn | (~merijn@86.86.29.250) |
| 2023-02-07 05:30:33 +0100 | merijn | (~merijn@86.86.29.250) (Ping timeout: 252 seconds) |
| 2023-02-07 05:55:14 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-02-07 05:55:15 +0100 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Read error: Connection reset by peer) |
| 2023-02-07 05:55:31 +0100 | califax | (~califax@user/califx) |
| 2023-02-07 05:55:35 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2023-02-07 05:58:51 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2023-02-07 06:01:07 +0100 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) |
| 2023-02-07 06:02:26 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2023-02-07 06:03:44 +0100 | ft | (~ft@p508dbcc4.dip0.t-ipconnect.de) |
| 2023-02-07 06:04:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-07 06:17:37 +0100 | laalyn | (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2023-02-07 06:24:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-07 06:26:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-07 06:28:51 +0100 | johnw | (~johnw@2600:1700:cf00:db0:f5ae:ed45:6e33:9a11) (Ping timeout: 252 seconds) |
| 2023-02-07 06:28:55 +0100 | johnw_ | (~johnw@2600:1700:cf00:db0:dd46:a945:291e:feb9) |
| 2023-02-07 06:29:44 +0100 | johnw_ | (~johnw@2600:1700:cf00:db0:dd46:a945:291e:feb9) (Client Quit) |
| 2023-02-07 06:29:48 +0100 | nattiestnate | (~nate@202.138.250.11) |
| 2023-02-07 06:34:46 +0100 | L29Ah[x] | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-02-07 06:36:02 +0100 | kassouni | (~kassouni@2601:646:400:68b0:9881:5f59:b8c1:c489) |
| 2023-02-07 06:37:24 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-02-07 06:37:34 +0100 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 2023-02-07 06:52:26 +0100 | titibandit1 | (~titibandi@xdsl-89-0-159-198.nc.de) |
| 2023-02-07 07:02:29 +0100 | johnw | (~johnw@2600:1700:cf00:db0:6c1f:968f:ea89:5c51) |
| 2023-02-07 07:03:41 +0100 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-02-07 07:06:37 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2023-02-07 07:10:53 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 2023-02-07 07:13:46 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-02-07 07:33:24 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-02-07 07:41:06 +0100 | asscrackbandit | (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) (Ping timeout: 268 seconds) |
| 2023-02-07 07:42:50 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:40a:c679:74d:6469) |
| 2023-02-07 07:44:31 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-02-07 07:45:27 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-02-07 07:47:31 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-02-07 07:47:39 +0100 | Guest75 | (~Guest75@178.141.147.162) |
| 2023-02-07 07:52:54 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-02-07 07:53:37 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-02-07 08:05:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-07 08:09:05 +0100 | Guest1 | (~Guest1@143.231.7.51.dyn.plus.net) |
| 2023-02-07 08:09:32 +0100 | mitchpk | (~mitchpk@175.45.149.48) |
| 2023-02-07 08:09:32 +0100 | mitchpk | (~mitchpk@175.45.149.48) (Remote host closed the connection) |
| 2023-02-07 08:09:57 +0100 | mitchpk | (~mitchpk@175.45.149.48) |
| 2023-02-07 08:09:57 +0100 | mitchpk | (~mitchpk@175.45.149.48) (Remote host closed the connection) |
| 2023-02-07 08:11:01 +0100 | Guest1 | (~Guest1@143.231.7.51.dyn.plus.net) (Client Quit) |
| 2023-02-07 08:12:31 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-02-07 08:15:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-07 08:16:27 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 248 seconds) |
| 2023-02-07 08:19:57 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-02-07 08:20:44 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-07 08:26:18 +0100 | kassouni | (~kassouni@2601:646:400:68b0:9881:5f59:b8c1:c489) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2023-02-07 08:26:49 +0100 | kassouni | (~kassouni@2601:646:400:68b0:9881:5f59:b8c1:c489) |
| 2023-02-07 08:35:29 +0100 | tengu1 | (~tengu1@cpe-70-121-244-14.neb.res.rr.com) |
| 2023-02-07 08:42:07 +0100 | kenran | (~user@user/kenran) |
| 2023-02-07 08:45:06 +0100 | bob | (~bob22@user/bob) (Ping timeout: 265 seconds) |
| 2023-02-07 08:45:22 +0100 | bob | (~bob22@76.202.115.164) |
| 2023-02-07 08:45:42 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-02-07 08:46:11 +0100 | Unhammer | (~Unhammer@user/unhammer) (Ping timeout: 256 seconds) |
| 2023-02-07 08:49:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-07 08:55:23 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:40a:c679:74d:6469) (Ping timeout: 248 seconds) |
| 2023-02-07 08:59:21 +0100 | Unhammer | (~Unhammer@user/unhammer) |
| 2023-02-07 09:21:02 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-07 09:21:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 2023-02-07 09:30:12 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e9c6:a82c:4606:2df7) |
| 2023-02-07 09:31:08 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-02-07 09:32:27 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2023-02-07 09:32:32 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) |
| 2023-02-07 09:36:13 +0100 | lottaquestions_ | (~nick@104.221.24.83) |
| 2023-02-07 09:38:09 +0100 | lottaquestions | (~nick@104.221.24.83) (Ping timeout: 260 seconds) |
| 2023-02-07 09:39:46 +0100 | nschoe | (~q@141.101.51.197) |
| 2023-02-07 09:40:14 +0100 | lottaquestions_ | (~nick@104.221.24.83) (Read error: Connection reset by peer) |
| 2023-02-07 09:40:39 +0100 | lottaquestions_ | (~nick@2607:fa49:503e:7100:97f3:c391:158c:f98a) |
| 2023-02-07 09:45:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-07 09:46:17 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 2023-02-07 09:50:18 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-02-07 09:53:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-07 09:54:47 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 10:00:09 +0100 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) (Quit: You have been kicked for being idle) |
| 2023-02-07 10:00:11 +0100 | kjlid[m] | (~kjlidmatr@2001:470:69fc:105::2:c193) (Quit: You have been kicked for being idle) |
| 2023-02-07 10:00:29 +0100 | michalz | (~michalz@185.246.207.203) |
| 2023-02-07 10:00:46 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-02-07 10:06:00 +0100 | ft | (~ft@p508dbcc4.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-02-07 10:06:23 +0100 | akegalj | (~akegalj@78-1-188-222.adsl.net.t-com.hr) |
| 2023-02-07 10:07:28 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-07 10:12:08 +0100 | alex` | (~user@97.red-83-36-47.dynamicip.rima-tde.net) |
| 2023-02-07 10:12:44 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-07 10:13:54 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-02-07 10:13:57 +0100 | shapr | (~user@net-5-88-238-17.cust.vodafonedsl.it) |
| 2023-02-07 10:15:43 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-02-07 10:15:48 +0100 | kuribas | (~user@ptr-17d51enmk1i23ub9qbg.18120a2.ip6.access.telenet.be) |
| 2023-02-07 10:16:48 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 248 seconds) |
| 2023-02-07 10:17:53 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2023-02-07 10:18:08 +0100 | chele | (~chele@user/chele) |
| 2023-02-07 10:19:01 +0100 | shriekingnoise_ | (~shrieking@186.137.175.87) |
| 2023-02-07 10:22:03 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
| 2023-02-07 10:22:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 2023-02-07 10:24:59 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
| 2023-02-07 10:26:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Ping timeout: 260 seconds) |
| 2023-02-07 10:27:02 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-07 10:28:02 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-02-07 10:31:23 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-02-07 10:32:23 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 260 seconds) |
| 2023-02-07 10:36:35 +0100 | ubert | (~Thunderbi@p200300ecdf13014baa7aa80fc49c1df5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-02-07 10:36:35 +0100 | 068AAD9K6 | ubert |
| 2023-02-07 10:36:37 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-02-07 10:37:27 +0100 | asscrackbandit | (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) |
| 2023-02-07 10:41:02 +0100 | titibandit1 | (~titibandi@xdsl-89-0-159-198.nc.de) (Remote host closed the connection) |
| 2023-02-07 10:41:31 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
| 2023-02-07 10:43:10 +0100 | shapr | (~user@net-5-88-238-17.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2023-02-07 10:44:37 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-07 10:45:01 +0100 | ubert | (~Thunderbi@p548c8ef0.dip0.t-ipconnect.de) (Quit: ubert) |
| 2023-02-07 10:55:30 +0100 | califax_ | (~califax@user/califx) |
| 2023-02-07 10:56:17 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-02-07 10:56:32 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-02-07 10:56:48 +0100 | califax_ | califax |
| 2023-02-07 11:03:55 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds) |
| 2023-02-07 11:06:14 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-02-07 11:06:23 +0100 | kassouni | (~kassouni@2601:646:400:68b0:9881:5f59:b8c1:c489) (Ping timeout: 248 seconds) |
| 2023-02-07 11:08:26 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:7653:d2a8:7ae2:7e4) |
| 2023-02-07 11:11:19 +0100 | shachaf | (~shachaf@user/shachaf) (Read error: Connection reset by peer) |
| 2023-02-07 11:14:00 +0100 | patrl | (~patrl@user/patrl) |
| 2023-02-07 11:15:56 +0100 | shachaf | (~shachaf@user/shachaf) |
| 2023-02-07 11:16:24 +0100 | troydm | (~troydm@user/troydm) |
| 2023-02-07 11:21:42 +0100 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 265 seconds) |
| 2023-02-07 11:21:42 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Ping timeout: 265 seconds) |
| 2023-02-07 11:23:44 +0100 | <fr33domlover> | o/ Survey about conflicts in the Free Software community, exploring if/how/where there's room to improve: https://discuss.coding.social/t/how-do-we-attend-to-conflicts-in-the-free-software-community/249 It's not Haskell specific but I'm a Haskeller so it feels natural to post it here ^_^ hoping it's not too off-topic |
| 2023-02-07 11:24:02 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2023-02-07 11:24:11 +0100 | shriekingnoise_ | (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 2023-02-07 11:24:25 +0100 | xstill_ | (xstill@fimu/xstill) |
| 2023-02-07 11:28:22 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-02-07 11:29:55 +0100 | <mauke> | is that Discourse? |
| 2023-02-07 11:32:43 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
| 2023-02-07 11:32:53 +0100 | <jonathanx> | Is there an existing monoid wrapper for Maybe where "Just a <> Nothing = Nothing" and "mempty = Just mempty" |
| 2023-02-07 11:33:07 +0100 | <jonathanx> | *? |
| 2023-02-07 11:34:53 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-02-07 11:35:11 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-02-07 11:35:23 +0100 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 248 seconds) |
| 2023-02-07 11:36:03 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Ping timeout: 268 seconds) |
| 2023-02-07 11:36:23 +0100 | <dminuoso> | That seems not lawful |
| 2023-02-07 11:36:51 +0100 | <dminuoso> | Just a <> mempty != Just a |
| 2023-02-07 11:37:25 +0100 | <dminuoso> | Monoid would demand that `a <> mempty === a` and `mempty <> a === a` |
| 2023-02-07 11:38:02 +0100 | <int-e> | > (mempty <> Ap Nothing, mempty :: Ap Maybe ()) |
| 2023-02-07 11:38:04 +0100 | <lambdabot> | (Ap {getAp = Nothing},Ap {getAp = Just ()}) |
| 2023-02-07 11:38:10 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2023-02-07 11:38:51 +0100 | xstill_ | (xstill@fimu/xstill) |
| 2023-02-07 11:39:13 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-02-07 11:39:48 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-02-07 11:40:40 +0100 | <int-e> | dminuoso: note that the wrapped value implements Monoid (otherwise you wouldn't get `Just mempty`) |
| 2023-02-07 11:41:02 +0100 | <dminuoso> | int-e: I noticed |
| 2023-02-07 11:41:08 +0100 | <int-e> | `Ap` does `Ap x <> Ap y = Ap $ liftA2 (<>) x y` |
| 2023-02-07 11:41:24 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-02-07 11:41:45 +0100 | <int-e> | So you get the x <> mempty = x law from the inner monoid. |
| 2023-02-07 11:42:17 +0100 | <int-e> | (It also does `mempty = Ap (pure mempty)`) |
| 2023-02-07 11:42:17 +0100 | <dminuoso> | Oh wow. |
| 2023-02-07 11:42:21 +0100 | <dminuoso> | My brain must have played a trick on me |
| 2023-02-07 11:42:33 +0100 | <dminuoso> | I distinctively read `Just a <> mempty = Nothing` over and over aagain. |
| 2023-02-07 11:47:25 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-02-07 11:49:10 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2023-02-07 11:50:52 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-02-07 11:52:01 +0100 | xff0x | (~xff0x@ai081074.d.east.v6connect.net) |
| 2023-02-07 11:54:02 +0100 | pavonia | (~user@user/siracusa) |
| 2023-02-07 12:01:38 +0100 | andrewboltachev | (~andrey@178.141.147.162) |
| 2023-02-07 12:02:47 +0100 | andrewboltachev | (~andrey@178.141.147.162) (Client Quit) |
| 2023-02-07 12:03:15 +0100 | akegalj | (~akegalj@78-1-188-222.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 2023-02-07 12:03:33 +0100 | andrewboltachev | (~andrey@178.141.147.162) |
| 2023-02-07 12:05:35 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-02-07 12:06:31 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-07 12:06:33 +0100 | tengu1 | (~tengu1@cpe-70-121-244-14.neb.res.rr.com) (Quit: Client closed) |
| 2023-02-07 12:07:47 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-07 12:08:08 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-07 12:08:11 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-07 12:08:41 +0100 | Guest75 | (~Guest75@178.141.147.162) (Quit: Client closed) |
| 2023-02-07 12:08:53 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-07 12:10:25 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-02-07 12:11:16 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-07 12:12:20 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-02-07 12:14:14 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-02-07 12:14:43 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 256 seconds) |
| 2023-02-07 12:20:40 +0100 | nschoe | (~q@141.101.51.197) (Ping timeout: 265 seconds) |
| 2023-02-07 12:23:44 +0100 | koz | (~koz@121.99.240.58) |
| 2023-02-07 12:27:03 +0100 | akegalj | (~akegalj@78-1-188-222.adsl.net.t-com.hr) |
| 2023-02-07 12:36:53 +0100 | <chreekat> | What is a hie.yaml? |
| 2023-02-07 12:37:32 +0100 | <chreekat> | <mauke> "is that Discourse?" <- it's *a* discourse |
| 2023-02-07 12:39:18 +0100 | <dminuoso> | chreekat: See https://github.com/haskell/hie-bios |
| 2023-02-07 12:39:24 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2023-02-07 12:39:25 +0100 | <chreekat> | oops, thought i was on the Matrix-native channel, i hope that 'reply' didn't come out looking terrible |
| 2023-02-07 12:39:38 +0100 | <dminuoso> | chreekat: it looks fine. |
| 2023-02-07 12:40:02 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-07 12:40:04 +0100 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) (Quit: Reconnecting) |
| 2023-02-07 12:40:16 +0100 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 2023-02-07 12:41:21 +0100 | <chreekat> | thanks |
| 2023-02-07 12:41:26 +0100 | <chreekat> | is "cradle" defined anywhere? |
| 2023-02-07 12:41:37 +0100 | <dminuoso> | What do you mean by "defined"? |
| 2023-02-07 12:41:56 +0100 | <chreekat> | I think it's used in a few places (not just hie-bios) but I've never really had to use the term |
| 2023-02-07 12:42:25 +0100 | <chreekat> | why is the config file entry "cradle". What is the word supposed to invoke in my brain |
| 2023-02-07 12:42:45 +0100 | <chreekat> | afaik it's a thing for babies |
| 2023-02-07 12:44:13 +0100 | <dminuoso> | You will have to ask Alan Zimmermann |
| 2023-02-07 12:46:01 +0100 | <dminuoso> | chreekat: As for a formal definition see https://github.com/haskell/hie-bios/blob/master/src/HIE/Bios/Types.hs#L23-L31 |
| 2023-02-07 12:47:24 +0100 | <dminuoso> | The data type definition is even more telling |
| 2023-02-07 12:47:33 +0100 | <chreekat> | indeed |
| 2023-02-07 12:48:06 +0100 | <chreekat> | On a hunch, I looked it up, and sure enough Gradle is supposed to sound like 'Cradle'. Maybe the sense-meaning is something like "the thing in which your project rests" |
| 2023-02-07 12:48:42 +0100 | ham | (~ham@user/ham) (Read error: Connection reset by peer) |
| 2023-02-07 12:49:20 +0100 | <dminuoso> | Haskellers can never be satisfied. Pick a concrete suggestive name like Cradle, people will try to find meaning. Pick a completely vague name like Monad, people will be confused from its vagueness. |
| 2023-02-07 12:53:46 +0100 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) (Quit: Reconnecting) |
| 2023-02-07 12:53:59 +0100 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 2023-02-07 12:56:12 +0100 | <chreekat> | seems like the same problem :) |
| 2023-02-07 12:56:35 +0100 | <chreekat> | Solved by a one-sentence "I chose this name because ..." |
| 2023-02-07 13:00:17 +0100 | trev | (~trev@user/trev) |
| 2023-02-07 13:03:36 +0100 | <dminuoso> | "I chose the name Monad because all things told, this typeclass represents a particular selection of monoids in the monoidal category of endofunctors" |
| 2023-02-07 13:07:20 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-07 13:08:27 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-07 13:09:13 +0100 | <fendor[m]> | I think the name cradle is much older and has been used by ghc-mod before, see for example: https://github.com/alanz/ghc-mod/pull/14#issuecomment-433754319 |
| 2023-02-07 13:09:20 +0100 | Guest75 | (~Guest75@178.141.147.162) |
| 2023-02-07 13:09:25 +0100 | Guest75 | (~Guest75@178.141.147.162) (Client Quit) |
| 2023-02-07 13:09:28 +0100 | <fendor[m]> | > the "Cradle" we call it for hysterical reasons |
| 2023-02-07 13:09:31 +0100 | <lambdabot> | error: |
| 2023-02-07 13:09:31 +0100 | <lambdabot> | Variable not in scope: |
| 2023-02-07 13:09:31 +0100 | <lambdabot> | the |
| 2023-02-07 13:10:26 +0100 | <dminuoso> | Ah good catch. Kazu Yamamoto came up with it |
| 2023-02-07 13:11:17 +0100 | <fendor[m]> | I think the comment describing what a cradle is in hie-bios is wrong. It is not a build unit, we don't have two different cradles for tests and libraries, the comment should be updated to rather reflect that cradle described how to load to parts of your project, or something like that. |
| 2023-02-07 13:11:27 +0100 | <dminuoso> | https://github.com/DanielG/ghc-mod/commit/a393f8a971fba99bc9661df5e7d8b71dfa6d6447 |
| 2023-02-07 13:12:54 +0100 | <fendor[m]> | I almost can't believe hie-bios is already 4 years old |
| 2023-02-07 13:14:15 +0100 | alex` | (~user@97.red-83-36-47.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-02-07 13:14:32 +0100 | aljer | (~jonathon@2601:5c1:4503:8da0:7130:73a8:a627:b376) |
| 2023-02-07 13:26:35 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-02-07 13:28:58 +0100 | aljer | (~jonathon@2601:5c1:4503:8da0:7130:73a8:a627:b376) (Quit: WeeChat 3.8) |
| 2023-02-07 13:30:40 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2023-02-07 13:31:22 +0100 | biberu | (~biberu@user/biberu) |
| 2023-02-07 13:32:01 +0100 | gaff | (~gaff@49.207.201.143) |
| 2023-02-07 13:32:23 +0100 | nschoe | (~q@141.101.51.197) |
| 2023-02-07 13:35:58 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-02-07 13:36:17 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-02-07 13:37:34 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-07 13:42:03 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-07 13:43:05 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-07 13:47:35 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2023-02-07 13:48:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-07 13:49:40 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-07 13:54:43 +0100 | nehsou^ | (~nehsou@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-02-07 13:55:52 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-02-07 13:56:40 +0100 | cheater | (~Username@user/cheater) |
| 2023-02-07 13:58:40 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Read error: Connection reset by peer) |
| 2023-02-07 14:02:32 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-02-07 14:02:47 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-07 14:05:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-02-07 14:07:15 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Read error: Connection reset by peer) |
| 2023-02-07 14:07:47 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-07 14:10:08 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 14:12:26 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Read error: Connection reset by peer) |
| 2023-02-07 14:12:47 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-07 14:13:35 +0100 | <dminuoso> | Mmm. Building static binaries with haskell.nix works out of the box too. |
| 2023-02-07 14:13:42 +0100 | <dminuoso> | This is getting quite comfortable. |
| 2023-02-07 14:14:39 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-07 14:16:38 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-02-07 14:16:59 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 14:17:55 +0100 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 260 seconds) |
| 2023-02-07 14:18:20 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2023-02-07 14:18:46 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2023-02-07 14:19:40 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-02-07 14:19:51 +0100 | johnjaye | (~pi@173.209.64.74) |
| 2023-02-07 14:21:04 +0100 | Hammdist | (~Hammdist@67.169.114.135) (Quit: Client closed) |
| 2023-02-07 14:30:39 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-02-07 14:35:25 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-02-07 14:39:24 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-02-07 14:43:39 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Read error: Connection reset by peer) |
| 2023-02-07 14:45:56 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-07 14:46:15 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Client Quit) |
| 2023-02-07 14:46:22 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-07 14:46:43 +0100 | gaff | (~gaff@49.207.201.143) () |
| 2023-02-07 14:46:44 +0100 | michalz | (~michalz@185.246.207.203) (Ping timeout: 260 seconds) |
| 2023-02-07 14:46:55 +0100 | michalz | (~michalz@185.246.204.125) |
| 2023-02-07 14:48:00 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-07 14:49:07 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-07 14:50:34 +0100 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2023-02-07 14:50:56 +0100 | michalz | (~michalz@185.246.204.109) |
| 2023-02-07 14:50:56 +0100 | <pierrot> | Hello. I have the following question: I've installed xmonad (the windows tiling manager) using my package manager in Debian (`sudo apt install xmonad`) and that obviously installed ghc as a dependency. Now I've decided to install ghcup and I've installed the latest compiler with it: `ghcup install ghc 9.4.4`. I want to set this version as default: `ghcup set ghc 9.4.4` but it get: |
| 2023-02-07 14:51:20 +0100 | <pierrot> | [GHCup-00330] ghc is shadowed by /usr/bin/ghc. The upgrade will not be in effect, unless you remove /usr/bin/ghc or make sure /home/pierrot/.ghcup/bin comes before /usr/bin in PATH. |
| 2023-02-07 14:51:28 +0100 | oldfashionedrat | (~Rahul_San@user/oldfashionedcow) (Ping timeout: 248 seconds) |
| 2023-02-07 14:51:47 +0100 | <pierrot> | I don't want to remove my system ghc to not break xmonad or other software |
| 2023-02-07 14:53:16 +0100 | <merijn> | pierrot: Then you should update your PATH? :) |
| 2023-02-07 14:55:11 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 2023-02-07 14:55:25 +0100 | <pierrot> | merijn: Yes. What's the best way of doing it? How can I make sure /home/pierrot/.ghcup/bin comes before /usr/bin in PATH? Because when installing ghcup that already added some lines to my .bashrc... |
| 2023-02-07 14:56:29 +0100 | <merijn> | pierrot: PATH is just a string variable of directions, usually set from either .bashrc, .profile, or .bash_profile, so you just gotta edit the definition of PATH in there to put the .ghcup/bin directory first |
| 2023-02-07 14:57:15 +0100 | <maerwald> | pierrot: how do you compile xmonad? |
| 2023-02-07 14:57:49 +0100 | <pierrot> | maerwald: with `xmonad --recompile`. I guess that would use the system ghc by default |
| 2023-02-07 14:57:53 +0100 | <pierrot> | merijn: I'll see |
| 2023-02-07 14:59:44 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-07 15:00:12 +0100 | <maerwald> | pierrot: ghcup run --ghc 9.4.4 -- xmonad --recompile |
| 2023-02-07 15:01:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-02-07 15:02:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-07 15:02:55 +0100 | <pierrot> | maerwald: Thanks |
| 2023-02-07 15:10:40 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e9c6:a82c:4606:2df7) (Quit: WeeChat 2.8) |
| 2023-02-07 15:12:05 +0100 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2023-02-07 15:21:07 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-07 15:26:18 +0100 | Henson | (~kvirc@207.136.101.195) |
| 2023-02-07 15:26:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 2023-02-07 15:30:08 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-07 15:31:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Ping timeout: 248 seconds) |
| 2023-02-07 15:35:07 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 15:50:12 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-07 15:50:12 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-07 15:50:12 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-07 15:50:50 +0100 | <azure_vermilion> | who invented monads, in the Haskell sense? |
| 2023-02-07 15:51:48 +0100 | <Hecate> | I believe Moggi has a foundational responsibility? |
| 2023-02-07 15:51:58 +0100 | <maerwald> | I don't know, maybe https://jgbm.github.io/eecs762f19/papers/wadler-monads.pdf has some references? |
| 2023-02-07 15:52:02 +0100 | <Hecate> | but perhaps it is too early? |
| 2023-02-07 15:52:46 +0100 | <maerwald> | yeah, it references Moggi too |
| 2023-02-07 15:52:56 +0100 | <maerwald> | "Computational lambda-calculus and monads" |
| 2023-02-07 16:03:39 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-07 16:05:15 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-02-07 16:09:47 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:345:11b6:f068:ad9f) (Quit: Leaving) |
| 2023-02-07 16:10:18 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-07 16:10:30 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-02-07 16:13:39 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 260 seconds) |
| 2023-02-07 16:13:55 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-02-07 16:15:10 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-07 16:15:34 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-02-07 16:15:49 +0100 | mechap | (~mechap@user/mechap) (Client Quit) |
| 2023-02-07 16:16:12 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-02-07 16:16:38 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-02-07 16:18:50 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Quit: Reconnecting) |
| 2023-02-07 16:18:57 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-07 16:20:06 +0100 | dolio | (~dolio@130.44.134.54) |
| 2023-02-07 16:20:40 +0100 | codolio | (~dolio@130.44.134.54) (Read error: Connection reset by peer) |
| 2023-02-07 16:22:16 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-02-07 16:29:44 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 16:31:14 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-07 16:34:09 +0100 | img | (~img@user/img) |
| 2023-02-07 16:34:51 +0100 | <lyxia> | Moggi -> Monads in programming language theory ; Wadler -> Monads in practice |
| 2023-02-07 16:35:34 +0100 | akegalj | (~akegalj@78-1-188-222.adsl.net.t-com.hr) (Quit: leaving) |
| 2023-02-07 16:35:59 +0100 | <Hecate> | thanks lyxia |
| 2023-02-07 16:38:07 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-07 16:39:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-07 16:41:48 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-07 16:46:36 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-07 16:48:19 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-02-07 16:49:12 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-02-07 16:50:20 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 16:50:47 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-07 16:54:37 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) |
| 2023-02-07 16:56:27 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-02-07 16:58:25 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 17:00:39 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-02-07 17:01:56 +0100 | cheater | (~Username@user/cheater) |
| 2023-02-07 17:07:39 +0100 | bodisiw | (~bodiskw@128.163.238.78) |
| 2023-02-07 17:08:42 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 17:14:35 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-02-07 17:14:56 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-07 17:16:00 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-02-07 17:22:55 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 17:25:33 +0100 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-02-07 17:27:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-07 17:34:43 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-07 17:34:58 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e9c6:a82c:4606:2df7) |
| 2023-02-07 17:35:29 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-02-07 17:37:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-07 17:38:00 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-02-07 17:38:57 +0100 | Guest3773 | (~Guest37@ip1f13ab93.dynamic.kabel-deutschland.de) |
| 2023-02-07 17:41:47 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-07 17:44:18 +0100 | Karan | (~Karan@103.7.128.210) |
| 2023-02-07 17:45:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 2023-02-07 17:46:47 +0100 | <Karan> | Karan 22:14:59 |
| 2023-02-07 17:46:47 +0100 | <Karan> | Hello! I'm interested in being a part of this community! Could you guys point me to some resources? |
| 2023-02-07 17:47:25 +0100 | <Karan> | Resources for contributing |
| 2023-02-07 17:47:32 +0100 | <geekosaur> | depends on how you want to be part of the community. many open source projects have contributing pages |
| 2023-02-07 17:48:43 +0100 | <geekosaur> | https://hledger.org/dev.html https://pandoc.org/CONTRIBUTING.html https://hackage.haskell.org/package/xmonad-contrib-0.17.1/docs/XMonad-Doc-Developing.html among others |
| 2023-02-07 17:49:31 +0100 | <Karan> | I'm looking to contribute to haskell's code and learn more about functional programming languages while I'm at it |
| 2023-02-07 17:49:51 +0100 | <Karan> | I'm also interested in Type Theory, so learning more about that during this process will also be cool |
| 2023-02-07 17:50:25 +0100 | <geekosaur> | https://www.haskell.org/community/ more generally |
| 2023-02-07 17:50:27 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
| 2023-02-07 17:50:33 +0100 | <Karan> | Thank you! |
| 2023-02-07 17:51:12 +0100 | <geekosaur> | for references about ghc there's https://gitlab.haskell.org/ghc/ghc/-/wikis/contributing#newcomers-to-ghc |
| 2023-02-07 17:51:44 +0100 | bodisiw | (~bodiskw@128.163.238.78) (Quit: Leaving) |
| 2023-02-07 17:53:22 +0100 | <lyxia> | Any idea why my CI fails to build linear-base with GHC 9.6 alpha2 even though it builds fine on my machine? https://github.com/Lysxia/generic-data/actions/runs/4115776010/jobs/7104945916 |
| 2023-02-07 17:57:07 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-07 18:03:25 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-02-07 18:05:42 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e9c6:a82c:4606:2df7) (Quit: WeeChat 2.8) |
| 2023-02-07 18:05:56 +0100 | Karan | (~Karan@103.7.128.210) (Quit: Client closed) |
| 2023-02-07 18:07:21 +0100 | Alex_test | (~al_test@178.34.160.79) (Quit: ;-) |
| 2023-02-07 18:07:49 +0100 | AlexZenon | (~alzenon@178.34.160.79) (Quit: ;-) |
| 2023-02-07 18:07:55 +0100 | AlexNoo | (~AlexNoo@178.34.160.79) (Quit: Leaving) |
| 2023-02-07 18:08:21 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:7653:d2a8:7ae2:7e4) (Remote host closed the connection) |
| 2023-02-07 18:08:22 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-02-07 18:08:48 +0100 | kuribas | (~user@ptr-17d51enmk1i23ub9qbg.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-02-07 18:09:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Remote host closed the connection) |
| 2023-02-07 18:09:55 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 2023-02-07 18:10:07 +0100 | <lyxia> | nvm my mistake, it does fail |
| 2023-02-07 18:10:39 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 18:11:08 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:3fb2:cb97:fb63:eb16) |
| 2023-02-07 18:11:29 +0100 | slack1256 | (~slack1256@186.11.104.104) |
| 2023-02-07 18:12:02 +0100 | <slack1256> | I remember there was a hackage.next for backpack signatures and impls. Was that merged on standard hackage? |
| 2023-02-07 18:15:11 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-07 18:16:27 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 248 seconds) |
| 2023-02-07 18:17:40 +0100 | Guest3773 | (~Guest37@ip1f13ab93.dynamic.kabel-deutschland.de) (Quit: Client closed) |
| 2023-02-07 18:18:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-07 18:22:38 +0100 | AlexZenon | (~alzenon@178.34.160.79) |
| 2023-02-07 18:22:41 +0100 | AlexNoo | (~AlexNoo@178.34.160.79) |
| 2023-02-07 18:23:18 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 18:24:57 +0100 | Alex_test | (~al_test@178.34.160.79) |
| 2023-02-07 18:25:40 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-02-07 18:38:13 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-02-07 18:39:09 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 2023-02-07 18:43:47 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-07 18:43:48 +0100 | titibandit1 | (~titibandi@xdsl-89-0-159-198.nc.de) |
| 2023-02-07 18:44:01 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Ping timeout: 252 seconds) |
| 2023-02-07 18:44:55 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 18:46:53 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-02-07 18:47:40 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-07 18:47:52 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-07 18:53:29 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-07 18:54:34 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 19:02:10 +0100 | Player205[m] | aRabbit[m] |
| 2023-02-07 19:02:52 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-07 19:05:19 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-07 19:05:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Remote host closed the connection) |
| 2023-02-07 19:06:18 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-02-07 19:07:22 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-07 19:09:55 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2023-02-07 19:10:12 +0100 | nschoe | (~q@141.101.51.197) (Quit: Switching off) |
| 2023-02-07 19:11:18 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-07 19:14:01 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-02-07 19:19:01 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 19:19:17 +0100 | Inst__ | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) |
| 2023-02-07 19:22:35 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 252 seconds) |
| 2023-02-07 19:22:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-07 19:24:41 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-07 19:25:59 +0100 | aRabbit[m] | aaRabbit[m] |
| 2023-02-07 19:27:05 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-02-07 19:27:06 +0100 | cheater_ | cheater |
| 2023-02-07 19:27:24 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2023-02-07 19:29:36 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-02-07 19:31:08 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-07 19:31:41 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 2023-02-07 19:35:43 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-07 19:36:38 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 2023-02-07 19:37:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-07 19:37:34 +0100 | econo | (uid147250@user/econo) |
| 2023-02-07 19:38:50 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-07 19:40:32 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 2023-02-07 19:40:43 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:3fb2:cb97:fb63:eb16) (Ping timeout: 248 seconds) |
| 2023-02-07 19:41:14 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-07 19:41:59 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2023-02-07 19:42:29 +0100 | ddellacosta | (~ddellacos@143.244.47.74) (Ping timeout: 260 seconds) |
| 2023-02-07 19:44:53 +0100 | ft | (~ft@p508dbcc4.dip0.t-ipconnect.de) |
| 2023-02-07 19:54:58 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
| 2023-02-07 19:57:00 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-02-07 19:58:06 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-07 20:01:39 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:40a:c679:74d:6469) |
| 2023-02-07 20:01:45 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2023-02-07 20:03:51 +0100 | andrewboltachev | (~andrey@178.141.147.162) (Quit: Leaving.) |
| 2023-02-07 20:04:07 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-07 20:04:08 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-07 20:04:08 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-07 20:06:14 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Remote host closed the connection) |
| 2023-02-07 20:07:18 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-07 20:09:42 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-02-07 20:10:32 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
| 2023-02-07 20:12:02 +0100 | mei | (~mei@user/mei) |
| 2023-02-07 20:16:15 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-02-07 20:18:40 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-07 20:20:16 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-07 20:20:27 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-07 20:22:09 +0100 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 2023-02-07 20:22:53 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Ping timeout: 246 seconds) |
| 2023-02-07 20:23:17 +0100 | Guest3763 | (~Guest37@2804:d55:4461:d800:70a0:6394:b2c4:9b3) |
| 2023-02-07 20:23:31 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 20:28:09 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-07 20:28:44 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-02-07 20:32:32 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-02-07 20:37:47 +0100 | Guest3763 | (~Guest37@2804:d55:4461:d800:70a0:6394:b2c4:9b3) (Quit: Client closed) |
| 2023-02-07 20:39:31 +0100 | ozkutuk53 | (~ozkutuk@176.240.174.60) (Ping timeout: 252 seconds) |
| 2023-02-07 20:40:58 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-02-07 20:44:14 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 2023-02-07 20:47:32 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2023-02-07 20:54:40 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-02-07 20:55:45 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 260 seconds) |
| 2023-02-07 20:57:04 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-02-07 21:01:50 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 21:03:02 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 21:08:14 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-02-07 21:08:15 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 2023-02-07 21:08:35 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:eb12:3772:bcfb:8fa7) |
| 2023-02-07 21:09:15 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 2023-02-07 21:10:44 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-02-07 21:15:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 2023-02-07 21:17:48 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!) |
| 2023-02-07 21:19:02 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-07 21:21:11 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Quit: The BNC has broken!) |
| 2023-02-07 21:21:21 +0100 | irrgit_ | (~irrgit@89.47.234.74) (Remote host closed the connection) |
| 2023-02-07 21:21:57 +0100 | irrgit_ | (~irrgit@146.70.27.242) |
| 2023-02-07 21:23:41 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2023-02-07 21:24:25 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:eb12:3772:bcfb:8fa7) (Ping timeout: 265 seconds) |
| 2023-02-07 21:25:16 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-02-07 21:26:39 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-07 21:27:08 +0100 | titibandit1 | (~titibandi@xdsl-89-0-159-198.nc.de) (Quit: Leaving.) |
| 2023-02-07 21:27:26 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
| 2023-02-07 21:30:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Remote host closed the connection) |
| 2023-02-07 21:32:32 +0100 | <c_wraith> | I just got curious and decided to take a look at the documented laws for MonadIO. I'm amused because there's still a central assumption they're missing: that the IO actions aren't just thrown out immediately. |
| 2023-02-07 21:32:48 +0100 | <c_wraith> | Proxy could be an instance of MonadIO that satisfies the current laws |
| 2023-02-07 21:33:32 +0100 | <c_wraith> | To be fair, I have *no* idea how you'd even express the missing constraint, though |
| 2023-02-07 21:37:21 +0100 | lechner | (~lechner@debian/lechner) |
| 2023-02-07 21:38:22 +0100 | <lechner> | Hi, is 'cabal init' in v3.2 supposed to ask some simple questions to create a sample configuration? |
| 2023-02-07 21:38:51 +0100 | <sclv> | in a few versions the "interactive" flag was off by default and you needed to pass it explicitly |
| 2023-02-07 21:38:56 +0100 | <sclv> | i forget which was which |
| 2023-02-07 21:39:01 +0100 | <c_wraith> | 3.2 is also pretty old now |
| 2023-02-07 21:39:02 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-07 21:39:21 +0100 | <lechner> | i know. that's the one i get with Guix |
| 2023-02-07 21:39:23 +0100 | <sclv> | 3.6 turned the interactive flag back on, thankfully, and to popular acclaim! |
| 2023-02-07 21:39:43 +0100 | <lechner> | anyway, i am happy to be back here! |
| 2023-02-07 21:40:47 +0100 | opticblast | (~Thunderbi@172.58.85.230) |
| 2023-02-07 21:42:43 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-07 21:42:44 +0100 | <lechner> | wow, they are working on 3.10 ! |
| 2023-02-07 21:44:34 +0100 | <lechner> | okay, so --interactive is not doing anything. was the option turned off to "no" or disabled entirely? |
| 2023-02-07 21:46:26 +0100 | kurbus41 | (~kurbus@user/kurbus) |
| 2023-02-07 21:47:01 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-02-07 21:47:02 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 2023-02-07 21:47:12 +0100 | kurbus | Guest192 |
| 2023-02-07 21:47:12 +0100 | kurbus41 | kurbus |
| 2023-02-07 21:48:43 +0100 | Guest192 | (~kurbus@user/kurbus) (Ping timeout: 260 seconds) |
| 2023-02-07 21:48:45 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:cde7:86e6:74be:4be3) |
| 2023-02-07 21:49:21 +0100 | mei | (~mei@user/mei) |
| 2023-02-07 21:50:05 +0100 | <sclv> | it was just flipped |
| 2023-02-07 21:50:30 +0100 | <sclv> | `cabal init --help` should show you the options, but also yeah you might just want to upgrade your cabal past what guix offers -- its easy, and gives you a much better experience |
| 2023-02-07 21:50:50 +0100 | <lechner> | thanks! i just copied one of my old files. it's amazing how much has happened in the year i was gone |
| 2023-02-07 21:54:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-02-07 21:55:48 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2023-02-07 21:58:31 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-07 22:01:21 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 2023-02-07 22:04:51 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-02-07 22:05:38 +0100 | kurbus | (~kurbus@user/kurbus) (Ping timeout: 260 seconds) |
| 2023-02-07 22:11:10 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2023-02-07 22:11:19 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 22:12:23 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-02-07 22:12:56 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 22:14:14 +0100 | ddellacosta | (~ddellacos@143.244.47.74) |
| 2023-02-07 22:16:59 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-07 22:17:07 +0100 | <sm> | welcome back lechner |
| 2023-02-07 22:17:17 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-02-07 22:18:15 +0100 | <c_wraith> | I may have been here for too long, if I don't even notice someone's been gone for a year when they come back |
| 2023-02-07 22:18:29 +0100 | <c_wraith> | a year? two weeks? they're basically the same! |
| 2023-02-07 22:18:39 +0100 | <sm> | heh |
| 2023-02-07 22:19:10 +0100 | <sm> | we are like neal stephenson's anathem monks |
| 2023-02-07 22:19:24 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 22:19:54 +0100 | <lechner> | this channel was always my favorite---a high level of proficiency combined with a high level of kindness. truly a rare find |
| 2023-02-07 22:20:32 +0100 | <lechner> | in two other places I was told not to use the words "please" and "thank you" |
| 2023-02-07 22:21:17 +0100 | <c_wraith> | ah. stackoverflow rules. |
| 2023-02-07 22:21:56 +0100 | <AndreasK> | What if someone says "please don't say thank you" |
| 2023-02-07 22:22:12 +0100 | <darkling> | I think an asteroid drops on them. |
| 2023-02-07 22:22:33 +0100 | <lechner> | actually, the "please" was in #emacs just a few days ago. the "thank you" was based on private messages at a well-known Linux distribution |
| 2023-02-07 22:22:35 +0100 | <geekosaur> | or just a mass of kids with no social skills |
| 2023-02-07 22:22:57 +0100 | <lechner> | and these folks were not kids, i don't think |
| 2023-02-07 22:23:13 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2023-02-07 22:23:15 +0100 | <lechner> | but anyway, i did not come here to complain |
| 2023-02-07 22:23:23 +0100 | <lechner> | like i said, great channel! |
| 2023-02-07 22:23:25 +0100 | <darkling> | If it looks like a duckling and quacks like a duckling... :) |
| 2023-02-07 22:23:58 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-07 22:30:37 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-02-07 22:31:12 +0100 | slack1256 | (~slack1256@186.11.104.104) (Ping timeout: 248 seconds) |
| 2023-02-07 22:31:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 2023-02-07 22:32:22 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-07 22:35:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Ping timeout: 255 seconds) |
| 2023-02-07 22:36:27 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-02-07 22:37:31 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-02-07 22:39:35 +0100 | <lechner> | Hi, are modern versions of Cabal still incompatible with GHC_PACKAGE_PATH? |
| 2023-02-07 22:39:57 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 22:43:03 +0100 | <c_wraith> | as a concept, it doesn't really make that much sense with the way all the cabal v2 commands (now the defaults) work |
| 2023-02-07 22:43:33 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-02-07 22:43:55 +0100 | <sm> | on another note: |
| 2023-02-07 22:43:55 +0100 | <sm> | The first Haskell Tiny Game Jam is now open! Your mission: make Haskell games in 10 lines. https://github.com/haskell-game/tiny-games-hs and #haskell-game await your entries. |
| 2023-02-07 22:43:58 +0100 | <c_wraith> | which is to say "I don't know", but also to point out that it matters less than it used to |
| 2023-02-07 22:44:10 +0100 | <lechner> | well, it's not me. i switched to Guix and that's what they use. |
| 2023-02-07 22:44:14 +0100 | <c_wraith> | sm: what's the time limit? |
| 2023-02-07 22:44:38 +0100 | <geekosaur> | I don't see the error message in `strings` any more, but I'm running a 3.10 prerelease |
| 2023-02-07 22:44:42 +0100 | <c_wraith> | ah. end of the month. |
| 2023-02-07 22:44:46 +0100 | <sm> | this first round lasts till end of February. |
| 2023-02-07 22:45:31 +0100 | <lechner> | Hi, is 'cabal install cabal-install' a reasonable attempt to upgrade Cabal? |
| 2023-02-07 22:45:37 +0100 | <geekosaur> | still, I agree with c_wraith: it's fundamentally incompatible with cabal managing visibility of libraries |
| 2023-02-07 22:45:42 +0100 | <geekosaur> | yes |
| 2023-02-07 22:46:13 +0100 | <geekosaur> | but note that it will install to ~/.cabal/bin whereas the one you're currently running will be elsewhere on $PATH |
| 2023-02-07 22:46:40 +0100 | <lechner> | yeah, that's fine. it was always like that. |
| 2023-02-07 22:46:51 +0100 | <geekosaur> | depending on how you're set up, you may need to adjust $PATH or `hash -r` in open shells |
| 2023-02-07 22:48:36 +0100 | <geekosaur> | unless guix works with cabal's nix support, I would suspect it would require cabal v1 commands if it controls library visibility |
| 2023-02-07 22:48:47 +0100 | <lechner> | i'd be happy to use Hackage directly but Cabal is not finding what it needs, is my guess. Do i need to point --package-db to the GHC files? Presumably like Nix, they are all in different places |
| 2023-02-07 22:48:56 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 22:49:24 +0100 | <lechner> | i'd also be happy to get Guix working with the v2 commands once i figure out how |
| 2023-02-07 22:49:27 +0100 | <geekosaur> | `cabal update` before anything else. (I don't know why it doesn't do this for you) |
| 2023-02-07 22:50:05 +0100 | <lechner> | i did and it worked, albeit with that same error about GHC_PACKAGE_PATH |
| 2023-02-07 22:52:44 +0100 | <geekosaur> | --package-db points to a directory with a package.db directory in it. if databases are all over the guix store then you'd need multiple --package-db options, as I understand it |
| 2023-02-07 22:53:47 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-07 22:53:47 +0100 | <geekosaur> | probably better to see if --enable-nix works (but it looks to me like it won't, since it references shell.nix by name; probably need corresponding guix support) |
| 2023-02-07 23:02:57 +0100 | <lechner> | Guix has something like nix-shell. It's called 'guix shell' |
| 2023-02-07 23:03:30 +0100 | <geekosaur> | right, but cabal looks for shell.nix by name and I doubt guix calls theirs that |
| 2023-02-07 23:03:43 +0100 | <geekosaur> | probably something in guile |
| 2023-02-07 23:04:24 +0100 | <lechner> | yeah sorry, i did not mean to imply that it would work out of the box. it merely seemed it was perhaps just a patch away |
| 2023-02-07 23:05:58 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2023-02-07 23:06:13 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-07 23:06:38 +0100 | <lechner> | Hi, approximately which proportion of folks here uses Nix, please? Are questions about Nix better directed to their channel even if they relate directly to developing in Haskell? |
| 2023-02-07 23:08:19 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-07 23:08:46 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) |
| 2023-02-07 23:09:48 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 23:11:57 +0100 | Inst__ | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 255 seconds) |
| 2023-02-07 23:12:24 +0100 | <lechner> | Hi, where may i normally find a package.db, please? I can only find package.cache |
| 2023-02-07 23:13:25 +0100 | the_proffesor | (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 2023-02-07 23:13:32 +0100 | jinsun | Guest3754 |
| 2023-02-07 23:13:32 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-02-07 23:13:32 +0100 | Guest3754 | (~jinsun@user/jinsun) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2023-02-07 23:13:32 +0100 | jinsun__ | jinsun |
| 2023-02-07 23:13:35 +0100 | <geekosaur> | package.cache lives inside a package.db |
| 2023-02-07 23:13:49 +0100 | <geekosaur> | it's a cache of all the *.conf files in the db |
| 2023-02-07 23:14:03 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Client Quit) |
| 2023-02-07 23:15:06 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:40a:c679:74d:6469) (Ping timeout: 255 seconds) |
| 2023-02-07 23:15:11 +0100 | thegeekinside | (~thegeekin@189.180.83.186) |
| 2023-02-07 23:15:23 +0100 | <geekosaur> | I have two on my system: the package.db corresponding to cabal's store, and the package.conf.d that comes with ghc |
| 2023-02-07 23:15:47 +0100 | <geekosaur> | (well, more than two because I have multiple versions of ghc and corresponding cabal stores) |
| 2023-02-07 23:17:16 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 23:17:17 +0100 | michalz | (~michalz@185.246.204.109) (Remote host closed the connection) |
| 2023-02-07 23:17:27 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-02-07 23:23:59 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2023-02-07 23:25:23 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:cde7:86e6:74be:4be3) (Ping timeout: 264 seconds) |
| 2023-02-07 23:25:23 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 23:26:29 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-02-07 23:29:10 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-07 23:30:05 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-07 23:30:15 +0100 | tdwdiod^ | (~tdwdiod@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-02-07 23:30:43 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 23:36:11 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-02-07 23:36:25 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Client Quit) |
| 2023-02-07 23:36:45 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-02-07 23:36:59 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-02-07 23:39:46 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-07 23:40:38 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-02-07 23:40:53 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-07 23:46:12 +0100 | edwin1729 | (~user@2a0c:5bc0:40:2e25:76c6:3bff:fe8a:46ba) |
| 2023-02-07 23:47:56 +0100 | edwin1729 | (~user@2a0c:5bc0:40:2e25:76c6:3bff:fe8a:46ba) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-02-07 23:52:06 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-07 23:54:35 +0100 | ddellacosta | (~ddellacos@143.244.47.74) (Ping timeout: 246 seconds) |
| 2023-02-07 23:58:19 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-02-07 23:59:36 +0100 | <danso> | what's an example of a type with a more efficient `mapM` than `traverse`? |