Articles 2026 29 Jan Abstractor: Virtual Memory and Devices 28 Jan Abstractor: Linux, Syscalls and Hypervisors2025 04 Dec The Failed Search for a Dense Proving Language