
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,731 scrobbles since 2014.
- 1Traditional Synthesizer Music · Venetian Snares50 plays
- 2Go Plastic · Squarepusher20 plays
- 3Rocket · Alex G18 plays
- 4RACE · Alex G17 plays▶︎
- 5Rossz csillag alatt született · Venetian Snares16 plays▶︎
- 6Muddy Waters At Newport 1960 · Muddy Waters12 plays▶︎
- 7how i'm feeling now · Charli xcx11 plays▶︎
- 8INFESTACION · Moskas10 plays
Recently starred
Repositories I've starred on GitHub lately. See all →
- rapid7/metasploit-framework · Metasploit FrameworkRuby★ 39468
- cloudflare/security-audit-skill · A coding-agent skill for multi-phase security audits with independently verified, machine-readable findingsJavaScript★ 69557
- AxiomMath/CFSGCorollary · Lean 4 proof that every finite simple group is generated by two elementsLean★ 12
- herdrdev/herdr · the runtime your coding agents live onRust★ 50069
- szhilkin/sz-werc · werc - A sane web anti-framework Perl★ 9
- AxiomMath/CFSG · A Lean formalization of the Classification of Finite Simple GroupsLean★ 164
- prometheus/cfaccess · Cloudflare Access authentication for Prometheus HTTP clients.Go★ 2
- steinbergmedia/vst3sdk · VST 3 Plug-In SDKCMake★ 2390
- yt-dlp/yt-dlp · A feature-rich command-line audio/video downloaderPython★ 206775
- systemd/systemd · The systemd System and Service Manager C★ 17027