elisabeth lemma ☔
LightNews LightNews
banner
wendigotypes.bsky.social
elisabeth lemma ☔
@wendigotypes.bsky.social
180 followers 550 following 48 posts
theoretical computer sorcery and theorem potions · she/they/e

wendigotyp.es
Posts Replies Media Videos
wendigotypes.bsky.social
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
September 15, 2025 at 9:16 PM
wendigotypes.bsky.social
what do you think of my artistic rendition of the void type
a circle where inside it says "nothing in here, scary" with wavy lines. from the left, menacingly, an arrow points into the circle, not heeding the absurdity of the endeavor
August 5, 2025 at 7:04 PM
wendigotypes.bsky.social
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 ...
July 10, 2025 at 5:39 PM
wendigotypes.bsky.social
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"
July 10, 2025 at 1:33 AM
wendigotypes.bsky.social
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
May 26, 2025 at 2:37 PM
wendigotypes.bsky.social
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."
May 16, 2025 at 7:50 AM
wendigotypes.bsky.social
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
April 29, 2025 at 7:56 PM
wendigotypes.bsky.social
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.
April 12, 2025 at 11:21 AM
wendigotypes.bsky.social
switzerland has biblically accurate outlets
a swiss outlet. it has a lot of holes. like an angel. from the bible.
January 31, 2025 at 9:23 PM
wendigotypes.bsky.social
im so good at flirting
January 30, 2025 at 1:44 PM
wendigotypes.bsky.social
I'm escaping
a phone on a desk showing the grapheneOS logo, implying that i have now finally started taking data privacy seriously
January 22, 2025 at 3:00 PM
wendigotypes.bsky.social
January 17, 2025 at 11:10 AM
wendigotypes.bsky.social
i'm just reposting my low sanity tw*ets from my master thesis arc, don't mind me
January 17, 2025 at 11:08 AM
wendigotypes.bsky.social
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
January 8, 2025 at 6:51 PM
wendigotypes.bsky.social
i wanna go there so bad
December 30, 2024 at 6:48 PM
wendigotypes.bsky.social
hello bluesky where is my audience
December 14, 2024 at 6:50 PM