Brazilian CA issues google.com certificate
Typst as a Language
Why do we call it "boilerplate code?" (2022)
Compilation on the GPU? A feasibility study
Semantics of Programming (video lectures that go with the "Concrete Semantics" book)
Inline Assembly Dangers
Advent of Code 2024 starting soon
The Harmful Consequences of the Robustness Principle
SheetsUI, a TUI spreadsheet application based on the IronCalc engine
Python type hints are probably "worth it" for me
Learnings after 4 years working with +50 companies on data engineering projects
Flu Conf 2025
Minimize Javascript in your codebase
Property-based Testing Patterns (2016)
Making Screenshots of Test Equipment Old and New
The complexities of enabling OpenCL support
Demystifying git submodules
Operator transposition
Shadow Workspace: Iterating on Code in the Background
Exploring parsing APIs: the cost of recursion