Newest at the top
| 2024-10-21 00:14:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-21 00:09:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-20 23:58:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-20 23:52:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-20 23:51:01 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-10-20 23:48:43 +0200 | rmca | (~rob@188.120.84.50) (Ping timeout: 245 seconds) |
| 2024-10-20 23:48:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-20 23:43:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-20 23:39:10 +0200 | <dmj`> | go's static linking is cool |
| 2024-10-20 23:38:07 +0200 | <dmj`> | rust are probably big due to inlining |
| 2024-10-20 23:32:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-20 23:27:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-20 23:27:42 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-20 23:27:13 +0200 | neuroevolutus | (~neuroevol@79.127.222.218) (Ping timeout: 256 seconds) |
| 2024-10-20 23:25:45 +0200 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 2024-10-20 23:15:02 +0200 | <identity> | ellyse_e: rust executables are not really special in that regard, go's easily balloon too |
| 2024-10-20 23:13:57 +0200 | <davean> | monochrom: right, no one sells consumer PCs for scientific, thats the field of HPC/Supercomputer sales or at the very least specialized workstations. |
| 2024-10-20 23:13:11 +0200 | <Franciman> | cool, thanks |
| 2024-10-20 23:11:33 +0200 | <haskellbridge> | <ellyse_e> Franciman: i think rust executables are notoriously large, zig is a better example in release mode |
| 2024-10-20 23:11:31 +0200 | <monochrom> | I mean, sure, if you go to an app store, they have a much richer classification than game vs productivity (e.g., in that context, productivity does mean office applications; video processing has its own class). But in the context of selling PCs, it's really the very simplistic trichotomy of GPU-bound, video editing, neither (which is nicknamed "productivity"). |
| 2024-10-20 23:11:23 +0200 | <davean> | Franciman: There are Haskell compilers that can do 127kB but they're limited ones. |
| 2024-10-20 23:11:01 +0200 | <dmj`> | "modern C" |
| 2024-10-20 23:09:51 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2024-10-20 23:09:22 +0200 | <Franciman> | i think the same goes for all other modern languages, except maybe rust? |
| 2024-10-20 23:08:58 +0200 | <dmj`> | not if you're linking with the rts |
| 2024-10-20 23:08:37 +0200 | <Franciman> | can't have a 127kb haskell executable |
| 2024-10-20 23:08:30 +0200 | <Franciman> | most modern stuff is bloatware |
| 2024-10-20 23:08:24 +0200 | <Franciman> | most haskell software is bloatware too lol |
| 2024-10-20 23:07:30 +0200 | <int-e> | . o O ( gaming but the game is Factorio ) |
| 2024-10-20 23:07:26 +0200 | <davean> | My understanding is productivity doesn't include scientific workloads either. |
| 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. |