Most cited

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

I just had my first pull request to matplotlib closed. Not because it was wrong. Not because it broke anything. Not because the code was bad.

Leonardo de Moura — Creator of Lean and Z3

I gave up blogging a long time ago (apart from an occasional thing about ArduPilot), I tend to just write code and hope people find it…