2025/12/13

Newest at the top

2025-12-13 21:42:44 +0100pebble(~pebble@37.63.32.91) (Read error: Connection reset by peer)
2025-12-13 21:42:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 21:30:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 21:28:19 +0100spew(~spew@user/spew) spew
2025-12-13 21:27:09 +0100spew(~spew@user/spew) (Quit: WeeChat 4.7.2)
2025-12-13 21:26:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 21:18:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-13 21:14:58 +0100tromp(~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75)
2025-12-13 21:12:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 21:06:46 +0100omidmash(~omidmash@user/omidmash) omidmash
2025-12-13 21:04:35 +0100califax(~califax@user/califx) califx
2025-12-13 21:03:34 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 21:01:55 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-13 21:01:42 +0100trickard(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-13 21:01:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-13 20:58:24 +0100califax(~califax@user/califx) califx
2025-12-13 20:58:09 +0100califax(~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in)
2025-12-13 20:56:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 20:55:15 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-12-13 20:53:11 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-12-13 20:52:55 +0100califax(~califax@user/califx) califx
2025-12-13 20:51:08 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-13 20:45:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 20:42:04 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 20:41:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 20:34:39 +0100Lord_of_Life_Lord_of_Life
2025-12-13 20:32:07 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2025-12-13 20:31:51 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-13 20:30:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 20:29:10 +0100lucabtz(~lucabtz@user/lucabtz) (Read error: Connection reset by peer)
2025-12-13 20:25:36 +0100 <__monty__> Maybe but I'm still curious. I'm currently using `skipSomeTill skipParser (try myParser)` and I figure that `try` causes some slowdown.
2025-12-13 20:25:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 20:21:14 +0100 <monochrom> Would it be simpler to have megaparsec responsible for just one single line? Your own code, outside megaparsec, splits input into lines and feed one line at a time to megaparsec, and you watch for the first success.
2025-12-13 20:18:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-13 20:14:04 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 246 seconds)
2025-12-13 20:13:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 20:12:31 +0100 <__monty__> What's the fastest way to skip lines until a parser succeeds with parser combinators? (Specifically Megaparsec if it matters.)
2025-12-13 20:03:58 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-13 20:02:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 20:00:34 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-12-13 19:58:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 19:50:17 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-12-13 19:47:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-13 19:42:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 19:35:17 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-13 19:31:49 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-12-13 19:30:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 19:29:11 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-12-13 19:24:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 19:15:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)