(cache)Hacker News Papers

1. A Heavily Commented Old Linux Kernel Source Code (v0.12)

oldlinux.org • 747 points

2. Software Engineering at Google

arxiv.org • 685 points • 1 citation

3. Some Fundamental Theorems in Mathematics

arxiv.org • 419 points

4. DIB Guide: Detecting Agile BS

media.defense.gov • 396 points

5. Introduction to Algotrading

isomorphisms.sdf.org • 393 points

6. Stressing the Elements – Illegal Builds in Lego

bramlambrecht.com • 390 points

7. The NPM Registry uses Rust for its CPU-bound bottlenecks

rust-lang.org • 382 points

8. Busy Person Patterns

hillside.net • 318 points

9. The Unix-Haters Handbook

web.mit.edu • 283 points • 1 citation

10. An optimization guide for assembly programmers and compiler makers

agner.org • 271 points • 1 citation

11. LaTeX Coffee Stains

hanno-rein.de • 288 points

12. Seneca Valley Virus has earned a reputation as a potent oncolytic agent

pnas.org • 248 points • 2 citations

13. Effectiveness of Photodynamic Therapy in Elimination of HPV in Mexican Women

twin.sci-hub.tw • 238 points • 1 citation

14. Analyzing the Performance of WebAssembly vs. Native Code

arxiv.org • 250 points

15. Oxide: A Formal Semantics for Rust

arxiv.org • 223 points • 1 citation

16. Thinking Forth – A Language and Philosophy for Solving Problems

1scyem2bunjw1ghzsf1cjwwn-wpengine.netdna-ssl.com • 231 points

17. Minimalism: Practical Guide to Writing Less Code

two-sdg.demon.co.uk • 223 points

18. Why is Maxwell's theory so hard to understand?

damtp.cam.ac.uk • 222 points

19. What Every Programmer Should Know About Memory

akkadia.org • 214 points

20. CIA Doc on Time Travel, Consciousness, and Existence of the Absolute

cia.gov • 210 points

21. Spectre is here to stay: An analysis of side-channels and speculative execution

arxiv.org • 169 points • 3 citations

22. Reinforcement Learning: An Introduction – 2nd Edition

incompleteideas.net • 207 points

23. The Knot Book: Introduction to the Mathematical Theory of Knots

math.harvard.edu • 204 points

24. TensorFlow.js: Machine Learning for the Web and Beyond

arxiv.org • 192 points

25. Experimental rejection of observer-independence in the quantum world

arxiv.org • 191 points

26. Hacking PostgreSQL

postgresql.eu • 190 points

27. Kurt Gödel's Letter to John von Neumann

cs.cmu.edu • 183 points

28. Foods for healthier people and a healthier planet

wwf.org.uk • 181 points

29. Mesh: Compacting Memory Management for C/C++ Applications

arxiv.org • 167 points

30. Geometric Understanding of Deep Learning

arxiv.org • 164 points

31. Arrow of time and its reversal on IBM quantum computer

arxiv.org • 141 points • 2 citations

32. Self-forgiveness for procrastinating can reduce future procrastination

law.utexas.edu • 160 points

33. The Efficiency Is Everything Cookbook

efficiencyiseverything.com • 160 points

34. The Early History of F#

fsharp.org • 147 points • 1 citation

35. The Hanabi Challange: A New Frontier for AI Research

arxiv.org • 156 points

36. Higher-Order Type-Level Programming in Haskell

microsoft.com • 155 points

37. Berkshire Hathaway 2018 Annual Shareholder Letter

berkshirehathaway.com • 151 points

38. LispOS: Specification of a Lisp operating system

metamodular.com • 140 points • 1 citation

39. One-Shot Training of Neural Networks Using Hypercube-Based Topological Coverings

arxiv.org • 148 points

40. Mobile Jazz Company Handbook

mobilejazz.com • 112 points • 4 citations

41. Conversations among German Nuclear Physicists at Farm Hall

germanhistorydocs.ghi-dc.org • 147 points

42. It Takes Two Neurons to Ride a Bicycle

paradise.caltech.edu • 146 points

43. SAT/SMT by Example

yurichev.com • 145 points

44. JPL Institutional Coding Standard for the C Programming Language

lars-lab.jpl.nasa.gov • 135 points • 1 citation

45. Netflix and FreeBSD: Using Open Source to Deliver Streaming Video

fosdem.org • 135 points • 1 citation

46. Runtime verification in Erlang by using contracts

arxiv.org • 138 points

47. A Mini-Introduction to Information Theory

arxiv.org • 136 points

48. 2017 saw highest rate of death due to alcohol, drugs, suicide in US history

paininthenation.org • 136 points

49. The Mathematics of the Rubik’s Cube

web.mit.edu • 135 points

50. Graph Neural Networks: A Review of Methods and Applications

arxiv.org • 134 points

51. The Erdos Paradox

arxiv.org • 133 points

52. GNU Octave: A high-level interactive language for numerical computations

octave.org • 132 points

53. Open Source Radio Telescope

gnuradio.org • 131 points

54. New LTE vulnerabilities discovered by KAIST

syssec.kaist.ac.kr • 112 points • 2 citations

55. Invent More, Toil Less

usenix.org • 128 points

56. The Night Watch

usenix.org • 111 points • 2 citations

57. Tetris Is Hard, Even to Approximate

arxiv.org • 126 points

58. Freedom to Compete Act

rubio.senate.gov • 126 points

59. All late projects are the same

systemsguild.com • 122 points

60. Smalltalk 80 – Blue Book

stephane.ducasse.free.fr • 122 points

61. Case Study: Monolithic Repository at Google

people.engr.ncsu.edu • 113 points • 1 citation

62. What is Life? by Erwin Schrödinger

whatislife.ie • 121 points

63. Malicious Deep Fake Prohibition Act of 2018

govinfo.gov • 121 points

64. The unreasonable effectiveness of mathematics in the natural sciences

maths.ed.ac.uk • 112 points • 1 citation

65. GNU Parallel Cheat Sheet

gnu.org • 119 points

66. OpenStreetMap Foundation investigation into unusual membership signups

openstreetmap.lu • 106 points • 1 citation

67. What Made Apollo a Success?

ntrs.nasa.gov • 112 points

68. An Introduction to the Mathematics of Uncertainty

creighton.edu • 112 points

69. HyperCard Users Guide

vintageapple.org • 110 points

70. The C-- Language Specification

cs.tufts.edu • 103 points

71. The Shutdown Problem: How Does a Blockchain System End?

arxiv.org • 101 points

72. Optimization: An Introduction

imperial.ac.uk • 96 points

73. Case Study: IBM's System/360-370 Architecture

cs.tufts.edu • 93 points

74. Incompleteness ex Machina – proving Gödel's theorems in terms of algorithms

scottaaronson.com • 92 points

75. The Welfare Effects of Social Media

web.stanford.edu • 74 points • 3 citations

76. GradientFlow: Training ImageNet in 1.5 Minutes on 512 GPUs

arxiv.org • 91 points

77. Design Considerations for High-Throughput Cloud-Native RDBMS

allthingsdistributed.com • 90 points

78. Internet Privacy: Federal Authority Could Enhance Consumer Protection

gao.gov • 87 points

79. Differentiating SSA-Form Programs in Julia

arxiv.org • 87 points

80. How to write code in modern Fortran

tacc.utexas.edu • 86 points

81. Making Music with Shaders: Practical Additive GPU Audio Synthesis

graffathon.fi • 83 points

82. Writing User Space Network Drivers

arxiv.org • 83 points

83. Automatic Differentiation in Machine Learning: A Survey

jmlr.org • 83 points

84. ELSA: Efficient Long-Term Secure Storage of Large Datasets

arxiv.org • 82 points

85. A 20-Year Community Roadmap for Artificial Intelligence Research in the US

cra.org • 82 points

86. Intuit Notice of Unauthorized Access to Tax Returns

ago.vermont.gov • 82 points

87. Proquints: Identifiers That Are Readable, Spellable, and Pronounceable

arxiv.org • 81 points

88. Intel Processor Graphics Gen11 Architecture

software.intel.com • 81 points

89. NHTSA’s Implausible Safety Claim for Tesla’s Autosteer Driver Assistance System

safetyresearch.net • 81 points

90. Ironies of Automation

ise.ncsu.edu • 81 points

91. Hints for Computer System Design

bwlampson.site • 81 points

92. The Verified CakeML Compiler Back End

cs.cmu.edu • 80 points

93. Computers without clocks

cs.virginia.edu • 80 points

94. Statistical mechanics of money

arxiv.org • 79 points

95. Handbook of Analog Computation

analogmuseum.org • 78 points

96. A Verified, Efficient Embedding of a Verifiable Assembly Language

microsoft.com • 78 points

97. A Critique of Standard ML

cs.princeton.edu • 77 points

98. Rethinking Giftedness and Gifted Education

apa.org • 74 points

99. The Miracle of Applied Mathematics

colyvan.com • 74 points

100. Comparing the Network Performance of AWS, Azure and GCP

pc.nanog.org • 73 points