Reposted by Martin SchwaighoferThe C Programming Language @c-official.bsky.social · 21/03/2026The great thing about C is that if your code compiles, it's correct 1123946
Martin Schwaighofer @mschwaig.bsky.social · 02/11/2025the #nixos SC election ends in about two hours 010
Martin Schwaighofer @mschwaig.bsky.social · 09/05/2025I've started adding some rust code to laut. I even depend on sinx, the nix implementation written in rust, for nix32 encoding support. 150
Reposted by Martin Schwaighofermindflakes @mindflakes.bsky.social · 03/05/2025Whenever 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/2025I 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. 310
Martin Schwaighofer @mschwaig.bsky.social · 24/04/2025Nobody: UDP: sessions never meant anything to me 000
Martin Schwaighofer @mschwaig.bsky.social · 16/04/2025The 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 #NixOSyoutube.comlaut development stream week - YouTubeThese 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/2025Going 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.tvmartin_builds_stuff - Twitch... working on 📢 laut 📢 to make Sci-Fi security tech a reality with Nix ❄️ 010
Martin Schwaighofer @mschwaig.bsky.social · 06/04/2025I'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.tvmartin_builds_stuff - Twitch... working on 📢 laut 📢 to make Sci-Fi security tech a reality with Nix ❄️ 011
Reposted by Martin Schwaighoferasa @asap.systems · 29/03/2025Finally 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 #fedoraanglesideangle.devCracks in Containerized DevelopmentNerd rants about developing software in isolation from the home system; toolbx, distrobox, devcontainers, nix, etc 243
Reposted by Martin Schwaighoferisabel @isabelroses.com · 20/03/2025NixOS could have detected the xz backdoor. Quite an interesting read. Would recommend. luj.fr/blog/how-nix...luj.frHow NixOS and reproducible builds could have detected the xz backdoor for the benefit of allmenuJulien Malka homepage 1274
Martin Schwaighofer @mschwaig.bsky.social · 19/03/2025Let 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/2025I'm still hyped about the opportunity being part of #OceanSprint this year working on #Nix. 111
Martin Schwaighofer @mschwaig.bsky.social · 17/03/2025I 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/2025check 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.comNixCon2024 rebuilding builders instead of trusting trustYouTube video by NixCon 121
Martin Schwaighofer @mschwaig.bsky.social · 07/03/2025numinit 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.comRoom 101 Friday Mar. 07 - SCaLE 22xYouTube 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/2025Today 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/2025Can 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 #nixoshydra.nixos.orgHydra - Overview 120
Martin Schwaighofer @mschwaig.bsky.social · 31/01/2025Going to #FOSDEM right now. Looking forward to hopefully talking to some of you lovely people there! 020
Reposted by Martin SchwaighoferThe C Programming Language @c-official.bsky.social · 13/01/2025 425545
Martin Schwaighofer @mschwaig.bsky.social · 05/01/2025Signature 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/2024I 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/2024Can we start calling folders with waaay too many files in them 'clown car folders'? 100
Martin Schwaighofer @mschwaig.bsky.social · 20/12/2024Is 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 Schwaighoferosman - オスマン @osbm.dev · 18/12/2024my 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/2024My 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.comFull Time Nix | Trust in Nix with Martin Schwaighoferhttps://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