1 — Understanding “Out of Thin Air” Values with C++11 Relaxed AtomicsRelaxed atomics, don’t go there — Herb Sutter, Atomic Weapons [1]Oct 6, 2023Oct 6, 2023
Paper Thoughts: A Fork() in the RoadMany computer science undergraduates, when taking their introductory operating systems course, must confront the problem of how to start a…Jul 7, 2023Jul 7, 2023
Abstract Interpretation — The Rule of SignsIn their seminal work¹, Cousot and Cousot (yes, there are two) introduced abstract interpretation — which in essence, is a mirror of the…Jun 19, 2023Jun 19, 2023