Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 824 825 826 827 828 829 830 831 832 833 834 .. 5022
— 502,152 events total
2020-10-23 18:15:07 <monsterchrom> You should also discuss the "250GB disk space" and how misleading it also is, while you're at it.
2020-10-23 18:15:08 × marek quits (~mmahut@209.250.249.245) (Changing host)
2020-10-23 18:15:08 → marek joins (~mmahut@fedora/pyxel)
2020-10-23 18:15:24 <maerwald> yeah, half for nix, half for docker... they're racing
2020-10-23 18:15:44 <maerwald> the fun part about docker is the "prune" command never finishes
2020-10-23 18:15:58 → conal joins (~conal@64.71.133.70)
2020-10-23 18:16:27 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-23 18:16:58 <monsterchrom> Evergrowing space usage and neverending time usage.
2020-10-23 18:17:09 <maerwald> and when you try to stop it, you can't, because the daemon is blocked, then you kill everything and rm -rf
2020-10-23 18:17:58 → britva joins (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1)
2020-10-23 18:17:59 <maerwald> bonus points for docker: it actually takes less time to "rebuild" than nix
2020-10-23 18:18:21 <maerwald> it just downloads gigabytes of trash, nix seems to spend more CPU
2020-10-23 18:19:55 <maerwald> I have this theory that half of nix IO load is due to `realpath`
2020-10-23 18:23:49 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-23 18:25:01 → alp joins (~alp@2a01:e0a:58b:4920:552d:a100:fe9e:8159)
2020-10-23 18:25:34 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-23 18:26:07 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-23 18:26:57 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Client Quit)
2020-10-23 18:28:43 × ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-23 18:30:20 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2020-10-23 18:32:07 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-10-23 18:32:27 × dmwit quits (~dmwit@pool-108-18-228-100.washdc.fios.verizon.net) (Quit: Lost terminal)
2020-10-23 18:33:11 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-23 18:34:02 → ech joins (~user@gateway/tor-sasl/ech)
2020-10-23 18:34:28 hackage call-alloy 0.2.1.0 - A simple library to call Alloy given a specification https://hackage.haskell.org/package/call-alloy-0.2.1.0 (marcellus)
2020-10-23 18:35:52 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-23 18:36:28 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 260 seconds)
2020-10-23 18:37:37 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-23 18:37:53 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-23 18:39:07 → dmwit joins (~dmwit@pool-108-18-228-100.washdc.fios.verizon.net)
2020-10-23 18:39:19 → hiroaki joins (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-23 18:39:54 → ensyde joins (~ensyde@2600:1702:2e30:1a40:9c62:9bf3:3478:5d05)
2020-10-23 18:40:59 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-23 18:42:18 → knupfer1 joins (~Thunderbi@200116b8245a8800b5cb2522bccc843f.dip.versatel-1u1.de)
2020-10-23 18:42:20 × knupfer quits (~Thunderbi@200116b8245a88004cde9423a5581dc5.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-23 18:42:20 knupfer1 is now known as knupfer
2020-10-23 18:42:46 × bartemius quits (~bartemius@109.252.20.20) (Remote host closed the connection)
2020-10-23 18:43:04 → coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-23 18:43:40 <monsterchrom> w00t Alloy
2020-10-23 18:43:40 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-23 18:43:53 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-23 18:44:29 <monsterchrom> Oh God no, "getInstances". Java abstract factory all over again.
2020-10-23 18:44:42 × ensyde quits (~ensyde@2600:1702:2e30:1a40:9c62:9bf3:3478:5d05) (Ping timeout: 260 seconds)
2020-10-23 18:45:25 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-23 18:47:28 hackage pandoc 2.11.0.4 - Conversion between markup formats https://hackage.haskell.org/package/pandoc-2.11.0.4 (JohnMacFarlane)
2020-10-23 18:47:52 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-10-23 18:48:53 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-23 18:50:12 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-23 18:50:14 → conal joins (~conal@64.71.133.70)
2020-10-23 18:51:08 → texasmynsted joins (~texasmyns@185.240.246.92)
2020-10-23 18:51:08 × texasmynsted quits (~texasmyns@185.240.246.92) (Client Quit)
2020-10-23 18:51:31 → texasmynsted joins (~texasmyns@185.240.246.92)
2020-10-23 18:51:51 → acidjnk_new3 joins (~acidjnk@p200300d0c7237805143004c29cad477d.dip0.t-ipconnect.de)
2020-10-23 18:52:53 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-23 18:55:35 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-10-23 18:55:37 → NS-DonaldL joins (~NS-Donald@178.238.229.54)
2020-10-23 18:57:22 × erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 256 seconds)
2020-10-23 18:58:01 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-23 18:58:16 → erolm_a joins (~erolm_a@62.18.213.68)
2020-10-23 19:03:07 → berberman joins (~berberman@unaffiliated/berberman)
2020-10-23 19:03:10 × thir_ quits (~thir@p200300f27f19de001ce90606181a98e7.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-23 19:03:23 × ericsagnes quits (~ericsagne@2405:6580:0:5100:7841:4eea:7b9d:6c40) (Ping timeout: 272 seconds)
2020-10-23 19:04:11 → trumpsec joins (uid470694@gateway/web/irccloud.com/x-bcsxyysvhhhgwdok)
2020-10-23 19:04:12 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-23 19:05:06 → thir joins (~thir@p200300f27f19de001ce90606181a98e7.dip0.t-ipconnect.de)
2020-10-23 19:05:57 × mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 265 seconds)
2020-10-23 19:08:52 × jbox quits (~atlas@unaffiliated/jbox) (Ping timeout: 260 seconds)
2020-10-23 19:11:06 × supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 244 seconds)
2020-10-23 19:11:47 × thir quits (~thir@p200300f27f19de001ce90606181a98e7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-23 19:11:57 hackage faktory 1.0.1.3 - Faktory Worker for Haskell https://hackage.haskell.org/package/faktory-1.0.1.3 (PatrickBrisbin)
2020-10-23 19:15:41 → ericsagnes joins (~ericsagne@2405:6580:0:5100:c0a:b447:b123:a55a)
2020-10-23 19:16:01 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-23 19:16:04 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-23 19:18:05 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-23 19:19:51 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-23 19:21:09 <DigitalKiwi> __monty__: i have nixos on my rpi 3b
2020-10-23 19:21:56 <DigitalKiwi> with 32GB micro sd card
2020-10-23 19:22:23 <__monty__> DigitalKiwi: Yeah, it's possible, but it's not exactly an incredible UX. I was just not happy with painting nix as requiring 16GB RAM.
2020-10-23 19:23:44 → blip joins (58823ddf@gateway/web/cgi-irc/kiwiirc.com/ip.88.130.61.223)
2020-10-23 19:24:02 <dminuoso> *memory
2020-10-23 19:24:08 <blip> Why can't I define `data A = B | Proxy 'B`
2020-10-23 19:24:12 → conal joins (~conal@64.71.133.70)
2020-10-23 19:24:27 <dminuoso> blip: That, arguably, is better asked in #ghc :p
2020-10-23 19:24:38 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-23 19:24:41 <maerwald> __monty__: if one nix-build process requires 6GB and you have firefox open, you need more than 16GB
2020-10-23 19:25:00 <davean> blip: Proxy?
2020-10-23 19:25:06 <dminuoso> blip: It seems like an engineering problem, allowing for self-recursive data declarations
2020-10-23 19:25:11 <maerwald> correction: the nix-build process needed 6GB, ghc then needed another few
2020-10-23 19:25:12 × NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 260 seconds)
2020-10-23 19:25:15 <blip> Sorry, I mean't: `data A = B | C (Proxy B)`
2020-10-23 19:25:25 <dminuoso> blip: Still.
2020-10-23 19:25:38 <dminuoso> It doesn't really change, as the initial example is fine too
2020-10-23 19:25:40 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-23 19:25:44 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-23 19:25:50 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-23 19:25:53 <davean> blip: Well, at best you'd need DataKinds, and B is a constructor not a type its self
2020-10-23 19:25:55 <dminuoso> blip: I'd git blame the ghc source code on the diagnostic.
2020-10-23 19:26:05 <dminuoso> All I know is, there's a reason we have a *special* diagnostic for it
2020-10-23 19:26:06 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-23 19:26:09 <blip> davean: I know, it's promoted
←Prev  Next→
Page 1 .. 824 825 826 827 828 829 830 831 832 833 834 .. 5022

All times are in UTC.