Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Associating with professors at UC Santa Cruz.
Public Key
npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Profile Code
nprofile1qqsqfqerqz6vmwygvux25gwukdsn9w8curm3vguk57n85hqq4466wscpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43q49z2hv
Show more details
Published at
2026-09-24T15:26:15Z Event JSON
{
"id": "946a66b7381371044dc84d85b74816b1cdb3d9c09821ed778111efc6fe2ae4c6" ,
"pubkey": "04832300b4cdb888670caa21dcb36132b8f8e0f7162396a7a67a5c00ad75a743" ,
"created_at": 1790263575 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://recurse.social/users/lindsey",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "{\"name\":\"Lindsey Kuper\",\"about\":\"Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Associating with professors at UC Santa Cruz.\",\"picture\":\"https://recurse.social/system/accounts/avatars/109/299/371/821/105/622/original/5582fbb55f242b64.jpg\",\"banner\":\"https://recurse.social/system/accounts/headers/109/299/371/821/105/622/original/be9c2f93b0d02842.jpg\",\"nip05\":\"[email protected] \",\"fields\":[[\"blog\",\"https://decomposition.al\"],[\"home\",\"https://users.soe.ucsc.edu/~lkuper\"],[\"pronouns\",\"she/her/hers\"],[\"cats\",\"yes\"]]}" ,
"sig": "3781b4f2359c06d7a49fa60b9c1f95b7b8134576badab1ceb4c3100411e7d640bc9c737b58fa181f14d38f829801c1cf867c96ba7d304ee31b0d2667febb018f"
}
Last Notes npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Anyone got a pointer to a taxonomy of "emulators" that would be appropriate to cite in scholarly work? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper me: OK, I'm headed to the grocery store. *opens door to leave* npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper when u are supposed to gradually, randomly melt into the aleatoric section npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Why do other fields get cool-sounding journal names like "Cell" and "Nature" while we in CS are stuck with unpleasant-sounding and hard-to-remember acronyms? We should have a PL journal that's just called "Abstraction" npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Just saw an absolutely wild demo from my colleague Álvaro Cárdenas where a drone that's not supposed to hit people is flying around and is going to avoid hitting a person, but then an attacker literally just unfurls a sign that says "DON'T STOP" and then the drone doesn't stop. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper This week, my (co-advised with Andi Quinn) awesome student @nprofile…u7fy is in Prague to present our paper, "Testing Custom Control Planes Without the Cluster", at SOSP '26. https://al.radbox.org/doi/10.1145/3830418.3843898 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Did you know? LaTeX .sty files are so named because they're usually a complete pigsty! npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper I'm teaching our grad intro PL course for the first time (!) starting this Friday, and I'm gonna do it *my* way, and I'm both scared and excited. It's going to be a *lot* of work. For me, I mean. (And possibly for them! But definitely for me.) npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…snss I literally just learned this a couple hours ago because Graydon said I should go look it up npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper 'kpathsea' always sounds like someone's name to me. K. Pathsea. Maybe she writes short fiction npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…snss Did you get 50 pounds again this year? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Some news. After seeing this blog post, I tracked down the author, Josh Miller, to ask him to come give an invited talk at the Haskell Symposium about enterprise Haskell at H-E-B. And he said yes! npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper So @nprofile…9eqz went to the swap meet and brought home this lovely wood keyboard, new in the box, for a mere $40. Feels and sounds really good, but in a different way than my Unicomp replica Model M feels and sounds good. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper I did not expect to see the Singularity OS project (https://en.wikipedia.org/wiki/Singularity_(operating_system)) being mentioned right in the abstract of choreography papers (https://link.springer.com/chapter/10.1007/978-3-662-49665-7_2, https://dl.acm.org/doi/abs/10.1145/2103656.2103680)! npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper A post on the haskell.org blog about using Haskell in production at H-E-B: https://blog.haskell.org/enterprise-haskell-at-h-e-b/ npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Renfe website having a normal one npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper This is Sylvia's D&D character, "Bean". He is a cat who can fly and wields a katana three times his length. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Dinner table conversation: npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…gh3g I just wanted you to know that I read http://ozark.hendrix.edu/~yorgey/forest/00FD/index.xml out loud to my students today at the end of the last day of my PL course, and several of them told me that it spoke to them. Thank you (again) for putting it into words. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Just got an email that trash collection is being discontinued in offices and labs in the building where I work. Instead, everyone will need to bring their trash bins to a central location. It's a good thing LLMs will free us all up from dull work such as "writing" so that we'll have time to do exciting work such as "emptying our trash" npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…qj99 gonna take this opportunity to plug our SIGBOVIK paper on fandomized algorithms (coauthored with @nprofile…9eqz in 2013): https://github.com/lkuper/fandomized-algorithms npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Via Neel Krishnaswami (https://semantic-domain.blogspot.com/2013/04/john-c-reynolds-june-1-1935-april-28.html): npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper does anyone know of any computer programs that are good? so far on my list I have ffmpeg, pandoc, and ImageMagick npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper "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/ npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper This is so cringe. Did they prompt the LLM with "IMPORTANT: make me sound like an insufferable tool"? They're really nailing that whole pushy-and-obsequious-at-the-same-time thing. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Apparently the prospective students have changed their email approach from "write in a resoundingly hollow and stilted style to sound 'academic' and 'professional'" to "write to sound like a LinkedIn post made by an insufferable tool". npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…az86 FP Launchpad looks amazing! KC is such a badass. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper meanwhile, my grad student can't run the experiment he needs to do to get the figure I asked him to get, because he doesn't have enough RAM npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Sylvia just pointed out to me that there's insufficient information to solve this problem, because "8 get on the bus" doesn't specify that the 8 who get on the bus are people and not cats. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper I'm in awe of how Afroman played this. This is someone who knows how to control the narrative. https://hachyderm.io/@mekkaokereke/116251155620526484 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper I don't think this is LLMs' fault -- it's revealing something that was already rotten about academia, especially STEM academia. I hate the way we talk about grad students. I don't use the word "trainees" -- it grosses me out. You train *dogs* (or LLMs). You *advise* students. My students are for the most part more capable than me at research -- if not from day one, then certainly after a couple years. My job is to keep the lights on and provide the occasional grizzled-old-timer perspective. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper 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? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper The English word lens comes from the Latin word lens which meant "lentil" because biconvex lenses are shaped like lentils https://www.etymonline.com/word/lens npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Question for distributed systems folks. Go with your gut and don't overthink it. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…nuf5 Not my words, but Robin Milner's! npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Had a dream that @nprofile…9eqz and I broke into a pharmaceutical manufacturing plant -- just for the lulz, apparently? Moreover, we BROUGHT OUR EIGHT-YEAR-OLD CHILD along on this ill-conceived caper, which involved dashing across a freeway, then climbing a fence. Once we got in, we had no plan for what to do. We were standing in a liminal space between buildings, and someone in a lab coat came out of a door and bumped into us and was like "Oh, excuse me!" and I was like "Sorry!" Then I woke up. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper ACM: anyone can read the authors' lovingly handwritten abstract of this article for free! But the AI-slop summary? Oho! That'll cost ya! npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper seems like there's a story here npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…xllf Why operational? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper "this is a denotational semantics. you can tell because it's named `interp`" npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Encountered today: npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper my philosophy on submitting grad school rec letters: always try to just submit your letter instead of filling out the stupid little form. never comply in advance with the stupid little form. and if the stupid little form turns out to have required fields that are free text fields, put "Please see letter" in there. and if you must fill out the stupid little form, just put the highest damn rating for everything. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…w8t5 So under what circumstances would you go with "strong reject" as opposed to "reject", if "strong" doesn't refer to how strongly you hold the opinion? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper I've been hearing the phrase "strong opinions, weakly held" a lot lately, and it's been confusing me, because I always thought "strong opinion" just meant "strongly held opinion". What is a "strong opinion", if not that? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Here are two old handwritten papers by Robin Milner that @nprofile…cvnq helped me track down, and a few thoughts on them. https://decomposition.al/blog/2025/11/20/where-simulation-came-from/ npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…rrqe I've also learned an incredible amount from reading reviews -- both the reviews of my own paper submissions, and other people's reviews of papers that I also review. Reviews, and discussions among reviewers, are one of the few places where community conversations actually get reified in writing... npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…rrqe This is why I'm always amazed by people who are able to read papers -- and sometimes write papers -- independently, outside of an institution. There's so much cultural context you need to know to be able to understand the literature well, and it's really hard to pick up that context just by reading papers. So much of it is transmitted in conversations that are never written down, or just by being in a particular place at a particular time and noticing who else is there. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Physical Memory: 0 bytes npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper My PhD student Nathan Liittschwager is about to present our work on observational equivalence of state-based and op-based CRDTs! Fittingly, this paper is in the "Parametricity" session chaired by Phil Wadler! #icfpsplash25 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Session chair @nprofile…grwd notes that you can't have liquid types in Hazel because it has holes and the liquid types would leak right out through the holes. #TheMoreYouKnow #icfpsplash25 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper One of the nicest things about @nprofile…cwaz's keynote talk on functional hardware design is that he's highlighting lots of new work appearing at the conference this week. He would have more than enough material to just talk about his own work the whole time, or he could just talk about well-known historical papers the whole time. And certainly he's doing that too. But pointing out relationships to specific hot-off-the-press papers is such a cool and generous thing to do. ❤️ #icfpsplash2025 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Mary Sheeran mentioned 👸 #icfpsplash2025 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Nice! Apparently we (@nprofile…9xgv, @nprofile…ksem, @nprofile…7708, and I) got a Distinguished Artifact Award for "Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern"! npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…6kk0 I mean, getting acqui-hired by HP is what most startup founders would consider a win, isn't it? I'm sure he made out like a bandit. But, oof, that video with its weird fake background. 🤢 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper There's an aphorism that goes something like: "Program optimizations fall into two camps: (1) do something now so you don't have to do it later, and (2) do something later so you don't have to do it now." The first person I heard articulate this was Dave Herman, circa 2011, but maybe it goes back further than that. Anyone know if there's a source I can cite, even if it's just a mailing list or something? (cc @nprofile…evhd, @nprofile…fad3, etc.) npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…hszg Great story, but not that shocking! npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Sylvia said such a lovely thing as we were heading home from dinner out just now (with her on the back of the cargo ebike). She pointed out Orion's belt, and then she said, "One of the best experiences you can have is letting your eyes adjust to the dark and looking at the stars at night, while you're on a bike with your family." I agree, that's gotta be one of the best experiences you can have npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Proof assistant folks: what's the state of the art these days for extracting code from a proof assistant that's reasonably efficient and not completely disconnected from the proofs? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…hszg I can pretty easily switch between seeing circles and rectangles. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper I dropped my phone yesterday morning, and the screen died a slow and agonizing death over the course of about a day. It was kind of cool to watch! Anyway, that phone is my only device set up for multi-factor authentication at work, although apparently you can get a hardware token device at the bookstore, but then the IT people have to activate it for you, and they're off work until Monday, so depending when my current login expires, I might be off work until Monday too npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper My colleagues Owen Arden and Mohsen Lesani are organizing CSF 2025 (https://csf2025.ieee-security.org) here in Santa Cruz June 16-20, and they had an NSF grant come through at the last minute to support student travel. So, if you are or know a student at a US university (citizenship doesn't matter) who wants to attend a conference on the foundations of computer security: https://csf2025.ieee-security.org/student_travel_grant.html npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper A student asked me if I know of any research (perhaps experience-report-style papers?) about starting with lightweight formal methods (say, bounded model checking) and transitioning to more heavyweight formal methods (say, mechanized proofs in a proof assistant) for a given software project. I can't think of any offhand. Any FM or FM-adjacent folks have pointers? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper fuck yeah npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper it's EuroSys deadline day, so I'm asking the hard questions: is it "Kubernetes'" or "Kubernetes's"? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper cactus friend doing its spring thing npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…veyj same, man. same npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper well, today my undergrads did this for absolutely no reason whatsoever. I was worried about the vibe in my class being bad, but today...today the vibe is good npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…6kk0 @nprofile…nalw I've found that order theory has been more or less good enough for whatever I need to do. The day will probably come when "more or less good enough" is not good enough, but it hasn't yet. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Now it can be told! "Efficient, Portable, Census-Polymorphic Choreographic Programming" will appear at PLDI 2025. 🎉 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Whatever's going on with XiaoFeng Wang is bizarre and worrisome. I was just in Bloomington on Friday when all this was apparently going down. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…6ngs I guess the deciding factor is whether the workshop had published proceedings. If it didn't, then you're okay not citing the workshop paper (since you'd only be citing arXiv or whatever). If it did, then you should cite it, and the contributions of the full paper should be disjoint anyway (or it'd be double-dipping). npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…3rka Thanks for sharing this. For those who want to learn more about her work, here's a link to her complete dissertation: https://repository.tudelft.nl/record/uuid:d42917bf-d1c0-4294-935e-2fba8b9c5cf6 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper nuclear take: the best "DEI work" I ever did was never legible to the DEI bean-counters anyway and it won't be legible to the bean-uncounters either npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…gyrf @nprofile…vddj A lot of hot dog stands throughout Chicagoland have great names and these include "East of Edens" which is located just to the east of the Edens Expressway npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper On a plane about to take off. The flight crew just told us that a maintenance person needs to "tighten a few screws" on our plane and it'll take "five minutes tops". Uh...take your time? 😬 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper It feels a lot like the stuff ChatGPT emits that *we* can see and use is actually a by-product, not unlike excrement, and the actual thing of value that it produces is just more wealth for its investors. https://mastodon.world/@Mer__edith/113721099488667070 npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper my students are like "can we stop and get some coalgebras" and I'm like "we have transition systems at home" npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @nprofile…qtsx Does blethersome just mean long-winded? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper For those of us who are still working on getting ableist slurs out of the ol' adjective inventory for good, may I suggest "unhinged" as an outstanding alternative in many cases npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper For the folks who think they know Paxos: here's a question that I asked on the final in my grad distributed systems class yesterday. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Indiana CS people (@nprofile…jtjg, etc.), what happened to that huge slide rule that was mounted on the wall over the Abyss when y'all moved out of Lindley Hall? Does the department still have it? npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Edinburgh WG2.11 anecdote: I pronounced the Idris snoc-list constructor, `:<`, as "sad face" when asking a question about one of @nprofile…fhkk's slides, and Edwin was like, "I'm going to start calling it that from now on." Then James McKinna asked a question from the back and *he* called it "sad face", too. I'm an Idris influencer! npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper It's finally done! 🎉 I am so excited to announce "Communicating Chorrectly with a Choreography", the first zine from my research group! npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Lots of vacant seats on this plane. Edinburgh apparently not a popular destination in December npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper I think some folks here will appreciate this: npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @npub1f3n…e887 @npub1wtx…a6q9 this particular bit always screamed out "film adaptation!!!" to me. I can *see* it. I can *hear* it. and whenever someone finally makes the film adaptation, I will judge it like 50% based on how well they execute this part npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper So, a week ago Friday, I was traveling and wasn't able to teach my class in person (we had a Zoom class instead). But I forgot that the classroom lecture capture system, which I had configured to automatically record audio and video during class time, was still on. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @npub1c9m…9xjd I couldn't get very far with it. Maybe I should try again. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Hey everyone! We need your help spreading the word about @npub1gk9…wsqh, which is happening in *one month*! https://decomposition.al/blog/2024/07/24/join-us-for-bangbangcon-and-help-spread-the-word/ npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper I'm getting a bit emotional at the PLDI awards banquet. First, they announced that Rust won the SIGPLAN Software Award, put the names of a bunch of my dear friends up on the screen, and asked everyone who's ever hacked on rustc to stand up. I couldn't have been prouder to be one of the people to stand up. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper the best time to go to sleep is several hours ago; the second best time is NEVERRRRRR npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper anyway, npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Seeing people toot that they're bummed about how little coverage there was of the Voyager 1 fix, and I want to reply WE'RE HAVING A KEYNOTE TALK AT @npub1gk9…wsqh ABOUT IT!!!!!!! but they're strangers and that might be rude npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Just talked to a PL PhD student from China who is graduating soon from a US university. They just got a paper into PLDI (top venue in our field), but can't go present it in Denmark in June because their student visa expired and they can't leave the US (or if they did leave, they'd have to go back to China for weeks or months first). My own Chinese PhD students would be in the same situation. Everyone knows about this, and everyone just shrugs and says "Oh, well, what can you do?" I hate it. npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper whoa, look what my little cactus is doing! never seen this before npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper @npub1ep2…kle4 I love this style guide! It's "academic writing: the good parts". npub1qjpjxq95ekugsecv4gsaevmpx2u03c8hzc3edfax0fwqptt45apsxfmxmd Lindsey Kuper Whenever we discuss a paper in my distributed systems class, I randomly split people into six groups and they spread out around the building to talk, while I walk from group to group. The groups are different every time. But so far, every time, I'm able to find five groups, while the sixth group goes off somewhere and I can't find or communicate with them until they eventually wander back to the classroom five minutes late.
