Re: [OFFTOPIC] Re: Trusting trust [was: PARTIAL DIAGNOSIS of Installation problems]

2021-03-05 Thread Gene Heskett
On Friday 05 March 2021 03:14:51 to...@tuxteam.de wrote: > On Fri, Mar 05, 2021 at 01:33:14AM -0500, Stefan Monnier wrote: > > > AIUI compilers have been studied so extensively that their > > > production is largely automated. > > > > Oh, no. There are some parts we know how to automate, but by a

Re: [OFFTOPIC] Re: Trusting trust [was: PARTIAL DIAGNOSIS of Installation problems]

2021-03-05 Thread tomas
On Fri, Mar 05, 2021 at 01:33:14AM -0500, Stefan Monnier wrote: > > AIUI compilers have been studied so extensively that their production is > > largely automated. > > Oh, no. There are some parts we know how to automate, but by and large > it's all hand written code. :-) https://m.xkcd.com/224

Re: [OFFTOPIC] Re: Trusting trust [was: PARTIAL DIAGNOSIS of Installation problems]

2021-03-04 Thread Stefan Monnier
> AIUI compilers have been studied so extensively that their production is > largely automated. Oh, no. There are some parts we know how to automate, but by and large it's all hand written code. > Create an EBNF specification, feed it through a tool > chain (lex, yacc, cc, as, ld, etc.), and you

Re: [OFFTOPIC] Re: Trusting trust [was: PARTIAL DIAGNOSIS of Installation problems]

2021-03-04 Thread David Christensen
On 3/4/21 9:28 PM, David Christensen wrote: (One more step of 'cT = cT(a)' may be required Correction: cT = cT(T) David

Re: [OFFTOPIC] Re: Trusting trust [was: PARTIAL DIAGNOSIS of Installation problems]

2021-03-04 Thread David Christensen
On 3/4/21 6:50 PM, Stefan Monnier wrote: The abstract states: "In the DDC technique, source code is compiled twice: once with a second (trusted) compiler (using the source code of the compiler’s parent), and then the compiler source code is compiled using the result of the first compilation.

[OFFTOPIC] Re: Trusting trust [was: PARTIAL DIAGNOSIS of Installation problems]

2021-03-04 Thread Stefan Monnier
> The abstract states: > > "In the DDC technique, source code is compiled twice: once with a > second (trusted) compiler (using the source code of the compiler’s > parent), and then the compiler source code is compiled using the > result of the first compilation. If the result is bi