@leftpaddotpy@hachyderm.io

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 5mo ago

my #lixcon2026 talk about build system yuri has been released: https://media.ccc.de/v/lixcon-2026-2-nix-and-buck2-from-enemies-to-lovers-with-snowydeer

slides: https://jade.fyi/lixcon2026

we build #nix store paths entirely outside of nix using deps from nix, then re-import them (with correct deps!) into nix once built. this powers writing a docker image in 6 lines of code without devs touching nix language at all.

you can use a new parameter in #lix 2.95's CLI to import store paths built by other build systems like we're doing, using `nix store add-path --references-list-json`.
happy yuri!

hachyderm.io

27

3

11

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 6mo ago

extending an enormous "bruh" to the people who are making a spreadsheet of all the mainstream programming languages and tools that you "shouldn't use" because they have some tests written by Claude that probably wouldn't have been written without it (ie. it increases correctness). cmon man.

yes there are people writing slop but almost all people who give a shit and work on production systems don't (and are probably busy getting their day ruined by jackasses wielding chatbots even if they do use them themselves).

leftists gobble up purity politics better than devout Catholics.

32

3

8

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 10mo ago

OH: "I think #Lean is cool because it's like they trapped a graduate student in the compiler and they just prove your array accesses are in bound for you"

@Vierkantor@mastodon.vierkantor.com blink twice if you are trapped in a compiler

hachyderm.io

37

2

10

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 5mo ago

apparently the db app sells sncf reservations for the same price as ice reservations. an interesting development in making French trains ... exist to me.

7

8

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 5mo ago

a thread

4

1

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 5mo ago

Replying to

@mia@void.rehab at least two affordances: algorithmic tl doesn't show you things that make you sigh in exasperation, because there is labeling. it helps a little that replies to retweets are mentions to the retweeter, so they can tell people to get the fuck out of their menchies. I'm also wondering about some mechanics of how replies work, especially involving blocked people. might be the same as latest timeline in 2022 Twitter for all i know though. i also think that mastodon has some truly stupid views that create many such problems. federated timeline for example, where people see irrelevant posts and get mad. i think the last piece is, you know there are people on bsky or whatever who are fucking Nazis and the platform does nothing about it and you deal with it. you don't try to harass them off or something because you can 1. block them lol and 2. don't have any dumb features like federated timeline that show you their posts. https://v.cx/2025/04/mastodon-exit-interview

v.cx

2

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 8mo ago

Replying to

@tthbaltazar recreationally? could be fun. at work? absolutely not, that shit sucks.

4

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 12mo ago

Replying to

@raito @robinheghan @lix_project right, in my experience, nixpkgs contributions coming through lix channels tend to have a much easier time getting in because we *have* committers who are willing to go review stuff pragmatically and merge it. this holds regardless of the unforced fascist-sympathizing errors in governance by the (very same ones doing this for the past 5 years) cppnix members of the steering committee that make the nix project social spaces unsafe for the majority of the lix team. it's not all or nothing but i certainly would like to have a replacement nix project that's not a dumpster fire that pushes out all the women and other minorities and burns out everyone constantly

7

4

1

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 10mo ago

Replying to

@mica @lix_project nope it's a bug in macOS. either that or nix copy to s3 does something that macOS really doesn't like. idk.

5

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 5mo ago

Replying to

@sam @quinn also like, it's nowhere obvious how to buy the pass from the db, or whether you can even do that? or you have to do it in person? idk

1

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 11mo ago

Replying to

@jstultz @raito i tried writing a journal to perfetto converter at some point, that was fun. the idea being that we could trace systemd startup performance including initrd

3

2

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 6mo ago

Replying to

@traumaphoenix i have been caught doing some-linter | claude --model haiku 'fix these lints plz'

of course i would rather the linter be able to fix them but i am overcommitted on tooling fixing in general as it is

1

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 15mo ago

Replying to

@next @bkuhn @richardfontana I really like the drafting style of this one. The dual licensing nullification mechanism of effectively making it MIT-like by deleting restrictions is cute. I suspect the outbound GPL compatibility clause may have some unclear implications if plugin systems, cross implementation test suites licensed under GPL (e.g. the snix test suite) or other things are involved, but I can't quite point to why. Part of what feels funny in interpreting it here is that the license both exists as a "primary copyright holder" side thing and also as hundreds of separate licenses by contributors.

4

0

1

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 7mo ago

Replying to

@pseudonym@mastodon.online i think it depends on the domain. like, code review is not seriously expected to catch all bugs; it's merely a step in a process. if you need absolute correctness (most don't!) then formal methods, a shockingly rare practice in the most critical industries, might be the right choice. a stronger argument would be "the bugs are less obvious" though i think that too can be fought with observability. but that strategy only works well in application code, i.e. code which "makes money" (a notion which should be challenged, but that's another issue), rather than infra layer stuff with higher correctness needs and worse observability. and you know how the old saying goes: "if the code is good it's probably not making money". idk, people write slop where they already wrote slop due to the same pressures as before.

1

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 10mo ago

Replying to

@alina@girldick.gay having C problems? check out https://gdb.fyi

gdb.fyi

1

0

2

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 11mo ago

Replying to

@raito @jstultz the code exists in my dotfiles. i don't recall why i stopped, i think some frustrations about the schema of logs that's supported by perfetto.

1

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 12mo ago

Replying to

@robinheghan @raito @lix_project yes exactly, if it's originated through lix social channels we do shepherd a good few prs and i think in general they tend to just get done without bullshit

1

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 24mo ago

Replying to

@malcircuit@thingy.social clouds :(( still glad i went outside with the camera, i took some strange photos, some of which were good.

1

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 25mo ago

Replying to

@kouhai@social.treehouse.systems @n0toose@chaos.social maybe it's Minecraft alpha

1

2

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 5mo ago

Replying to

@leo it's a more pragmatic bazel more or less. there's built in pkgconfig rules and such, and sandboxing is less strongly enforced (remote execution is actually the only way to sandbox which is kind of annoying in fact though). the docs kinda suck though.

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 8mo ago

Replying to

@madcoder @Catfish_Man well, the above post was in reference to an Apple MDM vendor's automation tools, and I still maintain I'd rather debug a build system or linker :P

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 10mo ago

Replying to

@milamiceli@dair-community.social wait hold on, they were using a third party provider for the core functionality of their app? ummm *that* sounds like being bad at business.

0

systemd-jaded.timer @leftpaddotpy@hachyderm.io

· 22mo ago

Replying to

@b0rk@social.jvns.ca @dmitry@file-explorers.club i also have hacks for this that use a unix socket forwarded over the ssh connection to pass clipboard data :) https://github.com/lf-/dotfiles/tree/main/programs/gooeyd

GitHub

dotfiles/programs/gooeyd at main · lf-/dotfiles

Dotfiles, a monorepo, who is to know!! Contribute to lf-/dotfiles development by creating an account on GitHub.

0

1

0