Jason Dong / MidnightDesk
MidnightDesk is Jason Dong’s personal public project hub. Jason is a student in Melbourne, and this site gathers public education work, mathematical writing, AI-assisted workflows, notes, and project records as a long-term personal workspace rather than a company or product.
Featured Work
The current selection includes several relatively complete works: a public education site, mathematical writing, a private AI agent environment, and the rebuild of the main site itself.
What You’ll Find
The projects differ in subject, but they share the same habit: turning learning, writing, and practical questions into public records that can be read calmly.
Clear resources for ordinary readers, currently centered on bilingual oral-health education.
Careful proof writing and method notes around geometric questions.
A private AI environment maintained for writing, organization, research, and project work.
The main site, notes, and updates that keep the work understandable over time.
Latest Updates
This section keeps recent updates and records as a concise trace of the site’s ongoing growth.
MidnightDesk began a fuller round of Chinese organization across the homepage, work page, about page, updates archive, project details, navigation, buttons, and tags. The new Chinese version keeps the original tone where possible while making the pages more natural for Chinese readers.
The older main site carried a strong developer-tool feeling. The work was not presented clearly enough, and the structure was not suited to long-term public reading. This rebuild reorganized page hierarchy, work entry points, and access paths, bringing MidnightDesk closer to a personal portfolio that can be read directly.
After the two proof chains were completed, the project searched public paper sites, proof databases, and collections of Pythagorean theorem proofs in a more systematic way. Within the current search scope, no material was found that closely overlaps with these two proof paths.
The Pythagorean proof exploration completed two proof chains that can be read independently: one around incenter intercepts and local similarity, and another around the incircle, the A-excircle, and the internal homothety center. Both proofs have been organized into Markdown and PDF versions.
After the first stage was set aside, a new geometric idea made the project possible again. The project then rechecked places where AI-assisted reasoning could be misread, and adjusted how supporting tools would be used afterward.
Next
MidnightDesk first presents several works that have already taken shape, while also keeping written records related to them. The notes keep more detailed background, thinking, and the process of organizing the work.