New

The latest blog posts to take off on Hacker News. 3,497 posts.

Any topic
2021
2422

Prions

Editor’s Note 4/4/21: A few weeks after this article was published, a mysterious prion disease was identified in New Brunswick, Canada. I do not have to say that viruses have dominated every level of public conversation for the past year. Ancient and odd but relatively easy to talk about,

2428

Why Specifications Don't Compose

Recently my friend Lars Hupel and I had a discussion on why formal methods don’t compose well. You can read the conversation here. We focused mostly on composing formally-verified code. I want to talk a little more about the difficulties in composing specifications. This is half because it’s difficult for interesting…

2430

Curl those funny IPv4 addresses

Everyone knows that on most systems you can specify IPv4 addresses just 4 decimal numbers separated with periods (dots). Example: 192.168.0.1 Useful when you for example want to ping your local wifi router and similar. "ping 192.168.0.1" Other bases The IPv4 string is usually parsed by the inet_addr() function or at…