Tech
Why Don't People Use Formal Methods? (2019)
Article URL: https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
Comments URL: https://news.ycombinator.com/item?id=49109026
Points: 77
# Comments: 52
Read the full discussion on HackerNews
This article was aggregated from HackerNews. Click to join the conversation.
View on HackerNews
Related Trends in Tech
Two Secret Scanners Found 5 of 7 Exposed Credentials Each, but Missed Different Secrets
Tokenized Deposits Could Become Blockchain’s Killer Enterprise Use Case
Pressing Enter Doesn’t Make You a Creator
6 User Mindsets That Should Shape Your B2B Onboarding Strategy
How to Build a B2B Lead Generation Strategy Across Multiple Channels
What Would It Take to Prove That an AI Is Conscious?