
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,979 scrobbles since 2014.
- 1INFESTACION · Moskas109 plays
- 2Rocket · Alex G69 plays▶︎
- 3Traditional Synthesizer Music · Venetian Snares36 plays▶︎
- 4RACE · Alex G30 plays▶︎
- 5Go Plastic · Squarepusher20 plays▶︎
- 6Rossz csillag alatt született · Venetian Snares16 plays▶︎
- 7TRICK · Alex G12 plays▶︎
- 8Enjambre · Garzomorphosis12 plays
Recently starred
Repositories I've starred on GitHub lately. See all →
- rapid7/metasploit-framework · Metasploit FrameworkRuby★ 39547
- cloudflare/security-audit-skill · A coding-agent skill for multi-phase security audits with independently verified, machine-readable findingsJavaScript★ 70519
- 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★ 50407
- szhilkin/sz-werc · werc - A sane web anti-framework Perl★ 9
- AxiomMath/CFSG · A Lean formalization of the Classification of Finite Simple GroupsLean★ 165
- prometheus/cfaccess · Cloudflare Access authentication for Prometheus HTTP clients.Go★ 2
- steinbergmedia/vst3sdk · VST 3 Plug-In SDKCMake★ 2392
- yt-dlp/yt-dlp · A feature-rich command-line audio/video downloaderPython★ 207039
- systemd/systemd · The systemd System and Service Manager C★ 17027