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

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

I won this nice hat today, for best practices in software supply chain security, for how I work on laut, at the Workshop on Supply Chain Security hosted by the CHAINS project at KTH. 🥳 I checked 5 out of 15 boxes on their self-assessment, and basically won by default because nobody else entered.

Me, a male human, in my bodily form, sitting in one of the window seats of an airliner, wearing a KTH hat and holding my filled-out best practices in software supply chain security self-assessment sheet, obscuring my lower face and chest.

Signature creation basically looks like this signed = sign(unsigned, key) and later somewhere else, verification isValid, key = verify(signed) Me looking at verify: Bro! .. you just ate unsigned! Spit out hash(unsingned) or something! Why should I keep track of that? You are a computer program!

Is anyone running zed with Nix? I pulled this supposed code editor from nixpkgs, ran it and it all it said before exiting was 'Must be run as root'. Then I think i threw my laptop out of the window and ran away screaming. After it said root, it's all a bit of a blur.

my new to-do list: build my own linux phone using nix build android apps using nix build qmk keyboard using nix ( and make a flake template) contribute to nixpkgs drink more isopropyl alcohol