博客 - Security

Authenticate your Git checkouts!

2024-05-07

You clone a Git repository, then pull from it. How can you tell its contents are “authentic”—i.e., coming from the “genuine” project you think you’re pulling from, written by…

Identifying software

2024-03-04

What does it take to “identify software”? How can we tell what software is running on a machine to determine, for example, what security vulnerabilities might affect it? …

The Full-Source Bootstrap: Building from source all the way down

2023-04-26

We are delighted and somewhat relieved to announce that the third reduction of the Guix bootstrap binaries has now been merged in the main branch of Guix! …

GNU Guix 1.2.0 released

2020-11-23

We are pleased to announce the release of GNU Guix version 1.2.0, right in time to celebrate the eighth anniversary of Guix ! The release…

Securing updates

2020-07-01

Software deployment tools like Guix are in a key position when it comes to securing the “software supply chain”—taking source code fresh from repositories and providing users with ready-to-use binaries.…

Guix Further Reduces Bootstrap Seed to 25%

2020-06-15

We are delighted to announce that the second reduction by 50% of the Guix bootstrap binaries has now been officially released! The initial set of binaries…

Grafts, continued

2020-05-06

Guix includes a mechanism called grafts that allows us to provide users with security updates in a timely fashion, even for core packages deep down in the…

Reproducible Builds Summit, 5th edition

2019-12-16

For several years , the Reproducible Builds Summit has become this pleasant and fruitful retreat where we Guix hackers like to go and share, brainstorm, and hack with…

Guix Reduces Bootstrap Seed by 50%

2019-10-08

We are delighted to announce that the first reduction by 50% of the Guix bootstrap binaries has now been officially released! This is a very important…

Bootstrapping Rust

2018-12-11

Slowly, systems programming languages are getting better in the sense of giving more guarantees and automating what can be automated without downsides. Rust is one of the more promising…

Running system services in containers

2017-04-14

At FOSDEM, in the awesome Guile track , I briefly demoed a new experimental GuixSD feature as part my talk on system services : the ability to run system services…

Timely delivery of security updates

2016-03-02

Yesterday, a new version of OpenSSL was released , addressing several serious vulnerabilities, some of which are nicknamed "DROWN" . Like all free software distributions,…