Newest at the top
| 2024-10-20 23:06:47 +0200 | <monochrom> | I bet "productivity" just means "not gaming" and/or "doesn't need GPU". |
| 2024-10-20 23:05:20 +0200 | <dolio> | It's frightening. |
| 2024-10-20 23:05:08 +0200 | <dolio> | Oh yeah, I forgot about how much people do with spreadsheets. :þ |
| 2024-10-20 23:04:47 +0200 | <davean> | Productivity does infact include office applications in benchmarks. And no, office applications do not run fast enough. Many business spreadsheets can still take quite a while to run |
| 2024-10-20 23:04:45 +0200 | <monochrom> | Professionals edit videos in an office so it's an office application. >:) |
| 2024-10-20 23:03:45 +0200 | <dolio> | Also, I'm not sure "office application" is what they mean anymore. I think they might mean "encoding videos," because they have the idea that a non-negligible portion of the population consists of professional youtubers. Also probably because office applications have run fast enough for a long time now. |
| 2024-10-20 23:01:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 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) |