"as hard as sneaking a Geodude into a mineshaft" is my new slang for something that is trivially easy
okay i also do that kind of double fav, dear Sargoths, but that's usually intentional
this is why i was advocating an opt-in, non-federating solution because it means (a) every emoji will be vetted by instance admins, and (b) every emoji a user sees is insertable, which to me seems like a common user expectation to have
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
"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
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!