New

The latest blog posts to take off on Hacker News. 4,838 posts.

Any topic
2019
4567

BSI-001: The Perfect Wall

The perfect wall is an environmental separator—it has to keep the outside out and the inside in. In order to do this the wall assembly has to control rain, air, vapor and heat. In the old days we had one material to do this: rocks. We would pile a bunch or rocks up and have the rocks do it all. But over time rocks…

4575

Why Don't People Use Formal Methods?

I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain…