New

The latest blog posts to take off on Hacker News. 49,241 posts.

Any topic
Any year
21372

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,

21378

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…

21380

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…