👋 Hi, I'm Anton Ping

🕊 (Better known as "老大鸽" in Chinese tech communities)

• 🎓 Student at Moscow State University, Faculty of Computational Mathematics and Cybernetics
• 💻 Interested in programming language theory, functional programming, and formal verification
• 🔭 Currently building prune-lang — a constraint logic programming language
• 🧙‍♂️ Founder of Postmodern-Magic-Group (后现代魔法小组) — a Chinese community for PLT enthusiasts
  • 💬 Join our QQ group
  • 💬 Join our Telegram group

📄 My Resume

View my resume