Most cited

Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 904 posts.

Any topic
2020
362

Jepsen: PostgreSQL 12.3

PostgreSQL is a major open-source relational database with a 23-year history and a broad range of features. While Jepsen’s work has traditionally focused on distributed systems, our tooling is readily applicable to traditional, single-node databases. In this report, we present the results of applying Jepsen’s…

371

State of Clojure 2020

Ten years ago, Chas Emerick ran the first State of Clojure survey. In 2010, most users had been using Clojure for just weeks or months, and few were using it as a language for serious work. This year , we see consistent and growing use for work , steady interest in the key value propositions of Clojure, and an…

373

Names are not type safety

Haskell programmers spend a lot of time talking about type safety . The Haskell school of program construction advocates “capturing invariants in the type system” and “making illegal states unrepresentable,” both of which sound like compelling goals, but are rather vague on the techniques used to achieve them. Almost…

375

SLS vs. Starship

NASA just announced the lunar landers for the Artemis program. To everyone’s surprise, SpaceX’s massive Starship is one of three landers NASA chose alongside Blue Origin and Dynetics. Understandably, this is bringing up a lot of questions. Some of which we will answer in my next video/article: “Should NASA just cancel…

376

Signal PINs

At Signal, our goal is to build a reliable, secure, and private communication experience that is broadly accessible and simple to use. From the beginning, we’ve designed Signal so that your information is in your hands rather than ours.

380

Lambda Calculus Diagrams (2015)

The following table shows diagrams of identity, the booleans, some standard combinators, some Church numerals, the predecessor function on Church numerals, and Omega. term definition diagram alternative I/1 λx.x K/true λx.λy.x false/0 λx.λy.y S λx.λy.λz.(x z)(y z) Y λf.(λx.x x)(λx.f(x x)) 2 λf.λx.f(f x) 3 λf.λx.f(f(f…