
Hi! I'm Kevin.
I’m a software engineer based in London, where I work at Cloudflare as a Distributed Systems Engineer on the ClickHouse Platform team. Most of what I build nowadays is in Rust or Go, with AI assistance of course.
Before that, I spent four years as the lead data engineer at Haystack News, a San Francisco news streaming startup, where I led the data platform evolution as we scaled to millions of users. Earlier, I was a backend engineer at La Positiva Seguros, an insurance company in Peru.
I studied mathematics at the Pontifical Catholic University of Peru, doing an exchange semester at the University of Oklahoma and taking PhD-level classes in the Summer Program of the Institute of Pure and Applied Mathematics (IMPA) in Rio de Janeiro.
I’m passionate about music, tracking everything I listen to on Last.fm since 2014. I also play bass and guitar regularly. In a past life I enjoyed answering questions on Stack Overflow.
Recently listening
My most played albums this week, via Last.fm. 204,403 scrobbles since 2014.
- 1Monkeytown · Modeselektor47 plays▶︎
- 2Faith In Strangers · Andy Stott35 plays
- 3Go Plastic · Squarepusher30 plays▶︎
- 4Be Up a Hello · Squarepusher26 plays▶︎
- 5Slipknot (10th Anniversary Edition) · Slipknot25 plays▶︎
- 6Slipknot · Slipknot22 plays▶︎
- 7UNDERGROUND · Ariel Pink16 plays
- 8TRICK · Alex G15 plays▶︎
Recently starred
Repositories I've starred on GitHub lately. See all →
- AxiomMath/CFSGCorollary · Lean 4 proof that every finite simple group is generated by two elementsLean★ 7
- herdrdev/herdr · the runtime your coding agents live onRust★ 47878
- szhilkin/sz-werc · werc - A sane web anti-framework Perl★ 9
- AxiomMath/CFSG · A Lean formalization of the Classification of Finite Simple GroupsLean★ 158
- prometheus/cfaccess · Cloudflare Access authentication for Prometheus HTTP clients.Go★ 2
- steinbergmedia/vst3sdk · VST 3 Plug-In SDKCMake★ 2381
- yt-dlp/yt-dlp · A feature-rich command-line audio/video downloaderPython★ 205012
- systemd/systemd · The systemd System and Service Manager C★ 16994
- rianvdm/lastfm-mcp · An MCP server that provides seamless access to a user's Last.fm listening data and music information via AI assistants like Claude.TypeScript★ 52
- cloudflare/skills · Skills for teaching agents how to build on Cloudflare.Shell★ 3270