Notes for our July meetup