
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. 205,074 scrobbles since 2014.
- 1INFESTACION · Moskas133 plays
- 2Rocket · Alex G82 plays▶︎
- 3Traditional Synthesizer Music · Venetian Snares37 plays▶︎
- 4RACE · Alex G30 plays▶︎
- 5House of Sugar · Alex G19 plays▶︎
- 6Enjambre · Garzomorphosis13 plays
- 7Devolviendo Fuego · Moplo13 plays
- 8TRICK · Alex G12 plays▶︎
Recently starred
Repositories I've starred on GitHub lately. See all →
- rapid7/metasploit-framework · Metasploit FrameworkRuby★ 39566
- cloudflare/security-audit-skill · A coding-agent skill for multi-phase security audits with independently verified, machine-readable findingsJavaScript★ 71347
- 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★ 50657
- szhilkin/sz-werc · werc - A sane web anti-framework Perl★ 9
- AxiomMath/CFSG · A Lean formalization of the Classification of Finite Simple GroupsLean★ 166
- prometheus/cfaccess · Cloudflare Access authentication for Prometheus HTTP clients.Go★ 2
- steinbergmedia/vst3sdk · VST 3 Plug-In SDKCMake★ 2393
- yt-dlp/yt-dlp · A feature-rich command-line audio/video downloaderPython★ 207370
- systemd/systemd · The systemd System and Service Manager C★ 17029