Newest at the top
| 2026-01-03 20:18:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-03 20:13:58 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 20:13:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-03 20:12:46 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-03 20:09:51 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 20:09:08 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-03 20:06:23 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-03 20:04:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-03 20:03:56 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 20:03:08 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-03 20:00:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-03 19:52:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 19:51:42 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-03 19:49:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-03 19:47:54 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 19:46:43 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-03 19:44:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-03 19:43:51 +0100 | Digit | (~user@user/digit) Digit |
| 2026-01-03 19:38:17 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2026-01-03 19:37:55 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 19:36:58 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-03 19:33:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-03 19:32:14 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-03 19:29:57 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-01-03 19:28:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-03 19:20:16 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 19:18:38 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-03 19:17:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-03 19:12:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-03 19:09:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-03 19:08:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-03 19:05:41 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-03 19:05:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-03 19:01:50 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 19:00:56 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-03 18:57:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-03 18:57:00 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 18:56:21 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-03 18:54:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 18:52:16 +0100 | <EvanR> | who would use UnsafeMkChunk512 irresponsibly when it says Unsafe all over it?? xD |
| 2026-01-03 18:50:16 +0100 | <Leary> | That's not extra paranoia, that's the basic level. |
| 2026-01-03 18:49:35 +0100 | <EvanR> | for extra paranoia don't export UnsafeMkChunk512 at least in a public API |
| 2026-01-03 18:49:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-03 18:48:39 +0100 | <EvanR> | then internal code only uses UnsafeMkChunk512 when it is definitely the case that the chunk has that length. Parsers bear a lot of burden |
| 2026-01-03 18:47:55 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-01-03 18:46:38 +0100 | <Leary> | Yes, something like `newtype Chunk512 = UnsafeMkChunk512 Text; parseChunk512 :: [Char] -> Maybe (Chunk512, [Char])`. |
| 2026-01-03 18:44:46 +0100 | <Milan_Vanca> | Leary: Hmm not sure if I want to rewrite my algo now.. But I might try it later when I am bored. So basically you would "pad" only when last block is not 512 and in moment you parse it to some datatype? |
| 2026-01-03 18:43:32 +0100 | <EvanR> | but shows how hard it can be to verify code even when the language forces you to think about the cases |
| 2026-01-03 18:43:27 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-03 18:43:09 +0100 | <EvanR> | this was very rare which is good |