ClocksSugars' Blog
The following is the article version of a talk given on 03/27/26. The intended audience of the talk is a split demographic of programmers/machine learning engineers and various levels of academicians/hardware engineers. Consequently, the content herein is intended to be exploratory for a reader rather than comprehensive; for that, there is the content currently published in Application Unification. This article is not intended to give a one-to-one correspondance with the content of the talk, but rather to formally detail the scaffold of the talk. Accordingly, it is written to supplement the talk and to be able to stand on its own as a resource, but not as a transcript or an intrinsically motivated text. Nowadays it is not entirely uncommon to have at least some exposure to differential equations, especially among the engineer population. After all, they are one of the most obvious applications of mathematics, with their ability to provide models of tangible phenomena. Most easily motiv
ClocksSugars' Blog Home / articles /0326-hamiltonian-symplectic/ Homotopy Type Theory as Introduced on 03/27/26 Page Index 1. Differential Equations 2. Lagrangian Mechanics 3. Hamiltonian Mechanics The following is the article version of a talk given on 03/27/26. The intended audience of the talk is a split demographic of programmers/machine learning engineers and various levels of academicians/hardware engineers. Consequently, the content herein is intended to be exploratory for a reader rather than comprehensive; for that, there is the content currently published in Application Unification.
Explore this link on the map →related reading
- Lagrangian mechanics - Wikipediaen.wikipedia.org
- Why Momentum Really Worksdistill.pub
- A Lecture on Partial Differential Equationspeople.math.harvard.edu
- List of topics named after Leonhard Euler - Wikipediaen.wikipedia.org
- quantum mechanics - Why not use the Lagrangian, instead of the Hamiltonian, in nonrelativistic QM? - Physics Stack Exchangephysics.stackexchange.com
- ODEs: What are Differential Equations?web.uvic.ca
- dsimanek.vialattea.net/puzzles/ideas.htmdsimanek.vialattea.net
- Pen and Paper Exercises in Machine Learningarxiv.org
- Tautochrone curve - Wikipediaen.wikipedia.org
- Problems for Self Study - Harvard Reviewharvardreview.org
- Dimensional analysis - Wikipediaen.wikipedia.org
- Cauchy–Euler equation - Wikipediaen.wikipedia.org