Martin Schwaighofer
@mschwaig.bsky.social
Proving the link between source code and running systems with Nix. ❄
A solid foundation for supply chain security: https://doi.org/10.1145/3689944.3696169
A solid foundation for supply chain security: https://doi.org/10.1145/3689944.3696169
Tragically, being overly sensitive to temperature readings from the community creates an incentive in the community towards being loud and dramatic.
September 17, 2025 at 11:06 PM
Tragically, being overly sensitive to temperature readings from the community creates an incentive in the community towards being loud and dramatic.
All of the SC looking out into the community for feedback to determine what they should do seems like underutilizing the power they were elected to wield.
It empowers the vocal minority in a similar way that not having formal leadership at all does.
It empowers the vocal minority in a similar way that not having formal leadership at all does.
September 17, 2025 at 11:06 PM
All of the SC looking out into the community for feedback to determine what they should do seems like underutilizing the power they were elected to wield.
It empowers the vocal minority in a similar way that not having formal leadership at all does.
It empowers the vocal minority in a similar way that not having formal leadership at all does.
To me, one nice aspect of an executive-style role and with the current-size committee is that the executive can embody the need to make a decision one way or the other, with the SC hopefully reflecting a wide but reasonable range of opinions in the community to them.
September 17, 2025 at 11:06 PM
To me, one nice aspect of an executive-style role and with the current-size committee is that the executive can embody the need to make a decision one way or the other, with the SC hopefully reflecting a wide but reasonable range of opinions in the community to them.
The main idea is delegating power to one person and revoking it if they actually do something that doesn't have the required support in the SC.
That seems like something the constitution maybe already allows for, not sure.
That seems like something the constitution maybe already allows for, not sure.
September 17, 2025 at 10:41 PM
The main idea is delegating power to one person and revoking it if they actually do something that doesn't have the required support in the SC.
That seems like something the constitution maybe already allows for, not sure.
That seems like something the constitution maybe already allows for, not sure.
It's a bold proposal, but I imagine that would be one way of addressing some of the issues you pointed out without changing the constitution.
September 17, 2025 at 10:30 PM
It's a bold proposal, but I imagine that would be one way of addressing some of the issues you pointed out without changing the constitution.
Do you think it would make sense for the SC to select an executive amongst themselves that can lead BDFL-style as long as they have broad support within the SC?
September 17, 2025 at 10:30 PM
Do you think it would make sense for the SC to select an executive amongst themselves that can lead BDFL-style as long as they have broad support within the SC?
Maybe they'll add an s to the end for each subsequent release.
They could even rebrand gpt-2 and gpt-1 as os and o.
They could even rebrand gpt-2 and gpt-1 as os and o.
August 5, 2025 at 10:23 PM
Maybe they'll add an s to the end for each subsequent release.
They could even rebrand gpt-2 and gpt-1 as os and o.
They could even rebrand gpt-2 and gpt-1 as os and o.
You can use fetchgit to fetch the repo and lib.fileset to do the filtering.
July 25, 2025 at 11:35 AM
You can use fetchgit to fetch the repo and lib.fileset to do the filtering.
You're right. I was looking at this kind of in the wrong way. 😅
July 11, 2025 at 11:38 AM
You're right. I was looking at this kind of in the wrong way. 😅
Oh, you probably mean just taking snapshots, not rolling back to them? 😅
July 11, 2025 at 8:59 AM
Oh, you probably mean just taking snapshots, not rolling back to them? 😅
It sounds like that would lead to having inconsistent data / a 'split view' of your data whenever a rollback happens.
Is this useful in some applications anyways?
Is this useful in some applications anyways?
July 11, 2025 at 8:57 AM
It sounds like that would lead to having inconsistent data / a 'split view' of your data whenever a rollback happens.
Is this useful in some applications anyways?
Is this useful in some applications anyways?
They are called Genki Instruments, the product the showed at the time is a Ring called Wave you can use to control stuff.
July 3, 2025 at 11:04 PM
They are called Genki Instruments, the product the showed at the time is a Ring called Wave you can use to control stuff.
Not 100 % what you asked I think, but Olí had a great talk at NixCon 2024 about how the firmware of the product his company builds for live music performance is built with nix:
youtu.be/Nfn_srkKans
youtu.be/Nfn_srkKans
NixCon2024 Deterministic Firmware with Nix
YouTube video by NixCon
youtu.be
July 3, 2025 at 11:00 PM
Not 100 % what you asked I think, but Olí had a great talk at NixCon 2024 about how the firmware of the product his company builds for live music performance is built with nix:
youtu.be/Nfn_srkKans
youtu.be/Nfn_srkKans
Though that's not the only cool kind of verification I'd like to implement. For now I'm still working on the basics, and I'll work my way up to the really crazy parts. 🤪😅
May 9, 2025 at 12:50 AM
Though that's not the only cool kind of verification I'd like to implement. For now I'm still working on the basics, and I'll work my way up to the really crazy parts. 🤪😅
I started implementing a policy engine for trust model verification with the datafrog library now, so when someone wants to trust key A and key B only when they agree (reproducibility) that will be possible. 🐸
May 9, 2025 at 12:50 AM
I started implementing a policy engine for trust model verification with the datafrog library now, so when someone wants to trust key A and key B only when they agree (reproducibility) that will be possible. 🐸
Actually I even forked snix, so that I could port my upstream placeholder implementation to Rust and put it there, because that made sense to me. 😅👍
May 9, 2025 at 12:44 AM
Actually I even forked snix, so that I could port my upstream placeholder implementation to Rust and put it there, because that made sense to me. 😅👍
I get it. I think the middle ground of using Nix on another distro is probably nice for a lot of people who can't afford to chase after all of the small things that need effort to get working on NixOS.
Why did you switch back? 😊
Why did you switch back? 😊
May 7, 2025 at 9:50 AM
I get it. I think the middle ground of using Nix on another distro is probably nice for a lot of people who can't afford to chase after all of the small things that need effort to get working on NixOS.
Why did you switch back? 😊
Why did you switch back? 😊
That's a bit scary.
With ZFS I just kept a 1 GB reserved partition around to deal with how it behaves when it runs out of disk space.
That was only necessary to give the nix db enough breathing room to successfully do GC.
With ZFS I just kept a 1 GB reserved partition around to deal with how it behaves when it runs out of disk space.
That was only necessary to give the nix db enough breathing room to successfully do GC.
May 4, 2025 at 3:39 PM
That's a bit scary.
With ZFS I just kept a 1 GB reserved partition around to deal with how it behaves when it runs out of disk space.
That was only necessary to give the nix db enough breathing room to successfully do GC.
With ZFS I just kept a 1 GB reserved partition around to deal with how it behaves when it runs out of disk space.
That was only necessary to give the nix db enough breathing room to successfully do GC.
I ended up actually making a video about this now. If you are interested in Nix and Supply Chain Security, check it out:
youtu.be/lqH2lVe8Isc
EDIT: changed link to fix stereo audio
youtu.be/lqH2lVe8Isc
EDIT: changed link to fix stereo audio
laut and the supply chain security best practices checklist
YouTube video by martin_builds_stuff
youtu.be
April 29, 2025 at 9:25 AM
I ended up actually making a video about this now. If you are interested in Nix and Supply Chain Security, check it out:
youtu.be/lqH2lVe8Isc
EDIT: changed link to fix stereo audio
youtu.be/lqH2lVe8Isc
EDIT: changed link to fix stereo audio