Sign in

Martin Schwaighofer

@mschwaig.bsky.social
116 followers 70 following 192 posts

Proving the link between source code and running systems with Nix. ❄ A solid foundation for supply chain security: doi.org/10.1145/3689944.3696169

PostsRepliesMedia
Reposted by Martin Schwaighofer
The C Programming Language @c-official.bsky.social · 21/03/2026
The great thing about C is that if your code compiles, it's correct
1123946
Martin Schwaighofer @mschwaig.bsky.social · 02/11/2025
the #nixos SC election ends in about two hours
010
Martin Schwaighofer @mschwaig.bsky.social · 09/05/2025
I've started adding some rust code to laut. I even depend on sinx, the nix implementation written in rust, for nix32 encoding support.
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.
150
Reposted by Martin Schwaighofer
mindflakes @mindflakes.bsky.social · 03/05/2025
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
411715
Martin Schwaighofer @mschwaig.bsky.social · 25/04/2025
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.
310
Martin Schwaighofer @mschwaig.bsky.social · 24/04/2025
Nobody: UDP: sessions never meant anything to me
000
Martin Schwaighofer @mschwaig.bsky.social · 16/04/2025
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
youtube.com
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...
020
Martin Schwaighofer @mschwaig.bsky.social · 10/04/2025
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.
twitch.tv
martin_builds_stuff - Twitch
... working on 📢 laut 📢 to make Sci-Fi security tech a reality with Nix ❄️
010
Martin Schwaighofer @mschwaig.bsky.social · 06/04/2025
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.
m.twitch.tv
martin_builds_stuff - Twitch
... working on 📢 laut 📢 to make Sci-Fi security tech a reality with Nix ❄️
011
Reposted by Martin Schwaighofer
asa @asap.systems · 29/03/2025
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
anglesideangle.dev
Cracks in Containerized Development
Nerd rants about developing software in isolation from the home system; toolbx, distrobox, devcontainers, nix, etc
243
Reposted by Martin Schwaighofer
isabel @isabelroses.com · 20/03/2025
NixOS could have detected the xz backdoor. Quite an interesting read. Would recommend. luj.fr/blog/how-nix...
luj.fr
How NixOS and reproducible builds could have detected the xz backdoor for the benefit of allmenu
Julien Malka homepage
1274
Martin Schwaighofer @mschwaig.bsky.social · 19/03/2025
Let the record show that I would like 'Freed From Desire' by Gala to become a free software anthem. 🤭
000
Martin Schwaighofer @mschwaig.bsky.social · 18/03/2025
I'm still hyped about the opportunity being part of #OceanSprint this year working on #Nix.
111
Martin Schwaighofer @mschwaig.bsky.social · 17/03/2025
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
110
Martin Schwaighofer @mschwaig.bsky.social · 07/03/2025
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...
youtube.com
NixCon2024 rebuilding builders instead of trusting trust
YouTube video by NixCon
121
Martin Schwaighofer @mschwaig.bsky.social · 07/03/2025
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...
youtube.com
Room 101 Friday Mar. 07 - SCaLE 22x
YouTube video by Southern California Linux Expo
220
Martin Schwaighofer @mschwaig.bsky.social · 19/02/2025
@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? 🤔😊
000
Martin Schwaighofer @mschwaig.bsky.social · 18/02/2025
Today is a good day. I have 69 followers on bluesky and my paper has 100 downloads. 😅 Nice. 😁 dl.acm.org/doi/10.1145/...
130
Martin Schwaighofer @mschwaig.bsky.social · 10/02/2025
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.nixos.org
Hydra - Overview
120
Reposted by Martin Schwaighofer
kamila @iczelia.net · 08/02/2025
17318
Martin Schwaighofer @mschwaig.bsky.social · 31/01/2025
Going to #FOSDEM right now. Looking forward to hopefully talking to some of you lovely people there!
020
Reposted by Martin Schwaighofer
The C Programming Language @c-official.bsky.social · 13/01/2025
Chat history with me, C:
Hey it's C I'm messaging you from a private account. We want to start drafting C3X but have budget issues can you cash app me $600 so we can buy a linux license? I'm with Dennis Ritchie as well.

segmentatino fault
425545
Martin Schwaighofer @mschwaig.bsky.social · 05/01/2025
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!
100
Martin Schwaighofer @mschwaig.bsky.social · 22/12/2024
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
110
Martin Schwaighofer @mschwaig.bsky.social · 21/12/2024
Can we start calling folders with waaay too many files in them 'clown car folders'?
100
Martin Schwaighofer @mschwaig.bsky.social · 20/12/2024
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.
230
Reposted by Martin Schwaighofer
osman - オスマン @osbm.dev · 18/12/2024
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
2141
Martin Schwaighofer @mschwaig.bsky.social · 16/12/2024
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...
fulltimenix.com
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...
170
Martin Schwaighofer @mschwaig.bsky.social · 06/12/2024
@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.
131