Alexis King

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

[Alexis King @lexi_lambda]

“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

[Alexis King @lexi_lambda]

@arntzenius what’s relevance typing

[Alexis King @lexi_lambda]

@thmorriss @kirancodes I get this sentiment but I’m ngl I don’t think we want that

[Alexis King @lexi_lambda]

@sliminality @steveklabnik We also love universal quantification

[Alexis King @lexi_lambda]

@ShriramKMurthi It’s a real pity https://t.co/idXMJLMc5J isn’t more popular or we could really get a lot of mileage out of this tweet

[Nintendo .DS_Store @sliminality]

@samth

[Alexis King @lexi_lambda]

@disconcision explaining equivalence relations to americans: so imagine a hamburger menu

[iso-recursive @whywhywhyw45382]

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

[Alexis King @lexi_lambda]

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)

[Alexis King @lexi_lambda]

@sliminality be careful what you say or you’re going in the thread too

[Alexis King @lexi_lambda]

tfw ur a full-time safety coomer

[Alexis King @lexi_lambda]

tfw u make a stupid fucking tweet that goes from utter nonsense to run of the mill slop if ur feeling charitable

[Alexis King @lexi_lambda]

tfw what you say is demonstrably false, and no coding genius says such shameful things https://t.co/pQFhMFPWIZ

[Nintendo .DS_Store @sliminality]

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 >:)

[macOS Big Sir @rickie]

Back to learning new stuff because I can and it’s fun 🥸

[Alexis King @lexi_lambda]

@djmicrobeads so true djm

[Alexis King @lexi_lambda]

they really shouldn’t let you add more than like 5 channels to your discord server. some people need to be cut off

[rntz @arntzenius]

@lexi_lambda https://t.co/IOBZ7Dk2bX

(it's a PL paper because I'm reading it)

[Alexis King @lexi_lambda]

@arntzenius @sliminality

[Alexis King @lexi_lambda]

type of bullshit I commit in private repos while I’m taking a “break from programming languages” because I’m “not interested in them anymore”

[Alexis King @lexi_lambda]

this app is so fucking broken how is this shit even possible

[Alexis King @lexi_lambda]

@samth this rules, ty

[Alexis King @lexi_lambda]

what’s everyone’s favorite PL paper published so far this year

[Sam Tobin-Hochstadt @samth]

@lexi_lambda https://t.co/IcDFFvc4BT

[undefined behavior @undebeha]

@lexi_lambda ig it's technically gonna be presented next year but I love the flow typing paper