Amanda amanda@social.spejset.org
#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.