Proof of DDC

Posted Jul 31, 2024 22:49 UTC (Wed) by Foxboron (subscriber, #108330)
Parent article: Pulling Linux up by its bootstraps

I think it's worth pointing out that the Reproducible Builds project / Bootstrappable Builds project did manage to reproduce the Mes C compiler between 3 different Linux distros and arrived at the same checksum.

To our knowledge that is the first non-academic proof of DDC.

https://reproducible-builds.org/news/2019/12/21/reproducible-bootstrap-of-mes-c-compiler/

Proof of DDC

Posted Jul 31, 2024 23:16 UTC (Wed) by ms-tg (subscriber, #89231) [Link] (1 responses)

Apologies, I'm trying to figure out what DDC stands for here, is it this?
* [Diverse Double Compiling](https://dwheeler.com/trusting-trust/dissertation/html/whe...)

Proof of DDC

Posted Jul 31, 2024 23:49 UTC (Wed) by rahulsundaram (subscriber, #21946) [Link]

>Apologies, I'm trying to figure out what DDC stands for here, is it this?
>* [Diverse Double Compiling](https://dwheeler.com/trusting-trust/dissertation/html/whe...)

Yep, that's linked from the news post referenced.

Proof of DDC

Posted Aug 1, 2024 20:00 UTC (Thu) by crhodes (subscriber, #28923) [Link]

> To our knowledge that is the first non-academic proof of DDC.

The SBCL Common Lisp system is built, in theory, by arbitrary Common Lisp compilers, and is (again in theory) written in portable Common Lisp. In 2014 this was demonstrated by having the built system be bitwise-identical independent of which compiler was used to build it: http://christophe.rhodes.io/notes/blog/posts/2014/reprodu...