Why Don't People Use Formal Methods?

3 weeks ago 5
Add to circle

Article URL: https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/

Comments URL: https://news.ycombinator.com/item?id=49109026

Points: 11

# Comments: 1

Read Entire Article
  1. Homepage
  2. Technology
  3. Why Don't People Use Formal Methods?

Related

China grants Geely a two-year permit for the country's first private satellite IoT trial, letting Geely offer connectivity to sectors like transport and energy (Ben Jiang/South China Morning Post)

China grants Geely a two-year permit for the country's first...

25 minutes ago 0
Small, native web tricks worth remembering

Small, native web tricks worth remembering

41 minutes ago 0
How the memory boom is reshaping Micron's hometown of Boise, Idaho, with new millionaires, job growth, rising housing costs, and uneven wealth distribution (CNBC)

How the memory boom is reshaping Micron's hometown of Boise,...

1 hour ago 1