elisabeth lemma ☔
@wendigotypes.bsky.social
theoretical computer sorcery and theorem potions · she/they/e
wendigotyp.es
wendigotyp.es
im having a normal day
December 2, 2025 at 11:05 PM
im having a normal day
cock iff. ball torture
October 6, 2025 at 2:13 PM
cock iff. ball torture
gave goomy a job
September 15, 2025 at 9:16 PM
gave goomy a job
working on isabelle is the final boss of adhd. how am i supposed to stay on task if i need to wait 6 minutes for HOL to build at unpredictable intervals. someone with a background in executive function please help be budget this
August 17, 2025 at 4:14 PM
working on isabelle is the final boss of adhd. how am i supposed to stay on task if i need to wait 6 minutes for HOL to build at unpredictable intervals. someone with a background in executive function please help be budget this
just put me into a container and run podman rmi $(podman images -qa) -f
July 10, 2025 at 5:39 PM
just put me into a container and run podman rmi $(podman images -qa) -f
this man got a donation asking what his favourite donut was and he said "a coffee mug"
July 10, 2025 at 1:33 AM
this man got a donation asking what his favourite donut was and he said "a coffee mug"
CW: DACH-Raum
when i flew back from japan with austrian airlines i asked them if they had ginger ale, and the guy said "yes" really confidently, and then went like "🤔 well, the austrian version", and then he served me almdudler
when i flew back from japan with austrian airlines i asked them if they had ginger ale, and the guy said "yes" really confidently, and then went like "🤔 well, the austrian version", and then he served me almdudler
June 18, 2025 at 12:01 PM
CW: DACH-Raum
when i flew back from japan with austrian airlines i asked them if they had ginger ale, and the guy said "yes" really confidently, and then went like "🤔 well, the austrian version", and then he served me almdudler
when i flew back from japan with austrian airlines i asked them if they had ginger ale, and the guy said "yes" really confidently, and then went like "🤔 well, the austrian version", and then he served me almdudler
does anybody have any resources for switching your boomer parents over to linux? they're really nontechnical, struggle with opening two windows next to each other, probably dont know what copy/paste is (on the one hand: oof. on the other hand, i figure not a lot of progress to lose by switching)
June 2, 2025 at 4:53 PM
does anybody have any resources for switching your boomer parents over to linux? they're really nontechnical, struggle with opening two windows next to each other, probably dont know what copy/paste is (on the one hand: oof. on the other hand, i figure not a lot of progress to lose by switching)
taking goodra sightseeing
May 26, 2025 at 2:37 PM
taking goodra sightseeing
not me crying in the plus size fashion store in tokyo
May 16, 2025 at 7:50 AM
not me crying in the plus size fashion store in tokyo
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
April 29, 2025 at 7:56 PM
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
RIP to a fellow Filippo Sorcinelli wearer
April 23, 2025 at 9:42 AM
RIP to a fellow Filippo Sorcinelli wearer
math/YN slowburn
April 17, 2025 at 5:09 PM
math/YN slowburn
the "AI will turn us all into paperclips if we're not careful" thought experiment strikes me as v funny from a 2025 pov. almost. except it's not AI, it's capitalism, turning our drinking water into cooling fluid and our online spaces into training data. AI misalignment, my ass. it's the tech
April 16, 2025 at 1:50 PM
the "AI will turn us all into paperclips if we're not careful" thought experiment strikes me as v funny from a 2025 pov. almost. except it's not AI, it's capitalism, turning our drinking water into cooling fluid and our online spaces into training data. AI misalignment, my ass. it's the tech
just asked the lecturer if he had time to answer some questions and he said no and i only cried a little bit 😎
April 10, 2025 at 12:51 PM
just asked the lecturer if he had time to answer some questions and he said no and i only cried a little bit 😎
Reposted by elisabeth lemma ☔
theoretical computer scientists: curing my fear of talking to people one work email at a time. recently i got my first "thank you for asking such a well-documented question" and i almost cried.
March 31, 2025 at 8:28 AM
theoretical computer scientists: curing my fear of talking to people one work email at a time. recently i got my first "thank you for asking such a well-documented question" and i almost cried.
do YOU secretly hold beliefs that prove you were a constructivist all along? take this test to find out.
March 25, 2025 at 4:44 PM
do YOU secretly hold beliefs that prove you were a constructivist all along? take this test to find out.
Reposted by elisabeth lemma ☔
i’m catholic but not a religious way, more of an “i’ve been riddled with unspeakable guilt since birth” way
March 25, 2025 at 2:48 AM
i’m catholic but not a religious way, more of an “i’ve been riddled with unspeakable guilt since birth” way
Reposted by elisabeth lemma ☔
Visiting friends in New York
March 12, 2025 at 3:36 AM
Visiting friends in New York
just chased an isabelle error all the way until i ended up in a scala file, and on the one hand, i still haven't solved my problem, but on the other hand, at least i get to look at scala code now 🥹
March 7, 2025 at 12:30 PM
just chased an isabelle error all the way until i ended up in a scala file, and on the one hand, i still haven't solved my problem, but on the other hand, at least i get to look at scala code now 🥹
CW: deutsche bahn
two women sitting behind me on the train discussing their mediocre boyfriends:
"It's just so frustrating, because I know there's many ways you can understand communication: the social/personal model, the information/discourse model... but usually he just doesn't talk to me at
two women sitting behind me on the train discussing their mediocre boyfriends:
"It's just so frustrating, because I know there's many ways you can understand communication: the social/personal model, the information/discourse model... but usually he just doesn't talk to me at
March 1, 2025 at 4:01 PM
CW: deutsche bahn
two women sitting behind me on the train discussing their mediocre boyfriends:
"It's just so frustrating, because I know there's many ways you can understand communication: the social/personal model, the information/discourse model... but usually he just doesn't talk to me at
two women sitting behind me on the train discussing their mediocre boyfriends:
"It's just so frustrating, because I know there's many ways you can understand communication: the social/personal model, the information/discourse model... but usually he just doesn't talk to me at
Reposted by elisabeth lemma ☔
Yes, I am WOKE
ω
Omega
Kinds
∃ types
ω
Omega
Kinds
∃ types
February 25, 2025 at 2:28 PM
Yes, I am WOKE
ω
Omega
Kinds
∃ types
ω
Omega
Kinds
∃ types
Reposted by elisabeth lemma ☔
What people present as an “unpopular opinion”:
> Haskell's type system is a brake to my creativity
Actual, unpopular opinion:
> Performance is a runtime detail, only chumps actually run programs
> Haskell's type system is a brake to my creativity
Actual, unpopular opinion:
> Performance is a runtime detail, only chumps actually run programs
What people present as an “unpopular opinion”:
> If your gut feeling tells you not to hire a candidate, even though they tick all the boxes—don’t hire them
Actual, unpopular opinion:
> They should make a new soda flavor called “Brine Juice”
> If your gut feeling tells you not to hire a candidate, even though they tick all the boxes—don’t hire them
Actual, unpopular opinion:
> They should make a new soda flavor called “Brine Juice”
February 20, 2025 at 9:08 AM
What people present as an “unpopular opinion”:
> Haskell's type system is a brake to my creativity
Actual, unpopular opinion:
> Performance is a runtime detail, only chumps actually run programs
> Haskell's type system is a brake to my creativity
Actual, unpopular opinion:
> Performance is a runtime detail, only chumps actually run programs