- Activity Feed
Last updated: 2026-01-05 This page is an activity feed of my internet presence, updated once a day.
- Blog
Latest post Oct 30, 2025 • bazel • build-systems • programming-languages • reprint • rust • software-engineering • software-verification Datalog DSL detects defective dependency declarations, defanging dodgy development discipline
- GitHub
Recent commits
...and 0 more recent commits.Repo Date Message Current position Hudson River Trading: Software Engineer @ Hudson River Trading
Feb 2023 – Sep 2024- Favorite restaurants
Top Seattle restaurants Automatically extracted from budgeting software. Don't judge.
Name Visits (past year) Spend 😱 (past year) Starbucks 82 $565.71 Fulcrum Cafe 63 $623.17 Potbelly Sandwich Shop 41 $944.08 Kudedon Chirashi Bowl Restaurant 39 $939.92 Himalayan Java Coffee 35 $298.84 Monorail Espresso 27 $239.25 Donburi House 19 $386.78 Asean Street Food Hall 10 $221.72 Gyo Gyo En 10 $221.26 Shake Shack 8 $121.54