Hacker Papers

1. 801
   

   SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

   Po-Wei Wang et al. · 2019

   Hacker News threads

   • Jun 2019SATNet: Bridging deep learning and logical reasoning with differentiable SAT
   • May 2020Symbolic mathematics finally yields to neural networks
   • Jun 2020Deep Learning – The “Why” Question (2018)
   • Dec 2022Do Simpler Machine Learning Models Exist and How Can We Find Them?

   arXiv ↗
2. 802
   

   Classic Nintendo Games are (Computationally) Hard

   Greg Aloupis et al. · 2012

   Hacker News threads

   • Nov 2015Classic Nintendo Games Are NP-Hard (2012)
   • Mar 2012Classic Nintendo Games are (NP-)Hard
   • Mar 2012Classic Nintendo Games are (NP-)Hard
   • Sep 2017The N-Queens completion problem is NP-hard
   • Dec 2017Classic Nintendo Games Are NP-Hard (2012)
   • Aug 2019How Command and Conquer: Tiberian Sun punished the computers of the day [video]

   arXiv ↗
3. 803
   

   GShard: Scaling Giant Models with Conditional Computation and Automatic Sharding

   Dmitry Lepikhin et al. · 2020

   Hacker News threads

   • Jul 2020GShard: Scaling giant models with conditional computation and automatic sharding
   • Jul 2020600B Parameters Model – GShard: Scaling Giant Models
   • Jul 2020GShard: Scaling Giant Models with Conditional Computation and Automatic Sharding
   • Jul 2020OpenAI's GPT-3 may be the biggest thing since Bitcoin
   • Dec 2021How to Go Beyond Data Parallelism and Model Parallelism: Starting from GShard
   • Dec 2023Google's Gemini: MIT Technology Review

   arXiv ↗
4. 804
   

   Chaff Bugs: Deterring Attackers by Making Software Buggier

   Zhenghao Hu et al. · 2018

   Hacker News threads

   • Aug 2018Chaff Bugs: Deterring Attackers by Making Software Buggier
   • Apr 2022Chaff Bugs: Deterring Attackers by Making Software Buggier (2018)
   • Jan 2021Chaff Bugs: Deterring Attackers by Making Software Buggier
   • Aug 2018Ask HN: What are the most interesting emerging fields in computer science?
   • Feb 2021The U.S. Spent $2.2M on Security System That Wasn’t Implemented
   • Jul 2022On the use of a life (2020)

   arXiv ↗
5. 805
   

   A Time Leap Challenge for SAT Solving

   Johannes K. Fichte et al. · 2020

   Hacker News threads

   • Sep 2020A Time Leap Challenge for Sat Solving
   • Sep 2020A Time Leap Challenge for Sat Solving
   • Feb 2022AlphaCode as a dog speaking mediocre English
   • May 2023The Silent (R)evolution of SAT
   • Aug 2025Does the Bitter Lesson Have Limits?

   arXiv ↗
6. 806
   

   Accessing GPT-4 level Mathematical Olympiad Solutions via Monte Carlo Tree Self-refine with LLaMa-3 8B

   Di Zhang et al. · 2024

   Hacker News threads

   • Jun 2024Accessing Math Solutions via Monte Carlo Self-Refine with LLaMa-3 8B
   • Jun 2024AI Search: The Bitter-Er Lesson
   • Aug 2024Ask HN: Research Papers on Prompt Engineering?
   • Sep 2024Reflection 70B, the top open-source model

   arXiv ↗
7. 807
   

   Robust Physical-World Attacks on Deep Learning Models

   Kevin Eykholt et al. · 2017

   Hacker News threads

   • Jul 2017Robust Physical-World Attacks on Machine Learning Models
   • Mar 2020Robust Physical-World Attacks on Deep Learning Models (2018)
   • Feb 2018Chinese police don high-tech glasses to nab suspects
   • Mar 2018LiDAR scans are finding hidden Roman roads and cutting crime
   • Feb 2020Hackers tricked Teslas into speeding with 2-inch strip of tape on a 35-MPH sign

   arXiv ↗
8. 808
   

   Hierarchical Transformers Are More Efficient Language Models

   Piotr Nawrot et al. · 2021

   Hacker News threads

   • Nov 2021Hierarchical transformers are more efficient language models
   • Nov 2021Transformers from Scratch
   • Mar 2023CoLT5: Faster Long-Range Transformers With Conditional Computation
   • Apr 2023From Deep to Long Learning

   arXiv ↗
9. 809
   

   A Fast x86 Implementation of Select

   Prashant Pandey et al. · 2017

   Hacker News threads

   • Oct 2018A Fast x86 Implementation of Select (2017) [pdf]
   • Jun 2017A Fast X86 Implementation of Select
   • May 2020Broadword Implementation of Rank/Select Queries [pdf]
   • Jun 2021The NSA Instruction (2019)
   • Mar 2025Succinct data structures

   arXiv ↗
10. 810
    

    The Spy in the Sandbox -- Practical Cache Attacks in Javascript

    Yossef Oren et al. · 2015

    Hacker News threads

    • Mar 2015The Spy in the Sandbox: Practical Cache Attacks in JavaScript
    • Apr 2015The Spy in the Sandbox – Practical Cache Attacks in JavaScript
    • Apr 2015Using JavaScript to Read L3 CPU Cache [pdf]
    • Jul 2016The Browser Is the Worst Sandbox Ever Designed
    • Apr 2017Blink-dev – Intent to Ship: SharedArrayBuffer
    • Sep 2017LLVM 5.0.0 Release

    arXiv ↗
11. 811
    

    Random feedback weights support learning in deep neural networks

    Timothy P. Lillicrap et al. · 2014

    Hacker News threads

    • Nov 2014Random feedback weights support learning in deep neural networks
    • Dec 2015How to trick a neural network into thinking a panda is a vulture
    • Aug 2016Decoupled Neural Interfaces Using Synthetic Gradients
    • Mar 2017Deep Learning without Backpropagation

    arXiv ↗
12. 812
    

    From Philosophy to Program Size

    G. J. Chaitin · 2003

    Hacker News threads

    • Feb 2017From Philosophy to Program Size (2003)
    • Mar 2017Why literature is the ultimate big-data challenge
    • Sep 2017Ask HN: CS as a philosophy
    • Jul 2026How real are real numbers? (2004)

    arXiv ↗
13. 813
    

    An Introduction to Quantum Computing for Non-Physicists

    Eleanor G. Rieffel, Wolfgang Polak · 1998

    Hacker News threads

    • Apr 2015An Introduction to Quantum Computing for Non-Physicists (2000) [pdf]
    • Dec 2015Introduction to Quantum Computing for Non-Physicists
    • Jun 2007New approach to quantum information systems
    • Feb 2017List of Quantum Computing Simulators
    • Oct 2018Graduate Student Solves Quantum Verification Problem

    arXiv ↗
14. 814
    

    Theoretical Impediments to Machine Learning With Seven Sparks from the Causal Revolution

    Judea Pearl · 2018

    Hacker News threads

    • Jan 2018Theoretical Impediments to Machine Learning with Seven Sparks from Causality
    • Jan 2018Alibaba neural network defeats human in global reading test
    • Apr 2018Artificial Intelligence with Erlang: The Domain of Relatives (2007)
    • Jul 2025AGI Is Mathematically Impossible (3): Kolmogorov Complexity

    arXiv ↗
15. 815
    

    Why Neurons Have Thousands of Synapses, A Theory of Sequence Memory in Neocortex

    Jeff Hawkins, Subutai Ahmad · 2015

    Hacker News threads

    • Nov 2015Why Neurons Have Thousands of Synapses: a Theory of Sequence Memory in Neocortex
    • Nov 2015Single Artificial Neuron Taught to Recognize Hundreds of Patterns
    • Jun 2019Ask HN: New Neural Network Primitives?
    • Apr 2022How to Pursue a Career in Brain-Based AI

    arXiv ↗
16. 816
    

    A dialog on quantum gravity

    Carlo Rovelli · 2003

    Hacker News threads

    • Oct 2012A dialog on quantum gravity (2003)
    • Jan 2016String Theory Might Merge with Loop Quantum Gravity
    • Jul 2017Quirks of the arXiv
    • May 2022X-Clacks-Overhead

    arXiv ↗
17. 817
    

    Scalable Bayesian Optimization Using Deep Neural Networks

    Jasper Snoek et al. · 2015

    Hacker News threads

    • Sep 2015Scalable Bayesian Optimization Using Deep Neural Networks
    • Feb 2015Scalable Bayesian Optimization Using Deep Neural Networks
    • Dec 2015Likelihood for Gaussian Processes
    • Jun 2016Computer Vision Research: The deep “depression”
    • Jan 2019A Visual Exploration of Gaussian Processes

    arXiv ↗
18. 818
    

    Fansmitter: Acoustic Data Exfiltration from (Speakerless) Air-Gapped Computers

    Mordechai Guri et al. · 2016

    Hacker News threads

    • Jun 2016Fansmitter: Acoustic Data Exfiltration from Speakerless Air-Gapped Computers
    • Jul 2017The Adventures of AV and the Leaky Sandbox [pdf]
    • Jul 2025AI comes up with bizarre physics experiments, but they work
    • Dec 2025How I discovered a hidden microphone on a Chinese NanoKVM

    arXiv ↗
19. 819
    

    PathNet: Evolution Channels Gradient Descent in Super Neural Networks

    Chrisantha Fernando et al. · 2017

    Hacker News threads

    • Feb 2017PathNet: Evolution Channels Gradient Descent in Super Neural Networks
    • Feb 2017PathNet: Evolution Channels Gradient Descent in Super Neural Networks
    • Mar 2017DeepMind's PathNet – potentially describing how general AI will look like
    • Feb 2017DeepMind just published a mind blowing paper: PathNet
    • Mar 2017Elon Musk’s Neuralink wants to boost the brain to keep up with AI
    • Jun 2020Neurons that fire together, wire together, but how?

    arXiv ↗
20. 820
    

    Starlink Generation 2 Mini Satellites: Photometric Characterization

    Anthony Mallama et al. · 2023

    Hacker News threads

    • Jun 2023Starlink v2 reached the brightness reduction target recommended by astronomers
    • Sep 2023SpaceX projected 20M Starlink users by 2022–it ended up with 1M
    • Apr 2024LSST Camera: largest camera for astronomy
    • Apr 2025An image of the Australian desert illuminates satellite pollution

    arXiv ↗
21. 821
    

    Deep Voice: Real-time Neural Text-to-Speech

    Sercan O. Arik et al. · 2017

    Hacker News threads

    • Mar 2017Deep Voice: Real-Time Neural Text-To-Speech (2017)
    • Feb 2017Deep Voice: Real-Time Neural Text-To-Speech
    • Feb 2017Deep Voice: Real-Time Neural Text-To-Speech for Production
    • Mar 2017Deep Voice: Real-Time Neural Text-To-Speech
    • Oct 2024Were RNNs all we needed?

    arXiv ↗
22. 822
    

    Gradient-based Hyperparameter Optimization through Reversible Learning

    Dougal Maclaurin et al. · 2015

    Hacker News threads

    • Feb 2016Gradient-Based Hyperparameter Optimization Through Reversible Learning
    • May 2015Keras: Fast Deep Learning Prototyping for Python
    • Oct 2019Gradient Descent: The Ultimate Optimizer
    • Jun 2025How can AI researchers save energy? By going backward

    arXiv ↗
23. 823
    

    Consistently faster and smaller compressed bitmaps with Roaring

    Daniel Lemire et al. · 2016

    Hacker News threads

    • Nov 2024Consistently faster and smaller compressed bitmaps with Roaring (2016)
    • Aug 2020Simdjson: Parsing gigabytes of JSON per second
    • Apr 2022A Better Compressed Bitset
    • Jan 2025Lossless Compression of Vector IDs for Approximate Nearest Neighbor Search

    arXiv ↗
24. 824
    

    Ternary circuits: why R=3 is not the Optimal Radix for Computation

    Daniel Etiemble · 2019

    Hacker News threads

    • Jan 2024Ternary circuits: R=3 is not the Optimal Radix for Computation (2019)
    • Feb 2020Iota cryptocurrency shuts down entire network after wallet hack
    • Feb 2021The Ternary Manifesto (2012)
    • Aug 2024Base 3 Computing Beats Binary

    arXiv ↗
25. 825
    

    The Cost of Address Translation

    Tomasz Jurkiewicz, Kurt Mehlhorn · 2012

    Hacker News threads

    • Aug 2016Accessing RAM sometimes costs extra log(N)
    • Oct 2020The asymptotic cost of address translation on memory access time
    • Dec 2015Test results for Broadwell and Skylake
    • Jan 2017Maps and sets can have quadratic-time performance
    • May 2018A new fast hash table in response to Google’s new fast hash table

    arXiv ↗

Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.