Stories by todsacerdoti

Apex: An interface definition language for generating code

Right and wrong: ten choices in language design

A Conceptual Introduction to Spritely Goblins

Practice-Oriented Provable Security and the Social Construction of Cryptography [pdf]

ChatGPT passes the 2022 AP Computer Science A free response section

The Design of Silicon Notes, with Cartoons

Using comptime to invert bijective functions on enums

Adventures in Advent of Code

Racket meet-up Saturday 3 December at 18:00 UTC:racket

Clerk Garden: a simple publishing space for Clerk notebooks

Getting Started with PDQ Deploy and Inventory

Magic Cap, from the Magic Link to the DataRover and the Stuff In-Between

Pre-Auth RCE with CodeQL in Under 20 Minutes

VimWiki Release v2022.12.02

Scaling the Mastodon

I tried ChatGPT from OpenAI and my mind was blown

The Git Parable: a different approach to understanding Git

A collection of array rotation algorithms

Why they clapped for Sam Bankman-Fried