For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Correctness of a compiler for arithmetic expressions in Lean (kqueue.org)
1 point by matt_d on Oct 15, 2020 | past
More randomness or less (2012) (kqueue.org)
1 point by osivertsson on Oct 26, 2015 | past
Memory allocator security revisited (2012) (kqueue.org)
2 points by implmentor on Aug 20, 2015 | past
Fast integer overflow detection (2012) (kqueue.org)
64 points by luu on Dec 14, 2014 | past | 45 comments
The cltq story. (kqueue.org)
4 points by mustapha on Sept 18, 2013 | past
IDIV DoS (INT_MIN / -1) (kqueue.org)
111 points by alter8 on Jan 27, 2013 | past | 23 comments
More randomness or less (kqueue.org)
2 points by wglb on June 25, 2012 | past

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You