Viewing profile — nernst

I think he is referring to Germany.

You might read Walt Vincenti's book on this, "What Engineers Know and How They Know It: Analytical Studies from Aeronautical History" Excellent read. https://www.amazon.ca/What-Eng…

And efficiency improvements.

A good way to do that is to skim titles on DBLP. E.g. http://dblp.uni-trier.de/db/conf/sigsoft/fse2015.html .

My understanding of the Asiana crash was that the autopilot would have landed the plane fine, and that it was the humans turning it off that caused the problem. Your point is still…

What's interesting is the number of people posting here who found the questions ambiguous. One assumes that your average HN poster may be a little overly detail oriented (and privi…

Felt this was glossed over. It's all well and good to not be too harsh for the reasons they mentioned, but ultimately the point is to 'peer review' the science. In fact I would say…

This is interesting work. I'm curious how confident we can be that the TLA+ proof from Diego Ongaro was correctly represented in Verdi/Coq. This still seems like a manual, hard-to-…

I like the tool. As for the extensions, I would suggest that in my experience SonarQube has the same ability for extension, and does most of its work in the open. So it might be wo…

(author here) We cross-tabbed system age vs perception of amount of TD. There was a moderate association between older systems (> 6 yrs) and more perceived debt. I did not explicit…

This is a DHS responsibility: http://www.dhs.gov/critical-infrastructure

Perhaps lazy, perhaps working 20 other cases, or just lacking technical sophistication. If it was me it would be much simpler to issue a subpoena then engage in some sort of sting …

The Common Rule AFAIK only applies to places that get government funding, so I don't see how this applies to research FB does on its own.

I think the key one here is "XHTML:HTML". Like HTML markdown offloads the responsibility onto the parser writer to figure out what was intended. So while I sympathize with Github a…

Would it work with Latex? Doesn't Github have to supply the renderer itself?

Wordpress.com now has Markdown [1]. Which has kept me there, so I'm guessing the timing cannot be coincidental, either. [1] http://en.blog.wordpress.com/2013/11/19/markdown/

As I understood it, the point is not that human intelligence never works. Rather, it works unpredictably. One can argue that the Sorge episode is random chance: the chance of someo…

There are a few courses doing that. I offered one that had student teams present a chapter each; Ric Holt at Waterloo was also doing something similar with reports. You can read a …

There is a good article examining the various possible causes of the Ariane-5 disaster by Bashar Nuseibeh: "Ariane-5: Who-Dunnit?". See PDF here: http://www.inf.ed.ac.uk/teaching/c…

It initially didn't fix the resolution issue for me. The trick, according to MacRumours, is to touch the .app files. A Mac caching issue. E.g. "touch /Applications/Microsoft Office…

Have you tried uppercase 'OR'? I found that worked.

Well, here are a few of the people "peddling fancy buzzwords". I think their bios speak for themselves. * Martin Fowler - http://martinfowler.com/aboutMe.html * David Anderson - ht…

I'm fairly sure that line from Anthony Finkelstein is tongue-in-cheek. Like any profession, academia is about networking. Social media can really help here, and I think academics a…