Hobbyist developer focused on systems software — databases, constraint solvers, eBPF, parsers, and physics simulation. Mostly Rust, with TypeScript and Python when they fit the problem.
- high-performance / systems Rust (parsers, storage, consensus)
- Linux observability & control loops (eBPF, cpufreq, multi-armed bandits)
- constraint programming & scheduling
- local / resource-constrained AI tooling
| repo | what |
|---|---|
| sorug | zero-copy WHATWG URL parser · crates.io |
| propaga | propagator-based constraint solver (FlatZinc subset) |
| foverin | autonomous Linux workload optimizer — eBPF + UCB1 |
| takyonic | Raft / MVCC NewSQL with Postgres wire protocol |
| VOLT | AIMC crossbar physics simulator (Ohm / KCL / noise) |
Feedback and collaboration welcome · X / Twitter


