On 2014-09-17 17:15, Ian Grant wrote:
When did you last audit these 66,000 lines of intermediate code, which
people are encouraged to run as root?
[...]
ian3@jaguar:~/build/guile-2.0.11$ wc -l Makefile lib/Makefile
libguile/Makefile configure
2373 Makefile
4052 lib/Makefile
3792 libgu
On Wed, Sep 17, 2014 at 5:57 PM, Ian Grant
wrote:
> Now tell me how it is _you_ know that what you did doesn't earn you
> and Richard Stallman a fetching orange jump-suit each, and an
> all-expenses-paid vacation at a Government holiday camp in the South
> East Florida Keys, with power-showers eve
On Wed, Sep 17, 2014 at 5:32 PM, Ludovic Courtès wrote:
> Ian Grant skribis:
> Furthermore, while your ideas may be worth pursuing, it’s not OK to keep
> aggressively posting to so many people. Please come back to
> guile-devel@gnu.org when you have concrete proposals or code, directly
> releva
On Wed, Sep 17, 2014 at 1:29 PM, Mark H Weaver wrote:
> [...] I led the development of the scannable PGP source code books that
> allowed PGP to be legally exported from the US fo the first time, along
> with the tools needed to convert the paper books back into electronic
> form with modest effor
Ian Grant skribis:
> On Wed, Sep 17, 2014 at 1:29 PM, Mark H Weaver
> wrote:
>> Hi Ian,
>>
>> I'm going to try to ignore your gratutious and unfounded insults,
>
> They are indeed gratuitous.
Ian, insulting behavior is not acceptable on this mailing list.
Please stop it, now.
Furthermore, whi
On Wed, Sep 17, 2014 at 1:29 PM, Mark H Weaver wrote:
> Hi Ian,
>
> I'm going to try to ignore your gratutious and unfounded insults,
They are indeed gratuitous. Think of them as a sort of free software.
> because I agree that the problem you are trying to solve is an important
> one, and believ
Hi Ian,
I'm going to try to ignore your gratutious and unfounded insults,
because I agree that the problem you are trying to solve is an important
one, and believe it or not, you'd be hard pressed to find anyone else in
the GNU project who worries about this issue as much as I do.
For example, on
On Tue, Sep 16, 2014 at 11:27 PM, Mark H Weaver wrote:
> A Thompson virus could be hiding in this intermediate C code that would
> be very hard to audit.
>
When did you last audit these 66,000 lines of intermediate code, which
people are encouraged to run as root? If you _had_ audited it, how wo
On Tue, Sep 16, 2014 at 11:27 PM, Mark H Weaver wrote:
> Ian Grant writes:
>
> Are you suggesting that we compile our Scheme code to C, include that
> in our distribution, and then users would start by compiling that
> (non-source) C code? If so, I'm surprised to hear you suggest that,
> given
Ian Grant writes:
> On Tue, Sep 16, 2014 at 8:57 PM, wrote:
>> Note that the 42 minutes here is a dumbed-down scheme interpreter
>> written in C building/boostrapping the compiler. The guile compiler
>> (the Scheme one) is quite a bit faster than that.
>
> I know, but it's not necessary. Guile
On Tue, Sep 16, 2014 at 8:57 PM, wrote:
> Note that the 42 minutes here is a dumbed-down scheme interpreter
> written in C building/boostrapping the compiler. The guile compiler
> (the Scheme one) is quite a bit faster than that.
I know, but it's not necessary. Guile could take the scheme code wh
Ian Grant wrote:
> One may ask what has this to do with scheme? Well, Standard ML can
> compose scheme or C code just as easily as it can compose assembler
> code. So a Standard ML functor can define a typed template that will
> allow one to exchange underling scheme implementations
n terms of the ability to know that essentially you
had, call it, bug-free programs. And I, of course, had read the
T.H.E. paper that he had written about that and I was largely a
skeptic. Well, it turned out his office was about three doors down
from mine. By that time I had gotten an office in P
13 matches
Mail list logo
