Math PhD [Set Theory] (UCLA 2013)
Worked in industry for a while (Facebook/Meta 2013-2026)
Currently interested in formal verification
Popular repositories Loading
-
-
fermat-torricelli
fermat-torricelli PublicVisualization/intuition aid for Fermat-Torricelli problem. May generalize to weighted median eventually
JavaScript
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.