Dev Blog: Three recent bugs, how I discovered and fixed them