Amanda
#ComputerScientist PhD student working on specialised #ConstraintSolvers for #ProgramAnalysis, including the #Polonius ownership constraint solver for the #Rust compiler.
Previously at @mnda, and @amanda, and former host of tut.amanda.systems.
Parenting handle: @amanda. Book reviews at @amanda.
Previously at @mnda, and @amanda, and former host of tut.amanda.systems.
Parenting handle: @amanda. Book reviews at @amanda.
Public Key
npub1gcywgsf95z65a2vturv27erj3ynz5fvxma5l5xcdasqk7k8rc63s5u2d0sNIP-05 Address
amanda_at_social.spejset.org@mostr.pubProfile Code
nprofile1qqsyvz8ygyj6pd2w4x97pk90v3egjf32ykrd7606rvx7cqt0tr3udgc6fqzlvAuthor Public Key
npub1gcywgsf95z65a2vturv27erj3ynz5fvxma5l5xcdasqk7k8rc63s5u2d0s