Staff engineer, distributed systems and money movement. I work on the correctness problems that only appear under retry, partial failure and concurrency — the class of bug whose symptom is a customer charged twice.
| Project | Stars | My contributions | ||
|---|---|---|---|---|
| Bug fixes | New features | Reviews | ||
| addyosmani/agent-skills | ~89k | — | 1 | — |
| juspay/hyperswitch | ~43k | 1 | 1 | 2 |
| goauthentik/authentik | ~25k | 2 + 2 | 1 | 3 |
| lidge-jun/opencodex | ~11k | 2 | — | 2 |
| Total | ~169k | 7 | 3 | 7 |
Bold = merged; plain = open, under review. Counts link through to the pull requests.
Merged by those projects' own maintainers — addyosmani,
BeryJu (authentik lead), rissson,
lidge-jun and Wibias.
justonce · PyPI — make side effects happen exactly once. Idempotency keys, atomic claims, divergence detection and reconciliation for Python, with SQLite, Postgres and Django stores held to one shared conformance suite.
distributed-systems-skills — agent skills for production correctness: exactly-once semantics, and failure-mode analysis before the happy path is written.
retry-safe-payment-idempotency-artifact — a bounded TLA+ model and deterministic conformance artifact for retry-safe payments.
The authentik, hyperswitch, opencodex and agent-skills repositories under
this account are forks, kept only because GitHub requires one to open a pull
request. A fork carries none of the upstream project's stars; the contributions
are the pull requests above.