Submission timeline
2007–2026One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.
First comments on top threads
HN comment orderNote that this is the same author who worked on formally verifying Rust's type system via RustBelt (https://www.ralfj.de/blog/2017/07/08/rustbelt.html), which has managed to find a few bugs in the standard library (https://www.ralfj.de/blog/2017/06/09/mutexguard-sync.html and https://www.ralfj.de/blog/2018/07/13/arc-synchronization.htm...), and also hopefully provides (by the nature of formal proofs) some small comfort regarding the quantity of other latent bugs. :P
Also potentially relevant: Ralf, or I should say, Dr. Jung, recently completed a PhD, which I'm sure will have a lot more fascinating material for those interested in this paper. I'm hoping to find time myself to read it, but I seem to spend too much time on sites like Hacker News... https://www.ralfj.de/blog/2020/09/03/phd.html
The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.
- Breakout years
- 2
- Total points
- 207
- Total comments
- 111
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2018-07-24 | Pointers Are Complicated, or What’s in a Byte?First breakout · Best thread | kibwen | 119 | 61 |
| 2020-09-04 | Pointers Are Complicated, Or: What's in a Byte? (2018)Latest 20+ point return | pcr910303 | 85 | 50 |
| 2025-07-25 | Pointers Are Complicated, Or: What's in a Byte? | thunderbong | 3 | 0 |