Hacker Papers
- 51
Backstabber's Knife Collection: A Review of Open Source Software Supply Chain Attacks
Hacker News threads
- 52
Evil Never Sleeps: When Wireless Malware Stays On After Turning Off iPhones
Hacker News threads
- 53
One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization
Hacker News threads
- Aug 2021Fault Injection Attacks Against AMD's Secure Encrypted Virtualization
- Apr 2022Intel deprecates SGX on Core series processors
- Aug 2023AMD Inception Mitigations Can Lower Performance of CPUs by Up to 54%
- Sep 2023Mashing Enter to bypass full disk encryption with TPM, Clevis dracut and systemd
- May 2025Launch HN: Tinfoil (YC X25): Verifiable Privacy for Cloud AI
- Aug 2025A privacy VPN you can verify
- 54
Modular implicits
Hacker News threads
- Dec 2015Modular implicits for ad-hoc polymorphism in OCaml
- Mar 2016An OCaml manifesto – Problems and what's needed for widespread adoption
- Apr 2016OCaml 4.03.0 released (including flambda)
- Apr 2016OCaml 4.03.0 released (including flambda)
- Jun 2018Gluon – A static, type-inferred and embeddable language written in Rust
- Sep 2019A look back on OCaml since 2011
- Aug 2021Functional Programming in OCaml
- Dec 2021One Reason Typeclasses Are Useful
- Aug 2025OCaml as my primary language
- 55
DeWave: Discrete EEG Waves Encoding for Brain Dynamics to Text Translation
Hacker News threads
- Dec 2023BrainGPT Turns Thoughts into Text
- Dec 2023BrainGPT Turns Thoughts into Text
- Dec 2023BrainGPT Turns Thoughts into Text
- Jun 2024Human neuroscience mustn't forget its human dimension
- May 2025Coding without a laptop: Two weeks with AR glasses and Linux on Android
- Aug 2025Scientists shine a laser through a human head
- 56
MOSQUITO: Covert Ultrasonic Transmissions between Two Air-Gapped Computers using Speaker-to-Speaker Communication
Hacker News threads
- 57
Souper: A Synthesizing Superoptimizer
Hacker News threads
- Nov 2017Souper: A Synthesizing Superoptimizer
- Nov 2017Souper: A Synthesizing Superoptimizer
- Dec 2017Formal Verification: The Gap Between Perfect Code and Reality
- Feb 2019Syntax-Guided Synthesis
- Jan 2021Software Verification and Analysis Using Z3
- Feb 2021A Superoptimizer for LLVM IR
- Feb 2021A Superoptimizer for LLVM IR
- Jan 2025Tilde, My LLVM Alternative
- Jul 2025FFmpeg devs boast of another 100x leap thanks to handwritten assembly code
- 58
Session: End-To-End Encrypted Conversations With Minimal Metadata Leakage
Hacker News threads
- 59
Xor Filters: Faster and Smaller Than Bloom and Cuckoo Filters
Hacker News threads
- Dec 2019Xor Filters: Faster and Smaller Than Bloom Filters
- Dec 2019Xor Filters: Faster and Smaller Than Bloom Filters
- Jul 2020Bloom filters debunked: Dispelling 30 Years of bad math with Coq
- Aug 2021Bloom Filters: More than a space-efficient hashmap
- May 2025Bloom Filters
- Jul 2025Efficient set-membership filters and dictionaries based on SAT
- 60
A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
Hacker News threads
- 61
Incompleteness Ex Machina
Hacker News threads
- 62
Engineering Record And Replay For Deployability: Extended Technical Report
Hacker News threads
- Jun 2020Engineering Record and Replay(rr) for Deployability Extended Technical Report
- May 2017Engineering Record and Replay for Deployability: Extended Technical Report
- Nov 2018rr: lightweight recording and deterministic debugging
- Nov 2018rr: lightweight recording and deterministic debugging
- Nov 2018rr: lightweight recording and deterministic debugging
- Nov 2019Debuggers Suck
- Jun 2022What rr does
- Jul 2024rr – record and replay debugger for C/C++
- Jul 2024rr – record and replay debugger for C/C++
- Mar 2025Show HN: CodeTracer – A time-traveling debugger implemented in Nim and Rust
- 63
A Fast x86 Implementation of Select
Hacker News threads
- 64
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
Hacker News threads
- Aug 2019Counting Immutable Beans: Reference Counting for Purely Functional Programming
- Dec 2020A Review of the Lean Theorem Prover
- Feb 2021A simple ray tracer in Lean 4
- Jul 2022Reference count, don't garbage collect
- Sep 2022Ask HN: Is Clojure Dead?
- Jun 2023Microsoft Research: Fully In-Place Functional Programming [pdf]
- Oct 2023Lean4 helped Terence Tao discover a small bug in his recent paper
- Nov 2023HN thread 38359488
- Feb 2025Neut Programming Language
- 65
Are Delayed Issues Harder to Resolve? Revisiting Cost-to-Fix of Defects throughout the Lifecycle
Hacker News threads
- Sep 2017Revisiting Cost-To-Fix of Defects Throughout the Lifecycle
- Apr 2019Are Delayed Issues Harder to Resolve? [pdf]
- Sep 2017The Cost of Skipping TDD and Code Reviews (2016)
- Sep 2017The Cost of Skipping TDD and Code Reviews (2016)
- Jul 2021The “bugs are 100x more expensive to fix in production” study might not exist
- Feb 2025Clean Code vs. A Philosophy Of Software Design
- 66
A Tutorial Introduction to the Lambda Calculus
Hacker News threads
- 67
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
Hacker News threads
- 68
Distinct Elements in Streams: An Algorithm for the (Text) Book
Hacker News threads
- May 2024Distinct Elements in Streams: An Algorithm for the (Text) Book∗ [pdf]
- Nov 2023Ask HN: Is Knuth's TAOCP worth the time and effort? (2023)
- May 2024Computer scientists invent an efficient new way to count
- May 2024Computer scientists invent an efficient new way to count
- May 2024Computer scientists invent an efficient new way to count
- May 2024Computer scientists invent an efficient new way to count
- May 2024Computer scientists invent an efficient new way to count
- Feb 2025Undergraduate shows that searches within hash tables can be much faster
- 69
Coz: Finding Code that Counts with Causal Profiling
Hacker News threads
- 70
Consistently faster and smaller compressed bitmaps with Roaring
Hacker News threads
- 71
Mesh: Compacting Memory Management for C/C++ Applications
Hacker News threads
- Feb 2019Mesh: Compacting Memory Management for C/C++ Applications
- Jun 2021Mesh: Compacting Memory Managementfor C/C++ Applications
- Nov 2021Mesh: Compacting Memory Management for C/C++ Applications
- May 2019For Better Computing, Liberate CPUs from Garbage Collection
- May 2019A new core playlist for VLC 4
- May 2021The compiler will optimize that away
- Jul 2023Vale's First Prototype for Immutable Region Borrowing
- Jan 2025Using black magic to make a fast circular buffer (2017)
- 72
Birdwatch: Crowd Wisdom and Bridging Algorithms can Inform Understanding and Reduce the Spread of Misinformation
Hacker News threads
- Jan 2024Birdwatch: Crowd Wisdom and Algorithms to Understand and Reduce Misinformation
- Oct 2022Birdwatch: Crowd Wisdom and Bridging Algorithm-Powered Misinfo Annotations
- Nov 2022White House deletes tweet after Twitter adds 'context' note
- Feb 2023The Scramble to Save Twitter’s Research from Elon Musk
- Feb 2024Gin, Television, and Social Surplus (2008)
- Jan 2025Ending our third party fact-checking program and moving to Community Notes model
- 73
The Renewed Case for the Reduced Instruction Set Computer: Avoiding ISA Bloat with Macro-Op Fusion for RISC-V
Hacker News threads
- Sep 2016Avoiding ISA Bloat with Macro-Op Fusion for RISC-V
- Jul 2016Show HN: Accelerating SHA256 by 100x in Golang on ARM
- Dec 2016Ask HN: What's the value proposition of RISC-V?
- Sep 2017BOOM v2: an open-source out-of-order RISC-V core
- Dec 2017Power9 to the People
- Dec 2017Boom v2: Open-source out-of-order RISC-V core [video]
- Mar 2022RISC-V is succeeding
- May 2022India reveals RISC-V CPU roadmap, expects product by 2023
- Jan 2025XiangShan – Open-source high performance RISC-V processor
- 74
SPEAKE(a)R: Turn Speakers to Microphones for Fun and Profit
Hacker News threads
- 75
It's Time to Replace TCP in the Datacenter
Hacker News threads
- Nov 2024It's time to replace TCP in the datacenter (2023)
- Oct 2022It's time to replace TCP in the Datacenter
- Nov 2022Moving past TCP in the data center, part 2
- Feb 2023Is It Time to Replace TCP in Data Centers?
- May 2023Unbounded memory usage by Linux TCP for receive buffers, and how we fixed it
- Oct 2023HN thread 38049303
Data from the Hacker News archive (ODC-By), arXiv and OpenAlex. Not affiliated with Hacker News or Y Combinator.