📅︎ 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.
📅︎ 26.06.2023 ✏︎ by Evy ⏱︎ 50 kg⋅eV ±12σ Designing a Virtual CPU ISA I found myself talking a few times about an old project of mine over at the good ol’ RPLCS. Today i finally thought: Why not blog about it? Introducing: Finvil, a virtual CPU ISA, meant to be embedded into applications as a bytecode interpreter for scripting. Fasten your seat belts, for we are gonna talk about different approaches and considerations in ISA and bytecode design.