sergey@works:~$ whoami --verbose
 
Research · Web Platform Standards · AI Agents · Open Source

Software engineer, independent researcher, and open-source contributor focused on AI agent infrastructure, the web platform, and developer tools.

Contributes to TC39 and W3C standards work at the boundary between specification text, implementation behavior, and developer-facing APIs.

or press `
$ cat ./skills.json
Core skills
AI / LLM systemsagent orchestrationprompt/tool flowsharnessllama.cpp
Web platform / standardsTC39W3CTest262WebAssemblyJavaScriptCoreWebKitbrowsers/webviews
LanguagesTypeScriptGoC++Zig
Platform / observabilityOpenTelemetrytraces/metrics/logsPrometheusGrafanaOTel CollectorDockerKubernetesTerraformAWSGCPCloudflare
$ ls ./projects/
whatLocal-first AI runtime console for cloud/local models and Hecate Chat
featuresSupervised coding-agent sessions · task approvals · usage visibility · OpenTelemetry
stackGoTypeScriptReactTauriSQLiteOpenTelemetry
whatStrict-only ECMAScript engine in Zig for non-browser hosts such as edge JS, Workers, and server-side JS
stackZigECMAScriptTest262compiler/engine internals
Pragmatist soon
whatAgent audit platform with verifiable findings for ECMA-262, TypeScript, and JavaScript engines
featuresMCP audit tools · parsed spec queries · Coq/Rocq mechanization · TypeScript parser/lib diffs · multi-engine differential runs · test262/spec patch scaffolds · five-gate finding verifier
stackTypeScriptCoq/RocqECMA-262tsgoZod
$ curl sergey.works/links
open to: AI agents · web platform · developer tools · observability · standards based in Barcelona, Spain · available for remote
X / Twitter x.com/chicoxyzzy
# EOF · sergey rubanov · 2026