Stories by todsacerdoti

Xanadu Hypertext Documents Specification (1984) [pdf]

Thoughts on user interfaces for theorem provers

Technical details on the Musicstore, per one of the engineers

Replacing std:lock_guard with a factory function

Get root on macOS 13.0.1 the macOS Dirty Cow bug

The empty list

Zero-initialize objects of automatic storage duration

Writing a Static Site Generator Using Shake

Getting started with nmap

Xen 4.17 Is Released

Hindley-Milner type inference (in Rust)

Detecting Heap Memory Pitfalls

Project Requirements: Why They Matter

Gaining insight into your codebase with elm-review

Debugging CockroachDB crash in Go runtime during test run

The Basics of Receiving Webhooks in Rails

I moved away from Poetry for Python

Storing Data in Electron Applications

Generic Tagging for RISC-V Binaries

An annotated example of using LPeg to parse a string to generate LPeg to parse