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

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