Hacker News
- Can self-replicating species flourish in the interior of a star? (2020) [pdf] https://pdfs.semanticscholar.org/3cb2/0df9e075056030103d73f173fa29f8f92f07.pdf?_ga=2.37017120.1076752451.1672779819-279137700.1672779819 112 comments
- Hardware Acceleration for Database Systems Using Content Addressable Memories [pdf] https://pdfs.semanticscholar.org/fd7a/d579ef639cb3c8ee75d81e3cef9e30cfc3d3.pdf 3 comments
- Complex-step differentiation and automatic differentiation (2001) [pdf] https://pdfs.semanticscholar.org/a659/783579f4a19d7c11f4be91f46477ec1685a1.pdf 6 comments
- The Dark Ages of AI (1985) [pdf] https://pdfs.semanticscholar.org/2a85/7e042331c53b856b3ad5018454f72d798790.pdf 28 comments
- Cognitive Distortions of People Who Get Stuff Done (2012) [pdf] https://pdfs.semanticscholar.org/presentation/1a59/7a9ca8b03d86ae9a2f86dd90e7bbff481fab.pdf 151 comments
- Computation at the Edge of Chaos (1990) [pdf] https://pdfs.semanticscholar.org/cb4c/df7812fc8ad56d13317eaabc99b76659e95f.pdf 6 comments
- Design and Evaluation of FPGA-Based Gigabit Ethernet Network Card (2004) [pdf] https://pdfs.semanticscholar.org/8bfe/8988c14703302ebd2d567924b27a5cb10c57.pdf 10 comments
- Compiler Construction: The Art of Niklaus Wirth (2000) [pdf] https://pdfs.semanticscholar.org/036f/c4effda4bbbe9f6a9ee762df717bd0af1324.pdf 32 comments
- The Intel 80x86 Process Architecture: Pitfalls for Secure Systems (1995) [pdf] https://pdfs.semanticscholar.org/2209/42809262c17b6631c0f6536c91aaf7756857.pdf 10 comments
- Compiler Optimizations Should Pay for Themselves (1994) [pdf] https://pdfs.semanticscholar.org/8043/5e17ef603de14514dac7d9a9856a4bfc6863.pdf 16 comments
- Training in chess: A scientific approach (2005) [pdf] https://pdfs.semanticscholar.org/e2dd/31c7db68667f1485f80d0e5a3ebb65fd960d.pdf 11 comments
- Using DNA to Solve NP-Complete Problems (1995) [pdf] https://pdfs.semanticscholar.org/591d/33325588c1e92236cbd912b8282e714b5b5e.pdf 31 comments
- Richard Feynman and Computation (1999) [pdf] https://pdfs.semanticscholar.org/7fb6/50845888348f8ba95c960bde1c9511562a62.pdf 2 comments
Lobsters
- A Tour Through Cedar (1984) https://pdfs.semanticscholar.org/68a9/f458830b661637542eedbbe5c944e4c0e16e.pdf 11 comments historical , osdev , pdf
- E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs https://pdfs.semanticscholar.org/481c/d4d2409115429f4b824f370eb08fa338d67a.pdf 2 comments formalmethods , pdf , programming
- Verification of Erlang Programs using Abstract Interpretation and Model Checking (2001) https://pdfs.semanticscholar.org/8174/3408a73d77c83cc88d6d9be8f994a0d2f4f2.pdf 2 comments compsci , erlang , formalmethods , pdf , programming
- Efficient String Matching: An Aid to Bibliographic Search https://pdfs.semanticscholar.org/3547/ac839d02f6efe3f6f76a8289738a22528442.pdf 2 comments compsci , pdf , programming
- Self/Weak/Un-Supervised Learning: How should we refer to our approach? https://pdfs.semanticscholar.org/3adc/fd254b271bcc2fb7e2a62d750db17e6c2c08.pdf 4 comments deeplearning
- On the Permissibility of Killing Government Agents: A Defense of Moral Parity -- Jason Brennan https://pdfs.semanticscholar.org/1398/ab4a7eec73da8ef4e7ab325059fdeec19ca2.pdf?_ga=2.157386040.388532945.1593365564-1471870053.1593365564 9 comments philosophy
- Is this the longest Chess game? An examination of the theoretical longest legal chess game, at 8849 moves. https://pdfs.semanticscholar.org/dff8/3ac66946be0cad34055a49d3eb2d7603273d.pdf 3 comments chess
- Type error on nested dependent pattern match https://pdfs.semanticscholar.org/ccf5/27fa9179081223bffe8067edd81948644fc0.pdf 5 comments coq
- [Question] categorical variable based on self-report scale -cut-off values - social sciences https://pdfs.semanticscholar.org/e994/335c7df90239e066203b5853fb55c3f1b498.pdf 10 comments statistics
- Could The Future Of The Tor Network Be Based Around Running Nodes In Trusted Execution Environments (TEE) https://pdfs.semanticscholar.org/d84b/3b6156bf95fe88accbdd4c176a4d6c2f376c.pdf 11 comments privacy
- How to count number of values that fit (column 1 value<column 2 value<column 3 value) https://pdfs.semanticscholar.org/04de/9ce062c6ac999fa009b9c264da20a8d8a282.pdf 11 comments matlab
- The study some people asked me about, correlating weather patterns, lunar phases and horoscopes to market fluctuations. https://pdfs.semanticscholar.org/5f0b/e8130776f66f6b96a9479dd7c8595bed18c0.pdf 18 comments wallstreetbets
- Another look at fairing recovery https://pdfs.semanticscholar.org/1a7c/86a6c320e06657a66cfbc0581f7d1741af82.pdf 58 comments spacex
- How to Write a Technical Paper [pdf] https://pdfs.semanticscholar.org/441f/ac7c2020e1c8f0d32adffca697bbb8a198a1.pdf 10 comments programming
- Perception of birth language tone contrasts by adopted Chinese children https://pdfs.semanticscholar.org/a4a3/751e5c36007fbd7916666eb419893d436325.pdf 8 comments linguistics
- How Can This Paleontology Paper Be Using C14 Dating if the Longest Half-Life of any Carbon Isotope is C-14 (5,730 years)? https://pdfs.semanticscholar.org/9f2f/b653fb27a8ef75c0b3d8611a828f26636e10.pdf 7 comments askscience
- Compiler Construction: The Art of Niklaus Wirth https://pdfs.semanticscholar.org/036f/c4effda4bbbe9f6a9ee762df717bd0af1324.pdf 30 comments programming
- A paper by Lars Blackmore of spacex on soft landing. Gives insight into the control logic used for soft landing. https://pdfs.semanticscholar.org/9209/221aa6936426627bcd39b4ad0604940a51f9.pdf 116 comments spacex
- Visual span in expert chess players: evidence from eye movements https://pdfs.semanticscholar.org/f453/bd3368e9c96ceaca2f49fce733810e016c43.pdf 5 comments chess
- NSA discovered Intel security issue in 1995 https://pdfs.semanticscholar.org/2209/42809262c17b6631c0f6536c91aaf7756857.pdf 116 comments technology
- The Most Dangerous Code in the World: Validating SSL Certificates in Non-Browser Software https://pdfs.semanticscholar.org/48fc/8f1aa0b6d1e4266b8017820ff8770fb67b6f.pdf 17 comments netsec
- Cryptographic proofs using formal pseudocode, looking for paper. https://pdfs.semanticscholar.org/00ce/5af30fcb2b64ed1087522f310959be528ba0.pdf 6 comments crypto
- "A cohomological viewpoint on elementary school arithmetic" https://pdfs.semanticscholar.org/b44b/eb7ff396be62e548e4a6dc39df0bdf65e593.pdf 7 comments math
- [PDF] Type Classes and Constraint Handling Rules (2010) https://pdfs.semanticscholar.org/b5cd/08eb5615f2a6bb7ca15c74a941254671e00d.pdf 3 comments haskell
- What can the Rust programming language do for astrophysics? https://pdfs.semanticscholar.org/e6f3/3dece3d67a7fb529e47f2e4d0647fd8ee27d.pdf 12 comments rust
- Training in chess: A scientific approach https://pdfs.semanticscholar.org/e2dd/31c7db68667f1485f80d0e5a3ebb65fd960d.pdf 18 comments chess
- best and most informative paper i've ever read for university, detailing why a strategic defense system is not only a bad idea but also impossible to properly implement given what it's responsibilities and implications are https://pdfs.semanticscholar.org/26ae/89f725ede99590b3a63e0780872c32a6871a.pdf 10 comments programming