Talks and Presentations

GNU Tools Cauldron 2026

* Practical Formalization of Programming Language Semantics
slides
video
* GNU Algol 68 BoF
video

FOSDEM 2026

* An Algol 68 Front-End for GCC
slides
video

GNU Tools Cauldron 2025

* ga68: the GNU Algol 68 compiler
slides
video
* BPF support in the GNU Toolchain BoF
video
* Toolchain and Linux Kernel
video