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
Responsible and Effective Bugfinding (2020) (regehr.org)
1 point by pabs3 on Aug 13, 2022 | past
How to Fuzz an ADT Implementation (regehr.org)
1 point by cpeterso on Aug 10, 2022 | past
Explaining Code Using ASCII Art (regehr.org)
232 points by behnamoh on June 27, 2022 | past | 80 comments
Formal-Methods-Based Bugfinding for LLVM’s AArch64 Back End (regehr.org)
20 points by matt_d on June 6, 2022 | past | 2 comments
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM (regehr.org)
125 points by djoldman on June 1, 2022 | past | 4 comments
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM (regehr.org)
3 points by ingve on May 31, 2022 | past
LLVM Optimizes a Function (2018) (regehr.org)
2 points by Akronymus on May 16, 2022 | past
The Problem with Friendly C (2015) (regehr.org)
1 point by compiler-guy on April 4, 2022 | past | 1 comment
The Problem with Friendly C (regehr.org)
3 points by gpderetta on Feb 2, 2022 | past
The Piano Test for Program Verification (2011) (regehr.org)
37 points by tosh on Jan 26, 2022 | past | 23 comments
Compiler Optimizations Are Awesome (regehr.org)
3 points by spekcular on Jan 9, 2022 | past
Sensor Network Technology in Vinge’s a Deepness in the Sky (regehr.org)
87 points by strlen on Dec 24, 2021 | past | 33 comments
Levels of Fuzzing (2013) (regehr.org)
2 points by Tomte on Dec 14, 2021 | past
A sufficiently advanced compiler is indistinguishable from an adversary (regehr.org)
3 points by iudqnolq on Nov 21, 2021 | past
A Close Look at a Spinlock (regehr.org)
99 points by tgymnich on Nov 6, 2021 | past | 27 comments
Fun at the Unix Terminal Part 1 (regehr.org)
5 points by pabs3 on Oct 30, 2021 | past | 2 comments
A Guide to Undefined Behavior in C and C++ (2010) (regehr.org)
1 point by azhenley on July 1, 2021 | past
Explaining Code using ASCII Art (2019) (regehr.org)
5 points by bshanks on June 17, 2021 | past
The Piano Test for Program Verification (regehr.org)
2 points by rbanffy on May 17, 2021 | past
Responsible and Effective Bugfinding (2020) (regehr.org)
1 point by azhenley on May 9, 2021 | past
Responsible and Effective Bugfinding (regehr.org)
1 point by azhenley on April 25, 2021 | past
Responsible and Effective Bugfinding (regehr.org)
1 point by azhenley on April 22, 2021 | past
Operant Conditioning by Software Bugs (2012) (regehr.org)
40 points by dceddia on Jan 25, 2021 | past | 16 comments
Operant Conditioning by Software Bugs (regehr.org)
1 point by andrelaszlo on Nov 19, 2020 | past
Operant Conditioning by Software Bugs (regehr.org)
2 points by andrelaszlo on Nov 19, 2020 | past
Efficient Integer Overflow Checking in LLVM (2016) (regehr.org)
84 points by ot on Sept 24, 2020 | past | 22 comments
Classic Bug Reports (2015) (regehr.org)
19 points by luu on Sept 6, 2020 | past | 2 comments
Proposal for a Friendly Dialect of C (regehr.org)
2 points by goranmoomin on Sept 5, 2020 | past
Responsible and Effective Bugfinding (regehr.org)
1 point by azhenley on Aug 19, 2020 | past
Responsible and Effective Bugfinding (regehr.org)
1 point by weinzierl on Aug 18, 2020 | past

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

Search:

HN For You