Martin Schwaighofer

the #nixos SC election ends in about two hours

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.

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.

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?

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.

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. 😅

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?

They are called Genki Instruments, the product the showed at the time is a Ring called Wave you can use to control stuff.

YouTube video by NixCon NixCon2024 Deterministic Firmware with Nix

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

Virtual Boy 2 😄

Schiff 🚢

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. 🐸

The GitHub UI showing a fork of the snix repository under my git username: mschwaig. The description reads: a development fork of https://git.snix.dev/snix/snix for laut The license is MIT, and there are no stars or forks of it. Nothing else is visible besides a few buttons to navigate to Branches, Tags and Activity for the repo.

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. 😅👍

The part of the GitHub UI that shows which portion of a repo is implemented in which language. It shows 78.2 % Python, 14.2 % Nix and 7.6 % Rust.

I've started adding some rust code to laut. I even depend on sinx, the nix implementation written in rust, for nix32 encoding support.

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? 😊

Hi Wallfacer! 😊

Whenever my computer acts up I prepare a Computer Ant with a little expedition pack (headtorch, screwdriver, sandwiches, etc) and drop it into the USB port to go find the problem. It's never worked, not even once, but it's cute and distracting and that's what really matters

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.

YouTube video by martin_builds_stuff laut and the supply chain security best practices checklist

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

Thanks, it's very nice of you to take the time to share your thoughts on this. 😊

Getting to 5 points probably isn't that easy actually, especially if you're not using Nix to do it. 😅

Let me know if you have any questions about laut.

Thanks. 😁

Thanks to the team at KTH in Stockholm, for your hard work on organizing this wonderful event.

It is great that you are giving the supply chain security community this stage, which i think it desperately needs.

In any case, when I get back to the studio at JKU I will try to make a short video about those individual checklist items, and not only if and how laut addresses them as part of its own development, buy also in terms of the vision that I have for what the project aims to provide to users eventually.

Maybe it also shows that I am willing to go to great lengths in order to advertise my own project that I deeply believe in.

Or it shows how most supply chain security professionals actually use a measured approach in terms of what they set up for their personal projects.

I don't know. 😅