New

The latest blog posts to take off on Hacker News. 5,567 posts.

Any topic
2020
1535

Swift System Is Now Open Source

In June, Apple introduced Swift System, a new library for Apple platforms that provides idiomatic interfaces to system calls and low-level currency types. Today, I’m excited to announce that we’re open-sourcing System and adding Linux support! Our vision is for System to eventually act as the single home for low-level…

1539

Finding Goroutine Bugs with TLA+

My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. But just knowing the syntax isn’t enough to write specs, and it helps to have examples to draw from. I recently read Chris Siebenmann’s Even in Go, concurrency is still not easy and thought it would make a good case study…

1550

Assange Hearing Day 17

During the hearing of medical evidence the last three days, the British government has been caught twice directly telling important lies about events in Belmarsh prison, each lie proven by documentary evidence. The common factor has been the medical records kept by Dr Daly, head of the jail’s medical services. There…

1554

Work on What Matters

I’ve taken to using the word “energized” over “impactful.” “Impactful” feels company-centric, and while that’s important, “energized” is more inwards-looking. Finding energizing work is what has kept me at Stripe for so long, pursuing impactful work. - Michelle Bu We all have a finite amount of time to live, and…