Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Why GitHub used Haskell for Semantic. Parent comment
A typical response is "Most of softwares is not building aircrafts".
And... After googled for a while, it turns out companies building aircraft don't use formal method.
There are no comments on this comment yet.
A typical response is "Most of softwares is not building aircrafts".
And... After googled for a while, it turns out companies building aircraft don't use formal method.