Alexis King (@lexi_lambda) header
Alexis King (@lexi_lambda) profile picture

Alexis King

@lexi_lambda

computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢

 Chicago, IL
lexi-lambda.github.io/
Joined October 2012
  • Tweets7.2K
  • Following29
  • Followers13.1K
“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
26
1
174
Replying to @ShriramKMurthi
It’s a real pity en.wikipedia.org/wiki/Mercur… isn’t more popular or we could really get a lot of mileage out of this tweet

Mercury (programming language) - Wikipedia

en.wikipedia.org
1
3
69
Replying to @samth
@samth
Notification banner from Alexis King overlaying samth's replied-to tweet: "mflatt will be the modern-day John Henry"

ALT Notification banner from Alexis King overlaying samth's replied-to tweet: "mflatt will be the modern-day John Henry"

1
1
11
3,511
Replying to @disconcision
explaining equivalence relations to americans: so imagine a hamburger menu
1
48
Replying to @lexi_lambda
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
60
2,053
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)
Image from Alexis King (@lexi_lambda)
21
75
15
581
43,748
Replying to @sliminality
be careful what you say or you’re going in the thread too
67
tfw u make a stupid fucking tweet that goes from utter nonsense to run of the mill slop if ur feeling charitable
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".

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
239
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,466
Alexis King retweeted
macOS Big Sir (@rickie) profile picture
macOS Big Sir@rickieOct 15
Back to learning new stuff because I can and it’s fun 🥸
1
6
391
Replying to @djmicrobeads
so true djm
1
65
they really shouldn’t let you add more than like 5 channels to your discord server. some people need to be cut off
1
13
1,305
Alexis King retweeted
rntz (@arntzenius) profile picture
rntz@arntzeniusOct 13
Replying to @lexi_lambda
arxiv.org/pdf/2604.04893 (it's a PL paper because I'm reading it)
Image from rntz (@arntzenius)
2
11
605
Replying to @arntzenius @sliminality
@arntzenius @sliminality
Fallout screenshot of [Everyone disliked that.]

ALT Fallout screenshot of [Everyone disliked that.]

2
76
this app is so fucking broken how is this shit even possible
1
1
15
1,231
Replying to @samth
this rules, ty
1
1
390
Alexis King retweeted
Sam Tobin-Hochstadt (@samth) profile picture
Sam Tobin-Hochstadt@samthOct 12
Replying to @lexi_lambda
youtu.be/ZMVyONr3P4E?is=uKVl…
Image from Sam Tobin-Hochstadt (@samth)
2
3
1
29
2,547
Alexis King retweeted
undefined behavior (@undebeha) profile picture
undefined behavior
@undebehaOct 12
Replying to @lexi_lambda
ig it's technically gonna be presented next year but I love the flow typing paper
undefined behavior (@undebeha) profile pictureundefined behavior
@undebehaOct 7
im only a lil ways in but this is such a great paper so far
1
8
696
Replying to @haskell_cat @sliminality @ShriramKMurthi @samth @krismicinski @disconcision
fwiw I think you have a typo: each 𝑗 in the premises has no subscript, but in each consequent it’s 𝑗₁
2
59
Replying to @ShriramKMurthi @sliminality @haskell_cat @samth @krismicinski @disconcision
yeah don’t mess with me. I have access to wikipedia
1
96
Replying to @sliminality @haskell_cat @ShriramKMurthi @samth @krismicinski @disconcision
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
120
Load more