[rb-general] GNU Guix report on the summit

Orians, Jeremiah (DTMB) OriansJ at michigan.gov
Mon Dec 16 14:14:19 UTC 2019

> A little bit of a pointer regarding the Mes compiler work.
Always important detail: MesCC is the C compiler written in scheme, Mes.c is the scheme interpreter

> I discussed this with Janneke and Vagrant on IRC, but I don't think this work is really proving DDC as explained by David. 
It absolutely is not, it is just getting cross-platform reproducibility in Mes.c

> Mes is still built by gcc, albeit with different versions, which produced the reproducible Mes binary, but this doesn't produce a Mes compiler from a *trusted* compiler.
Correct that work is being done here: https://github.com/oriansj/mes-m2
(the slow_lisp branch is the future)
And ultimately incorporated here:

ultimately in the short term, MesCC running on guile is ultimately the current root of the bootstrap for guix
Once mes-m2 is able to run MesCC and guix directly (not to mention solve the guile bootstrap problem)
The bootstrap will be complete.


More information about the rb-general mailing list