Stories by todsacerdoti

Landscape or Portrait? You Decide

Terminal Smooth Scrolling

Identifying Slow PostgreSQL Queries

A Beginner's Companion to Theorem Proving in Lean 4

Scan2email

Pluto, a Modern Lua Dialect

Replit in Review: A Recap of What We Shipped in 2023

GitHub's top blog posts of 2023

A guide on Neovim's LSP client

The Rust I used to know (2022)

Scraping Women's College Volleyball Roster Data

Spellburst, a Replit X Stanford HAI Collaboration

Using Make – writing less Makefile

Ruby 3.3 Changes

Weaponizing DHCP DNS Spoofing – A Hands-On Guide

Philips Hue Sync Box Teardown and Failure Analysis

ActivityPub over ATProto

Some Useful Bash Aliases – Chuck Carroll

The C++20 Naughty and Nice List for Game Devs

Software Engineering's Greatest Hits