NetBSD ASCII flag for the bootloader
The NetBSD flag drawn in ASCII, to be used as a bootloader logo ...more
Toolchains adventures - Q3 2022
My continuous journey into toolchains, in the third quarter of 2022 ...more
Toolchains adventures - Q2 2022
My continuous journey into toolchains, in the second quarter of 2022 ...more
Clang Static Analyzer and the Z3 constraint solver
Notes on using the Z3 constraint solver with the Clang Static Analyzer ...more
Differences between base and ports LLVM in OpenBSD
Base vs ports LLVM in OpenBSD, and why we still need both ...more