Latest Updates
Blog Post: Is this program safe? Lessons from Type Theory
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: Takamatsu & Awaji Island