Stories by todsacerdoti

Comparing Swift Compiler Performance on Type Inference Part I: Strings, Numbers

MicroPython v1.22.0

An Ode to Deluxe Paint

CellLVM

MicroHs: Haskell Implemented with Combinators

What the heck is a homomorphic mapped type?

The making of Ruby Changes: A boring advent

Ntcpqb: TCP/IP for QBasic (2008)

Safer Recursion in F#

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)