Mostly my adventures in tech, but sometimes little tidbits about other life happenings!

Open-source strategy, code intelligence, formal methods, distributed systems, the works.

Brought to you by Buttondown, the easiest way to start and grow your newsletter.