The great thing about C is that if your code compiles, it's correct
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
I've started adding some rust code to laut. I even depend on sinx, the nix implementation written in rust, for nix32 encoding support.
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.
The laut dev stream week is over. It was a lot of fun and we made good progress. You can now find the recordings here: youtube.com/playlist?lis... I also made an update post on discourse with more details on what we managed to get done: discourse.nixos.org/t/transitive... #Nix #NixOS
laut development stream week - YouTube
These videos were made for the "development stream week" of my open source project laut: https://github.com/mschwaig/laut laut is a project that aims to intr...
youtube.com
Going live again at twitch.tv/martin_build... at 14:30 CEST (in 2h 45 min) to work on laut today. Details at: discourse.nixos.org/t/transitive.... Let's make #Nix a better tool for supply chain security.
martin_builds_stuff - Twitch
... working on 📢 laut 📢 to make Sci-Fi security tech a reality with Nix ❄️
twitch.tv
I'm gong to stream myself working on laut at twitch.tv/martin_build... tomorrow and the rest of the week. Details at: discourse.nixos.org/t/transitive.... Let's make #Nix a better tool for supply chain security.
martin_builds_stuff - Twitch
... working on 📢 laut 📢 to make Sci-Fi security tech a reality with Nix ❄️
m.twitch.tv
Finally got around to writing this relatively length post on the state of software development on Fedora Silverblue, and containerized development in general. This might just be well concealed nixposting, read to find out... anglesideangle.dev/blog/contain... #nix #devcontainer #fedora
Cracks in Containerized Development
Nerd rants about developing software in isolation from the home system; toolbx, distrobox, devcontainers, nix, etc
anglesideangle.dev
NixOS could have detected the xz backdoor. Quite an interesting read. Would recommend. luj.fr/blog/how-nix...
How NixOS and reproducible builds could have detected the xz backdoor for the benefit of allmenu
Julien Malka homepage
luj.fr
Let the record show that I would like 'Freed From Desire' by Gala to become a free software anthem. 🤭
I'm still hyped about the opportunity being part of #OceanSprint this year working on #Nix.
I was just at the welcome dinner for #OceanSprint. So many nice people, so many great conversations! I volunteered to be be the person who makes sure that people switch seats a few times a night, so that they get to know everyone instead of just sticking with the same group of people. #Nix #NixOS
check out my #NixCon2024 talk about 'rebuilding builders, instead of trusting trust' if you want to hear about how we can turn Nix into a sci-fi supply chain security tool #Nix #NixCon www.youtube.com/watch?v=UlJU...
NixCon2024 rebuilding builders instead of trusting trust
YouTube video by NixCon
youtube.com
numinit talks about building a resilient mesh network setup to distribute the Nix binary cache (and access other network services) though a human-colonized sci-fi galaxy or a conference floor buzzing with of all kinds of hackers at #PlanetNix #SCaLE20x www.youtube.com/live/yhfDtRR...
Room 101 Friday Mar. 07 - SCaLE 22x
YouTube video by Southern California Linux Expo
youtube.com
@bsky.app When I type "blue sky" into your search on Android, I do not find your account, until I remove that space in the middle. Should it really be like that? 🤔😊
Today is a good day. I have 69 followers on bluesky and my paper has 100 downloads. 😅 Nice. 😁 dl.acm.org/doi/10.1145/...
Can somebody do a talk or webcast or something about how to navigate the hydra.nixos.org webui? I always just get lost in there. 😓 #nix #nixos
Hydra - Overview
hydra.nixos.org
Going to #FOSDEM right now. Looking forward to hopefully talking to some of you lovely people there!
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!
I think in our current age it has become increasingly difficult for people to be part of the same group as somebody that they disagree with. The internet makes it so easy to find people you agree with, after all, and fight or block whoever you do not. 1/9
The first (public) decision of the Nix Steering Committee was to opine on the PolyMC packaging controversy: github.com/NixOS/nixpkg...
Can we start calling folders with waaay too many files in them 'clown car folders'?
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
My episode on the 'Full Time Nix' podcast is out now 😎 🆒 🆒 🆒 🥳 Check it out, if you want to hear about my research on trust in #nix #nixos fulltimenix.com/episodes/tru... open.spotify.com/episode/7cPx... podcasts.apple.com/us/podcast/t...
Full Time Nix | Trust in Nix with Martin Schwaighofer
https://fulltimenix.com/episodes/martin-schwaighofer-steering-committee-candidatehttps://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdfhttps://github.com/NixOS/nixp...
fulltimenix.com
@jkulinz.bsky.social trusted me with setting my own job title on @mattermost.bsky.social, so naturally I am their 'Willy Wonka of Supply Chain Security' now.