Proof of DDC

Posted Aug 1, 2024 20:00 UTC (Thu) by crhodes (subscriber, #28923)
In reply to: Proof of DDC by Foxboron
Parent article: Pulling Linux up by its bootstraps

> 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...