HN Top Links - Popular Stories from Hacker News

1021.

Idris 2: Quantitative Type Theory in Practice (arxiv.org)

150 points by otoburb on Jan 23, 2022 | 60 comments

1022.

Loopy Pro (loopypro.com)

150 points by alin23 on Jan 7, 2022 | 49 comments

1023.

Cognitive load theory and its applications for learning (scotthyoung.com)

150 points by incomprehension on Jan 14, 2022 | 19 comments

1024.

Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtime (github.com)

150 points by LightMachine on Jan 31, 2022 | 13 comments

1025.

Street Fighter II, Sound System Internals (fabiensanglard.net)

150 points by ibobev on Jan 15, 2022 | 12 comments

1026.

The history of the end of poverty has just begun (ourworldindata.org)

149 points by cryoz on Jan 25, 2022 | 425 comments

1027.

Israel Finds Fourth Covid Booster Is Ineffective (healthpolicy-watch.news)

149 points by awb on Jan 17, 2022 | 247 comments

1028.

Hackers disrupt payroll for thousands of employers, including hospitals (npr.org)

149 points by thunderbong on Jan 16, 2022 | 155 comments

1029.

Ask HN: Does your team use feature flags?

149 points by rozenmd on Jan 28, 2022 | 140 comments

1030.

Faster IndexOf for Substrings in .NET (github.com)

149 points by bob1029 on Jan 4, 2022 | 86 comments

1031.

Ask HN: Resources for “Learning” Manufacturing?

149 points by supermatt on Jan 4, 2022 | 72 comments

1032.

BioNTech-InstaDeep Early Warning System to Detect High-Risk SARS-CoV-2 Variants (investors.biontech.de)

149 points by adsodemelk on Jan 11, 2022 | 64 comments

1033.

Washed Up (infrequently.org)

149 points by robin_reala on Jan 6, 2022 | 46 comments

1034.

Personal calculator has key to solve any equation f(x)=0 (1979) [pdf] (people.eecs.berkeley.edu)

149 points by todsacerdoti on Jan 17, 2022 | 30 comments

1035.

Maxis’ former “serious games” division (2020) (arstechnica.com)

149 points by Redoubts on Jan 16, 2022 | 19 comments

1036.

The Free and Open Source Silicon Foundation (fossi-foundation.org)

149 points by marcodiego on Jan 24, 2022 | 12 comments

1037.

Is old music killing new music? (tedgioia.substack.com)

148 points by tysone on Jan 19, 2022 | 377 comments

1038.

Activision Blizzard pushes out dozens of employees over workplace misconduct (wsj.com)

148 points by kyrra on Jan 17, 2022 | 291 comments

1039.

Wrapping Up 2021. Leaving C++ (izzys.casa)

148 points by AlexeyBrin on Jan 1, 2022 | 237 comments

1040.

Gemini is Solutionism (xn--gckvb8fzb.com)

148 points by johnjago on Jan 25, 2022 | 218 comments

1041.

Programming in 1987 versus Today (ovid.github.io)

148 points by Claude_Shannon on Jan 4, 2022 | 144 comments

1042.

Cannabidiol inhibits SARS-CoV-2 replication through induction of host ER stress (science.org)

148 points by caaqil on Jan 21, 2022 | 105 comments

1043.

YK22 bug causing Honda clocks to stop working (crvownersclub.com)

148 points by throwawayHN378 on Jan 6, 2022 | 89 comments

1044.

2FA app with 10k Google Play downloads loaded well-known banking trojan (arstechnica.com)

148 points by mocko on Jan 28, 2022 | 72 comments

1045.

Age and high-growth entrepreneurship (aeaweb.org)

148 points by jacobr on Jan 23, 2022 | 68 comments

1046.

Apple complies with Dutch ruling, lets dating apps use other payment systems (nltimes.nl)

148 points by sAbakumoff on Jan 15, 2022 | 61 comments

1047.

That famous Pixar lunch of 1994 (2014) (gointothestory.blcklst.com)

148 points by BerislavLopac on Jan 10, 2022 | 59 comments

1048.

My favorite liar (2009) (zenmoments.org)

148 points by belter on Jan 7, 2022 | 33 comments

1049.

Visualizing Bayes Theorem (2009) (oscarbonilla.com)

148 points by Tomte on Jan 2, 2022 | 21 comments

1050.

Nobody Pronounces the 'B' in 'Debt' (merriam-webster.com)

147 points by alecst on Jan 4, 2022 | 329 comments