Re: Dijkstra's Methodology for Secure Systems Development

2014-09-29 Thread Ian Grant
The following is a response to what some may think an implausible suggestion made here: http://lists.gnu.org/archive/html/guile-devel/2014-09/msg00124.html The suggestion is that the system of education has been subverted so that there are "unknown" physical laws which give "the unseen enemy"

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-26 Thread Ian Grant
http://livelogic.blogspot.com/2014/09/beware-good-and-wise.html

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-21 Thread William ML Leslie
I wasn't really sure if I should reply to this thread again, but I guess I should clear up some of my thoughts and experiences here. On 20 September 2014 22:46, Taylan Ulrich Bayirli/Kammer < taylanbayi...@gmail.com> wrote: > Panicz Maciej Godek writes: > > [...] the back doors can be implemente

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-21 Thread Panicz Maciej Godek
2014-09-21 13:11 GMT+02:00 Taylan Ulrich Bayirli/Kammer < taylanbayi...@gmail.com>: > [...] > Still, one last political remark from me: > > Things are more complicated. Google might be incapable of evil, but > then they might be a tool of the US government. Not calling the US > government "evil"

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-21 Thread Taylan Ulrich Bayirli/Kammer
Panicz Maciej Godek writes: > How can we know that the enemy isn't using some laws of physics that > we weren't taught at school (and that he deliberately keeps that > knowledge out of schools)? Then our enemy will always be in control! > This reasoning, although paranoid, seems completely valid,

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-21 Thread Panicz Maciej Godek
2014-09-20 14:46 GMT+02:00 Taylan Ulrich Bayirli/Kammer < taylanbayi...@gmail.com>: > Panicz Maciej Godek writes: > > > [...] > > First of all let me say I agree with you; guile-devel is the wrong place > to discuss these things. > > Having this settled, let's proceed with our discussion :) > I

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Nala Ginrut
2014年9月21日 上午2:39于 "Left Right" 写道: > > Sorry, I really only registered to submit a couple of bugs, but I > couldn't miss the opportunity! Well, you see, there is a very well > known ethical school of thinking which does not think that ethics is > relative (I don't believe that too, but for other r

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Eli Zaretskii
> From: Taylan Ulrich Bayirli/Kammer > Cc: godek.mac...@gmail.com, ian.a.n.gr...@googlemail.com, > guile-devel@gnu.org > Date: Sat, 20 Sep 2014 21:11:33 +0200 > > > Use the words I suggested, and this problem disappears, even if others > > remain. > > Well, that's false. Many people think it

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Taylan Ulrich Bayirli/Kammer
Eli Zaretskii writes: > And "right" and "wrong", do they have well-defined semantics? No, > they don't, and yet you used them freely to make your point. How's > that for consistency? Since I assumed they have no well-defined meanings, I used them such that what I mean with them would have hope

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Left Right
Sorry, I really only registered to submit a couple of bugs, but I couldn't miss the opportunity! Well, you see, there is a very well known ethical school of thinking which does not think that ethics is relative (I don't believe that too, but for other reasons). Immanuel Kant is by far the best know

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Eli Zaretskii
> From: Taylan Ulrich Bayirli/Kammer > Cc: godek.mac...@gmail.com, ian.a.n.gr...@googlemail.com, > guile-devel@gnu.org > Date: Sat, 20 Sep 2014 18:45:49 +0200 > > Eli Zaretskii writes: > > > Evil is not about right and wrong. Evil is about moral and immoral, > > lawful and unlawful. If you

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Taylan Ulrich Bayirli/Kammer
Eli Zaretskii writes: > Evil is not about right and wrong. Evil is about moral and immoral, > lawful and unlawful. If you don't understand the fundamental > difference between those categories, perhaps you should refrain from > talking about Hitler, Stalin, and bombardment of civilians. If any

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread William ML Leslie
On 20 September 2014 18:50, Panicz Maciej Godek wrote: > > ​​ > And I still find it difficult to see anything terrible in the idea that > "FSF had been subverted", when I interpret that in terms of software > security, because the way I see it, the main premise of FSF movement is to > share the c

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Eli Zaretskii
> From: Taylan Ulrich Bayirli/Kammer > Date: Sat, 20 Sep 2014 14:46:01 +0200 > Cc: Ian Grant , guile-devel > > > If there are some people accessing my files, why should I feel > > unfomfortable with that? Why can't I trust that someome with such > > great power isn't going to be mean and evil?

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Taylan Ulrich Bayirli/Kammer
Panicz Maciej Godek writes: > [...] First of all let me say I agree with you; guile-devel is the wrong place to discuss these things. I also feel uncomfortable about having been painted as the only person agreeing with Ian. According to him I was able to understand his idea at least, but I'm n

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Panicz Maciej Godek
Hey, Maybe I'm a fucking ignorant jumped-up little prick, but at least I don't stink ;] Actually I don't think that you did put yourself into a particulatly comfortable position, and even if you don't care what the people around you think, maintaining personal hygiene seems like The Right Thing To

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-20 Thread Thien-Thi Nguyen
() Ian Grant () Fri, 19 Sep 2014 19:17:04 -0400 My other major achievement is that I was a guile developer back in 1999. I wrote guile-pg, which ttn has let fall to bit-rot! Shame on him! But after maintaining it for over a decade, I can't blame him for getting bored. I beg your i

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-19 Thread Ian Grant
On Fri, Sep 19, 2014 at 7:17 PM, Ian Grant wrote: a bunch of stuff, and added: I forgot to add "you fucking ignorant jumped-up little prick!" So now you have _textual evidence_ that I really am impolite :-) Best wishes Ian

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-19 Thread Ian Grant
Hi Panicz, What country do you live in at the moment? I ask because it makes a difference sometimes to know someone's background. I live in Bolivia. I am stateless, i.e. an illegal alien, and because of that have no source of income. I live on money borrowed from friends and family. My material p

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-19 Thread Panicz Maciej Godek
Hi. I've observed that some time ago you started sending tons of revolutionary ideas regarding the way the software should be written, and crtiticising the current practices. I am not in the position to refer to those ideas, because I didn't manage to comprehend them fully (although I am trying to

Dijkstra's Methodology for Secure Systems Development

2014-09-19 Thread Ian Grant
I hope this will provoke some new ideas about how to develop secure systems software. Thesis: The Software Development Process Itself is THE Major Security Vulnerability in Current Computing and Communications Practices This is because feasibility of the process depends entirely on re-use of conc