Please do NOT grotesquely misrepresent what I said in this manner.

San Francisco, she/her
Joined August 2009
It's game night. You're playing Set, blithe and buoyant within an edenic oasis where functions are total and least and greatest fixed points are distinct. In the tarpits below I play DCPO⊥, grizzled by the uncaring realities of a nonterminating world. We are not the same.
1
5
42
Getting harassed and silenced for saying "laundry is codata" ……… do you people not want me to speak my truth??!
3
1
15
951
I dunno where hyou guys are getting these nice terminating “laundry list”s from. over here it's all "finite prefix of an infinite stream, not to be satisfied in your (or anyone else's) lifetime"
1
1
9
227
Nintendo .DS_Store retweeted
Replying to @lexi_lambda
"Seven Trees in One," Andreas Blass
3
16
518
Nintendo .DS_Store retweeted
Replying to @tritlo
PL is literally making sense of nonsense and the nonsense index is skyrocketing
2
3
1
13
1,683
You Can See Everything provides a sobering reminder of the unrelenting societal chaos that arises from misunderstanding the forall/exists duality
3
19
1,065
"the reviewers are asking if Appendix B has been mechanized"
2
6
698
The problem with being audiovisually immunocompromised is that movies affect me WAY more than they should. I watched Sense & Sensibility yesterday, and Marianne's character made me a full-blown sturm und drang Romantic. I'm seeing the Elizabeth Holmes movie tonight, so stay tuned
1
14
1,295
Like this tweet if you would listen to the @lexi_lambda / @sliminality podcast where we just shoot the shit about PL, software, and other technical esoterica as strikes our fancy Reply if you would volunteer to edit an episode >:)
5
5
166
3,381
We are SO back y'all guys
The responses to this are so wholesome it's made my whole day.
16
869
Nintendo .DS_Store retweeted
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
10
28
4
141
11,560
maybe the reason you can't commit to a PhD topic is that you never got over the heartbreak of getting scooped on your first SIGBOVIK submission
2
9
2
288
13,307
Nintendo .DS_Store retweeted
After 5 months, 385 citations, and 50 pages I’m excited to finally share the preprint of the survey paper my collaborators and I have been working on: 

 sainati.pl/gpu-survey-prepri… We wanted to put it on arXiv but tragically they don't take survey papers anymore.
2
7
1
32
2,181
"both sides" rhetoric is toxic and harmful because it leads to people writing shit like `int * p`
38
1,231
Nintendo .DS_Store retweeted
wow i’m consider coming back to twitter now that @sliminality and @hausdorff_space have returned
4
1
5
653
Nintendo .DS_Store retweeted
Their mistake was not mentioning the all-new Ford F-150? (Please don’t grotesquely misrepresent where I’m going with this, but I heard we are bringing PL Twitter back.)
2
1
5
581
Russian data centers get bombed and then PL twitter comes back? 🤔
1
1
33
971
it should be illegal for Oliver Flatt to be graduating before me Btw
1
8
1,444
Completely insane to write this paper and NOT title it "Stop Drawing Dead standard-fish"
3
1
21
1,289
The total addressable market of this joke is like four people, but it's one of the best I've ever made so I really hope they see it!
2
11
437
Nintendo .DS_Store retweeted
thinking this evening about bind-like operator for dogs discourse.haskell.org/t/bind…
1
5
48