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: boehm-gc troubles with 2.0.11 on NetBSD/i386

2014-09-20 Thread Mark H Weaver
In-Ho Yi writes: > I've continued execution after GC_find_limit_with_bound SIGSEGVs, and > finally I hit this point > > Program received signal SIGSEGV, Segmentation fault. > 0x7f7ff7721d84 in scm_variable_ref (var=0x0) at variable.c:93 > 93SCM_VALIDATE_VARIABLE (1, var); First, can

[guile-emacs] Circular require problem

2014-09-20 Thread Left Right
Hello, I've asked at #guile IRC channel and was told this is the right place to report these. So, I've built Guile-2.2 and Guile-Emacs. Vanilla Emacs didn't start at first due to: (provide 'calendar) (require 'cal-menu) lines in cal-menu.el. This is because calendar requires cal-menu and cal-men

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

coroutines in guile-log

2014-09-20 Thread Stefan Israelsson Tampe
I was asked on the #prolog list to implement coroutines and attributed variables, you may find swi prolog docs for these at http://www.swi-prolog.org/pldoc/man?section=extvar now this works in guile-log, scheme@(guile-user)> (use-modules (logic guile-log guile-prolog coroutine)) scheme@(guile-us

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: boehm-gc troubles with 2.0.11 on NetBSD/i386

2014-09-20 Thread In-Ho Yi
I've continued execution after GC_find_limit_with_bound SIGSEGVs, and finally I hit this point Program received signal SIGSEGV, Segmentation fault. 0x7f7ff7721d84 in scm_variable_ref (var=0x0) at variable.c:93 93SCM_VALIDATE_VARIABLE (1, var); (gdb) bt #0 0x7f7ff7721d84 in scm_va

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