Logs: liberachat/#haskell
| 2021-06-27 06:04:48 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 272 seconds) |
| 2021-06-27 06:07:07 | × | sleym quits (~sleym@209.58.128.51) (Quit: sleym) |
| 2021-06-27 06:09:17 | <dsal> | eco: You're going to have a hard time without RAM. For that type of scenario, I tend to use cachix on nixos. |
| 2021-06-27 06:13:10 | → | sleym joins (~sleym@209.58.128.51) |
| 2021-06-27 06:15:11 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-27 06:15:58 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-27 06:16:43 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-06-27 06:17:43 | × | sleym quits (~sleym@209.58.128.51) (Ping timeout: 272 seconds) |
| 2021-06-27 06:25:35 | → | alx741 joins (~alx741@181.196.69.41) |
| 2021-06-27 06:29:52 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-27 06:33:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-27 06:33:40 | → | aman joins (~aman@user/aman) |
| 2021-06-27 06:41:38 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-27 06:43:27 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 258 seconds) |
| 2021-06-27 06:44:15 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-27 06:44:28 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 2021-06-27 06:55:20 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 258 seconds) |
| 2021-06-27 06:58:24 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-06-27 06:59:25 | → | Topsi joins (~Tobias@dyndsl-037-138-064-045.ewe-ip-backbone.de) |
| 2021-06-27 07:06:47 | → | Morrow_ joins (~MorrowM_@147.161.9.139) |
| 2021-06-27 07:07:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-27 07:11:06 | × | MorrowM quits (~MorrowM_@147.161.9.139) (Ping timeout: 265 seconds) |
| 2021-06-27 07:13:16 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-27 07:15:11 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-27 07:17:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-27 07:21:15 | × | n283 quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-27 07:23:50 | → | acidjnk joins (~acidjnk@p200300d0c72b9515dd29d5fa98a40466.dip0.t-ipconnect.de) |
| 2021-06-27 07:26:31 | × | jneira_ quits (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) (Quit: Ping timeout (120 seconds)) |
| 2021-06-27 07:32:00 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-06-27 07:32:04 | <qrpnxz> | I'm trying to do a parallel fold, but i'm getting some spooky unfusing where somehow where one computation finished before another even though they are both supposed to be happening in the same pass, and the result of both should happen at the same time. I suppose somehow the ghc could figure out that they are parallel, separate the computation, then actually like put them in separate coroutines and then s |
| 2021-06-27 07:32:05 | <qrpnxz> | omehow one finished first. But that sounds way too fancy. I got no other explanation though 😄️ |
| 2021-06-27 07:32:50 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 272 seconds) |
| 2021-06-27 07:33:21 | <sm[m]> | eco: -j1 to build one thing at a time. --ghc-options='+RTS -M1G -RTS' to encourage ghc to use that much heap |
| 2021-06-27 07:34:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-27 07:34:47 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-27 07:35:25 | → | a6a45081-2b83 joins (~aditya@122.163.205.132) |
| 2021-06-27 07:35:43 | <a6a45081-2b83> | what is the technical name for operators such as (5+) or (*2)? |
| 2021-06-27 07:37:25 | <c_wraith> | "sections" is probably what you're looking for |
| 2021-06-27 07:38:09 | × | shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 272 seconds) |
| 2021-06-27 07:38:39 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-27 07:40:31 | <a6a45081-2b83> | c_wraith: thanks! |
| 2021-06-27 07:40:42 | × | a6a45081-2b83 quits (~aditya@122.163.205.132) (Quit: Konversation terminated!) |
| 2021-06-27 07:42:38 | × | tinwood quits (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2021-06-27 07:44:49 | × | bilegeek quits (~bilegeek@2600:1008:b015:3e96:6f34:1a42:6ac5:3b86) (Quit: Leaving) |
| 2021-06-27 07:45:11 | → | shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
| 2021-06-27 07:45:40 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-06-27 07:45:40 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2021-06-27 07:45:40 | → | tinwood joins (~tinwood@canonical/tinwood) |
| 2021-06-27 07:45:42 | → | delYsid joins (~user@84-115-55-45.cable.dynamic.surfer.at) |
| 2021-06-27 07:46:26 | → | fendor joins (~fendor@178.115.128.40.wireless.dyn.drei.com) |
| 2021-06-27 07:47:11 | <tomsmeding> | eco: no, add swap :p |
| 2021-06-27 07:47:13 | <delYsid> | How does haskell treat pattern matches of constant types passed to a function. I.e., say I have data Foo = Foo | Bar and a function f Foo = 1; f Bar = 2 Is calling "f Foo" somewhere equivalent to a function fFoo = 1, or does the matching happen at runtime? |
| 2021-06-27 07:47:34 | <tomsmeding> | there are some things you can try but in my experience, 2GB is just not enough |
| 2021-06-27 07:47:46 | <tomsmeding> | (for the heaviest packages like lens/aeson/vector) |
| 2021-06-27 07:48:09 | <c_wraith> | delYsid: when compiled with optimizations, that should be inlined/simplified at compile time |
| 2021-06-27 07:48:23 | <c_wraith> | delYsid: but to make sure, examine the core ghc generates |
| 2021-06-27 07:51:11 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-27 07:54:36 | × | myShoggoth quits (~myShoggot@75.164.29.44) (Ping timeout: 252 seconds) |
| 2021-06-27 08:00:07 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:7930:a54c:f178:5c1a) (Remote host closed the connection) |
| 2021-06-27 08:00:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-27 08:03:49 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-27 08:04:17 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-06-27 08:06:09 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-06-27 08:09:12 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-06-27 08:14:32 | → | tako joins (~user@net-2-34-77-146.cust.vodafonedsl.it) |
| 2021-06-27 08:17:39 | ← | tako parts (~user@net-2-34-77-146.cust.vodafonedsl.it) () |
| 2021-06-27 08:17:52 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-06-27 08:17:54 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-27 08:18:21 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-27 08:21:40 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds) |
| 2021-06-27 08:23:22 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-27 08:23:47 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-06-27 08:33:13 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-27 08:33:29 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-27 08:34:23 | → | laguneucl joins (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-06-27 08:34:37 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-27 08:37:52 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-27 08:38:13 | × | shachaf quits (~shachaf@user/shachaf) (Quit: Reconnecting) |
| 2021-06-27 08:38:20 | → | shachaf_ joins (~shachaf@li227-219.members.linode.com) |
| 2021-06-27 08:38:42 | × | shachaf_ quits (~shachaf@li227-219.members.linode.com) (Changing host) |
| 2021-06-27 08:38:42 | → | shachaf_ joins (~shachaf@user/shachaf) |
| 2021-06-27 08:39:09 | shachaf_ | is now known as shachaf |
| 2021-06-27 08:40:59 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-27 08:42:35 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-06-27 08:48:53 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (*.net *.split) |
| 2021-06-27 08:48:53 | × | shane quits (~shane@ana.rch.ist) (*.net *.split) |
| 2021-06-27 08:48:53 | × | Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split) |
| 2021-06-27 08:48:53 | × | tlax_ quits (tlax@kapsi.fi) (*.net *.split) |
| 2021-06-27 08:48:53 | × | mmaruseacph2 quits (~mihai@198.199.100.72) (*.net *.split) |
| 2021-06-27 08:48:53 | × | Hecate quits (~mariposa@user/hecate) (*.net *.split) |
| 2021-06-27 08:48:53 | × | dmwit quits (~dmwit@pool-96-255-233-247.washdc.fios.verizon.net) (*.net *.split) |
| 2021-06-27 08:48:53 | × | Chobbes quits (~Chobbes@user/chobbes) (*.net *.split) |
| 2021-06-27 08:48:53 | × | kaol quits (~kaol@178.62.241.234) (*.net *.split) |
| 2021-06-27 08:48:53 | × | Clint quits (~Clint@user/clint) (*.net *.split) |
| 2021-06-27 08:48:53 | × | Eoco quits (~ian@x-160-94-179-157.acm.umn.edu) (*.net *.split) |
| 2021-06-27 08:49:00 | → | shane joins (~shane@ana.rch.ist) |
| 2021-06-27 08:49:00 | → | Hecate_ joins (~mariposa@163.172.211.189) |
| 2021-06-27 08:49:00 | → | tlax joins (tlax@kapsi.fi) |
| 2021-06-27 08:49:01 | → | Clint joins (~Clint@user/clint) |
| 2021-06-27 08:49:03 | → | kaol_ joins (~kaol@178.62.241.234) |
All times are in UTC.