Hacker News
- A close look at a spinlock (2021) https://blog.regehr.org/archives/2173 26 comments
- Sensor Network Technology in Vinge’s a Deepness in the Sky https://blog.regehr.org/archives/255 33 comments
- Write Fuzzable Code https://blog.regehr.org/archives/1687 29 comments
- Instruction Synthesis Is Fun and Weird http://blog.regehr.org/archives/1219 9 comments
- Proposal for a Friendly Dialect of C http://blog.regehr.org/archives/1180 118 comments
- Non-Transparent Memory Safety http://blog.regehr.org/archives/1175 8 comments
- The Little C Function From Hell http://blog.regehr.org/archives/482 113 comments
- Jsfunfuzz has found 1500+ javascript bugs in Firefox http://blog.regehr.org/archives/731 2 comments
Lobsters
- Explaining Code using ASCII Art https://blog.regehr.org/archives/1653 6 comments programming
- Taming Undefined Behavior in LLVM https://blog.regehr.org/archives/1496 4 comments compilers
- Guide to GCC source? https://blog.regehr.org/archives/1453 5 comments compilers
- Write Fuzzable Code https://blog.regehr.org/archives/1687 13 comments programming
- A Guide to Undefined Behavior in C/C++ https://blog.regehr.org/archives/213 6 comments programming
- How Clang Compiles a Function https://blog.regehr.org/archives/1605 10 comments programming
- Undefined Behavior in 2017 https://blog.regehr.org/archives/1520 299 comments programming
- Compiler Optimizations are Awesome https://blog.regehr.org/archives/1515 97 comments programming
- Do Expressive Programming Languages Always Have Undefined Behavior? http://blog.regehr.org/archives/1476 17 comments programming
- The Future of Compiler Optimization http://blog.regehr.org/archives/247 12 comments rust
- A Tourist’s Guide to the LLVM Source Code http://blog.regehr.org/archives/1453 13 comments programming
- Classic bug reports http://blog.regehr.org/archives/1270 23 comments programming
- Defending Against Compiler-Based Backdoors - Sudo compiled with clang 3.3 http://blog.regehr.org/ 7 comments programming
- [John Regehr] Testing integer subtraction with pictures http://blog.regehr.org/archives/1208 3 comments programming
- Souper superoptimizer progress http://blog.regehr.org/archives/1192 5 comments programming
- Embedded in Academia : Proposal for a Friendly Dialect of C http://blog.regehr.org/archives/1180 79 comments programming
- Embedded in Academia : ALIVe: Automatic LLVM InstCombine Verifier http://blog.regehr.org/archives/1170 7 comments programming
- Embedded in Academia : Finding Compiler Bugs by Removing Dead Code http://blog.regehr.org/archives/1161 2 comments programming
- [John Regehr] Let’s Work on an LLVM Superoptimizer http://blog.regehr.org/archives/1109 23 comments programming
- Embedded in Academia : Paranoid Programming http://blog.regehr.org/archives/1106 35 comments programming
- Integer Undefined Behaviors in Open Source Crypto Libraries http://blog.regehr.org/archives/1054/ 7 comments cpp
- Are Compilers Getting More or Less Reliable? http://blog.regehr.org/archives/1036 107 comments programming
- Embedded in Academia : What Other Dynamic Checkers for C/C++ are Needed? http://blog.regehr.org/archives/966 10 comments cpp
- The declining value of the MSCS http://blog.regehr.org/archives/953 9 comments compsci
- Embedded in Academia : Procedural Decomposition http://blog.regehr.org/archives/942 5 comments programming
- Stochastic Superoptimization http://blog.regehr.org/archives/923 23 comments programming
- Contest: Craziest Compiler Output due to Undefined Behavior http://blog.regehr.org/archives/759 31 comments programming
- The Central Limit Theorem Makes Random Testing Hard http://blog.regehr.org/archives/660 23 comments programming
- Does a Simulation Really Need to Be Run? http://blog.regehr.org/archives/546 133 comments programming
- Embedded in Academia : Proposal for a CompCert Superoptimizer http://blog.regehr.org/archives/496 6 comments programming
- Comparing Compiler Optimizations http://blog.regehr.org/archives/320/ 20 comments programming
- A Guide to Undefined Behavior in C and C++ http://blog.regehr.org/archives/213 21 comments coding
- Is that a compiler bug? http://blog.regehr.org/archives/26 30 comments programming
Linking pages
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 382 comments
- GitHub - rigtorp/awesome-modern-cpp: A collection of resources on modern C++ https://github.com/rigtorp/awesome-modern-cpp 114 comments
- Fix your damned data races – Nicholas Nethercote https://blog.mozilla.org/nnethercote/2015/02/24/fix-your-damned-data-races/ 80 comments
- GitHub - aalhour/awesome-compilers: Curated list of awesome resources on Compilers, Interpreters and Runtimes https://github.com/aalhour/awesome-compilers 62 comments
- GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff. https://github.com/fffaraz/awesome-cpp 38 comments
- A maximally-dense encoding for n-choose-k https://www.farside.org.uk/201311/encoding_n_choose_k 28 comments
- Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing | PyPy https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html 11 comments
- Top 96 Technology Blogs on Culture, Architecture and Theory https://www.sealights.io/blog/96-technology-blogs-that-will-make-you-stop-and-think/ 1 comment
- Programming language design and compilers: where to start? https://claucece.github.io/2020/06/05/programming-language-design-and-compilers.html 0 comments
- The Best Computer Science Blogs | Draft.dev https://draft.dev/learn/technical-blogs/computer-science 0 comments
- GitHub - amitmerchant1990/tech-blogs: A curated list of interesting tech blogs https://github.com/amitmerchant1990/tech-blogs 0 comments
- GitHub - andrew-canaday/giant_collection_of_programming_links: Exactly like the URI says... https://github.com/andrew-canaday/giant_collection_of_programming_links 0 comments
- Best C++ Programming Blogs in 2022 | hacking C++ https://hackingcpp.com/cpp/blogs.html 0 comments