Top papers and documents on Hacker News in 2018.

Showing 101 - 200 of 1311 papers

107. Notation as a Tool of Thought

eecg.toronto.edu • 150 points3 citations

110. A Lisp Way to Type Theory and Formal Proofs

european-lisp-symposium.org • 183 points

113. Computer Science I

cse.unl.edu • 181 points

114. The Basic Ideas in Neural Networks

www-isl.stanford.edu • 181 points

119. 73 Rules of Spycraft

oss.net • 174 points

121. Going IPv6 Only

pc.nanog.org • 174 points

124. Linear logic and deep learning

therisingsea.org • 170 points

140. Reviving Smalltalk-78

freudenbergs.de • 155 points

154. A Taste of Linear Logic

homepages.inf.ed.ac.uk • 146 points

159. Is IPv6 only for the Rich?

ripe76.ripe.net • 126 points2 citations

167. One parameter is always enough

colala.bcs.rochester.edu • 143 points

173. Scikit-learn user guide

scikit-learn.org • 140 points

174. PoC||GTFO 0x18

alchemistowl.org • 140 points

177. Neural Network Quine

arxiv.org • 138 points

186. The Birth of Prolog

web.stanford.edu • 133 points

187. Security Analysis of WireGuard

courses.csail.mit.edu • 124 points1 citation

190. The Future of Computing: Logic or Biology

lamport.azurewebsites.net • 129 points

195. The Byzantine Generals Problem

lamport.azurewebsites.net • 127 points

198. Fifty Years of Shannon Theory

princeton.edu • 126 points

199. Fuzzing the OpenBSD Kernel

openbsd.org • 126 points