Newest at the top
2025-03-19 11:10:21 +0100 | chele | (~chele@user/chele) chele |
2025-03-19 11:10:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-19 11:10:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-03-19 11:03:05 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
2025-03-19 11:02:22 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
2025-03-19 11:01:49 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
2025-03-19 11:01:19 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 260 seconds) |
2025-03-19 11:01:11 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
2025-03-19 11:00:58 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 272 seconds) |
2025-03-19 10:54:49 +0100 | kh0d | (~kh0d@89.216.103.150) kh0d |
2025-03-19 10:50:17 +0100 | Guest48 | (~Guest29@62.175.65.102.dyn.user.ono.com) |
2025-03-19 10:45:33 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-19 10:40:09 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-03-19 10:37:53 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2025-03-19 10:36:49 +0100 | saimazoon | (~hrtz@user/haritz) (Ping timeout: 248 seconds) |
2025-03-19 10:35:50 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
2025-03-19 10:35:26 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2025-03-19 10:31:50 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 272 seconds) |
2025-03-19 10:29:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-19 10:28:21 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-19 10:24:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-19 10:24:01 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-19 10:20:52 +0100 | <dminuoso> | But it does mean tragging an continuation through all the parsers. So I guess the main concern would be whether that would degrade performance |
2025-03-19 10:19:56 +0100 | <dminuoso> | Retaining compatibility with existing code that builds manual parsers should be doable with pattern synonyms |
2025-03-19 10:19:26 +0100 | <dminuoso> | It's an interesting thought, I think we could easily build this into flatparse from a technical perspective |
2025-03-19 10:19:22 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
2025-03-19 10:16:07 +0100 | <dminuoso> | Which could still be fine, if you're fine with retrying every time you have a new chunk until you can do partial parses |
2025-03-19 10:15:54 +0100 | synchromesh | (~john@116.251.144.215) (Quit: WeeChat 4.1.1) |
2025-03-19 10:15:24 +0100 | <dminuoso> | But it cannot deal with missing input |
2025-03-19 10:15:09 +0100 | <dminuoso> | It can deal with unconsumed input, so you have some options to resume parsing with that. |
2025-03-19 10:14:05 +0100 | <dminuoso> | Ah okay, flatparse has no builtin support for streaming currently. |
2025-03-19 10:13:39 +0100 | <jackdk> | https://hackage.haskell.org/package/attoparsec-0.14.4/docs/Data-Attoparsec-ByteString.html#t:IResult Like the `Partial` constructor in attoparsec's result type |
2025-03-19 10:12:56 +0100 | <Axman6> | being able to indicate that the parser has consumed the input its been given and then continue by feeding in more chunks |
2025-03-19 10:12:26 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2025-03-19 10:12:09 +0100 | <dminuoso> | Axman6: Can you refine a bit your idea of incremental parsing? |
2025-03-19 10:11:25 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-03-19 10:11:20 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
2025-03-19 10:01:57 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:e6af:ac8c:7aa:72f4) dhil |
2025-03-19 09:52:19 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-03-19 09:48:27 +0100 | ash3en | (~Thunderbi@149.222.149.43) ash3en |
2025-03-19 09:47:36 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
2025-03-19 09:44:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-19 09:43:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
2025-03-19 09:40:19 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-19 09:39:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-03-19 09:39:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-19 09:36:44 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 260 seconds) |
2025-03-19 09:36:20 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-19 09:36:05 +0100 | ash3en | (~Thunderbi@149.222.149.43) (Ping timeout: 248 seconds) |
2025-03-19 09:31:59 +0100 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |