Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Lindsey Kuper

@lindsey@recurse.social
hometown 4.5.11+hometown-1.2.1
  • Open on recurse.social

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.

3455 Followers
429 Following
50 Posts
Joined November 06, 2022
blog:
https://decomposition.al
home:
https://users.soe.ucsc.edu/~lkuper
pronouns:
she/her/hers
cats:
yes
Open post
Lindsey Kuper @lindsey@recurse.social
· 2w ago
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.) Get ready to read some motherfucking TAPL! There's gonna be some Mike Hicks blog posts from 2015 up in this bitch! Wadler and Blott 1989? You know it! The "From System F to Typed Assembly Language" paper? Abso-fucking-lutely we will
134
0
24
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 1w ago
RE: https://eldritch.cafe/@temptoetiam/117344551555689956 Are the Germans okay?
Open quoted post
Quoting
Abie
@temptoetiam@eldritch.cafe
Dessert improbable du jour : Spaghettieis https://en.wikipedia.org/wiki/Spaghettieis
Open quoted post
eldritch.cafe

Abie: "Dessert improbable du jour : Spaghettieis https:/…" - Eldritch Café

9
1
2
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 1w ago
Boosted by @joe@f.duriansoftware.com
Replying to
@ricci@discuss.systems serendipitous toot adjacency
6
0
1
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 2mo ago
Boosted by @joe@f.duriansoftware.com
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/ For the uninitiated, H-E-B is the biggest grocery store chain in Texas. I can't tell you how refreshing it is to see an industrial user of Haskell that *isn't* a fintech company for once. 🙅‍♀️ blockchain 🙆‍♀️ beloved regional grocery chain
Enterprise Haskell at H-E-B | The Haskell Programming Language's blog
The Haskell Programming Language's blog

Enterprise Haskell at H-E-B | The Haskell Programming Language's blog

How Haskell earned its place in H-E-B's supply chain.

137
12
45
1
Open post
Lindsey Kuper @lindsey@recurse.social
· 2mo ago

RE: @lindsey@recurse.social

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!

https://icfp26.sigplan.org/details/haskellsymp-2026-papers-talks/17/Enterprise-Haskell-at-H-E-B

Join us at 4pm Indianapolis time on Friday, August 28, and learn how the biggest (and best) grocery chain in Texas is migrating from COBOL to Haskell 🤠

recurse.social

Lindsey Kuper: "A post on the haskell.org blog about using Haskel…" - recurse.social

62
3
29
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 2mo ago
"calling *convention*" oh so you mean it's recommended but not enforced
36
1
6
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 2mo ago
This is Sylvia's D&D character, "Bean". He is a cat who can fly and wields a katana three times his length.
53
1
7
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 4mo ago
Boosted by @joe@f.duriansoftware.com
@byorgey@mathstodon.xyz 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.
ozark.hendrix.edu
86
8
66
1
Open post
Lindsey Kuper @lindsey@recurse.social
· 2mo ago

to give you an idea of how bad I am at Spanish, and how ill prepared I am, language-wise, for our trip to Spain in two days, I just misread "mejores" (from an email from Iberia Airlines) as "mujeres", which would make this "Women are highly in demand", and was like, excuse me, WHAT did you just say about me

19
5
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 2mo ago

Today I decided that to complete my laptop-docking desk setup (@lindsey@recurse.social), I also needed a mouse. So @alexr@tilde.zone unearthed an old wired mouse from his bin of miscellaneous cables, and it was grody and sticky, but I cleaned it all up with some rubbing alcohol and it works great. Is this...permacomputing?

recurse.social

Lindsey Kuper: "So @alexr@tilde.zone went to the swap meet and br…" - recurse.social

15
3
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 2mo ago
Replying to
@regehr@mastodon.social I hope their next three posts are going to be them progressively discovering the Ken Thompson hack
14
7
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago

does anyone know of any computer programs that are good? so far on my list I have ffmpeg, pandoc, and ImageMagick

59
57
17
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 4mo ago

Sylvia excitedly reported that her third-grade class was learning about "telegraphics". After asking many questions, I figured out that she meant tessellations.

25
4
1
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago

in a meeting today, I needed to show people a cross-branch diff, and GitHub was so unresponsive that it was faster to first remember the relevant git commands and then type them in than it was to wait for GitHub to load the page.

🙅‍♀️ local-first software for asshole longtermist reasons
🙆‍♀️ local-first software for solving your immediate problems

28
4
4
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago

For like 15 years, this has been kicking around @alexr@tilde.zone's and my home. I *think* it's a @paul_stansifer@types.pl joint, but I don't remember for sure. I have always loved it.

tilde.zone

Alex Rudnick (@alexr@tilde.zone) - tilde.zone

31
1
5
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
(I would actually find it really interesting to study those ad-hoc, out-of-band protocols that people cook up for offline collaborative editing! You know the ones I mean: "I'm grabbing the lock on section 3" and so forth. Does anyone have a really sophisticated one that doesn't just amount to coarse-grained locking?)
12
8
5
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@kaoudis I don't know
11
3
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@bhaktishh you forgot my preferred technique of "Go to delete closing parens, but get confused about how many to delete, so just delete all of them and then laboriously retype closing parens until your editor tells you that you have an extra one, and then delete one"
12
2
2
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to

@regehr @dan anyway, I just showed sl to Sylvia (I showed her ls first, and I had to explain what a "directory" was), and, well: https://tilde.zone/@alexr/116525723722543532

tilde.zone

Alex Rudnick: "Inspired by @lindsey@recurse.social , our child's…" - tilde.zone

10
12
2
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
The interesting questions about merge semantics for collaborative document editing have to do with what happens if users are editing in the same place. My experience in reality is that people stay well away from wherever they see others' cursors in the document -- but once offline support exists, weird stuff like this would seem to come up a lot more often (unless, of course, users develop some ad-hoc out-of-band protocol to stay out of each other's way).
9
9
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
I guess we also need some sort of non-triviality criterion like "doesn't always produce the same snapshot", kind of like how the validity criterion for consensus algorithms rules out algorithms that ignore their input and always decide on the same value
8
16
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago

@lzg@mastodon.social @palvaro@discuss.systems @rg9119@mathstodon.xyz When I was in high school, one of my teachers, a woman, gave us the advice to not look too closely at a partner's feet, because it might sully an otherwise good partnership. That advice has not steered me wrong

6
1
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@dan dang, I just realized I don't have sl installed and I need to fix that
6
18
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@dan Well, I told my class five days ago that unless there were any objections, I was going to put pictures of their dogs on the public Internet, and nobody has objected *yet*, so... https://ucsc-cse-114a.github.io/spring26/static_files/doggos.html
ucsc-cse-114a.github.io

doggos

7
0
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago

maybe the Canvas hackers will go after Technolutions next. you *know* that shit is horrifyingly insecure

5
1
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@astory@tilde.zone @alexr@tilde.zone @mrkwlsn@mastodon.social medievalists out here spittin' facts
4
0
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@benfulton No, the students hand them to me and I run them all through the scanner after class. High-speed scanning is a wonder. I took a little video yesterday. 150 students enrolled in the class. Attendance was a bit lower than usual yesterday (98 of these sheets were turned in), presumably because we were having a rainstorm.
4
1
1
1
Open post
Lindsey Kuper @lindsey@recurse.social
· 2mo ago
Replying to
@shapr@recurse.social @chrisamaphone@hci.social lol butts As a non-Texan I can only speculate, but I imagine that if I were texting my friend that I was going to H-E-B and did they need anything, I might not bother with the hyphens. As an Iowan, though, I would never not hyphenate Hy-Vee! so idk
1
1
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@thalia @regehr @dan I don't think I've ever actually heard a teleprinter operating, but I can only assume that it goes chugga-chugga chugga-chugga.
3
0
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@palvaro@discuss.systems @rg9119@mathstodon.xyz I did not mean to say you *don't* have nice toenails
2
0
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@rg9119@mathstodon.xyz @palvaro@discuss.systems They look like normal toenails to me. I guess that must mean mine are very healthy!
2
4
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@inthehands tell Eryn I said hey (we went to school together half a lifetime ago!)
2
0
1
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@jfdm I don't think I'd want to make it a competition, but I do sometimes share the drawings I like.
2
0
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 4mo ago
Replying to
@scott@carfree.city oh, I now see several other people have made this joke
1
1
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@markusde@mathstodon.xyz based
1
0
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@cdrichards ooh, I hear people like that one
1
1
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@bnut@aus.social By "ad-hoc, out-of-band protocols" I mean human social protocols.
1
2
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@byorgey Thank you ❤️
1
0
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@flippac @jer_gib Also, the Chandy-Lamport snapshot algorithm (which is the one I was trying to write down safety and liveness specifications for!) isn't particularly fault-tolerant (it won't terminate if marker messages are lost, for instance), but, hey, at least it won't record a bad snapshot.
1
0
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@liamoc That sounds like fun!
1
0
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@jer_gib The snapshot algorithm is running at the same time as the system it's snapshotting is running, and we expect the snapshot algorithm to terminate sooner or later, while the system as a whole may continue to run and do stuff forever, so I'm not sure what "entire state" would mean.
0
9
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@InfiniteNutshell Usually there's an implementation that's trivially safe or trivially live, so either by itself is not that useful. You want it to be both, if possible (though in distributed systems this is often impossible). It's desirable to exclude trivial cases because if you say "we showed that our implementation is safe and live", you want that to really mean something, you know?
0
2
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@flippac @jer_gib Yeah, the point of a distributed snapshot algorithm is to record each participant's local state in such a way that, when you stitch them together, they *do* cohere in a specific sense -- but this stitched-together coherent snapshot is not guaranteed to look the same as any given instantaneous global snapshot that could be taken (were it actually possible to do that).
0
1
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 4mo ago
Replying to
@scott@carfree.city Santa Cruz has one of these at an intersection we cross often, and our household joke is that it means "push button, receive bicycle"
0
2
0
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 2w ago
Boosted by @joe@f.duriansoftware.com
Replying to
@jripley@mastodon.social @fivetonsflax@tilde.zone @joe@f.duriansoftware.com @steve@discuss.systems I wish someone would run for mayor of San Mateo or whatever on the platform of "take down the fucking billboards"
0
0
1
0
Open post
Lindsey Kuper @lindsey@recurse.social
· 5mo ago
Replying to
@InfiniteNutshell Indeed, safe doesn't entail useful -- that's my point
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 10:53:22 UTC