Bio: I help run the Recurse Center.
In my spare time, I like learning Mandarin and walking around New York.
A fascinating analysis of whether or not diffs in a large repository are serially correlated across months and quarters.
A step-by-step guide for programmatically creating and retrieving secrets using the GitHub Actions API.
Roland scraped repositories on GitHub for references to "localhost:n", and then made an interactive visualization to show which port numbers are most popular!
A series of increasingly complicated algebraic proofs with clear definitions, implemented in Idris, a purely functional programming language.
A fun and clear exploration of some fundamental questions about computer architecture.
Aliza wanted to own her own data, so she built her own period tracker using a spreadsheet. This post walks you through how you can do this, too.
An overview of a paper where the authors reviewed real-world bugs in open source software to evaluate whether or not Go makes concurrency bugs less likely.
A nice overview of Vim 8's native plugin support and how to migrate to it from Pathogen.
An introduction to shaders, including how to make a 3D animated spinner.