Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 553 posts.

Systems & Performance
2021
483

Static Executables with SBCL v2

It's taken me much longer than I hoped, but I finally have a second version of my patches to build static executables tested and ready to go! This set of patches vastly improves upon the first by reducing the amount of compilation needed at the cost of sacrificing a little purity. Additionally I have created a system…

485

PipeWire Under the Hood

The PipeWire project is slowly getting popular as it matures. Its documentation is still relatively sparse but is gradually growing. However, it's always a good idea to have people from outside the project try to grasp and explain it to others in their own words, reiterating ideas, seeing them from their own…

495

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…

510

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…