Topics /

Software Engineering

The most popular blog posts about software engineering on Hacker News. 1,551 posts.

2022
1175

Formally Verifying Rust's Opaque Types

Introduction The other day I was reading this blog post covering existential types in Rust (also known as impl Trait or opaque types). In that blog post, the author makes the following claim. We’re going to have to take a slight diversion into type theory here because it motivates a result that is perhaps intuitive…

1181

State of the SqueakPhone

One of my projects over the past couple of years has been Synit , a Syn dicate init (really, systemd and D-Bus ) replacement. Synit underpins another project, #squeak-phone , a sketch of an alternative to Android for personal computing on a mobile device.

1189

Running C unit tests with Pytest

In this post I will describe my approach to C unit testing using pytest. In particular, we get to see how to gracefully handle SIGSEGVs and prevent them from stopping the test runner abruptly. Furthermore, we shall try to write tests in a Pythonic way.

1195

What does $0=$2 in awk do?

The trick to understanding awk in all its terse glory is to understand its defaults. Most solutions you see in the wild are a clever symphony of awk defaults stacked on top of each other. In this post, I break down one of the most popular one-liners which should hopefully make future awk-ing pretty straight forward.

1196

How to build an absurdly backwards-compatible website

Let's face it: the internet is broken. It feels like so much of the web is composed of clickbait, ads, popups, and a toxic amount of JavaScript that you need a modern computer just to get any value out of it. Remember when low-power computers were created for people who were "just browsing the internet?&quot…