- Activity Feed
Last updated: 2025-11-13 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 77 $533.98 Fulcrum Cafe 74 $710.09 Kudedon Chirashi Bowl Restaurant 39 $939.92 Potbelly Sandwich Shop 33 $751.20 Himalayan Java Coffee 33 $278.28 Monorail Espresso 26 $230.25 Donburi House 18 $365.18 Gyo Gyo En 12 $266.73 Asean Street Food Hall 10 $227.77 Shake Shack 8 $121.03