Newest at the top
| 2026-03-07 17:35:36 +0100 | madresch | (~Thunderbi@user/madresch) (Read error: Connection reset by peer) |
| 2026-03-07 17:34:22 +0100 | atejandev | (~ajdev@user/atejandev) atejandev |
| 2026-03-07 17:34:12 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-07 17:33:40 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-07 17:30:46 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-07 17:28:09 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-03-07 17:27:42 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-07 17:26:50 +0100 | atejandev | (~ajdev@user/atejandev) (Client Quit) |
| 2026-03-07 17:26:30 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-07 17:24:06 +0100 | atejandev | (~ajdev@user/atejandev) atejandev |
| 2026-03-07 17:21:51 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-07 17:20:50 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-07 17:19:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-07 17:17:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-07 17:13:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 17:04:45 +0100 | qqq | (~qqq@185.54.23.93) (Remote host closed the connection) |
| 2026-03-07 17:02:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-07 16:58:35 +0100 | simpleshun | (~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1) |
| 2026-03-07 16:57:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 16:56:31 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e975:d7be:a717:768f) |
| 2026-03-07 16:46:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 16:44:07 +0100 | metabulation | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2026-03-07 16:43:27 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-07 16:42:19 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2026-03-07 16:42:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 16:39:20 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2026-03-07 16:38:42 +0100 | metabulation | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-07 16:36:52 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-07 16:35:06 +0100 | bggd__ | (~bgg@2a01:e0a:fd5:f510:537e:c033:7f9f:3728) (Remote host closed the connection) |
| 2026-03-07 16:34:28 +0100 | Guest89 | (~Guest89@185.45.21.144) (Ping timeout: 240 seconds) |
| 2026-03-07 16:31:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-07 16:30:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-07 16:26:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-03-07 16:26:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-07 16:20:30 +0100 | Guest89 | (~Guest89@185.45.21.144) |
| 2026-03-07 16:19:17 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e975:d7be:a717:768f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-07 16:15:40 +0100 | qqq | (~qqq@185.54.23.93) |
| 2026-03-07 16:14:28 +0100 | Guest89 | (~Guest89@185.45.21.144) (Ping timeout: 240 seconds) |
| 2026-03-07 16:10:16 +0100 | <[exa]> | btw stay around until like monday, more people active by then |
| 2026-03-07 16:10:02 +0100 | <Guest89> | thanks a bunch for the feedback |
| 2026-03-07 16:09:53 +0100 | <Guest89> | otherwise compacting or ghc-dup (which I haven't tried yet and has its own limitations) is my goto |
| 2026-03-07 16:09:51 +0100 | <[exa]> | I've got to go btw, have good luck |
| 2026-03-07 16:09:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-03-07 16:09:25 +0100 | <[exa]> | well, yeah. |
| 2026-03-07 16:09:00 +0100 | <Guest89> | but one restriction that I *theoretically* have is the need for deep copying, which koka seems to have built in |
| 2026-03-07 16:08:37 +0100 | <Guest89> | I've actually spoken to one of the contributors before but they're not involved with the I/O algorithm part of it |
| 2026-03-07 16:08:09 +0100 | <Guest89> | I just didn't want to commit to a "clean" version before I had settled things like the type definitions |
| 2026-03-07 16:08:07 +0100 | <[exa]> | koka ain't bad, maybe ask the authors for opinion, maybe they'd have some bright ideas on what to do there |
| 2026-03-07 16:07:53 +0100 | <Guest89> | that's also not a bad idea, I was going to use quickcheck down the line anyway |
| 2026-03-07 16:07:32 +0100 | <[exa]> | which "proves" it ;) |