Submissions from regehr.org

		Taming LLMs: Using Executable Oracles to Prevent Bad Code (regehr.org)
		47 points by mad44 9 days ago \| past \| 20 comments
		I Fuzzed, and Vibe Fixed, the Vibed C Compiler (regehr.org)
		25 points by luu 33 days ago \| past \| 1 comment
		Tony Hoare: How did software get so reliable without proof? (regehr.org)
		1 point by fanf2 6 months ago \| past
		Computer Science Culture Clash (2012) (regehr.org)
		3 points by alephnerd 10 months ago \| past
		You Might as Well Be a Great Copy Editor (2020) (regehr.org)
		1 point by Tomte on March 17, 2025 \| past
		A Guide to Undefined Behavior in C and C++ (2010) (regehr.org)
		79 points by GarethX on March 13, 2025 \| past \| 64 comments
		It's time for a modern synthesis kernel (2019) (regehr.org)
		58 points by pbrowne011 on Nov 2, 2024 \| past \| 8 comments
		Responsible and Effective Bugfinding (regehr.org)
		3 points by luu on Oct 21, 2024 \| past
		It's time for a modern synthesis kernel (2019) (regehr.org)
		5 points by pbrowne011 on Oct 19, 2024 \| past \| 1 comment
		The strict aliasing situation is pretty bad (2016) (regehr.org)
		74 points by pkkm on Oct 6, 2024 \| past \| 58 comments
		How Clang compiles a function (2018) (regehr.org)
		90 points by ibobev on July 26, 2024 \| past \| 5 comments
		Race Condition vs. Data Race (2011) (regehr.org)
		3 points by thunderbong on June 23, 2024 \| past
		Explaining code using ASCII art (regehr.org)
		3 points by memalign on April 25, 2024 \| past
		Dataflow Analyses and Compiler Optimizations That Use Them, for Free (regehr.org)
		79 points by ingve on April 21, 2024 \| past \| 13 comments
		C Compilers Disprove Fermat's Last Theorem (regehr.org)
		2 points by signa11 on April 10, 2024 \| past
		Operant Conditioning by Software Bugs (2012) (regehr.org)
		2 points by _dain_ on Feb 4, 2024 \| past
		Teaching C (2016) (regehr.org)
		195 points by hasheddan on Jan 5, 2024 \| past \| 89 comments
		A close look at a spinlock (2021) (regehr.org)
		87 points by signa11 on Dec 15, 2023 \| past \| 26 comments
		Why Do Peephole Optimizations Work (regehr.org)
		35 points by matt_d on Nov 1, 2023 \| past \| 11 comments
		Ways to break your systems code using volatile (2010) (regehr.org)
		124 points by luu on Oct 5, 2023 \| past \| 63 comments
		The Problem with Friendly C (regehr.org)
		3 points by iso8859-1 on Aug 20, 2023 \| past
		A Guide to Undefined Behavior in C and C++ (2010) (regehr.org)
		111 points by tmalsburg2 on Aug 17, 2023 \| past \| 185 comments
		Is That a Compiler Bug? (regehr.org)
		49 points by luu on June 6, 2023 \| past \| 11 comments
		A Close Look at a Spinlock (2021) (regehr.org)
		17 points by luu on June 3, 2023 \| past
		Why take a compiler course? (2010) (regehr.org)
		320 points by signa11 on March 24, 2023 \| past \| 116 comments
		Assertions are pessimistic, assumptions are optimistic (2014) (regehr.org)
		56 points by pantalaimon on March 6, 2023 \| past \| 9 comments
		C Compilers Disprove Fermat’s Last Theorem (2010) (regehr.org)
		4 points by wilsonzlin on Feb 12, 2023 \| past \| 1 comment
		Use of Assertions (2014) (regehr.org)
		4 points by nativecoinc on Jan 21, 2023 \| past
		C Compilers Disprove Fermat's Last [2010] (regehr.org)
		5 points by kazinator on Nov 14, 2022 \| past
		Teaching C (2016) (regehr.org)
		186 points by arkj on Sept 11, 2022 \| past \| 94 comments
		More

HN For You