- Activity Feed
Last updated: 2025-12-22 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 81 $558.29 Fulcrum Cafe 72 $703.94 Potbelly Sandwich Shop 40 $919.97 Kudedon Chirashi Bowl Restaurant 39 $939.92 Himalayan Java Coffee 35 $297.28 Monorail Espresso 27 $239.25 Donburi House 19 $386.78 Gyo Gyo En 11 $245.01 Asean Street Food Hall 10 $221.72 Shake Shack 8 $121.54