Newest at the top
| 2026-05-18 09:55:55 +0000 | dhil | (~dhil@5.151.29.141) dhil |
| 2026-05-18 09:54:11 +0000 | Square | (~Square@user/square) Square |
| 2026-05-18 09:52:27 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-18 09:51:34 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-18 09:42:30 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-18 09:41:26 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-05-18 09:41:06 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) random-jellyfish |
| 2026-05-18 09:41:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-18 09:41:02 +0000 | tired | (~tired@user/tired) tired |
| 2026-05-18 09:40:53 +0000 | opqdonut | (foobar@pseudo.opqdonut.fi) |
| 2026-05-18 09:40:46 +0000 | tired | (~tired@user/tired) (*.net *.split) |
| 2026-05-18 09:40:46 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (*.net *.split) |
| 2026-05-18 09:40:46 +0000 | divlamir | (~divlamir@user/divlamir) (*.net *.split) |
| 2026-05-18 09:40:46 +0000 | opqdonut | (foobar@pseudo.opqdonut.fi) (*.net *.split) |
| 2026-05-18 09:40:46 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (*.net *.split) |
| 2026-05-18 09:40:46 +0000 | Square2 | (~Square4@user/square) (*.net *.split) |
| 2026-05-18 09:37:45 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 255 seconds) |
| 2026-05-18 09:27:05 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-18 09:25:58 +0000 | Axman6 | (~Axman6@user/axman6) (Server closed connection) |
| 2026-05-18 09:24:58 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-05-18 09:19:00 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-05-18 09:19:00 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:78ec:2aa1:5f2:74f) (Changing host) |
| 2026-05-18 09:19:00 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:78ec:2aa1:5f2:74f) |
| 2026-05-18 09:16:52 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 276 seconds) |
| 2026-05-18 09:16:07 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5696c136384b83479c9.dip0.t-ipconnect.de) acidjnk |
| 2026-05-18 09:08:07 +0000 | ouroboros | (~ouroboros@user/ouroboros) ouroboros |
| 2026-05-18 09:07:16 +0000 | ouroboros | (~ouroboros@user/ouroboros) (Server closed connection) |
| 2026-05-18 09:05:31 +0000 | <tomsmeding> | cheers :) |
| 2026-05-18 09:04:40 +0000 | <Freakie> | but thanks for the discussion either way |
| 2026-05-18 09:04:36 +0000 | <Freakie> | my own laziness has bit me in the ass I suppose so I can't say for sure if what I described earlier was actually something I just misremembered or not |
| 2026-05-18 09:03:58 +0000 | <tomsmeding> | I can imagine |
| 2026-05-18 09:03:22 +0000 | <Freakie> | but yeah the largest input I'm running on is 5 gb and without reducing GC time I'm basically dead in the water at that point |
| 2026-05-18 09:01:27 +0000 | <Freakie> | basically the the data needs to be oriented around reducing IO operations when reading through e.g. lists |
| 2026-05-18 08:57:26 +0000 | <tomsmeding> | yeah that seems like a smoking gun then |
| 2026-05-18 08:57:03 +0000 | <tomsmeding> | funny, never thought about that |
| 2026-05-18 08:56:48 +0000 | <Freakie> | yeah |
| 2026-05-18 08:56:46 +0000 | <tomsmeding> | your L3 cache? |
| 2026-05-18 08:56:39 +0000 | <Freakie> | so theres' always the chance that I just remembered poorly what my CLI arguments were |
| 2026-05-18 08:56:11 +0000 | <Freakie> | and it seems when I do increase it to match my cache I get the same runtimes as before |
| 2026-05-18 08:55:58 +0000 | <Freakie> | part of my thesis also involves reasoning about the allocator size of the nursery |
| 2026-05-18 08:55:29 +0000 | <tomsmeding> | right |
| 2026-05-18 08:55:24 +0000 | <tomsmeding> | I'm not sure where your sudden change in behaviour comes from. If you haven't already, I'd try to restore your system state to what it was when it did work -- perhaps a clean build of your source in a new directory |
| 2026-05-18 08:55:22 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) random-jellyfish |
| 2026-05-18 08:55:19 +0000 | <Freakie> | by their very nature that ends up with a lot of data that the garbage collector can't tell won't be garbage collected for a long time |
| 2026-05-18 08:54:09 +0000 | <tomsmeding> | oh interesting |
| 2026-05-18 08:53:58 +0000 | <Freakie> | which involves a lot of writing and reading back and forth |
| 2026-05-18 08:53:51 +0000 | <Freakie> | but I'm working with algorithms that are designed to be efficient when working on data in external memory |
| 2026-05-18 08:53:15 +0000 | <tomsmeding> | that... sounds believable |
| 2026-05-18 08:52:58 +0000 | <Freakie> | generally the observation has been a 10-20% increase to MUT time but a drastic reduction in GC |
| 2026-05-18 08:52:40 +0000 | <Freakie> | I don't need it to be practical (for any serious purposes), I just need to show some indications that this is a valid direction |