!9IQChSjwSHXPPWTa:lix.systems

Lix

1131 Members
Lix user channel. Feel free to discuss on-topic issues here and give each other help. For matrix.to links to the rest of the Lix channels, see: https://wiki.lix.systems/books/lix-organisation/page/matrix-rooms315 Servers

Load older messages


SenderMessageTime
4 Apr 2026
@webtier:unredacted.orgwebtierSo a definition of literae files is ... I would say files written in some markdown language format which a compiler can still parse and compile, or interpret21:55:43
@webtier:unredacted.orgwebtierI am thinking that, an optimum nix stack would be first literate lix support, for example one languge which has literate files is haskell21:56:23
@webtier:unredacted.orgwebtier Secondly, once it has good literate file support, the next thing would be I think just a community app that can interpret those files and works like an options manager tool. 21:57:15
@webtier:unredacted.orgwebtierWhen it comes to literate files, i feel it would be very natural for the nix interpreter to allow files to be very descriptive, this is something i automatically feel like I need. Maybe every programming language does...21:58:03
@k900:0upti.meK900I mean realistically I don't think nixpkgs' giant-pile-of-fixpoints design lends itself well to literate anything21:58:05
@k900:0upti.meK900Because it's basically impossible to actually write a Nix file top to bottom21:58:27
@webtier:unredacted.orgwebtier I don't think top to bottom is that important.. For fixpoints, could you please elaborate? This is about readability? 22:01:17
@k900:0upti.meK900Well literate style generally implies that you're reading the entire file in order22:01:36
@k900:0upti.meK900And building up an understanding of the code as you go22:01:50
@k900:0upti.meK900But in nixpkgs and especially NixOS a lot of things happen because of weird side effects and things later in the file can affect things earlier in the file in unexpected ways22:02:16
@webtier:unredacted.orgwebtier Right, I was thinking more direction-agnostic and documenting in a sense. For sure the general use case is for top-to-bottom understanding, but I am simply thinking about the technology not the principle 22:04:32
@webtier:unredacted.orgwebtierSo literal just in the sense of being able to parse files which more complex markdown comment format.22:05:39
@webtier:unredacted.orgwebtier * 22:05:47
@webtier:unredacted.orgwebtier * 22:06:28
@k900:0upti.meK900 Well there's already some level of support for Markdown in comments for :doc in the repl 22:07:10
@webtier:unredacted.orgwebtier That's good. What I'm imagining is that realistically, in the future we'd hit the nail on the head if basically something like that could be properly interpreted while at the same time allowing some other optional community app to use this same comment data to built a type of settings application. So like, as you configure your OS you keep making a more sophisticated "Settings" app... 22:14:21
@k900:0upti.meK900I don't think that's something to be solved with comments tbh22:14:55
@webtier:unredacted.orgwebtierI'm just brainstorming, want to note22:14:57
@k900:0upti.meK900I think the way to do that would be to provide better ways to introspect NixOS configurations in general22:15:10
@webtier:unredacted.orgwebtierYes that is true22:15:17
@k900:0upti.meK900But also there's incredible complexity there22:15:30
@k900:0upti.meK900That is really really hard to abstract over22:15:36
@blastboomstrice:4d2.orgBlastboom StriceI thinl I know someone doing that with guix22:15:55
@k900:0upti.meK900https://github.com/oddlama/nixos-config-tui is one attempt I've seen that actually tries to follow the dependency chains22:15:59
@blastboomstrice:4d2.orgBlastboom Strice* I thinl I know someone doing all this on guix22:16:12
@k900:0upti.meK900And that requires a custom build of the Nix interpreter22:16:21
@blastboomstrice:4d2.orgBlastboom Strice* I think I know someone doing all this on guix22:18:04
@webtier:unredacted.orgwebtierAnd looking at the current interpreter too... well maybe as a uni project22:20:29
5 Apr 2026
@ritiek:matrix.orgritiek changed their profile picture.01:17:48
@lotte:chir.rsLotte (it/its)/Cinny (she/her) θΔ& changed their profile picture.16:57:09

Show newer messages


Back to Room ListRoom Version: 10