elisabeth lemma ☔

@wendigotypes.bsky.social

182 Followers 549 Following

theoretical computer sorcery and theorem potions · she/they/e phantomtyp.es

haskell type definition of a natural number eliminator data type with all the values as the pokemon krabby and the final neutral value as the pokemon kingler.
goomy plush sitting high on my shelf with various necklaces and rings and such hanging from its antennae, partially obscuring its face
Babe! It's STEP 15/17 time for your BUILDING HOL ...
messenger screenshot where my hot streamer bf says "My chat was so funny today. I made a topology joke and someone said "brother you need to stop worrying about the Torus and start worrying about the Tauros"
holding up a plush goodra (inside a clear carrying case) in front of a pond in a public garden
display in a store with t-shirts. they have little ghosts printed on them. the top one is folded to reveal the text: "Handle this object with care, as it has emotions too."
person person minus minus symbol
a plush of the pokemon forretress in front of sheffield station. as we know from the pokedex, the insides of forretress are a mystery. much like the inner workings of proof theoretic semantics.
a swiss outlet. it has a lot of holes. like an angel. from the bible.
a phone on a desk showing the grapheneOS logo, implying that i have now finally started taking data privacy seriously