Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
throwawayf2o
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
1.
▲
by
throwawayf2o
12y ago
http://spinroot.com/gerard/pdf/P10.pdf (some are more/less appropriate for non-embedded-systems) In general, the answer typically involves formal specification and formal methods that check the code against t
2.
▲
by
throwawayf2o
12y ago
Play sports before/after work and get it out of your system on the field. Or be aggressive about your product winning in the marketplace.
3.
▲
by
throwawayf2o
12y ago
The explicit separation of hypothesis generation and argumentation / evaluation of alternatives is good advice. It's also helpful to take an iterated "2 pass approach" the argumentation/evaluation phase: first have