Best of 2021

The blog posts Hacker News loved most in 2021. 5,820 posts.

Any topic
5322

The Story of Playdate

I recently posted the sixth episode of the Panic Podcast — a wide-ranging look into the creation of Playdate , our upcoming hand held video game system, based on over nine hours of conversation. It’s a really special listen. But I’m told not everybody listens to podcasts (outrageous), so I’ve made it a (long) blog…

5327

TLA+ Action Properties

There’s not a whole lot on TLA+ technique out there: all the resources are either introductions or case studies. Good for people starting out, bad for people past that. I think we need to write more intermediate-level stuff, what Ben Kuhn calls Blub studies. Here’s an attempt at that. Most TLA+ properties are…

5331

What scientists must know about hardware to write fast code (2020)

Socolive là địa chỉ được nhiều người hâm mộ bóng đá tìm đến khi muốn cập nhật và theo dõi trực tiếp bóng đá trên nền tảng trực tuyến. Nội dung tại Socolive được xây dựng xoay quanh nhiều giải đấu và cuộc đối đầu đáng chú ý, giúp người xem dễ dàng tìm thấy trận đấu đang được quan tâm. Cách phân loại thông tin theo từng…