Re: A comprehensible introduction to Ian Grant's ideas

2014-10-04 Thread Taylan Ulrich Bayirli/Kammer
Mark H Weaver writes: > Ian, you are a _terrible_ communicator. IMO, your biggest problems are: > > 1. You present your ideas in a far too abstract way, making it hard for >those of us who haven't already been long acquainted with your ideas >to begin to understand them. > 2. You write f

Re: Verifying Toolchain Semantics

2014-10-04 Thread Ian Grant
On Fri, Oct 3, 2014 at 2:23 AM, Mark H Weaver wrote: >> http://livelogic.blogspot.com/2014/10/the-foundation-part-i.html > I downloaded the PDF linked in that blog entry and attempted to view it > using Emacs's docview mode, which reported that the pdf->png process > died with a segfault. Thi

Re: A comprehensible introduction to Ian Grant's ideas

2014-10-04 Thread Ian Grant
On Sat, Oct 4, 2014 at 1:37 AM, Mark H Weaver wrote: > Ian, you are a _terrible_ communicator. IMO, your biggest problems are: > > 1. You present your ideas in a far too abstract way, making it hard for >those of us who haven't already been long acquainted with your ideas >to begin to und

Re: Verifying Toolchain Semantics

2014-10-04 Thread Nala Ginrut
2014年10月5日 上午9:35于 "Ian Grant" 写道: > > Well, if I do succeed in distributing malware, it will be a good > demonstration of what I have been arguing for months now, which is > that your "core infrastructure" is _very,_ _very_ flaky, and that far > from being "the most important developers," you are

Re: Verifying Toolchain Semantics

2014-10-04 Thread Mike Gerwitz
On Sat, Oct 04, 2014 at 09:35:09PM -0400, Ian Grant wrote: > Well, if I do succeed in distributing malware, it will be a good > demonstration of what I have been arguing for months now, which is > that your "core infrastructure" is _very,_ _very_ flaky, and that far > from being "the most important