Newest at the top
| 2025-10-19 22:52:01 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-19 22:51:56 +0200 | SlackCoder | (~SlackCode@208.26.91.234) SlackCoder |
| 2025-10-19 22:47:46 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 246 seconds) |
| 2025-10-19 22:47:27 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-10-19 22:41:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-19 22:40:36 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-10-19 22:40:18 +0200 | malte | (~malte@mal.tc) malte |
| 2025-10-19 22:38:29 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Read error: Connection reset by peer) |
| 2025-10-19 22:38:19 +0200 | flipflops | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-19 22:36:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-19 22:32:23 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-10-19 22:32:09 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Client Quit) |
| 2025-10-19 22:31:34 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-19 22:31:19 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2025-10-19 22:31:10 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-19 22:30:01 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 264 seconds) |
| 2025-10-19 22:29:10 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-10-19 22:28:31 +0200 | malte | (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2025-10-19 22:22:58 +0200 | <geekosaur> | meaning any mechanism to access outer contexts will be some form of liftST (viz. liftIO), which isnt flexible enough |
| 2025-10-19 22:22:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-19 22:21:48 +0200 | esph | (~weechat@user/esph) esph |
| 2025-10-19 22:21:36 +0200 | <geekosaur> | but ST in GHC is based on IO |
| 2025-10-19 22:21:21 +0200 | <geekosaur> | btgw I am getting a strong sense of "an effects system-based ST might be able to do this" |
| 2025-10-19 22:20:24 +0200 | <geekosaur> | so maybe it wasn't crawlers, just something that got missed during the recent move or sth |
| 2025-10-19 22:20:05 +0200 | <geekosaur> | mm, also working here now |
| 2025-10-19 22:19:33 +0200 | <Lycurgus> | confirmed |
| 2025-10-19 22:19:21 +0200 | <geekosaur> | if it's crawler overload, it probably depends on whether you can sneak in between the load |
| 2025-10-19 22:18:51 +0200 | <int-e> | looks like the wiki is better now? |
| 2025-10-19 22:18:36 +0200 | fp1 | fp |
| 2025-10-19 22:18:36 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-10-19 22:18:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-19 22:17:22 +0200 | fp1 | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-10-19 22:15:26 +0200 | <Lycurgus> | *noun |
| 2025-10-19 22:15:19 +0200 | <Lycurgus> | ok igess if 'leak' can be a shorthard for any vibe related concepts full nonun phrase |
| 2025-10-19 22:14:36 +0200 | <geekosaur> | (unlike mtl, there's no way to infer it from the type the way e.g. liftIO does) |
| 2025-10-19 22:13:50 +0200 | <Lycurgus> | leak |
| 2025-10-19 22:13:24 +0200 | <geekosaur> | if you use liftST instead of importST, this translates to "you must know exactly how many nested liftST are needed to reach the correct outer computation" |
| 2025-10-19 22:12:34 +0200 | <geekosaur> | here's another thing from the paper that says runST isn't enough: "The problem is that the explicit connection between the outer and inner regions in the product type enforces a total order on regions, which leaks into the types of region allocated values." |
| 2025-10-19 22:12:00 +0200 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2025-10-19 22:09:54 +0200 | <Lycurgus> | *partial |
| 2025-10-19 22:09:49 +0200 | <geekosaur> | right, load just got 502 finally |
| 2025-10-19 22:09:47 +0200 | Haskeller0x00 | (~Haskeller@38.49.92.193) (Ping timeout: 250 seconds) |
| 2025-10-19 22:09:23 +0200 | <geekosaur> | but there should be a redirect in that case |
| 2025-10-19 22:09:23 +0200 | <Lycurgus> | yes, i got a partical response b4 it went complelty belly up showing the detested nginx |
| 2025-10-19 22:09:10 +0200 | <geekosaur> | moved is somewhat possible, there were some rearrangements relatively recently due to a security issue |
| 2025-10-19 22:08:46 +0200 | <monochrom> | It should not have moved. It's probably down. |
| 2025-10-19 22:08:31 +0200 | <geekosaur> | just asked in -infrastructure |
| 2025-10-19 22:08:08 +0200 | <geekosaur> | likewise |
| 2025-10-19 22:07:56 +0200 | <darkling> | Down for me. |
| 2025-10-19 22:07:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |