Hacker News Papers

1. Mathematics all-in-one cheat-sheet

ourway.keybase.pub • 1057 points

2. Mary Meeker’s 2019 internet trends report

bondcap.com • 271 points • 1 citation

3. One SQL to Rule Them All: Management of Streams and Tables

arxiv.org • 258 points

4. On the Impact of Programming Languages on Code Quality

arxiv.org • 250 points

5. Self-Supervised Learning

project.inria.fr • 247 points

6. 8chan served with search warrant

courtlistener.com • 218 points

7. The Bloom Clock

arxiv.org • 210 points

8. Foundations of Mathematics

mathetal.net • 195 points

9. What’s New in Apple Filesystems

devstreaming-cdn.apple.com • 193 points

10. Ara: A 1 GHz+ Scalable and Energy-Efficient RISC-V Vector Processor

arxiv.org • 186 points

11. NordVPN sued by Torguard for blackmail

torguard.net • 168 points

12. The Saddest Moment

usenix.org • 167 points

13. Small guide to making nice tables

inf.ethz.ch • 163 points

14. A guide to pricing and hedging

ieor.columbia.edu • 160 points

15. End-User Probabilistic Programming

cs.uoregon.edu • 157 points

16. Speech2Face: Learning the Face Behind a Voice

arxiv.org • 140 points

17. ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications

bailis.org • 137 points

18. Irish Supreme Court Dismisses Facebook’s Complaint on NSA Surveillance

noyb.eu • 135 points

19. Mathematics for Computer Science

opendatastructures.org • 127 points

20. Graph Processing on FPGAs: Taxonomy, Survey, Challenges

arxiv.org • 127 points

21. EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks

arxiv.org • 119 points

22. SATNet: Bridging deep learning and logical reasoning with differentiable SAT

arxiv.org • 115 points

23. A Survey of Symbolic Execution Techniques

arxiv.org • 115 points

24. The ABC's of Guiding the Child

centervideo.forest.usf.edu • 111 points

25. A Peer to Peer Voting Algorithm

vixra.org • 105 points

26. How NLP can help cure cancer?

people.csail.mit.edu • 97 points • 1 citation

27. Fallout: Reading Kernel Writes from User Space

arxiv.org • 97 points

28. Impossible Foods Responds to Glyphosate Allegation

assets.ctfassets.net • 85 points • 1 citation

29. World's richest 10% produce half of global carbon emissions

www-cdn.oxfam.org • 78 points • 2 citations

30. The case of Chinese LinkedIn spy recruitment

fiia.fi • 89 points

31. American Pictures

american-pictures.com • 89 points

32. Onion Curve: A Space Filling Curve with Near-Optimal Clustering

arxiv.org • 86 points

33. Hearing your touch: A new acoustic side channel on smartphones

arxiv.org • 84 points

34. RISC-V Bitmanip Extension

raw.githubusercontent.com • 83 points

35. An Explicitly Relational Neural Network Architecture

arxiv.org • 82 points

36. The Modern Bicycle and Its Accessories

archive.org • 71 points • 1 citation

37. And now for something completely different: running Lisp on GPUs

dspace.lboro.ac.uk • 69 points

38. Intelligent Machinery

weightagnostic.github.io • 67 points

39. Finding Friend and Foe in Multi-Agent Games

arxiv.org • 66 points

40. Does open-source cryptographic software work correctly?

cr.yp.to • 65 points

41. Outrageously Large Neural Nets: Sparsely-Gated Mixture-of-Experts Layer

arxiv.org • 65 points

42. Exploiting Byte-Accessibility of SSDs Within a Unified Memory-Storage Hierarchy

jianh.web.engr.illinois.edu • 55 points

43. Recursive Make Considered Harmful

aegis.sourceforge.net • 54 points

44. Web Programming with Continuations

thelackthereof.org • 53 points

45. Explain Yourself Leveraging Language Models for Commonsense Reasoning

arxiv.org • 51 points

46. Clair Patterson's Battle Against Lead Pollution

anthonyturton.com • 47 points • 1 citation

47. Verified Compilation on a Verified Processor

cakeml.org • 47 points

48. Three Other Models of Computer System Performance

arxiv.org • 41 points

49. There is no general AI: Why Turing machines cannot pass the Turing test

arxiv.org • 39 points

50. Language Support for Memory Persistency

web.eecs.umich.edu • 35 points

51. That's Interesting

proseminarcrossnationalstudies.files.wordpress.com • 32 points

52. XLNet: Generalized Autoregressive Pretraining for Language Understanding

arxiv.org • 29 points

53. ArXiv vs. SnarXiv

snarxiv.org • 27 points

54. MinimaLT: Minimal-Latency Networking Through Better Security

cr.yp.to • 24 points

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

arxiv.org • 24 points

56. The Sparse Manifold Transform

arxiv.org • 23 points

57. An Assessment of the Connection Machine

bitsavers.trailing-edge.com • 23 points

58. HotStuff: BFT Consensus in the Lens of Blockchain

arxiv.org • 21 points • 1 citation

59. Lambda Twist: An Accurate Fast Robust-Perspective Three-Point Solver

openaccess.thecvf.com • 22 points

60. Human Gut Microbiota from Autism Spectrum Disorder Promotes Symptoms in Mice

cell.com • 20 points

61. Towards Multiverse Databases

people.csail.mit.edu • 19 points

62. Locating Patterns in the De Bruijn Torus

arxiv.org • 19 points

63. The official Go brand book

storage.googleapis.com • 18 points

64. Two Paths to the Telephone

princeton.edu • 18 points

65. Bronx High School Math Bulletin

lamport.azurewebsites.net • 14 points

66. Software Engineering for Machine Learning: A Case Study

microsoft.com • 13 points

67. Scaling Time Series Motif Discovery with GPUs: Breaking the Quintillion Barrier

cs.ucr.edu • 12 points

68. Object Oriented Frameworks: a survey of methodological issues

researchgate.net • 12 points

69. ClangJIT: Enhancing C++ with Just-in-Time Compilation

arxiv.org • 11 points

70. Efficient Data Structures for Tamper-Evident Logging

usenix.org • 11 points

71. Andres Freund: Pluggable Table Storage in PostgreSQL

anarazel.de • 10 points

72. Learning Geometric Operators on Meshes

rlgm.github.io • 10 points

73. Few-Shot Adversarial Learning of Realistic Neural Talking Head Models

arxiv.org • 10 points

74. Graph Signal Processing: Overview, Challenges and Applications

arxiv.org • 10 points

75. How to factor 2048 bit RSA integers in 8 hours using 20M noisy qubits

arxiv.org • 9 points • 1 citation

76. Braille Music and Unified English Braille

ukaaf.org • 9 points

77. Inductive Consensus Tree Protocol: A Scalable Blockchain

ictp.io • 9 points

78. Libra’s Whitepaper, Annotated by Philippe Castonguay

github.com • 9 points

79. Show HN: Fakta – Automated End-to-End Fact Checking with Deep Learning

arxiv.org • 8 points

80. In-DRAM Bulk Bitwise Execution Engine

arxiv.org • 8 points

81. Compositional generalization through meta sequence-to-sequence learning

arxiv.org • 7 points

82. Selecting the Metric in Hamiltonian Monte Carlo

arxiv.org • 7 points

83. Formally Verified Cryptographic Web Applications in WebAssembly

eprint.iacr.org • 7 points

84. RedLeaf: Towards an Operating System for Safe and Verified Firmware

ics.uci.edu • 7 points

85. India’s National Strategy for Artificial Intelligence

niti.gov.in • 7 points

86. The Libra Blockchain White Paper

developers.libra.org • 5 points • 4 citations

87. Tackling Climate Change with Machine Learning

arxiv.org • 6 points • 1 citation

88. Defending Against Neural Fake News (Using GPT to Generate Fake News and Demo)

arxiv.org • 6 points • 1 citation

89. x86-64 Instruction Usage among C/C++ Applications

aakshintala.com • 6 points

90. Fallout: Reading Kernel Writes from User Space

cs.vu.nl • 6 points

91. Organizational Blueprints for Success in High-Tech Startups

cmr.berkeley.edu • 6 points

92. 20 more years of bootstrapping: SBCL – past, present, future

european-lisp-symposium.org • 6 points

93. The RF thruster: an electrodeless system for space propulsion

phasefour.io • 6 points

94. S3-Benchmark Results with 16 Node MinIO on HDD, 11GBs/9GBs on Read and Write

min.io • 5 points

95. What Does Bert Look At? An Analysis of BERT's Attention

arxiv.org • 5 points

96. Temporal Type Theory: A topos-theoretic approach to systems and behavior

arxiv.org • 5 points

97. Deterministic Behaviours Are Your Attacker's Friend

openbsd.org • 5 points

98. How Often Do Single-Statement Bugs Occur? The ManySStuBs4J Dataset

arxiv.org • 5 points

99. Effective problem solving using SAT solvers

arxiv.org • 5 points

100. Towards Separation of Concerns in Flow-Based Programming

orbit.dtu.dk • 5 points