IRCBrowseLink

Note: This channel on freenode is currently not being logged anymore. The logs are reproduced here for posterity.

2020-11-12 20:23:06 +0100Tario(~Tario@201.192.165.173)
2020-11-12 20:23:18 +0100 <gtk> but WHNF instead?
2020-11-12 20:23:54 +0100 <jle`> then it will only evaluate to WHNF
2020-11-12 20:24:07 +0100 <monochrom> breaks a lot of people's hearts
2020-11-12 20:24:21 +0100 <monochrom> baby jesus cries
2020-11-12 20:24:33 +0100 <gtk> Then it would be against the will of NFData
2020-11-12 20:24:43 +0100 <gtk> isn't that a big sin?
2020-11-12 20:24:53 +0100 <monochrom> cardinal sin
2020-11-12 20:25:25 +0100 <Uniaika> most certainly
2020-11-12 20:26:05 +0100jneira(5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118)
2020-11-12 20:26:35 +0100 <monochrom> https://www.google.ca/search?q=cardinal+zin+zinfandel&source=lnms&tbm=isch&sa=X&ved=2ahUKEwjpuJSX3…
2020-11-12 20:27:28 +0100evanpro(~evanpro@195.206.169.184)
2020-11-12 20:27:36 +0100christo(~chris@81.96.113.213)
2020-11-12 20:28:12 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-11-12 20:28:15 +0100 <monochrom> Actually I guess just https://www.google.com/search?q=cardinal+zin
2020-11-12 20:29:15 +0100britva(~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) (Quit: This computer has gone to sleep)
2020-11-12 20:30:01 +0100 <monochrom> Ah, add &tbm=isch for the images.
2020-11-12 20:30:29 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-11-12 20:32:26 +0100christo(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2020-11-12 20:36:38 +0100avdb(~avdb@ip-83-134-68-229.dsl.scarlet.be) (Ping timeout: 260 seconds)
2020-11-12 20:37:29 +0100 <koz_> :t any
2020-11-12 20:37:31 +0100 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2020-11-12 20:41:07 +0100stackdimes(~stackdime@70.39.102.174) (Quit: WeeChat 2.9)
2020-11-12 20:41:29 +0100stackdimes(~stackdime@70.39.102.174)
2020-11-12 20:49:32 +0100pfurla(~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net)
2020-11-12 20:50:23 +0100AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-11-12 20:51:25 +0100aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-11-12 20:55:17 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-12 21:01:01 +0100hackagepolysemy-vinyl 0.1.2.0 - Functions for mapping vinyl records in polysemy. https://hackage.haskell.org/package/polysemy-vinyl-0.1.2.0 (locallycompact)
2020-11-12 21:01:29 +0100taurux(~taurux@net-188-152-78-21.cust.vodafonedsl.it)
2020-11-12 21:02:40 +0100kimumba(5fa8781e@95.168.120.30)
2020-11-12 21:03:03 +0100kuribas(~user@ptr-25vy0i7apwgnolcsbyn.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-11-12 21:03:15 +0100jakov(~jakov@95.168.120.30)
2020-11-12 21:03:25 +0100kimumba(5fa8781e@95.168.120.30) ()
2020-11-12 21:03:29 +0100kimumba(5fa8781e@95.168.120.30)
2020-11-12 21:05:06 +0100jakov(~jakov@95.168.120.30) (Client Quit)
2020-11-12 21:05:49 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-12 21:06:07 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-12 21:06:30 +0100britva(~britva@2a02:aa13:7240:2980:710d:443e:844f:5480)
2020-11-12 21:08:19 +0100britva(~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) (Client Quit)
2020-11-12 21:08:31 +0100jespada(~jespada@90.254.245.49) (Ping timeout: 260 seconds)
2020-11-12 21:08:46 +0100christo(~chris@81.96.113.213)
2020-11-12 21:09:43 +0100atbd(~atbd@68.166.138.88.rev.sfr.net)
2020-11-12 21:10:10 +0100rprije(~rprije@124.148.131.132)
2020-11-12 21:11:23 +0100jespada(~jespada@90.254.245.49)
2020-11-12 21:13:28 +0100macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-11-12 21:17:17 +0100geekosaur45(82659a09@host154-009.vpn.uakron.edu)
2020-11-12 21:17:57 +0100pfurla(~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) (Quit: gone to sleep. ZZZzzz…)
2020-11-12 21:18:17 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-11-12 21:18:26 +0100evanpro(~evanpro@195.206.169.184) (Remote host closed the connection)
2020-11-12 21:18:31 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-12 21:19:39 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-11-12 21:19:48 +0100elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2020-11-12 21:20:13 +0100Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-11-12 21:20:53 +0100pfurla(~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net)
2020-11-12 21:22:21 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-11-12 21:22:53 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-12 21:27:46 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 246 seconds)
2020-11-12 21:27:52 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-12 21:27:55 +0100juuandyy(~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-11-12 21:28:24 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-12 21:32:45 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-11-12 21:32:46 +0100Amras(~Amras@unaffiliated/amras0000)
2020-11-12 21:32:56 +0100Suntop1(~Suntop@139.28.218.148)
2020-11-12 21:36:45 +0100clog(~nef@bespin.org) (Ping timeout: 240 seconds)
2020-11-12 21:36:52 +0100clog(~nef@bespin.org)
2020-11-12 21:37:57 +0100Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-11-12 21:40:29 +0100alp(~alp@2a01:e0a:58b:4920:881:8954:9deb:fcb5) (Ping timeout: 272 seconds)
2020-11-12 21:40:37 +0100argent0(~argent0@168.227.98.81)
2020-11-12 21:41:10 +0100jmcarthur(~jmcarthur@104.140.53.251)
2020-11-12 21:43:52 +0100 <dminuoso> Mmm, I have a large code base that I need a quick feedback loop. How can I disable code generation in GHC to speed it up?
2020-11-12 21:45:13 +0100 <lortabac> -fno-code
2020-11-12 21:45:48 +0100 <dminuoso> Mmm, if I add that to cabal it propagates to dependencies it seems
2020-11-12 21:45:54 +0100 <dminuoso> and `primitive` fails to build
2020-11-12 21:47:00 +0100 <dminuoso> lortabac: Mmm, but I can get around that. Cheers, that's so much faster.
2020-11-12 21:47:05 +0100 <dminuoso> Feels like 5-10 times. :)
2020-11-12 21:48:51 +0100wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-12 21:49:07 +0100reallymemorable(~quassel@2601:180:8300:8fd0:c5df:6e57:bcff:c1bb)
2020-11-12 21:50:19 +0100conal(~conal@64.71.133.70)
2020-11-12 21:51:09 +0100jakov(~jakov@95.168.121.30)
2020-11-12 21:51:30 +0100kimumba(5fa8781e@95.168.120.30) ()
2020-11-12 21:51:47 +0100pfurla(~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) (Quit: gone to sleep. ZZZzzz…)
2020-11-12 21:52:31 +0100hackageminizinc-process 0.1.4.0 - A set of helpers to call minizinc models. https://hackage.haskell.org/package/minizinc-process-0.1.4.0 (LucasDiCioccio)
2020-11-12 21:52:48 +0100 <sshine> dminuoso, so you just run type checker?
2020-11-12 21:52:56 +0100 <dminuoso> sshine: Yeah
2020-11-12 21:53:00 +0100 <sshine> why didn't I think of that.
2020-11-12 21:53:27 +0100 <dminuoso> This is 150 modules, and Im modifying a common dependency of them all...
2020-11-12 21:53:31 +0100 <sshine> most of the times I run GHC I just want to know if I made type errors.
2020-11-12 21:53:47 +0100 <geekosaur45> tbh I thought the typechecker was the slowest part of ghc these days
2020-11-12 21:53:47 +0100 <dminuoso> I think ghcid/hie do something similar
2020-11-12 21:53:48 +0100 <sshine> ah :) so you're really feeling it.
2020-11-12 21:53:58 +0100 <sshine> yes, they must.
2020-11-12 21:54:47 +0100 <koz_> Is Data.Text.span (effectively) a combination of Data.Text.takeWhile and Data.Text.dropWhile?
2020-11-12 21:55:10 +0100jmcarthur(~jmcarthur@104.140.53.251) (Ping timeout: 272 seconds)
2020-11-12 21:55:48 +0100 <dminuoso> geekosaur45: From experience, not really. Degenerate projects seem to take a lot of time in the simplifier.
2020-11-12 21:55:52 +0100jakov(~jakov@95.168.121.30) (Client Quit)
2020-11-12 21:56:09 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-12 21:56:16 +0100 <dminuoso> At least most of them. It's of course not hard to write programs that take a long time to type check
2020-11-12 21:56:39 +0100 <dminuoso> As an example I frequently notice, megaparsec!
2020-11-12 21:57:01 +0100neiluj(~jco@238.106.204.77.rev.sfr.net) (Changing host)