Elektrine lite

← Feed

Morgan Arnold

mra@mathstodon.xyz

<p>PhD student in Mathematics at UBC. MSc from EPFL, graduated 2026. BSc from UBC, graduated 2024. This blog obeys the (-, +, +, +) metric signature. Luddite. Politically left, and occasionally gauche.</p><p>Doctorant en Mathématiques à UBC. MSc de EPFL, diplômé 2026. BSc de UBC, diplômé 2024. Ce blogue obéit la signature métrique (-, +, +, +). Luddite. De la gauche, et parfois gauche.</p>

Posts

  • View post

    @TaliaRinger are the course materials from your &amp;quot;build your own proof assistant course&amp;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

  • View post

    extremely excited to announce that i&amp;#39;ve accepted an offer to do a phd in mathematical quantum physics at ubc!

  • View post

    working on writing a blog post which i&amp;#39;ve been calling &amp;quot;structure and interpretation of mathematical theories.&amp;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