📅︎ 06.12.2024 📝︎ 08.12.2024 ✏︎ by Evy ⏱︎ 10 kg⋅eV ±12σ Negative Overhead Abstractions Today i’d like to coin a new term: The Negative Overhead Abstraction™. In this post we’ll briefly explore C++’s use of them, their relation to zero overhead abstractions, why they suck, and how we could do better.
📅︎ 17.04.2024 ✏︎ by Evy ⏱︎ 14 kg⋅eV ±12σ Machine Code is Typed Wait, what…? Sometimes, when discussions about type system designs arise, someone makes a slight remark that machine code, aka. that binary programming language your CPU speaks, is an example of an »untyped« language. I heard that claim again recently, listening to a podcast, and so i felt inspired to write about why i disagree with that claim.