Stories by todsacerdoti

Reducing the size of a Git repository with Git-replace

Fixing Memory Leaks in Rust

Mobile Verification Toolkit

Formally Verifying an Auction Contract

On rebooting: the unreasonable effectiveness of turning computers off and on

Compiling QML to C++: Making types visible

Powering Next Generation Applications with OpenAI Codex

Tetragone: A Lesson in Security Fundamentals

Apple unveils new Apple Watch Pride Edition bands

The Dangers of Haskell's Ratio Type

Apple Expands Today at Apple Creative Studios

Morrowind 20-year anniversary book

Interactive analog LED wave array

GitHub Sponsors Launches in India

Next.js Layouts RFC: Nested routes and layouts, designed for Server Components

Weird Machines, Exploitability, and Provable Unexploitability

Fixing vulnerabilities in Elm's virtual DOM

Eight Years of the GitHub Security Bug Bounty Program

Pipedream lands $20M to connect disparate apps

1
2
3
4
5
6
7
8
9
10