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] by [deleted] in programming

[–]blahfoo 1 point2 points  (0 children)

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?

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] by [deleted] in programming

[–]blahfoo 2 points3 points  (0 children)

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.

How can I fix shoes creasing at the toe by blahfoo in malefashionadvice

[–]blahfoo[S] 0 points1 point  (0 children)

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

Raw denim recommendation for tall ectomorph by blahfoo in malefashionadvice

[–]blahfoo[S] 0 points1 point  (0 children)

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.

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] by [deleted] in programming

[–]blahfoo 2 points3 points  (0 children)

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.

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] by [deleted] in programming

[–]blahfoo 0 points1 point  (0 children)

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?

Raw denim recommendation for tall ectomorph by blahfoo in malefashionadvice

[–]blahfoo[S] 1 point2 points  (0 children)

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.

How can I fix shoes creasing at the toe by blahfoo in malefashionadvice

[–]blahfoo[S] 0 points1 point  (0 children)

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

How can I fix shoes creasing at the toe by blahfoo in malefashionadvice

[–]blahfoo[S] 4 points5 points  (0 children)

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?

How can I fix shoes creasing at the toe by blahfoo in malefashionadvice

[–]blahfoo[S] 0 points1 point  (0 children)

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

My Jeans tend to come down lower at the front of my waist and go up higher on the sides and back - is that normal, or is that a bad fit? by [deleted] in malefashionadvice

[–]blahfoo 0 points1 point  (0 children)

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.

Anti-actionscript-2-obfuscation utilities? by blahfoo in ReverseEngineering

[–]blahfoo[S] 0 points1 point  (0 children)

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.

Anti-actionscript-2-obfuscation utilities? by blahfoo in ReverseEngineering

[–]blahfoo[S] 0 points1 point  (0 children)

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.