YHacker Newsscreenshots

blog.regehr.org on Hacker News

11 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of blog.regehr.org: Looking for Missed Alarm Bugs in a Formal Verification Tool

Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)

22 points by luu 2 months ago | 1 comments

Screenshot of blog.regehr.org: A Guide to Undefined Behavior in C and C++ (2010)

A Guide to Undefined Behavior in C and C++ (2010)(blog.regehr.org)

66 points by GarethX 1 year ago | 45 comments

Screenshot of blog.regehr.org: It's time for a modern synthesis kernel (2019)

It's time for a modern synthesis kernel (2019)(blog.regehr.org)

44 points by pbrowne011 2 years ago | 6 comments

Screenshot of blog.regehr.org: The Strict Aliasing Situation Is Pretty Bad (2016)

The Strict Aliasing Situation Is Pretty Bad (2016)(blog.regehr.org)

60 points by pkkm 2 years ago | 39 comments

Screenshot of blog.regehr.org: How Clang compiles a function (2018)

How Clang compiles a function (2018)(blog.regehr.org)

71 points by ibobev 2 years ago | 3 comments

Screenshot of blog.regehr.org: Teaching C (2016)

Teaching C (2016)(blog.regehr.org)

173 points by hasheddan 2 years ago | 79 comments

Screenshot of blog.regehr.org: A close look at a spinlock (2021)

A close look at a spinlock (2021)(blog.regehr.org)

75 points by signa11 2 years ago | 22 comments

Screenshot pending…

Why Do Peephole Optimizations Work (blog.regehr.org)

25 points by matt_d 3 years ago | 9 comments

Screenshot of blog.regehr.org: Ways to break your systems code using volatile (2010)

Ways to break your systems code using volatile (2010)(blog.regehr.org)

108 points by luu 3 years ago | 44 comments

Screenshot of blog.regehr.org: A Guide to Undefined Behavior in C and C++ (2010)

A Guide to Undefined Behavior in C and C++ (2010)(blog.regehr.org)

102 points by tmalsburg2 3 years ago | 139 comments

Screenshot of blog.regehr.org: Is That a Compiler Bug?

Is That a Compiler Bug?(blog.regehr.org)

29 points by luu 3 years ago | 6 comments