2020 Top Papers on Hacker News

101. DeepMind AI reading list

storage.googleapis.com • 157 points

102. RusTLS Formal Audit

github.com • 156 points

103. CA governor projecting 25.5M COVID19 cases in CA in 8 weeks

gov.ca.gov • 155 points

104. Must, Should, Don't Care: TCP Conformance in the Wild

arxiv.org • 154 points

105. Ignition: An Informal History of Liquid Rocket Propellants

sciencemadness.org • 143 points • 1 citation

106. Differential Forms and Integration

math.ucla.edu • 143 points • 1 citation

107. FCC approves 100% foreign ownership of U.S. broadcast properties

docs.fcc.gov • 153 points

108. Essential C

cslibrary.stanford.edu • 152 points

109. Reverse Engineering for Beginners

yurichev.org • 152 points

110. Essential Coding Theory

cse.buffalo.edu • 151 points

111. Gated Linear Networks

arxiv.org • 148 points

112. How to play the guitar by ear, for mathematicians and physicists

foundationwebsite.org • 148 points

113. Three typefaces for mathematics

ultrasparky.org • 147 points

114. Humanly Traversable Wormholes

arxiv.org • 147 points

115. A Plea for Lean Software

people.inf.ethz.ch • 145 points

116. Applied Thinking for Intelligence Analysis

airpower.airforce.gov.au • 144 points

117. Hand Scraping a Truly Flat Plane

galleyrack.com • 144 points

118. An Idiot’s guide to Support vector machines

web.mit.edu • 144 points

119. Reflections on Trusting Trust

cs.cmu.edu • 77 points • 9 citations

120. Compiler Construction by Niklaus Wirth

inf.ethz.ch • 134 points • 1 citation

121. Warren Buffett 1997 Email Exchange on Microsoft

sabercapitalmgt.com • 143 points

122. Staff Report on Algorithmic Trading in U.S. Capital Markets

sec.gov • 140 points

123. Age-Partitioned Bloom Filters

arxiv.org • 140 points

124. The strange properties of the infinite power tower

arxiv.org • 139 points

125. An Introduction to Godel's Theorems (Second Edition)

logicmatters.net • 120 points • 2 citations

126. Unix System Programming with Standard ML

mlton.org • 127 points • 1 citation

127. Russian GRU 85th GTsSS Deploys Previously Undisclosed Drovorub Malware

media.defense.gov • 127 points • 1 citation

128. The Argument Against Quantum Computers and the Quantum Laws of Nature

gilkalai.files.wordpress.com • 136 points

129. Why Do People Stay Poor?

sticerd.lse.ac.uk • 136 points

130. Aerosol and surface stability of hCoV-19 (coronavirus)

medrxiv.org • 58 points • 12 citations

131. Information Leaks via Safari’s Intelligent Tracking Prevention

arxiv.org • 133 points

132. Backstabber's Knife Collection: A Review of Open Source Supply Chain Attacks

arxiv.org • 120 points • 1 citation

133. Deep Molecular Programming

arxiv.org • 128 points

134. Statistical Consequences of Fat Tails by Nassim Nicholas Taleb

arxiv.org • 89 points • 5 citations

135. Noise, Cognitive Function, and Worker Productivity

joshuatdean.com • 123 points

136. Why I Like Math

southparkwillie.com • 121 points

137. Levandowski files suit against Uber

ipfs.eternum.io • 112 points • 1 citation

138. Surfboard: Audio Feature Extraction for Modern Machine Learning

arxiv.org • 110 points • 1 citation

139. How Android developers access installed apps on user’s device

ivanomalavolta.com • 117 points

140. Signaling Virtuous Victimhood as Indicators of Dark Triad Personalities

gwern.net • 117 points

141. A Survey of Deep Learning for Scientific Discovery

arxiv.org • 117 points

142. Supreme Court says state may enforce some restrictions on religious gatherings

supremecourt.gov • 108 points • 1 citation

143. Vortex: OpenCL Compatible RISC-V GPGPU

arxiv.org • 115 points

144. Technical Debt in Machine Learning Systems

papers.nips.cc • 107 points • 1 citation

145. Central Banking for All: A Public Option for Bank Accounts

greatdemocracyinitiative.org • 114 points

146. Zero Knowledge Proofs applied to Auctions

courses.csail.mit.edu • 113 points

147. Destruction of Nuclear Bombs Using Ultra-High Energy Neutrino Beam

arxiv.org • 113 points

148. Alphabet announces fourth quarter and fiscal year 2019 results

abc.xyz • 91 points • 3 citations

149. Snel: SQL Native Execution for LLVM

arxiv.org • 112 points

150. John McCarthy: History of Lisp

jmc.stanford.edu • 104 points • 1 citation

151. Reactive Probabilistic Programming

arxiv.org • 111 points

152. Bootstrap finance and the cost of other people's money

library.cust.edu.pk • 111 points

153. Legacy and Athlete Preferences at Harvard

nber.org • 110 points

154. Cyborgs and Space

web.mit.edu • 102 points • 1 citation

155. Compressionism: A Theory of Mind Based on Data Compression

ceur-ws.org • 109 points

156. Hints and Principles for Computer System Design

dropbox.com • 109 points

157. Demystifying Differentiable Programming

arxiv.org • 109 points

158. DIB Guide: Detecting Agile BS

media.defense.gov • 107 points

159. Microsoft Statement in Support of Epic

cdn.vox-cdn.com • 106 points

160. A Modern Introduction to Online Learning

arxiv.org • 105 points

161. Forensic analysis of the Windows telemetry for diagnostics

arxiv.org • 104 points

162. Borg: The Next Generation

eurosys2020.org • 104 points

163. The Algorithmic Beauty of Plants

algorithmicbotany.org • 103 points

164. How Did Software Get So Reliable Without Proof?

gwern.net • 96 points • 1 citation

165. V0LTpwn: Attacking x86 Processor Integrity from Software

arxiv.org • 102 points

166. A Time Leap Challenge for Sat Solving

arxiv.org • 102 points

167. Graph Representations for Higher-Order Logic and Theorem Proving

arxiv.org • 102 points

168. 40-60% of the unexposed produce Covid-19 antibodies due to earlier cold exposure

cell.com • 95 points • 1 citation

169. The Newspaper Navigator Dataset: 16M Historic Newspaper Pages

arxiv.org • 94 points • 1 citation

170. United States vs. Dread Pirate Roberts (Silk Road) FBI Report

krebsonsecurity.com • 99 points

171. Representing Graphs by Knuth Trees

cs.virginia.edu • 99 points

172. Principles of Programming Languages

cs.nott.ac.uk • 99 points

173. Nvidia Ampere GA102 GPU Architecture

nvidia.com • 92 points • 1 citation

174. How to Ensure That Your Program Does Not Run Under Windows 95

ptgmedia.pearsoncmg.com • 98 points

175. Algorithmic Theories of Everything

arxiv.org • 98 points

176. Beyond the Code: Mining Self-Admitted Technical Debt in Issue Tracker Systems

arxiv.org • 97 points

177. Generative Language Modeling for Automated Theorem Proving

arxiv.org • 84 points • 2 citations

178. You Bet

oaktreecapital.com • 96 points

179. Queues are Databases

arxiv.org • 96 points

180. Including Illegal Activity in the U.S. National Economic Accounts

bea.gov • 96 points

181. Report on the characteristics of Covid-19 positive deceased patients in Italy

epicentro.iss.it • 51 points • 9 citations

182. Synthetic Data for Deep Learning

arxiv.org • 95 points

183. LISP I Programmer's Manual

history.siam.org • 95 points

184. Tracking Pico Balloons Using Ham Radio

harc.net • 95 points

185. A Tale of Two Ships

thorconpower.com • 95 points

186. Hyman Rickover on Nuclear Reactor Designs

ecolo.org • 82 points • 2 citations

187. Dependent Type Systems as Macros

williamjbowman.com • 94 points

188. MSL: A New Programming Language for Text Editing and Fact Verification

mimix.io • 94 points

189. The PowerPC Compiler Writer's Guide

cr.yp.to • 94 points

190. A Group Is Its Own Worst Enemy

gwern.net • 87 points • 1 citation

191. Missions to and Sample Returns from Nearby Interstellar Objects

arxiv.org • 93 points

192. Learning Graph Structure with a Finite-State Automaton Layer

arxiv.org • 92 points

193. Improved Geometric Specular Antialiasing

jp.square-enix.com • 91 points

194. FCC planning to open up 1200 MHz of spectrum for unlicensed / Wi-Fi usage

docs.fcc.gov • 90 points

195. Closos: Specification of a Lisp operating system

metamodular.com • 90 points

196. Turing and Wittgenstein on Logic and Mathematics

britishwittgensteinsociety.org • 90 points

197. Lora-based device-to-device smartphone communication for crisis scenarios

dtn7.github.io • 90 points

198. Crabs: the bitmap terror

lucacardelli.name • 78 points • 2 citations

199. The Computational Power of Biological Dendritic Trees

arxiv.org • 89 points

200. Refactoring the FreeBSD Kernel with Checked C

cs.rochester.edu • 89 points