Morgan Arnold
mra@mathstodon.xyz
<p>MSc in Mathematics from EPFL, graduated 2026. BSc in Mathematics from UBC, graduated 2024. This blog obeys the (-, +, +, +) metric signature. Luddite. Politically left, and occasionally gauche.</p><p>MSc de Mathématiques à EPFL, diplômé 2026. BSc de Mathématiques à UBC, diplômé 2024. Ce blogue obéit la signature métrique (-, +, +, +). Luddite. De la gauche, et parfois gauche.</p><p>２０２６年に卒業したＥＰＦＬで大学院生だ。２０２４年に卒業したＵＢＣで大学生だ。このブロッグは(-, +, +, +)符号数を使う。ラッダイトだ。訳しにくいフランス語の洒落を省いた。</p>
Posts
-
Post #2368954
@TaliaRinger are the course materials from your &quot;build your own proof assistant course&quot; publicly available? i saw that nicegeo is up on github, which is super cool! i was curious if you have any notes on unification in particular
-
Post #2368953
extremely excited to announce that i&#39;ve accepted an offer to do a phd in mathematical quantum physics at ubc!
-
Post #1491892
working on writing a blog post which i&#39;ve been calling &quot;structure and interpretation of mathematical theories.&quot; i was originally planning to write something fairly narrow, talking about typeclasses and locales, and how they can be used to structure mathematical theories within a proof assistant, but the more that i write, the more my thoughts are diverging into something much broader