2025/12/13

Newest at the top

2025-12-13 22:02:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 21:59:38 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-12-13 21:57:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-13 21:55:53 +0100jmcantrell_jmcantrell
2025-12-13 21:54:18 +0100p3n_(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 260 seconds)
2025-12-13 21:47:29 +0100califax(~califax@user/califx) califx
2025-12-13 21:47:05 +0100acidjnk(~acidjnk@p200300d6e7171903a4f8b518d79cc6fa.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-12-13 21:46:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-13 21:45:35 +0100califax(~califax@user/califx) (Remote host closed the connection)
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