Latest Updates
Blog Post: Flattening Cases to Avoid Nesting in Lean 4
Publication: Initial Steps in Planning under Qualitative Uncertainty
Recorded Walk: Santa Teresa
Last Wikipedia Edit: Firefox
Nature Observation: Purple Loosestrife
Recipe: Beef Taco Soup
Last Postroll: Where's Eric? Tracking NY politicians' public schedules