Why Nostr? What is Njump?
Student of homotopy type theory and (higher) category theory (this account adheres to the implicit ∞-category convention).

I help maintain Agda Γ ⊢ 🐔, maintain the 1Lab 🧊🔬, and very occasionally write on my blog 👩‍🏫✍️
Public Key
npub105djthvncz3tms6ke37w4579d0qqmf2e6xt9p7z5h3ayq0wtq7pswyvwnw
NIP-05 Address
amy@types-pl.mostr.pub
Profile Code
nprofile1qqs86xe9mkfupg4acdtvcl8260zkhsqd54var9jslp2tc7jq8h9s0qcv6d6nz
Author Public Key
npub105djthvncz3tms6ke37w4579d0qqmf2e6xt9p7z5h3ayq0wtq7pswyvwnw