2025/03/19

Newest at the top

2025-03-19 11:10:21 +0100chele(~chele@user/chele) chele
2025-03-19 11:10:21 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-19 11:10:04 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-03-19 11:03:05 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca)
2025-03-19 11:02:22 +0100jakesyl_____(sid56879@id-56879.hampstead.irccloud.com)
2025-03-19 11:01:49 +0100jonrh(sid5185@id-5185.ilkley.irccloud.com) jonrh
2025-03-19 11:01:19 +0100jonrh(sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 260 seconds)
2025-03-19 11:01:11 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-03-19 11:00:58 +0100jakesyl_____(sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 272 seconds)
2025-03-19 10:54:49 +0100kh0d(~kh0d@89.216.103.150) kh0d
2025-03-19 10:50:17 +0100Guest48(~Guest29@62.175.65.102.dyn.user.ono.com)
2025-03-19 10:45:33 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-19 10:40:09 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds)
2025-03-19 10:37:53 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-03-19 10:36:49 +0100saimazoon(~hrtz@user/haritz) (Ping timeout: 248 seconds)
2025-03-19 10:35:50 +0100hattckory(~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 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 272 seconds)
2025-03-19 10:29:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-19 10:28:21 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-19 10:24:57 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-19 10:24:01 +0100hattckory(~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 +0100hattckory(~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 +0100synchromesh(~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 +0100Digit(~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 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-19 10:11:20 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds)
2025-03-19 10:01:57 +0100dhil(~dhil@2a0c:b381:52e:3600:e6af:ac8c:7aa:72f4) dhil
2025-03-19 09:52:19 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds)
2025-03-19 09:48:27 +0100ash3en(~Thunderbi@149.222.149.43) ash3en
2025-03-19 09:47:36 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca)
2025-03-19 09:44:19 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-19 09:43:39 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-03-19 09:40:19 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-19 09:39:33 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-03-19 09:39:33 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-19 09:36:44 +0100kh0d(~kh0d@89.216.103.150) (Ping timeout: 260 seconds)
2025-03-19 09:36:20 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-19 09:36:05 +0100ash3en(~Thunderbi@149.222.149.43) (Ping timeout: 248 seconds)
2025-03-19 09:31:59 +0100ft(~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving)