Logs: freenode/#haskell
| 2021-04-07 11:38:07 | <tomsmeding> | what is the cardinality of the set of types that match 'a'? Is that bigger or smaller than the cardinality of the set of types matching '[a]'? |
| 2021-04-07 11:40:50 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-07 11:42:43 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.1) |
| 2021-04-07 11:45:16 | <AWizzArd> | Which is "better" (i.e. faster) for compiling with GHC? |
| 2021-04-07 11:45:18 | <AWizzArd> | a) AMD Ryzen 9 5950X, Cores: 16 Threads: 32, Single Thread: 3,494 MOps/Sec or |
| 2021-04-07 11:45:21 | <AWizzArd> | b) AMD EPYC 7502P, Cores: 32 Threads: 64, Single Thread: 1,777 MOps/Sec |
| 2021-04-07 11:45:57 | → | Wuzzy joins (~Wuzzy@p5790e46d.dip0.t-ipconnect.de) |
| 2021-04-07 11:46:47 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 246 seconds) |
| 2021-04-07 11:48:56 | × | MichaelFreeman quits (2d136c0c@45-19-108-12.lightspeed.tukrga.sbcglobal.net) (Quit: Connection closed) |
| 2021-04-07 11:50:50 | <tdammers> | my guess would be a) |
| 2021-04-07 11:51:02 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-07 11:51:37 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-07 11:51:55 | <tdammers> | twice as many threads at half the speed should theoretically be on par, but only if you can fully exhaust them all. for anything that doesn't max out on parallelism, the higher single-core speed is going to win. |
| 2021-04-07 11:52:34 | <tdammers> | though I have no idea how either machine would fare in terms of RAM, cache, disk I/O, and all that |
| 2021-04-07 11:53:01 | → | edwtjo joins (~edwtjo@h-7-145.A213.priv.bahnhof.se) |
| 2021-04-07 11:53:01 | × | edwtjo quits (~edwtjo@h-7-145.A213.priv.bahnhof.se) (Changing host) |
| 2021-04-07 11:53:01 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 2021-04-07 11:53:49 | <AWizzArd> | I would also guess that fewer threads but with more performance each should be more useful. |
| 2021-04-07 11:53:58 | → | nrh^ joins (nrh@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-07 11:54:06 | → | rodriga joins (~quassel@134.204.25.66) |
| 2021-04-07 11:55:25 | <fendor> | In my experience, building ghc rarely utilises all my 16 cores. So, a) sounds better to me, too |
| 2021-04-07 11:55:43 | <fendor> | *16 threads |
| 2021-04-07 11:57:51 | <rodriga> | Hmm is there a macro or something in Haskell that automatically finds callers, changes callers to thread arguments to their children, or to convert to Monads? |
| 2021-04-07 12:00:55 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-07 12:01:15 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-07 12:01:27 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-04-07 12:04:04 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-07 12:05:37 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-04-07 12:06:06 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-04-07 12:09:25 | × | m1dnight_ quits (~m1dnight@188.ip-51-91-158.eu) (Quit: WeeChat 2.4) |
| 2021-04-07 12:09:41 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-07 12:10:22 | → | m1dnight_ joins (~m1dnight@188.ip-51-91-158.eu) |
| 2021-04-07 12:11:11 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-07 12:11:42 | <merijn> | fendor: there's some work on parallelising GHC, I think? |
| 2021-04-07 12:12:28 | <merijn> | Biggest problem right now is that Cabal uses "ghc --make" so package builds aren't parallel as long as GHC isn't really parallel |
| 2021-04-07 12:12:44 | <fendor> | but ghc is parallel in compiling modules, right? |
| 2021-04-07 12:13:06 | <fendor> | *compiling modules that have no interdependency |
| 2021-04-07 12:13:23 | <fendor> | *compiling the module graph |
| 2021-04-07 12:13:50 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-07 12:13:59 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:ef73:96e:9562:7f87) (Ping timeout: 260 seconds) |
| 2021-04-07 12:15:32 | × | aVikingTrex quits (789a2138@120.154.33.56) (Quit: Connection closed) |
| 2021-04-07 12:16:53 | → | todda7 joins (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-07 12:19:00 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-07 12:20:06 | → | rnat2 joins (uid73555@gateway/web/irccloud.com/x-fvqffrxzjqvhxxzw) |
| 2021-04-07 12:21:41 | × | rprije quits (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2021-04-07 12:22:01 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-07 12:25:19 | <merijn> | fendor: I'm not sure it is, tbh |
| 2021-04-07 12:25:33 | <merijn> | Not nearly as much as it could be, anyway |
| 2021-04-07 12:26:09 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:3653:fd0e:1076:1c7b) |
| 2021-04-07 12:26:58 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-07 12:29:51 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-07 12:30:40 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-07 12:31:21 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-07 12:33:13 | × | __minoru__shirae quits (~shiraeesh@5.101.59.224) (Ping timeout: 252 seconds) |
| 2021-04-07 12:34:03 | → | aishstha joins (1b221163@27.34.17.99) |
| 2021-04-07 12:36:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-07 12:39:03 | → | bitmagie joins (~Thunderbi@200116b806def70019cb251edf03c083.dip.versatel-1u1.de) |
| 2021-04-07 12:39:04 | → | ddellacosta joins (~ddellacos@86.106.143.213) |
| 2021-04-07 12:39:30 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-yqepddmznaiakcld) (Quit: Connection closed for inactivity) |
| 2021-04-07 12:40:26 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-04-07 12:41:23 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 248 seconds) |
| 2021-04-07 12:42:46 | <fendor> | well, it builds a module graph, and prallelising compilation on this graph is not too complicated. But I also think that there might be bigger gains in parallel compilation of a module |
| 2021-04-07 12:43:13 | <fendor> | Or rather, I can imagine, as I have not really an idea whether it actually would benefit anything |
| 2021-04-07 12:43:23 | × | ddellacosta quits (~ddellacos@86.106.143.213) (Ping timeout: 260 seconds) |
| 2021-04-07 12:45:01 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-07 12:46:03 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-04-07 12:46:45 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:5c9f:f9c:c668:a47e) |
| 2021-04-07 12:46:56 | → | carlomagno joins (~cararell@148.87.23.13) |
| 2021-04-07 12:47:27 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-07 12:48:00 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-07 12:48:15 | <merijn> | fendor: You are right *in theory* |
| 2021-04-07 12:48:38 | <merijn> | But I don't think GHC is architected to really make use of that effectively yet |
| 2021-04-07 12:48:41 | × | bitmagie quits (~Thunderbi@200116b806def70019cb251edf03c083.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-04-07 12:49:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-07 12:49:24 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-07 12:52:14 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-04-07 12:52:23 | → | ADG1089 joins (~aditya@223.226.239.183) |
| 2021-04-07 12:52:49 | <ADG1089> | @pl readArray arr r >>= \v -> writeArray arr r $ max v v' |
| 2021-04-07 12:52:49 | <lambdabot> | writeArray arr r . max v' =<< readArray arr r |
| 2021-04-07 12:53:02 | <ADG1089> | hmm, not worth it |
| 2021-04-07 12:55:08 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-07 12:56:43 | × | aishstha quits (1b221163@27.34.17.99) (Ping timeout: 240 seconds) |
| 2021-04-07 12:57:14 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-07 13:00:44 | <geekosaur> | @pl \arr r -> readArray arr r >>= \v -> writeArray arr r $ max v v' |
| 2021-04-07 13:00:44 | <lambdabot> | ap (ap . ((>>=) .) . readArray) (flip flip (max v') . ((.) .) . writeArray) |
| 2021-04-07 13:00:48 | <geekosaur> | oy |
| 2021-04-07 13:01:29 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-07 13:02:36 | <ADG1089> | holy fucking shit wtf that pl resulted in |
| 2021-04-07 13:03:31 | → | andreabedini joins (~andreabed@8s8kj6nq8lb1xsln9frf.ip6.superloop.com) |
| 2021-04-07 13:04:39 | <merijn> | :p |
| 2021-04-07 13:04:44 | <merijn> | Don't trust @pl :p |
| 2021-04-07 13:04:59 | <mniip> | pl stands for perl |
| 2021-04-07 13:05:17 | <merijn> | pl stands for pointless, which is much funnier :p |
| 2021-04-07 13:06:51 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:5c9f:f9c:c668:a47e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-07 13:07:32 | <ADG1089> | what does Foo.\.\.\ mean in prof? I am seeing this for chained monadic computations in do notation |
| 2021-04-07 13:07:54 | <geekosaur> | each \ is an unnamed lambda somewhere under Foo |
| 2021-04-07 13:08:16 | <geekosaur> | (unnamed lambda is redundant…) |
| 2021-04-07 13:08:38 | <ADG1089> | oh, that would be my lambda as last argument for forM_ |
| 2021-04-07 13:09:17 | → | cafce25 joins (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) |
| 2021-04-07 13:09:42 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:5c9f:f9c:c668:a47e) |
All times are in UTC.