Top papers and documents on Hacker News in the last week.

5. LISP I Programmer's Manual

history.siam.org • 95 points

6. Dependent Type Systems as Macros

williamjbowman.com • 94 points

12. How can you be so certain?

open-std.org • 25 points

13. Nuclear Power: Game over

eleceng.adelaide.edu.au • 24 points

15. A Sense Enhanced Game of Life

pdfs.semanticscholar.org • 20 points

17. MIP* = RE

arxiv.org • 12 points2 citations

19. Elements of Scheduling

arxiv.org • 6 points