- Activity Feed
Last updated: 2025-12-03 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 79 $547.95 Fulcrum Cafe 69 $675.22 Kudedon Chirashi Bowl Restaurant 39 $939.92 Potbelly Sandwich Shop 35 $799.42 Himalayan Java Coffee 33 $279.96 Monorail Espresso 26 $230.25 Donburi House 19 $386.78 Gyo Gyo En 11 $245.01 Asean Street Food Hall 10 $221.72 Shake Shack 8 $121.54