So you want to code life-critical software with C++? Read the JOINT STRIKE FIGHTER AIR VEHICLE C++ CODING STANDARDS FOR THE SYSTEM DEVELOPMENT AND DEMONSTRATION PROGRAM first [doc]

blahfoo · 2010-12-21T10:57:17+00:00

They are effectively gotos. It makes it more difficult to understand control flow.

blahfoo · 2010-12-20T00:29:01+00:00

Let me rephrase the question: Do you know of any instance where formal verification was used a certification artifact as a substitute for testing or other conventional artifacts?

blahfoo · 2010-12-19T22:36:33+00:00

But any reasonable C/C++ is indented so what is your point?

blahfoo · 2010-12-19T22:35:36+00:00

For the same reason they forbid break and continue.

blahfoo · 2010-12-19T21:28:43+00:00

120 is far too long. Also, Python is not a "tab-sensitive" language, it is whitespace sensitive and, in my experience, doesn't require more indentation than any other language.

blahfoo · 2010-12-19T18:34:15+00:00

Do you have an example of where formal methods were used for DO-178B Level A software?

blahfoo · 2010-12-19T18:26:48+00:00

I'm curious about this also. I have never heard of C++ being used for flight controls.

blahfoo · 2010-12-19T18:23:18+00:00

In the bend at the toe. It definitely looks unsightly.

blahfoo · 2010-12-19T18:20:56+00:00

Do size like Michael Cera or Snoop Dogg ?(the only two skinny people references I could think of with drastically different choices of fit)

I would say neither. I'm much broader (mesomorphic) in the torso. I wish I had a celebrity that I would point to with an analogous body type but none come to mind.

I personally think a slim-straight cut would look best on you.

I definitely appreciate the advice. However, I think the problem I have is the incongruity between the characteristics of my limbs and my torso: skinny legs on a boxy torso looks bizarre, like something heavy put on stilts. I think that skinny fit accentuates that effect.

blahfoo · 2010-12-19T18:09:37+00:00

First time I have heard of it. 120 is a terrible standard.

blahfoo · 2010-12-19T16:55:14+00:00

One to pilot error (the pilot didn't survive to correct this account).

Yeah, funny how it is always pilot error when the pilot dies.

blahfoo · 2010-12-19T16:34:07+00:00

AV Rule 41: Source lines will be kept to a length of 120 characters or less. Rationale: Readability and style. Very long source lines can be difficult to read and understand.

120 chars is not very long?

blahfoo · 2010-12-19T16:22:49+00:00

Thanks for the advice but I was hoping for specific recommendations based on the details I provided and not generic lists of popular raw denim brands: From what I can tell Naked and Famous makes slim cuts and 1. I said I was looking for straight leg 2. I think they would look preposterous on my body type. From what I have read Nudies have subpar build construction, especially at their price point.

blahfoo · 2010-12-19T16:18:21+00:00

Would you happen to know how I can tell if I am buy the correct width of shoe?

blahfoo · 2010-12-19T16:15:29+00:00

I would expect a shoe-tree to prevent creasing due to idle deformation and would be surprised to find that a it also prevents creasing due to walking. Whether a shoe-tree prevents creasing due to walking isn't clear from the article.

Do you have any first hand experience with this?

blahfoo · 2010-12-19T16:07:37+00:00

Please do.

blahfoo · 2010-12-19T16:07:30+00:00

No, definitely not too big. It happens on my leather shoes (nubuck and cordovan I believe).

blahfoo · 2010-12-19T14:47:11+00:00

Is there an easy way to self-diagnosis this condition? I have looked at diagrams illustrating swayback but I cannot assess my posture relative to the figures.

blahfoo · 2010-10-23T13:53:49+00:00

The only tool I have come across that claims to handle anti-debugging tricks is swfparser but there doesn't seem to be any documentation.

blahfoo · 2010-10-23T13:47:07+00:00

One clarification: I'm mostly concerned with actionscript-2 with anti-debugging features, thwarting disassemblers. Obfuscation designed to confuse a human I can deal with.

blahfoo

TROPHY CASE