Logs: liberachat/#haskell
| 2021-05-30 09:27:36 | → | ruomad joins (~ruomad@176.164.30.239) |
| 2021-05-30 09:28:36 | <superstar64> | how will it break? i'm not planning on having a gc though |
| 2021-05-30 09:29:24 | → | zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-05-30 09:30:08 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Remote host closed the connection) |
| 2021-05-30 09:30:27 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-30 09:30:46 | × | ruomad quits (~ruomad@176.164.30.239) (Read error: Connection reset by peer) |
| 2021-05-30 09:30:57 | × | ddellacosta quits (~ddellacos@89.46.62.74) (Ping timeout: 268 seconds) |
| 2021-05-30 09:31:54 | <wz1000> | If you turn `ST s1 (ST s2 a)` into `ST s2 (ST s1 a)`, and `s2 < s1`, then there might be things in region s2 that reference things in region s1, but these references will be dangling if you free region s1 but not s2 |
| 2021-05-30 09:32:21 | → | ruomad joins (~ruomad@176.164.30.239) |
| 2021-05-30 09:32:27 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 2021-05-30 09:32:42 | <superstar64> | right, i got that `ST s1 (ST s2 a) -> ST s2 (ST s1 a)` is illegal |
| 2021-05-30 09:32:51 | × | ruomad quits (~ruomad@176.164.30.239) (Client Quit) |
| 2021-05-30 09:34:03 | → | danidiaz1 joins (~ESDPC@static-102-64-63-95.ipcom.comunitel.net) |
| 2021-05-30 09:34:07 | <superstar64> | wz1000, , vanilla ST doesn't break with a regions at least right? |
| 2021-05-30 09:34:09 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
| 2021-05-30 09:34:32 | <superstar64> | i wonder it can help GHC optimizes ST |
| 2021-05-30 09:34:44 | <wz1000> | No, ST is just IO |
| 2021-05-30 09:34:49 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-05-30 09:35:53 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 268 seconds) |
| 2021-05-30 09:35:54 | × | danidiaz quits (~ESDPC@static-102-64-63-95.ipcom.comunitel.net) (Ping timeout: 268 seconds) |
| 2021-05-30 09:36:17 | → | ruomad joins (~ruomad@176.164.30.239) |
| 2021-05-30 09:37:07 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2021-05-30 09:40:10 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-30 09:41:56 | dy | is now known as lol |
| 2021-05-30 09:42:06 | lol | is now known as dy |
| 2021-05-30 09:43:58 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-05-30 09:44:04 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2021-05-30 09:44:09 | cheater1__ | is now known as cheater |
| 2021-05-30 09:45:14 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-30 09:46:30 | × | ruomad quits (~ruomad@176.164.30.239) (Ping timeout: 264 seconds) |
| 2021-05-30 09:46:37 | → | ddellacosta joins (~ddellacos@86.106.143.46) |
| 2021-05-30 09:47:06 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Ping timeout: 264 seconds) |
| 2021-05-30 09:48:21 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-05-30 09:48:52 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-05-30 09:48:54 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2021-05-30 09:49:02 | cheater1__ | is now known as cheater |
| 2021-05-30 09:50:04 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 268 seconds) |
| 2021-05-30 09:51:00 | lu | is now known as honk |
| 2021-05-30 09:51:26 | honk | is now known as lu |
| 2021-05-30 09:51:56 | × | ddellacosta quits (~ddellacos@86.106.143.46) (Ping timeout: 268 seconds) |
| 2021-05-30 09:52:11 | × | connrs quits (~connrs@s1.connrs.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-30 09:53:01 | → | connrs joins (~connrs@s1.connrs.uk) |
| 2021-05-30 09:53:06 | × | connrs quits (~connrs@s1.connrs.uk) (Remote host closed the connection) |
| 2021-05-30 09:53:46 | × | bfrk quits (~Thunderbi@200116b845d00f006a2925a261e5e856.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2021-05-30 09:54:01 | → | connrs joins (~connrs@s1.connrs.uk) |
| 2021-05-30 09:56:24 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 2021-05-30 09:59:07 | → | Dynom joins (~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) |
| 2021-05-30 10:00:13 | → | ddellacosta joins (~ddellacos@89.46.62.26) |
| 2021-05-30 10:00:33 | × | spoonm quits (~spoonm@tokyo.spoonm.org) (Ping timeout: 245 seconds) |
| 2021-05-30 10:02:36 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-30 10:02:42 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection) |
| 2021-05-30 10:04:52 | × | ddellacosta quits (~ddellacos@89.46.62.26) (Ping timeout: 268 seconds) |
| 2021-05-30 10:10:31 | → | Zppix16 joins (~Zppix@176.98.70.145) |
| 2021-05-30 10:10:34 | × | Zppix16 quits (~Zppix@176.98.70.145) (K-Lined) |
| 2021-05-30 10:12:22 | × | superstar64 quits (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving) |
| 2021-05-30 10:14:07 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-05-30 10:14:26 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-30 10:15:24 | → | prite joins (~pritam@user/pritambaral) |
| 2021-05-30 10:17:09 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-05-30 10:17:22 | → | smatting joins (~stefan@p200300cd7715d600c4e4ce0fc87c474b.dip0.t-ipconnect.de) |
| 2021-05-30 10:22:08 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-05-30 10:23:22 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-05-30 10:23:23 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-05-30 10:23:24 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-05-30 10:23:25 | cheater1__ | is now known as cheater |
| 2021-05-30 10:23:43 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-30 10:24:28 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) |
| 2021-05-30 10:25:16 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-30 10:26:40 | → | ddellacosta joins (~ddellacos@86.106.143.189) |
| 2021-05-30 10:28:19 | × | lu quits (~lu@user/lu) (Ping timeout: 268 seconds) |
| 2021-05-30 10:28:49 | → | rusua joins (uid124537@id-124537.highgate.irccloud.com) |
| 2021-05-30 10:29:32 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) (Ping timeout: 268 seconds) |
| 2021-05-30 10:31:30 | × | ddellacosta quits (~ddellacos@86.106.143.189) (Ping timeout: 264 seconds) |
| 2021-05-30 10:32:04 | <siers> | I have no threaded code, but compiling with -threaded -with-rtsopts='-N8' makes it 28% slower (32s/41s) |
| 2021-05-30 10:32:17 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-05-30 10:32:53 | <siers> | well, maybe some of the things I'm using are threaded, but I'm not sure what exactly... htop certainly shows it's using all cores |
| 2021-05-30 10:33:43 | <Rembane> | siers: What's your program doing on a high level? |
| 2021-05-30 10:33:54 | <Rembane> | siers: What are the dependencies? |
| 2021-05-30 10:34:05 | <koishi_> | could be GC |
| 2021-05-30 10:34:36 | <siers> | updating IntMaps, i/o on a mutable vector |
| 2021-05-30 10:35:08 | <koishi_> | enabling threaded runtime can hurt performance if your code doesn't make active use of parallelism |
| 2021-05-30 10:38:36 | <Rembane> | siers: Got it. Since it was way too long ago I experimented with parallel and concurrernt code in Haskell I think it's best to just use the fastest runtime settings, but there's probably someone else here who has a more informed opinion. :) |
| 2021-05-30 10:39:05 | <siers> | I can also shaer the code, if you want, but it's 1k LOC |
| 2021-05-30 10:39:21 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-30 10:39:32 | → | Cubic joins (~hannesste@ip5f5be453.dynamic.kabel-deutschland.de) |
| 2021-05-30 10:39:34 | → | lieuwex joins (~lieuwelie@2001:470:69fc:105::4e6) |
| 2021-05-30 10:39:40 | <siers> | koishi_, with parallelInterleaved from parallel-io I shaved off some seconds, but I was just surprised it's not a little more |
| 2021-05-30 10:40:17 | <Rembane> | siers: Check out Criterion see what is taking time. https://hackage.haskell.org/package/criterion |
| 2021-05-30 10:41:13 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-30 10:41:53 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-05-30 10:44:23 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 268 seconds) |
| 2021-05-30 10:44:56 | <tomsmeding> | edwardk: the topic still says the matrix bridge is coming soon, but it seems to be up now (and working quite well, hearing from friends) |
| 2021-05-30 10:45:19 | <lieuwex> | officially it is still "in testing" though if I'm not mistaken |
| 2021-05-30 10:46:08 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-05-30 10:46:21 | <koishi_> | siers actually you can try reducing -N |
| 2021-05-30 10:46:53 | <koishi_> | My laptop has 6 cores, but -N2 always gives me best performance |
| 2021-05-30 10:46:53 | → | zeenk2 joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-05-30 10:47:23 | × | zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Remote host closed the connection) |
| 2021-05-30 10:47:26 | × | qbt quits (~edun@user/edun) (Ping timeout: 268 seconds) |
| 2021-05-30 10:47:26 | × | juhp quits (~juhp@bb219-75-40-154.singnet.com.sg) (Ping timeout: 268 seconds) |
All times are in UTC.