!VRULIdgoKmKPzJZzjj:nixos.org

Nix Hackers

931 Members
For people hacking on the Nix package manager itself194 Servers

You have reached the beginning of time (for this room).


SenderMessageTime
24 Jun 2025
@sielicki:matrix.orgsielickiI'm not super committed to finishing it, but I've been toying around lately with replacing the nix lexer and parser with https://lexy.foonathan.net/ lately22:21:47
@sielicki:matrix.orgsielicki* I'm not super committed to finishing it, but I've been toying around lately with replacing the nix lexer and parser with https://lexy.foonathan.net/ 22:21:53
@sielicki:matrix.orgsielickithe value here is primarily in parsing speed (see lexy benchmarks: https://lexy.foonathan.net/benchmark_json/ ) but also that it would be simple to have a unified parser between nix and json 22:23:30
@sielicki:matrix.orgsielicki * the value here is primarily in parsing speed (see lexy benchmarks: https://lexy.foonathan.net/benchmark_json/ ) but also that it would be simple to have a unified parser between nix and json, and any other parsing that you should want nix to be capable of understanding 22:24:08
@sielicki:matrix.orgsielickiit's trivial to write allocator-aware lexy parsers and/or parsers which defer subexpression parsing. ie: imagine a parser which, in its first pass, scans exclusively for path references and import statements, and aggressively schedules that io work before coming back to parse everything else. 22:30:39
@sielicki:matrix.orgsielickien.cppreference.com/w/cpp/execution can also play a role there22:31:33
25 Jun 2025
@jade_:matrix.orgjade_we use a different parser of similar vibes in lix05:13:34
@sielicki:matrix.orgsielickiwhat's lix?05:13:55
@jade_:matrix.orgjade_uhh, the other major nix implementation, https://lix.systems05:14:07
@jade_:matrix.orgjade_ours is using the pegtl library05:15:01
@sielicki:matrix.orgsielickioh very cool, yeah this looks awesome05:18:46
@gkaklas:matrix.orggkak.laₛ changed their display name from gkaklas to gkak.laₛ.17:50:38
26 Jun 2025
@mdaniels5757:matrix.orgmdaniels5757 joined the room.01:29:04

Show newer messages


Back to Room ListRoom Version: 6