Lightnews — Scholar-powered news

elisabeth lemma ☔ @wendigotypes.bsky.social · 9d

cock XOR ball torture

elisabeth lemma ☔ @wendigotypes.bsky.social · 9d

cock iff. ball torture

elisabeth lemma ☔ @wendigotypes.bsky.social · Sep 15

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

1

elisabeth lemma ☔ @wendigotypes.bsky.social · Aug 17

am i an LLM

Jack Lynch @jacklynch000.bsky.social · Aug 17

Text-heavy screen capture showing, among other things, I" am a disgrace. I am a disgrace. I am a disgrace...."

1

elisabeth lemma ☔ @wendigotypes.bsky.social · Aug 17

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

1 3

elisabeth lemma ☔ @wendigotypes.bsky.social · Aug 5

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

1

elisabeth lemma ☔ @wendigotypes.bsky.social · Jul 10

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

elisabeth lemma ☔ @wendigotypes.bsky.social · Jul 10

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"

2

elisabeth lemma ☔ @wendigotypes.bsky.social · Jun 18

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

1

elisabeth lemma ☔ @wendigotypes.bsky.social · Jun 2

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)

2 2

elisabeth lemma ☔ @wendigotypes.bsky.social · May 26

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

1 3

elisabeth lemma ☔ @wendigotypes.bsky.social · May 16

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

2

elisabeth lemma ☔ @wendigotypes.bsky.social · Apr 29

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

3

elisabeth lemma ☔ @wendigotypes.bsky.social · Apr 23

RIP to a fellow Filippo Sorcinelli wearer

1

elisabeth lemma ☔ @wendigotypes.bsky.social · Apr 17

math/YN slowburn

1

elisabeth lemma ☔ @wendigotypes.bsky.social · Apr 16

billionaire misalignment that's been the problem all along.

2

elisabeth lemma ☔ @wendigotypes.bsky.social · Apr 16

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

1 3

elisabeth lemma ☔ @wendigotypes.bsky.social · Apr 12

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.

3

elisabeth lemma ☔ @wendigotypes.bsky.social · Apr 10

just asked the lecturer if he had time to answer some questions and he said no and i only cried a little bit 😎

3

Reposted by elisabeth lemma ☔

Satan’s Niece @krissychula.bsky.social · Apr 6

This is high art

540 7.6K 27K

elisabeth lemma ☔ @wendigotypes.bsky.social · Mar 31

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.

6

elisabeth lemma ☔ @wendigotypes.bsky.social · Mar 25

do YOU secretly hold beliefs that prove you were a constructivist all along? take this test to find out.

3

Reposted by elisabeth lemma ☔

dean @mrwonderclown.bsky.social · Mar 25

i’m catholic but not a religious way, more of an “i’ve been riddled with unspeakable guilt since birth” way

13 46

Reposted by elisabeth lemma ☔

Casey Newton @caseynewton.bsky.social · Mar 12

Visiting friends in New York

Hat with the words “please do not talk to me about AI I will kill myself”

62 2.7K 25K

elisabeth lemma ☔ @wendigotypes.bsky.social · Mar 7

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 🥹

3