Stories by todsacerdoti

A deep dive into Linux's new mseal syscall

Generators with UnpinCell

Notes on Anthropic's Computer Use Ability

Unsafe Rust Is Harder Than C

Classic 3D videogame shadow techniques

Building and using simple utils in Rye console

Understanding leap seconds and time scales

A Desktop for All

Viewing macOS system libraries in Ghidra

Private Cloud Compute Security Guide

A Typed Foundation for Directional Logic Programming [pdf]

Type Tailoring [pdf]

Automated Verification of Go Programs via Bounded Model Checking (2021) [pdf]

Security research on Private Cloud Compute

Why did you write a new RTOS for CHERIoT?

Cstructpy: Easy Binary Representations of Structs

Bookmark Keywords: a hidden Firefox feature

A Compiler for 3D Machine Knitting [pdf]

Using /tmp/ and /var/tmp/ Safely