@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
926Media
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
59
1,976
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
3,417
Alexis King retweeted
macOS Big Sir@rickieOct 15
Back to learning new stuff because I can and it’s fun 🥸
1
6
378
Alexis King retweeted
rntz@arntzeniusOct 13
Replying to @lexi_lambda
arxiv.org/pdf/2604.04893 (it's a PL paper because I'm reading it)
2
11
593
Alexis King retweeted
Sam Tobin-Hochstadt@samthOct 12
Replying to @lexi_lambda
youtu.be/ZMVyONr3P4E?is=uKVl…
2
3
1
28
2,503
Alexis King retweeted
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
@undebehaOct 7
im only a lil ways in but this is such a great paper so far
1
8
687
Alexis King retweeted
Alexis King@lexi_lambdaOct 11
Replying to @samth
This week’s topics (bad choices only): – Are the fonts in SIGPLAN templates too fancy nowadays? – How much is too much memory safety? – How much perf are we leaving on the table by disallowing AIs from using GOTO? – At what grade in elementary school should monads be introduced?
4
1
1
36
2,247
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
Replying to @lexi_lambda
@lexi_lambda @ShriramKMurthi @samth @krismicinski @disconcision attn: I just spoke on the phone with Alexis and we've decided try reviving PL Twitter, starting with this thread. How's everyone doing
28
15
5
188
16,765
Alexis King retweeted
Impure Pics@impurepicsJun 22
Replying to @lexi_lambda
@lexi_lambda talks Racket, nonogram/picross puzzles, puzzle solvers, a functional picture combinator library on top of OpenGL, and programming for fun. Enjoy. youtu.be/LwpnwQGNC9Q

Why Racket is so fun (w/ Alexis King)

Alexis made a puzzle game that solves and allows you to solve nonog...

youtube.com
4
4
1
16
2,215
'A Multi Language Oriented Macro System' by Michael Ballantyne at (fourteenth RacketCon) at youtu.be/KHxZ3mT9BSo
Slide: A multi-language macro system

ALT Slide: A multi-language macro system

13
2
58
6,326
Alexis King retweeted
Alexis King@lexi_lambda4 Jul 2022
thinking this evening about bind-like operator for dogs discourse.haskell.org/t/bind…
Screenshot of the top of the linked discourse post, which is entitled “Bind-like operator for dogs”.

ALT Screenshot of the top of the linked discourse post, which is entitled “Bind-like operator for dogs”.

slim: [definition of `isToClever` from the post] glowcoil: data Dog = Dog String Int glowcoil: oh so this is what a dog is glowcoil: i've been wondering for so long slim: i wonder if this works for birds too lexi, in reply to glowcoil: it’s obvious really lexi: haskell is so beautiful slim: wait sorry I just realized that the int is a *level* slim: dogs have levels slim: and if their level is > 100 they are the famous infinitive "To Clever" slim: write that down in your copy books now

ALT slim: [definition of `isToClever` from the post] glowcoil: data Dog = Dog String Int glowcoil: oh so this is what a dog is glowcoil: i've been wondering for so long slim: i wonder if this works for birds too lexi, in reply to glowcoil: it’s obvious really lexi: haskell is so beautiful slim: wait sorry I just realized that the int is a *level* slim: dogs have levels slim: and if their level is > 100 they are the famous infinitive "To Clever" slim: write that down in your copy books now

1
5
48
Up & coming comedian hits my dms, says I'd like to workshop some bits w/ you. Lets rap. Then he destructively overwrites all my bars with haskal puns about being lazy. 600th time this happened
1
2
38
police...! Blackhole that thunk
1
10
Alexis King retweeted
Lambda Days@LambdaDays6 Jul 2023
What delimited continuations are, how they work, and why they’re useful? It's all explained in this keynote talk by @lexi_lambda youtu.be/TE48LsgVlIU #LambdaDays2023 #functionalprogramming #LambdaDays #programming

Keynote: Delimited Continuations, Demystified by Alexis King | Lambda Days 2023

✨This talk was recorded at Lambda Days 2023. If you're curious abou...

youtube.com
14
1
47
9,950
Alexis King retweeted
Molly White
@molly0xFFF5 Jul 2023
my favorite thing about new tweetdeck is how they took old tweetdeck and then just made it strictly worse
11
35
2
281
33,899
Alexis King retweeted
ZuriHac@ZuriHac11 Jun 2023
We are now live with @lexi_lambda talking about delimited continuations! 🤩 youtube.com/watch?v=aaApZhfi…
1
7
29
3,876
📢 Episode 133 is out! 📢 In this episode, we interview attendees LIVE from @LambdaDays 2023! Featuring: * Toby Pfieffer @PragTob * Kim Huizing * Alexis King @lexi_lambda * José Valim @josevalim * Andor Pénzes @sverien * Peer Stritzinger @peerstr adspthepodcast.com/2023/06/0…
14
43
5,967
Alexis King retweeted
Lambda Days@LambdaDays10 May 2023
New talk details! 📣 @lexi_lambda Project Lead at @tweagio will provide an overview of what #DelimitedContinuations are, how they work, and why they’re useful from a perspective accessible to the working #programmer. Read more at: ow.ly/kV9550OiizB
2
12
1
82
7,449
tfw ur a nominalist, and even though you find it very funny, you don’t understand the nuance xitter.cf/raducu427/status/16323…
marius raducan@raducu4275 Mar 2023
Replying to @graninas
Free monads is solid theory, very elegant too. The optimisation via Kan extension is in the same class, they represent a true concept. Alexis King is a nominalist, although she finds it funny, she doesn't understand the nuance.
1
1
3
4,701
Load more