computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Chicago, IL
- Tweets 7,198
- Following 29
- Followers 13,099
- Likes 4,443
Pinned Tweet
“Put up in a place
where it's easy to see
the cryptic admonishment
T.T.T.
When you feel how depressingly
slowly you climb,
it's well to remember that
Things Take Time.”
— Piet Hein
5
27
174
Alexis King retweeted
A footnote from Stephen Dolan's Algebraic Subtyping, in reference to a paper by Redko: "This paper is out of print, in Russian, and quite difficult to get a hold of, so the interested reader is directed to a shorter proof by Conway [Con71, p. 105], which is merely out of print."
5
58
ok new week new topic. what’s everyone’s favorite joke ever made in a PL publication? I think mine is this one (from “The Myths of Object-Orientation” by James Noble)
21
75
571
tfw u make a stupid fucking tweet that goes from utter nonsense to run of the mill slop if ur feeling charitable
ALT Tweet screenshot that reads: No, it isn't. What a stupid fucking tweet. If we're feeling charitable, and take "TypeScript" to mean "TypeScript's type system", then it goes from utter nonsense to run of the mill slop which may obviously be made to hold for a sufficiently retarded definition of "best".
1
1
Alexis King retweeted
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
167
they really shouldn’t let you add more than like 5 channels to your discord server. some people need to be cut off
1
11
![Fallout screenshot of [Everyone disliked that.]](/pic/orig/media%2FHUfSjTiXsAAZtko.png)
Alexis King retweeted
ig it's technically gonna be presented next year but I love the flow typing paper
1
8
fwiw I think you have a typo: each 𝑗 in the premises has no subscript, but in each consequent it’s 𝑗₁
2
are you implying you harbor doubts about the design handed down to us by the wise council of ISO/IEC JTC 1 (Joint Technical Committee 1) / SC 32 (Subcommittee 32) / WG 3 (Working Group 3)
1
4
