!9IQChSjwSHXPPWTa:lix.systems

Lix

1127 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-rooms312 Servers

Load older messages


SenderMessageTime
2 Apr 2026
@sternenseemann:systemli.orgsternii think this laptop is like 8 years old almost20:34:05
@sternenseemann:systemli.orgsternii only have bad luck with the Lix CI21:24:02
@k900:0upti.meK900https://buildkite.com/afnix/lix/builds/1083/steps/canvas?sid=019d4feb-5be9-4d80-a419-24b37c7973f822:34:38
@k900:0upti.meK900Fucking what22:34:40
@raitobezarius:matrix.orgraitobezariusI don't practice Darwin and Perl exorcism22:55:44
3 Apr 2026
@yaqueen7:matrix.org@yaqueen7:matrix.org left the room.09:32:33
@sersorrel:matrix.orgsorrelhello, i'm currently `sersorrel` on forgejo but `keysmashes` on keycloak. please could my forgejo username be changed to `keysmashes` as well? (it looks like there should now be a way to let forgejo users change their own usernames: https://codeberg.org/forgejo/forgejo/pulls/8714)20:43:41
@piegames:flausch.socialpiegames
In reply to @sersorrel:matrix.org
hello, i'm currently sersorrel on forgejo but keysmashes on keycloak. please could my forgejo username be changed to keysmashes as well? (it looks like there should now be a way to let forgejo users change their own usernames: https://codeberg.org/forgejo/forgejo/pulls/8714)
I'm currently afk, please ping me on Tuesday if nobody beats me to it until then
21:26:21
@piegames:flausch.socialpiegamesThough nice to see that forgejo is finally getting proper support for this, we've been doing all name changes semi-manually so fat21:27:20
@piegames:flausch.socialpiegames* Though nice to see that forgejo is finally getting proper support for this, we've been doing all name changes semi-manually so far21:27:30
4 Apr 2026
@racci:matrix.orgRacci joined the room.05:24:21
@racci:matrix.orgRacci set a profile picture.05:55:04
@lotte:chir.rsLotte (it/its)/Cinny (she/her) θΔ& changed their profile picture.10:58:26
@webtier:unredacted.orgwebtierWhat do you guys think of literate lix?21:01:21
@piegames:flausch.socialpiegamesOf what?21:02:00
@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

There are no newer messages yet.


Back to Room ListRoom Version: 10