Latest Updates
Blog Post: Deterministically Iterating over a set within Dafny functions
Publication: Initial Steps in Planning under Qualitative Uncertainty
Recorded Walk: Santa Teresa
Last Wikipedia Edit: Firefox
Nature Observation: Smooth Rockcress
Recipe: Beef Taco Soup
Last Postroll: Solar Laundry