iiinova — where your digital self keeps evolving

elisabeth lemma ☔

@wendigotypes.bsky.social

185 followers 549 following 47 posts

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

Posts Replies Media

elisabeth lemma ☔ @wendigotypes.bsky.social · 12/07/2026

elisabeth lemma ☔ @wendigotypes.bsky.social · 02/12/2025

im having a normal day

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.

elisabeth lemma ☔ @wendigotypes.bsky.social · 15/09/2025

gave goomy a job

goomy plush sitting high on my shelf with various necklaces and rings and such hanging from its antennae, partially obscuring its face

elisabeth lemma ☔ @wendigotypes.bsky.social · 10/07/2025

just put me into a container and run podman rmi $(podman images -qa) -f

Babe! It's STEP 15/17
time for your
BUILDING HOL ...

000

elisabeth lemma ☔ @wendigotypes.bsky.social · 10/07/2025

this man got a donation asking what his favourite donut was and he said "a coffee mug"

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"

elisabeth lemma ☔ @wendigotypes.bsky.social · 26/05/2025

taking goodra sightseeing

holding up a plush goodra (inside a clear carrying case) in front of a pond in a public garden

two tall buildings at ikebukuro station, one of them has a large screen on the side with an anime girl whos hairstyle i aspire to

a street in downtown ikebukuro at dawn. the sky is slowly illuminating but the street lights are still own. (normal time to go to donquixote)

a tall building with red writing and a red flag on its side

elisabeth lemma ☔ @wendigotypes.bsky.social · 16/05/2025

not me crying in the plus size fashion store in tokyo

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."

elisabeth lemma ☔ @wendigotypes.bsky.social · 29/04/2025

oops i said "you don't have to have a model in order to have semantics" today in the graduate seminar and suddenly everyone had this symbol above their heads

person person minus minus symbol

elisabeth lemma ☔ @wendigotypes.bsky.social · 12/04/2025

bye sheffield #mgs2025

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.

the same image except now, sheffield station is in focus instead of forretress. the union jack is flying ominously.

elisabeth lemma ☔ @wendigotypes.bsky.social · 31/01/2025

switzerland has biblically accurate outlets

a swiss outlet. it has a lot of holes. like an angel. from the bible.

elisabeth lemma ☔ @wendigotypes.bsky.social · 30/01/2025

im so good at flirting

elisabeth lemma ☔ @wendigotypes.bsky.social · 22/01/2025

I'm escaping

elisabeth lemma ☔ @wendigotypes.bsky.social · 17/01/2025

elisabeth lemma ☔ @wendigotypes.bsky.social · 17/01/2025

i'm just reposting my low sanity tw*ets from my master thesis arc, don't mind me

elisabeth lemma ☔ @wendigotypes.bsky.social · 08/01/2025

normal people having a conversation: "i write my book in scrivener, i like organising my scenes in a sensible way" "i write my book in google docs, i like reliable cloud sync" me: hoare logic

elisabeth lemma ☔ @wendigotypes.bsky.social · 30/12/2024

i wanna go there so bad

elisabeth lemma ☔ @wendigotypes.bsky.social · 14/12/2024

hello bluesky where is my audience