
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,176 scrobbles since 2014.
- 1INFESTACION · Moskas136 plays
- 2Rocket · Alex G98 plays▶︎
- 3TRICK · Alex G68 plays▶︎
- 4RACE · Alex G30 plays▶︎
- 5Traditional Synthesizer Music · Venetian Snares27 plays▶︎
- 6House of Sugar · Alex G19 plays▶︎
- 7Enjambre · Garzomorphosis13 plays
- 8Devolviendo Fuego · Moplo13 plays
Recently starred
Repositories I've starred on GitHub lately. See all →
- rapid7/metasploit-framework · Metasploit FrameworkRuby★ 39576
- cloudflare/security-audit-skill · A coding-agent skill for multi-phase security audits with independently verified, machine-readable findingsJavaScript★ 72051
- 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★ 50879
- 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★ 2396
- yt-dlp/yt-dlp · A feature-rich command-line audio/video downloaderPython★ 207645
- systemd/systemd · The systemd System and Service Manager C★ 17035