New

The latest blog posts to take off on Hacker News. 21,828 posts.

Software Engineering
Any year
9038

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…

9040

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…

9057

wxWidgets 3.1.5

wxWidgets 3.1.5 release is now available on GitHub . You will find there archives with the library sources and documentation as well as binaries for the selected Windows compilers such as Microsoft Visual C++ , MinGW-w64 and TDM-GCC .

9058

Why Rust strings seem hard

Lately I’ve been seeing lots of anecdotes from people trying to get into Rust who get really hung up on strings (&str, String, and their relationship). Beyond Rust’s usual challenges around ownership, there can be an added layer of frustration because strings are so easy in the great majority of languages. You just…