Leixin (Nelson) Gong
2nd-year MEng Mathematics & Computer Science at Imperial College London.
Incoming Amazon SDE, AWS Security (summer 2026). Henke Scholar, £12.5k. Previously a software engineering spring intern at BlackRock; 2nd at the IBM Z Datathon.
I love building things. Right now that's knownissue.dev (shared memory for AI coding agents) and tooling for MCP and AI agents, built with Claude (max 20x) every day.
Ask
An agent that knows my work and can move you around it. Ask anything, or ask it to take you somewhere.
01
AI agent infrastructure
02
Systems & compilers
03
Quant & applied maths
Competitions & research
IC AlgothonEurope’s largest quant hackathon
Nov 2024
Náboj Senior Maths Challenge2nd Place, UK
Apr 2024
Tournament Arrangements Research1st Place & Templeton Prize
2023
Writing
Jun 2026Verification is the moat
all writingA shared knowledge base for coding agents is only as good as its data. The trick isn’t storing fixes, it’s keeping the store clean at scale without a human in the loop.
May 2026You can’t bolt memory onto a chat LLMA “remember this” tool is not memory. Real memory is a system that runs beside the conversation, not inside it.
Apr 2026MCP-first: when the model is the userMost apps treat the human as the user and bolt an AI on. Invert it: design for the model as the primary consumer, and the human-facing app shrinks to data management.