https://programsareproofs.com/rss.xml

I recently switched from OpenSUSE to NixOS.

I maintain FunctionTrace, a graphical Python profiler that provides a clear view of your application’s execution with minimal performance impact.

Sophia and I recently1 went to China for a few weeks.

Having money readily available is an important piece of any financial planning.

Note: this page walks through my process of getting to a decent setup for Android development.

Most of the industry is liberally using third party dependencies at this point, and I generally agree with this.

You have a bunch of machines and a bunch of credentials they (and no one else) need access to, so you use a secrets store to store the credentials and distribute them as needed.

People seem to care about their passwords.

I did Advent of Code for the second time this year.

I recently did a quick optimization pass over glyphsLib, using FunctionTrace to improve performance by ~30% in under half an hour.

New programmers are commonly taught to separate their code into many small functions, each with a descriptive name, a single purpose, and called from exactly one location.

On this page, I’ve laid out my thoughts on code reviews as of mid-2021.

Z3 is a Satisfiability Modulo Theories (SMT) solver.

Note: A version of this article was originally published by Mozilla Hacks.

Having to install Steam’s mobile app just for 2FA is annoying.