HN Top Links - Popular Stories from Hacker News

15601.

Translating My Z3 Tutorial to Coq (philipzucker.com)

108 points by philzook on Feb 27, 2021 | 18 comments

15602.

Open sourcing Pixie under Apache 2.0 license (blog.px.dev)

108 points by nserrino on May 5, 2021 | 18 comments

15603.

SpaceX ISS Docking Simulator Autopilot in Elixir (github.com)

108 points by obvn on May 23, 2021 | 16 comments

15604.

Annotated explanation of David Beazley's dataklasses (til.simonwillison.net)

108 points by jonahbenton on Dec 20, 2021 | 16 comments

15605.

Beyond coupling and cohesion: strategies for un-fucking yourself (jesseduffield.com)

108 points by genericlemon24 on Aug 9, 2021 | 12 comments

15606.

Recursion in SQL Explained Visually (2020) (denis-lukichev.medium.com)

108 points by Tomte on Jul 31, 2021 | 11 comments

15607.

Laws of Showrunning (2016) [pdf] (okbjgm.weebly.com)

108 points by enigmatic02 on Jul 17, 2021 | 10 comments

15608.

How to train large models on many GPUs? (lilianweng.github.io)

108 points by picture on Sep 26, 2021 | 9 comments

15609.

Ghost Kernel (ghostkernel.org)

108 points by peter_d_sherman on Mar 18, 2021 | 6 comments

15610.

Coded Illustrations (zachlieberman.medium.com)

108 points by lobbly on May 3, 2021 | 4 comments

15611.

Cloudflare's Handling of an RCE Vulnerability in Cdnjs (blog.cloudflare.com)

108 points by sahin on Jul 24, 2021 | 4 comments

15612.

Arti, a pure-Rust Tor implementation (blog.torproject.org)

108 points by Morhaus on Jul 9, 2021 | 2 comments

15613.

Julia: A Post-Mortem (chrisvoncsefalvay.com)

107 points by LittlePeter on Mar 8, 2021 | 252 comments

15614.

The Case Against the Covid-19 Lab Leak Theory (newrepublic.com)

107 points by aliasEli on Jul 6, 2021 | 221 comments

15615.

And the winner is…who cares? (economist.com)

107 points by jkuria on Apr 24, 2021 | 214 comments

15616.

Pfizer’s Covid-19 Pill is 89% Effective in Phase 2/3 Study (fdanews.com)

107 points by elorant on Dec 19, 2021 | 213 comments

15617.

Bitcoin Core Lead Maintainer Steps Back, Encourages Decentralization (laanwj.github.io)

107 points by runeks on Jan 23, 2021 | 210 comments

15618.

Apple: Ten Years Forward (mondaynote.com)

107 points by rcarmo on Nov 1, 2021 | 201 comments

15619.

Reflections on E-Bikes (ebikes.neighbor-ryan.org)

107 points by olivernyc on Nov 11, 2021 | 179 comments

15620.

Canada's 'gamble' on delaying, mixing and matching Covid-19 vaccines paid off (cbc.ca)

107 points by colinprince on Oct 10, 2021 | 169 comments

15621.

People are realizing that degrowth is bad (noahpinion.substack.com)

107 points by atlasunshrugged on Sep 6, 2021 | 163 comments

15622.

DevSkiller IT skills report 2021: Demand and hiring trends (devskiller.com)

107 points by gru232 on Apr 15, 2021 | 162 comments

15623.

EU unveils sweeping climate change plan (bbc.co.uk)

107 points by mhandley on Jul 14, 2021 | 158 comments

15624.

Ask HN: Does anyone use keyboard/mouse extra buttons for coding?

107 points by matt_s on Jul 26, 2021 | 155 comments

15625.

Drink less, exercise more – advice on pandemic living from an 18th-century poem (theconversation.com)

107 points by pepys on Sep 1, 2021 | 153 comments

15626.

New UK Law Mandates Organ Donation by Default Unless Explicit Opt-Out (2020) (organdonation.nhs.uk)

107 points by _red on Apr 24, 2021 | 152 comments

15627.

Our journey in dropping the ORM in Go (alanilling.medium.com)

107 points by henvic on Nov 26, 2021 | 147 comments

15628.

Wealth Shown to Scale (mkorostoff.github.io)

107 points by deepanchor on Aug 9, 2021 | 138 comments

15629.

Humans are more dependent on water than many other mammals (scientificamerican.com)

107 points by yusuf_giftworks on Jun 18, 2021 | 137 comments

15630.

Google executives see cracks in their company’s success (nytimes.com)

107 points by goodrubyist on Jun 21, 2021 | 137 comments