Newest at the top
| 2026-07-05 16:18:46 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 16:16:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 258 seconds) |
| 2026-07-05 16:14:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 16:11:02 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-07-05 16:10:21 +0000 | ih1d_ | (~isaaclope@24.54.249.2) |
| 2026-07-05 16:10:21 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 16:09:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 16:05:54 +0000 | <tomsmeding> | oh right, bottoms in the list spine would also need to be modelled, yet more ugliness |
| 2026-07-05 16:05:29 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2026-07-05 16:04:15 +0000 | bggd | (~bgg@user/bggd) (Quit: std::move) |
| 2026-07-05 16:01:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-07-05 15:58:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 15:56:26 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 258 seconds) |
| 2026-07-05 15:56:14 +0000 | ih1d | (~isaaclope@24.54.249.2) (Ping timeout: 265 seconds) |
| 2026-07-05 15:54:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 15:51:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-07-05 15:50:19 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 15:44:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-07-05 15:39:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 15:36:20 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 244 seconds) |
| 2026-07-05 15:30:55 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 15:30:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-07-05 15:28:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-07-05 15:24:21 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 15:24:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 15:18:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 255 seconds) |
| 2026-07-05 15:13:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-07-05 15:12:55 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 15:08:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 15:02:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2026-07-05 14:59:58 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 257 seconds) |
| 2026-07-05 14:59:30 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-07-05 14:58:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-05 14:58:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-05 14:56:41 +0000 | <jaror> | Yeah changing the semantics is not cool |
| 2026-07-05 14:54:50 +0000 | <EvanR> | it's basically a completely broken abstraction on their part |
| 2026-07-05 14:53:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-05 14:53:50 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) |
| 2026-07-05 14:53:37 +0000 | <EvanR> | character being a placeholder for whatever type |
| 2026-07-05 14:53:09 +0000 | <EvanR> | in the 100th "transparent" chunk |
| 2026-07-05 14:52:44 +0000 | <EvanR> | and it crashes when you get to character 6403 |
| 2026-07-05 14:52:28 +0000 | <EvanR> | so character 6461 |
| 2026-07-05 14:52:22 +0000 | <EvanR> | not 61. imagine chunk = 6400 |
| 2026-07-05 14:51:49 +0000 | <jaror> | so you mean you have a lazy list with an error in character 61 but it already gets thrown when accessing the third element? |
| 2026-07-05 14:51:23 +0000 | <EvanR> | assuming nothing throws an exception or goes into an infinite loop "it's fine", like ignoring bottoms in haskell. But that's unrealistic in java |
| 2026-07-05 14:49:57 +0000 | <EvanR> | jaror, start of chunk[61] |
| 2026-07-05 14:49:36 +0000 | <EvanR> | you're supposedly interacting with a straight list |
| 2026-07-05 14:49:26 +0000 | <EvanR> | "chunk" not being an observable location in the language |
| 2026-07-05 14:49:24 +0000 | <jaror> | What is character chunk + 61? |
| 2026-07-05 14:48:29 +0000 | <EvanR> | tomsmeding, clojure "transparently" implements their main lazy list using chunking. And when the computation of character chunk + 61 throws an exception, it is thrown when you think you are accessing chunk + 3 |