about me, college, maths
early in college i read https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/How-to-Write-a-Proof.pdf and was rllllly convinced
so for the next like two years i wrote all my proofs using a structured proof format based on that described in that paper and then just linearized them when i needed to submit them for a class or show them to people.
LB: i don't know anything about bripe but i know how i feel about brine and i'm happy to get all my coffee opinions from @bea
i'm a trans hacker fairy #introductions
for me, that means: i'm transgender and non-binary, though i'm fuzzy on what i mean by that; i build and break software; and i in one sense am a fairy and in another am a fairy princess
i work on the glitch-soc fork some. i live here but am also at @srn some
it's ok to not be strong
"Tired of snacks that squish or squeak? Try new Crunch ThickLots ™ ! For that Extra Super Crunch ™ !"
@er1n btw Geal said that you can do what they were trying to do with consumers much better using generators on nightly now and linked https://github.com/Geal/generator_nom/blob/master/src/main.rs