Stories by todsacerdoti

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

Paper: Feminism in Programming Language Design

The Secure Multiserver Operating System Framework

Smarter Than 'Ctrl+F': Linking Directly to Web Page Content

Zero or Sign Extend