Building databases, thinking in abstractions.
- GaussDB β Enterprise-grade multi-modal database management system.
- Infinity β The AI-native database built for LLM applications.
- Dify β Open-source platform for developing LLM applications.
- PGM-index β Learned index structures.
- xor_singleheader β Fast approximate membership filters.
C++ Β· C Β· Python
I read broadlyβclassics, history, philosophy, and science fiction.
Tsinghua University β Mathematics
Second Class Award, 2015 Chinese Mathematical Olympiad (CMO)