Joined October 2006
978 Photos and videos
25 Oct 2022
haven't been posting Rainbow pics because she's mostly unphotographable, but she's doing great and has gotten noticeably bigger since we brought her home from the shelter a week ago
3
2
105
5 Nov 2022
As of yesterday, Rainbow and Sprinkles have both had their spay surgeries, and we've officially adopted them (this was a foster-to-adopt arrangement). They came to the shelter as strays, and both had other health issues that we're dealing with, though both are now improving.
1
18
5 Nov 2022
Sprinkles in particular needs medical care several times a day, for now. It was intimidating at first, but Alex and I can now handle it with pit-crew-like efficiency. I'm already in love with them both.
2
27
4 Nov 2022
I recently learned that lenses are just getter/setter pairs. That's all they are. What else are y'all not telling me?
10
1
64
4 Nov 2022
Twitter has its problems -- @alexrudnick calls reading Twitter "pressing the pain button" -- but it's been my memex for ten years, and once I got a good chunk of research funding largely because someone appreciated a joke I made on here. It's a bummer to see it go down the tubes.
4
41
4 Nov 2022
Sylvia disapproves of the term "bus shelter" because "it doesn't even shelter the bus"
4
37
3 Nov 2022
and to be clear, I genuinely *love* this bit from the timely dataflow book, but I was still incapable of stopping myself from making this and then sharing it with you
13 Oct 2022
started reading the timely dataflow book 💗
1
1
28
Lindsey retweeted
A massive strike authorization vote is taking place for 48,000 academic workers within the University of California. The sheer scale of this vote’s impact is immense - around 10% of all postdoc workers in the USA are in the UC system.
3
362
1,099
Lindsey retweeted
1 Nov 2022
Would anyone in the Bay Area like a gorgeous Westinghouse console AM/FM radio/record player? Free to a good home — my family needs to clear it out of my dad’s childhood home in Marin ASAP.
4
5
12
Lindsey retweeted
I'm looking for a PhD student interested in connecting classic techniques from linguistic syntax and compositional semantics with software specifications. I really want to dig into *both* the specification side of this (useful tools) *and* the linguistics...
1
7
39
1 Nov 2022
YES. I've been waiting for this dude to rebloom since 2018! Check out that lil flower spike!
1
1
21
1 Nov 2022
31
29 Oct 2022
Sylvia: Rainbow scratched my arm. me: Why did she scratch your arm? Sylvia: I was teaching her how to scratch.
19
Lindsey retweeted
28 Oct 2022
Happy Friday all.
882
1,689
32,902
29 Oct 2022
my attempt to get the students to vote and choose the topic for my winter grad special topics course has ended in a four-way tie lol
11
2
34
Lindsey retweeted
(credit: @Twisol)
1
39
247
Lindsey retweeted
If you’re applying to grad school and interested in parallel computing for sciences, please consider applying to @cs_cornell and mentioning me in your application!
Here until Friday! Then, here until undefined starting January!
2
15
41
Lindsey retweeted
4
30
25 Oct 2022
A simplified version of @_redmp's figure below, a definition of causal delivery expressed as a refinement type in Liquid Haskell, from my talk at the Berkeley Programming Systems Seminar yesterday: users.soe.ucsc.edu/~lkuper/t…
1
1
12
25 Oct 2022
I've always thought vector clocks were really neat, because they let you take something as ineffable and mysterious as causality, and boil it down to something as simple and concrete as a vector of natural numbers.
1
1
5
25 Oct 2022
But now, after doing this project, I think vector clocks are *even cooler*, because they let you take something like a happens-before relationship that's spread out over a whole execution, and boil it down to a predicate that's locally checkable. Local reasoning for free!
1
10