Newest at the top
2024-10-20 23:00:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-10-20 22:59:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-20 22:54:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-20 22:53:15 +0200 | <monochrom> | recreational math >:) |
2024-10-20 22:52:45 +0200 | <dolio> | Is Agda a game or productivity? :รพ |
2024-10-20 22:51:00 +0200 | <monochrom> | and which in turn is euphemism for bloatware </rant> |
2024-10-20 22:50:12 +0200 | <TMA> | int-e: "productivity" is a nickname for "office applications" |
2024-10-20 22:45:14 +0200 | jero98772 | (~jero98772@2800:484:1d7c:cc00::11) (Remote host closed the connection) |
2024-10-20 22:41:42 +0200 | <davean> | There are a lot of low level details here |
2024-10-20 22:41:36 +0200 | <davean> | Yah Haskell does a lot of memory writes so it hits AGUs hard. It also reads from writes a lot so reading from the write buffer matters. |
2024-10-20 22:39:20 +0200 | xal | (~xal@mx1.xal.systems) xal |
2024-10-20 22:36:26 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
2024-10-20 22:36:13 +0200 | <monochrom> | I'm afraid Haskell programs are both CPU-intensive and memory-intensive. |
2024-10-20 22:34:11 +0200 | Square | (~Square@user/square) Square |
2024-10-20 22:31:20 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
2024-10-20 22:29:51 +0200 | <davean> | Intercore latency can also matter a lot. |
2024-10-20 22:29:21 +0200 | <davean> | Predictors and prefetchers matter a ton. Generally more than cache specificly. |
2024-10-20 22:28:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-20 22:26:38 +0200 | <davean> | dolio: yes there have been messures. Its complicated. It also varies by the program a degree. |
2024-10-20 22:23:46 +0200 | jero98772 | (~jero98772@2800:484:1d7c:cc00::11) |
2024-10-20 22:23:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-20 22:23:21 +0200 | <int-e> | Anyway, no, but I would also guess that larger caches benefit Haskell more than higher CPU frequencies. |
2024-10-20 22:22:34 +0200 | <int-e> | . o O ( "productivity" - can they be more nebulous please ) |
2024-10-20 22:19:37 +0200 | dcoutts | (~duncan@185.201.60.254) (Remote host closed the connection) |
2024-10-20 22:18:42 +0200 | <dolio> | er? |
2024-10-20 22:18:42 +0200 | <dolio> | Has anyone tried measuring which CPU tradeoffs match Haskell programs better? E.G. there are chips that have more cache, but run at lower frequencies. If you read reviews, they will say those are "better for games," but "worse for productivity." But I don't know how representative "productivity" is of writing and using Haskell programs. Does Haskell benefit from more cache due to overall less locality? Or are the effects of that not significant enough to matt |
2024-10-20 22:18:05 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-10-20 22:12:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-20 22:06:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-20 22:06:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-10-20 22:00:25 +0200 | user363627 | weary-traveler |
2024-10-20 21:59:45 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
2024-10-20 21:59:45 +0200 | k_hachig_ | k_hachig |
2024-10-20 21:59:38 +0200 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:b99b:866d:1e85:f777) k_hachig |
2024-10-20 21:59:05 +0200 | neuroevolutus | (~neuroevol@79.127.222.218) neuroevolutus |
2024-10-20 21:57:44 +0200 | hgolden_ | (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 252 seconds) |
2024-10-20 21:56:45 +0200 | user363627 | (~user@user/user363627) user363627 |
2024-10-20 21:55:22 +0200 | hgolden__ | (~hgolden@146.70.173.101) hgolden |
2024-10-20 21:55:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-20 21:50:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-20 21:49:04 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-20 21:45:30 +0200 | neuroevolutus | (~neuroevol@79.127.222.205) (Quit: Client closed) |
2024-10-20 21:40:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-20 21:37:52 +0200 | neuroevolutus | (~neuroevol@79.127.222.205) neuroevolutus |
2024-10-20 21:35:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-20 21:21:27 +0200 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
2024-10-20 21:18:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-20 21:15:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-10-20 21:15:42 +0200 | dcoutts | (~duncan@185.201.60.254) dcoutts |
2024-10-20 21:11:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |