Garden

Digital Garden

A collection of interconnected notes, ideas, and evergreen knowledge — growing and evolving over time.

29Notes
7 steering7 talks6 people4 blog3 research2 notes
steeringcommittee20260421T105106==public

Steering Committee Report - Apr 21 2026

Announcement of the Bootstrap team I am relieved that we have finally announced the bootstrap team, after a long stretch during which the task was making...

3 min read
steeringcommittee20260401T225935==public

Steering Committee Report - Apr 1st 2026

On me not writing more of those notes It was my ambition to write some informal reports of the Steering Committee action more often, because I think it's...

7 min read
people20260401T185646==public

Christina Sørensen

Alias cafkafk. Member of the NixOS Steering Committee in 2026.

1 min read
people20260401T185548==public

Ilya Katsnelson

Alias K900. Member of the NixOS Steering Committee in 2026.

1 min read
people20260401T185440==public

Thomas Bereknyei

Alias tomberek. Member of the NixOS Steering Committee in 2025 and 2026.

1 min read
people20260401T184429==public

Robert Hensing

Member of the NixOS Steering Committee in 2025 and 2026.

1 min read
people20260401T184310==public

Philip Taron

Member of the NixOS Steering Committee in 2026.

1 min read
steeringcommittee20260130T141252==public

(Updated) Proposal to rebuild the moderation team

This contains a rework of my initial proposal to rebuild the moderation team, informed by the comments and remarks of the other members of the Steering...

1 min read
steeringcommittee20251205T111549==public

Steering Committee Report - Dec 5 2025

This part of the report have been written before the Steering Committee meeting on Dec 4: You may have noticed that I have not published a SC report in the...

2 min read
steeringcommittee20251204T132510==public

(Initial) Proposal to rebuild the moderation team

I designed this after discussions with K900, Philip and other members of the community. My main driver for writing this proposal is that I don't think the SC...

3 min read
steeringcommittee20251116T165359==public

Steering Committee Report - Nov 16 2025

Frustrations This second week was filled with a mix of frustration and hope. Frustration because of course when I decided to run for SC I was ready to dive...

4 min read
note20251109T181549==public

NixOS Steering Committee

Governance body of the NixOS community. Created by the NixOS Constitutional Assembly after community crisis. Contains 7 elected members.

1 min read
steeringcommittee20251109T181446==public

Steering Committee Report - Nov 10 2025

One week has passed since I started my 1 year mandate in the NixOS Steering Committee. My most essential concern for this mandate is being able to restore the...

4 min read
blog20250929T000000==public

My hopes and plans for the NixOS community

About me I'm excited to share that I'm running for a seat on the NixOS Steering Committee. Before diving into my motivations, I'd like to take a moment to...

11 min read
people20250906T174239==public

John Ericson

Developer in the Nix core team. NixOS Steering Committee member in 2025 and 2026.

1 min read
blog20250521T000000==public

Artiflakery, an easy way to distribute static Nix flake artifacts

The problem of slides distribution... As a PhD student, I often do presentations. A lot of presentations. In 2024 alone, I gave about 15 talks in different...

3 min read
blog20250320T000000==public

How NixOS and reproducible builds could have detected the xz backdoor for the benefit of all

Introduction In March 2024, a backdoor was discovered in xz, a (de)-compression software that is regularly used at the core of Linux distributions to unpack...

35 min read
talk20250201T000000==public

How reproducible is NixOS?

Venue: FOSDEM 2025 Recording: https:/fosdem.org2025scheduleeventfosdem-2025-4430-how-reproducible-is-nixos- How reproducible is NixOS? In this talk at FOSDEM...

1 min read
blog20250127T000000==public

Is NixOS truly reproducible?

Build reproducibility is often considered as a de facto feature provided by functional package managers like Nix. Although the functional package manager model...

8 min read
research20250101T000000==public

Does Functional Package Management Enable Reproducible Builds at Scale? Yes.

Authors: J. Malka, S. Zacchiroli, T. Zimmermann Venue: MSR 2025 Award: ACM SIGSOFT Distinguished Paper Award Preprint: https:/hal.sciencehal-04913007 ...

1 min read
talk20240925T000000==public

Portable software bills of materials with Nix and systemd portable services

Venue: All Systems Go 2024 Recording:...

1 min read
research20240419T020000==public

Increasing trust in the open source supply chain with reproducible builds and functional package management

Authors: J. Malka Venue: ICSE Doctoral Symposium 24 Preprint: https:/hal.sciencehal-04482192v1 Functional package managers (FPMs) and reproducible builds...

1 min read
research20240419T010000==public

Reproducibility of Build Environments through Space and Time

Authors: J. Malka, S. Zacchiroli, T. Zimmermann Venue: ICSE-NIER'24 Preprint: https:/hal.sciencehal-04430009v1 Modern software engineering builds up on the...

1 min read
talk20240419T000000==public

Reproducibility of Build Environments through Space and Time

Venue: ICSE 2024 Presentation of our ICSE-NIER'24 paper on how functional package managers provide the tooling to make build environments reproducible in...

1 min read
talk20240204T150000==public

Public calendars aggregation using Linkal

Venue: FOSDEM 2024 Recording: https:/archive.fosdem.org2024scheduleeventfosdem-2024-3443-public-calendars-aggregation-using-linkal A talk about public...

1 min read
talk20240204T140000==public

Debug your stage-1 systemd with GDB and the NixOS test framework

Venue: FOSDEM 2024 Recording: https:/archive.fosdem.org2024scheduleeventfosdem-2024-2784-debug-your-stage-1-systemd-with-gdb-and-the-nixos-test-framework A...

1 min read
talk20240204T130000==public

Automatic boot assessment with boot counting

Venue: FOSDEM 2024 Recording: https:/archive.fosdem.org2024scheduleeventfosdem-2024-3045-automatic-boot-assessment-with-boot-counting A talk about automatic...

1 min read
talk20240204T120000==public

Clevis/Tang: unattended boot of an encrypted NixOS system

Venue: FOSDEM 2024 Recording: https:/archive.fosdem.org2024scheduleeventfosdem-2024-3044-clevis-tang-unattended-boot-of-an-encrypted-nixos-system A talk about...

1 min read
note00000000T000000==public

Home

PhD student at the Polytechnic Institute of Paris researching software supply chain security. Former theoretical CS student at École Normale Supérieure....

1 min read