Logs: liberachat/#haskell
| 2025-12-13 18:30:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 18:31:49 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-12-13 18:35:17 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-13 18:42:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 18:47:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 18:50:17 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-13 18:58:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 19:00:34 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-13 19:02:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 19:03:58 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-13 19:12:31 | <__monty__> | What's the fastest way to skip lines until a parser succeeds with parser combinators? (Specifically Megaparsec if it matters.) |
| 2025-12-13 19:13:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 19:14:04 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-12-13 19:18:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-13 19:21:14 | <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 19:25:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 19:25:36 | <__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 19:29:10 | × | lucabtz quits (~lucabtz@user/lucabtz) (Read error: Connection reset by peer) |
| 2025-12-13 19:30:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 19:31:51 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-13 19:32:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-12-13 19:34:39 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-12-13 19:41:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 19:42:04 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-13 19:45:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 19:51:08 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-13 19:52:55 | → | califax joins (~califax@user/califx) |
| 2025-12-13 19:53:11 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-13 19:55:15 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-12-13 19:56:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 19:58:09 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-13 19:58:24 | → | califax joins (~califax@user/califx) |
| 2025-12-13 20:01:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-13 20:01:42 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-13 20:01:55 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 20:03:34 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-13 20:04:35 | → | califax joins (~califax@user/califx) |
| 2025-12-13 20:06:46 | → | omidmash joins (~omidmash@user/omidmash) |
| 2025-12-13 20:12:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 20:14:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) |
| 2025-12-13 20:18:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-13 20:26:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 20:27:09 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-13 20:28:19 | → | spew joins (~spew@user/spew) |
| 2025-12-13 20:30:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 20:42:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 20:42:44 | × | pebble quits (~pebble@37.63.32.91) (Read error: Connection reset by peer) |
| 2025-12-13 20:45:35 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-13 20:46:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 20:47:05 | × | acidjnk quits (~acidjnk@p200300d6e7171903a4f8b518d79cc6fa.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-12-13 20:47:29 | → | califax joins (~califax@user/califx) |
| 2025-12-13 20:54:18 | × | p3n_ quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 260 seconds) |
| 2025-12-13 20:55:53 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-13 20:57:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 20:59:38 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-13 21:02:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 21:09:09 | × | swistak- quits (~swistak@185.21.216.141) (Quit: bye bye) |
| 2025-12-13 21:09:25 | → | swistak joins (~swistak@185.21.216.141) |
| 2025-12-13 21:10:36 | → | califax joins (~califax@user/califx) |
| 2025-12-13 21:13:01 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-13 21:13:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 21:15:10 | → | skum joins (~skum@user/skum) |
| 2025-12-13 21:18:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-13 21:27:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 21:31:55 | × | annamalai quits (~annamalai@117.249.239.92) (Ping timeout: 240 seconds) |
| 2025-12-13 21:32:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 21:39:48 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-13 21:40:02 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 21:43:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 21:48:11 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-12-13 21:48:13 | × | dispater quits (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 21:48:13 | × | orcus quits (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 21:48:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 21:49:31 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-12-13 21:49:54 | → | dispater joins (~dispater@user/brprice) |
| 2025-12-13 21:50:24 | → | orcus joins (~orcus@user/brprice) |
| 2025-12-13 21:59:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 22:02:36 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-13 22:03:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 22:09:40 | × | codedmart quits (~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2025-12-13 22:10:15 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-13 22:10:46 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 22:11:55 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-13 22:14:03 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-12-13 22:14:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 22:15:30 | → | acidjnk joins (~acidjnk@p200300d6e7171903a4f8b518d79cc6fa.dip0.t-ipconnect.de) |
| 2025-12-13 22:19:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 22:30:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 22:35:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 22:42:15 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-13 22:42:36 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 22:46:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 22:49:29 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-13 22:53:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 22:55:37 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 246 seconds) |
| 2025-12-13 23:04:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 23:08:12 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-13 23:09:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-13 23:19:57 | → | nek0 joins (~nek0@user/nek0) |
| 2025-12-13 23:20:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.