@kindjar Ooh, good question! Here, "externally observable" means "observable to other processes in the system". Making a reservation doesn't count because other processes in the system can't see it happen.
(You could imagine a kind of side channel where Alice or Carol could call the restaurant and ask if Bob has made a reservation! But if communication can occur over side channels like that, then you're already out of luck with respect to any guarantee of causally ordered communication.)
Lindsey Kuper
@lindsey@recurse.social
hometown
4.5.6+hometown-1.2.0
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
0
Followers
0
Following
Joined November 06, 2022
blog:
pronouns:
she/her/hers
cats:
yes
Posts
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 11, 2026
1
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 10, 2026
@pg It's the logo of the LIP (Laboratoire de l'Informatique du Parallélisme) research lab at ENS de Lyon, where this photo was taken! https://www.ens-lyon.fr/en/research/research-units/laboratories/laboratoire-de-linformatique-du-parallelisme
1
2
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 10, 2026
@thalia @wiersdorf Yeah, so I view SIGBOVIK and my zines as very different, though I love both! SIGBOVIK is academics making light of academia for the amusement of academics -- it's only going to be funny or legible to those who recognize what it's a parody of, and in and of itself, it doesn't do anything to invite people *into* academia (and I think that's okay; not everything has to be outreach!).
2
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 10, 2026
The blog version of this thread: https://decomposition.al/blog/2026/04/09/carols-causal-conundrum-is-out/
9
0
2
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 10, 2026
@regehr @thalia @wiersdorf anyway, to me, part of the point of making zines is the DIY ethos, so doing the art ourselves is important to me even (maybe especially) if it's amateurish
4
2
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 10, 2026
@regehr @thalia @wiersdorf I don't know what "they" you mean, but in my case, for the two zines we've done, my students have done 100% of the art -- it's part of why the project appealed to them. Ali (the student who worked on the first zine) was a pretty practiced artist. Ayush (the student who worked on the second zine) was maybe less so, but that didn't stop him!
The cover concept was mine, check out my extremely profesh sketch:
The cover concept was mine, check out my extremely profesh sketch:
2
2
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 10, 2026
@thalia @wiersdorf We haven't actually collaborated, but maybe one day!
1
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 10, 2026
@shom poor Bob
1
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 10, 2026
@thalia @wiersdorf Ashton was actually the first (and, as far as I know, only) person to cite our choreography zine in an academic publication! ❤️
3
6
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 10, 2026
Working on zines has been very rewarding. I've handed out lots of copies of the first zine at conferences, and I've gotten emails from people around the world who have printed out copies and handed them out or left them for folks to find, anywhere they think the zine might find an audience.
I hope that happens with this new zine, too! Zines are meant to be printed and shared physically. If you like our zine, I would love for you to print one and leave it where someone else will pick it up. ❤️
I hope that happens with this new zine, too! Zines are meant to be printed and shared physically. If you like our zine, I would love for you to print one and leave it where someone else will pick it up. ❤️
29
6
8
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 09, 2026
Working with Ayush on this zine has been an absolute pleasure. Ayush did all the illustrations, and we collaborated on the text. We sweated every detail -- I think we went through eleven drafts. Ayush was also new to page layout software, but learned the ins and outs of it just for this project!
Happily, just as we were wrapping this project up, the Cykas paper was accepted for presentation at the PaPoC workshop, and I'll be presenting it there in a couple weeks! https://arxiv.org/abs/2603.14690
Happily, just as we were wrapping this project up, the Cykas paper was accepted for presentation at the PaPoC workshop, and I'll be presenting it there in a couple weeks! https://arxiv.org/abs/2603.14690
11
4
3
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 09, 2026
We had to leave out a lot of details -- for example, we mention logical clocks in passing but don't explain how any particular logical clock algorithm works. Even so, this zine ended up almost twice as long as the choreography one!
Because so many of the ideas we're discussing are quite old, I ended up going back to primary sources many times, sometimes learning new things myself in the process. There's a lot of enlightenment to be found in dusty old papers from the last century. ❤️
Because so many of the ideas we're discussing are quite old, I ended up going back to primary sources many times, sometimes learning new things myself in the process. There's a lot of enlightenment to be found in dusty old papers from the last century. ❤️
10
2
2
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 09, 2026
We quickly realized that to explain the Cykas protocol, we'd have to back up and explain what causal message delivery even *was*, and say something about the classic approaches to implementing it. So our zine became a bit less about Cykas and a bit more about causal delivery generally. We went through lots of iterations on the writing. One of our goals was to explain concepts precisely without needing to introduce a lot of jargon. Feedback from @b0rk and @omarieclaire helped *a lot* with this!
7
2
3
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 09, 2026
After the success of our first zine project, I began looking for a student who wanted to work on a follow-up. Ayush Manocha, who had just taken my undergrad PL course, was keen to help, and we began tossing around ideas.
My grad students Yan Tong and Nathan Liittschwager and I had been working on a new protocol for causal message delivery. We called the protocol Cykas, which stands for "Can you keep a secret?", and Ayush liked the idea of collaborating on a zine to explain the Cykas protocol!
My grad students Yan Tong and Nathan Liittschwager and I had been working on a new protocol for causal message delivery. We called the protocol Cykas, which stands for "Can you keep a secret?", and Ayush liked the idea of collaborating on a zine to explain the Cykas protocol!
9
2
2
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 09, 2026
I've been making zines with undergrads since 2024. Here's an older thread about our first zine, "Communicating Chorrectly with a Choreography", and how I got started doing this: https://recurse.social/@lindsey/113600885289101469
16
2
5
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 09, 2026
"Carol's Causal Conundrum", the newest zine from my research group, is out today! 🎉 Read online and print your own free copies: https://decomposition.al/zines/
Thread! 👇
Thread! 👇
45
4
40
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 02, 2026
@jonmsterling @zwarich Wait, no, "HN upvotes" is too generous. There's great stuff on HN sometimes.
Engineered in a lab to be shared on LinkedIn.
Engineered in a lab to be shared on LinkedIn.
3
2
1
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 02, 2026
@jonmsterling @zwarich To me it's cringe, but it isn't that it sounds LLM-generated so much as that it's the kind of machismo writing style that sounds engineered in a lab to get HN upvotes. But maybe that's not all that different.
Who is the "No obscure compiler for a dead language" line supposed to be negging?
Who is the "No obscure compiler for a dead language" line supposed to be negging?
13
6
1
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 02, 2026
There was just a 4.9 magnitude earthquake here in Santa Cruz! My whole house shook back and forth.
https://earthquake.usgs.gov/earthquakes/eventpage/nc75337442/executive
https://earthquake.usgs.gov/earthquakes/eventpage/nc75337442/executive
16
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Apr 01, 2026
(Kate Pierson voice) state space explooooo-zhuuuuuun 🎶
8
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 30, 2026
The amaryllis opened up in time for the first day of spring quarter, which is also my first day back teaching after a nine-month break, and which is also my birthday!
If you want to do something for me for my birthday, please share a picture of a plant or other photosynthetic organism that you like!
If you want to do something for me for my birthday, please share a picture of a plant or other photosynthetic organism that you like!
19
0
2
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 29, 2026
I don't want to kill you, bindweed. I'm ready to come to the bargaining table. What would it take for you to leave peacefully?
10
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 29, 2026
@lea @chrisamaphone o no
1
2
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 29, 2026
@chrisamaphone @lea I got only 5 and 7! For 1, I could picture it but couldn't remember its name, and for 8 I could only think of https://en.wikipedia.org/wiki/Olympia_(Manet) though I knew that was wrong. Also, TIL Poe was a cryptographer
0
4
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 29, 2026
@chrisamaphone
catfishing.net
#643 - 4/10
🐈🐟🐟🐈🐟
🐟🐈🐈🐟🐟
I'd never even heard of 3 or 6, and I guessed Lojban for 2, lol
catfishing.net
#643 - 4/10
🐈🐟🐟🐈🐟
🐟🐈🐈🐟🐟
I'd never even heard of 3 or 6, and I guessed Lojban for 2, lol
0
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 21, 2026
@tao In this analogy, I think the new discipline would need to be called something like "mathematics infrastructure planning" rather than "AI planning", just as urban planning is (hopefully!) not merely "car planning".
11
1
3
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 21, 2026
@mevenlennonbertrand @koronkebitch This reminds me of something that I think Neel Krishnaswami once said. Neel was in turn relating something that John Reynolds had once said, and I don't remember the exact wording, but it was something like: a programming language design is a success if it enables someone to do something with the language that the language designer hadn't imagined. It's a really nice take on language design, because it centers people. I should ask Neel for the actual quote!
4
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 21, 2026
@koronkebitch ❤️❤️❤️
I'm also in it for the people and always have been. The ideas are also cool, but it's mostly about the people who have them. I'm pretty sure that in the end, only people and relationships matter.
I'm also in it for the people and always have been. The ideas are also cool, but it's mostly about the people who have them. I'm pretty sure that in the end, only people and relationships matter.
7
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 09, 2026
2
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 07, 2026
another thing about this whole CS-professors-using-LLMs discussion is that I've been hearing some of my colleagues excitedly say things like, "now that LLMs can generate good code, I don't need grad students anymore!", which horrifies me because of what it implies about how they thought of grad students this whole time: as code generation machines, I guess?
448
0
193
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 06, 2026
@cross @krismicinski @shriramk @jfdm @csgordon @jeremysiek It seems like folks sooner or later notice that this whole "the agent only trades in text" thing is Not Great and proceed to reinvent programming languages on top of it. So, you know, when that happens, we PL educators are here to try to help them not accidentally implement dynamic scope or whatever.
3
3
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 04, 2026
So, in Lispy languages you can access the head and tail of a list with `car` and `cdr` (insert historical sidebar here about what these names originally meant). But maybe you want the second element of a list -- that is, the head of the tail of the list. Or maybe the list's elements are themselves lists and you want the tail of the head. And so on. For this reason, there are pair accessor shorthands: (caar ls) is shorthand for (car (car ls)), (cdar ls) is shorthand for (cdr (car ls)), and so on.
18
0
6
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Mar 03, 2026
Sylvia wants to see the lunar eclipse, so I'm setting her alarm for 3am. I will certainly not regret this
23
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Jan 18, 2026
A new master's thesis from Matheus de Sousa Bernardo about adding support for typed holes to Liquid Haskell: https://odr.chalmers.se/items/f16a25b8-dae5-4dc4-982b-c1f22dba7c43
@redmp, @ganshen, and I once wrote a lil' proposal for HATRA about how we wanted this to exist (https://arxiv.org/abs/2110.04461) but we never actually made it happen, so this is super cool to see. 🚀
@redmp, @ganshen, and I once wrote a lil' proposal for HATRA about how we wanted this to exist (https://arxiv.org/abs/2110.04461) but we never actually made it happen, so this is super cool to see. 🚀
16
0
2
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Dec 16, 2025
📣 We're organizing PaPoC 2026, the meeting place of choice for folks studying consistency for distributed data! https://papoc-workshop.github.io/2026/
I've been on the PaPoC PC a few times, and I like this community a lot. I'm happy to have the chance to organize it this year. We've put together a great program committee of experts, and we're excited to hear about what you're working on.
Submit your short paper, full paper, or lightning talk abstract by January 23!
I've been on the PaPoC PC a few times, and I like this community a lot. I'm happy to have the chance to organize it this year. We've put together a great program committee of experts, and we're excited to hear about what you're working on.
Submit your short paper, full paper, or lightning talk abstract by January 23!
6
0
6
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Oct 14, 2025
11
0
2
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Sep 12, 2025
Come see our group's stuff next month at ICFPOOPSLA in Singapore!
☯️ "CRDT Emulation, Simulation, and Representation Independence" at ICFP on Wednesday: https://icfp25.sigplan.org/details/icfp-2025-papers/24/CRDT-Emulation-Simulation-and-Representation-Independence
🚀 "Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern" at OOPSLA on Thursday: https://2025.splashcon.org/details/OOPSLA/4/Exploring-the-Theory-and-Practice-of-Concurrency-in-the-Entity-Component-System-Patte
☯️ "CRDT Emulation, Simulation, and Representation Independence" at ICFP on Wednesday: https://icfp25.sigplan.org/details/icfp-2025-papers/24/CRDT-Emulation-Simulation-and-Representation-Independence
🚀 "Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern" at OOPSLA on Thursday: https://2025.splashcon.org/details/OOPSLA/4/Exploring-the-Theory-and-Practice-of-Concurrency-in-the-Entity-Component-System-Patte
33
0
15
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Jul 02, 2025
@rg9119 hell yeah 🎉
1
0
0
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Dec 21, 2023
advisors, when writing your reference letter for faculty jobs for your female advisee, please, PLEASE do not use the phrase "hardworking young woman" to describe her
75
0
41