Latest Updates
Blog Post: Verifying Proofs with Type Checkers
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: You probably don't need a DI framework