Hải is a backend developer and competitive programmer from Hanoi, and a 🥇 First Prize winner of the Vietnam Student Olympiad in Informatics 2024 (specialized IT division). He builds the backend side of AI products: LLM agents, speech features, and the APIs, data and security that keep them correct in production.
Given a product idea, find the simplest system that still survives real users. Tests first, small steps, fail safely.
A product idea, a pile of half-written requirements, and a language model that is confident about everything.
A backend that stays correct: clear APIs, sound data models, access control, and tests that say why.
This is an interactive problem: every request talks to the jury and streams its answer back.
input output
────────────────────────────────────── ──────────────────────────────────────────
an assistant that sells over chat streaming LLM agent + orders + payments
two hours of meeting audio transcript → AI-drafted minutes → PDF/DOCX
a UI that "looks AI-generated" sloplint
contest ∈ { C++ }
backend ∈ { Go, Python, C#, Java }
storage = PostgreSQL
tests ≥ 1 before every change
| # | Problem | Verdict | Lang |
|---|---|---|---|
| 1 | sloplint: catch the UI patterns that make a front-end look AI-generated | ✅ Accepted | JavaScript |
| 2 | Workspace Hub: Gmail, Calendar, Drive & Jira in one Kanban, two-way sync | ✅ Accepted | C#, TypeScript |
| 3 | ScanGo: snap a product label, get OCR + an AI explanation | ✅ Accepted | JavaScript, C# |
| 4 | Violympic Mini Games: real-time quiz games for ~50 players with a live leaderboard | ✅ Accepted | JavaScript |
| 5 | Template-ICPC: my contest notebook (HLD, Li Chao, CHT, geometry…) | ✅ Accepted | C++ |
| Contest | Result |
|---|---|
| Vietnam Student Olympiad in Informatics 2024, specialized IT division | 🥇 First Prize |
| ICPC Vietnam Northern Region 2024 | 🥈 Second Prize |
| International Quant Championship 2024 (WorldQuant) | Top 8 finalist |
| LG Dream Code Hanoi 2025 | Top 5 |
Started out at the Vietnam Olympiad in Informatics in high school, still solves a hard problem for fun. Reach him on LinkedIn.