https://lindseykuper.dreamwidth.org/ lindseykuper - Dreamwidth Studios Tue, 24 Sep 2024 19:49:26 GMT LiveJournal / Dreamwidth Studios lindseykuper personal https://v2.dreamwidth.org/12517314/2427565 https://lindseykuper.dreamwidth.org/ 100 100 https://lindseykuper.dreamwidth.org/47553.html Tue, 24 Sep 2024 19:49:26 GMT https://lindseykuper.dreamwidth.org/47553.html <p><a href="https://decomposition.al/blog/2024/09/22/when-is-causal-broadcast-not-enough-for-causal-memory/">New blog post</a>, in which I'm still not done talking about causal broadcast!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=47553" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/47553.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/46878.html Wed, 12 Jun 2024 20:14:39 GMT https://lindseykuper.dreamwidth.org/46878.html <p><a href="https://decomposition.al/blog/2024/06/12/the-last-bangbangcon/">New blog post</a>, tagged with both 'bangbangcon' and 'personal'.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=46878" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/46878.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/46103.html Wed, 20 Sep 2023 17:26:13 GMT https://lindseykuper.dreamwidth.org/46103.html <p><a href="https://decomposition.al/blog/2023/08/18/talk-at-sunday-assembly-silicon-valley-what-could-go-wrong/">New blog post</a>, in which I bare even more of my soul than usual.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=46103" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/46103.html decomposition.al public 4 https://lindseykuper.dreamwidth.org/46013.html Thu, 03 Aug 2023 01:19:00 GMT https://lindseykuper.dreamwidth.org/46013.html <p><a href="https://decomposition.al/blog/2023/08/01/research-roundup-2022-2023/">New blog post</a>, in which I brag about my students even more than usual.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=46013" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/46013.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/45505.html Sun, 09 Apr 2023 01:48:14 GMT https://lindseykuper.dreamwidth.org/45505.html <p><a href="https://decomposition.al/blog/2023/04/08/who-invented-vector-clocks/">New blog post</a>, in which I spelunk around and come to an unsurprising conclusion.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=45505" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/45505.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/45159.html Sun, 09 Apr 2023 01:30:39 GMT https://lindseykuper.dreamwidth.org/45159.html <p><a href="https://decomposition.al/blog/2023/01/23/an-underwhelming-conversation-with-chatgpt/">New blog post</a>, in which ChatGPT pisses me off.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=45159" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/45159.html decomposition.al public 7 https://lindseykuper.dreamwidth.org/44892.html Wed, 18 Jan 2023 21:13:10 GMT https://lindseykuper.dreamwidth.org/44892.html <p><a href="https://decomposition.al/blog/2023/01/18/enforcing-causally-ordered-message-delivery-on-the-senders-side/">New blog post</a>, featuring one weird trick for ensuring that messages are delivered in causal order!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=44892" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/44892.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/44399.html Tue, 27 Dec 2022 22:07:24 GMT https://lindseykuper.dreamwidth.org/44399.html <p><a href="https://decomposition.al/blog/2022/12/20/course-announcement-distributed-software-systems-global-first-and-local-first-perspectives/">New blog post</a>, in which I commit to a plan for winter teaching!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=44399" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/44399.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/43761.html Thu, 29 Sep 2022 23:47:31 GMT https://lindseykuper.dreamwidth.org/43761.html <p><a href="https://decomposition.al/blog/2022/09/07/verified-causal-broadcast-with-liquid-haskell/">New blog post</a>, in which I share what I've been working on the last couple years!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=43761" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/43761.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/43326.html Thu, 29 Sep 2022 23:41:27 GMT https://lindseykuper.dreamwidth.org/43326.html <p><a href="https://decomposition.al/blog/2022/08/11/an-example-run-of-a-matrix-based-causal-unicast-protocol/">New blog post</a>, in which Alice, Bob and Carol learn how to prevent certain confusing workplace situations!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=43326" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/43326.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/42788.html Thu, 21 Jul 2022 20:25:02 GMT https://lindseykuper.dreamwidth.org/42788.html <p><a href="https://decomposition.al/blog/2022/07/21/teaching-roundup-2018-2022/">New blog post</a> that's mostly just a bunch of links to old blog posts!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=42788" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/42788.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/42625.html Thu, 21 Jul 2022 20:22:07 GMT https://lindseykuper.dreamwidth.org/42625.html <p><a href="https://decomposition.al/blog/2022/07/20/my-flops-2022-keynote-talk-adventures-in-building-reliable-distributed-systems-with-liquid-haskell/">New blog post</a>! New blogging platform! New domain! Now with HTTPS! Hooray!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=42625" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/42625.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/41653.html Wed, 02 Feb 2022 02:40:06 GMT https://lindseykuper.dreamwidth.org/41653.html <p><a href="http://composition.al/blog/2022/01/31/career-building-reliable-distributed-systems-with-refinement-types/">New blog post</a>, in which I share some of the secret history of my CAREER project!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=41653" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/41653.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/38491.html Mon, 26 Jul 2021 23:28:47 GMT https://lindseykuper.dreamwidth.org/38491.html <p><a href="http://composition.al/blog/2021/07/26/join-us-at-the-programming-languages-mentoring-workshop-at-icfp-next-month/">New blog post</a>, in which it is time for my annual exhortation.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=38491" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/38491.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/38229.html Mon, 26 Jul 2021 23:25:31 GMT https://lindseykuper.dreamwidth.org/38229.html <p><a href="http://composition.al/blog/2021/07/14/how-to-create-an-srt-caption-file-for-a-video/">New blog post</a>, in which I serve in my capacity as ICFP accessibility co-chair, or something.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=38229" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/38229.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/35335.html Sat, 28 Nov 2020 06:48:04 GMT https://lindseykuper.dreamwidth.org/35335.html <p><a href="http://composition.al/blog/2020/11/25/how-not-to-email-prospective-grad-school-advisors/">New blog post</a>, in which I dispense advice.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=35335" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/35335.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/34629.html Mon, 19 Oct 2020 01:13:36 GMT https://lindseykuper.dreamwidth.org/34629.html <p><a href="http://composition.al/blog/2020/09/20/course-retrospective-smt-solving-and-solver-aided-systems/">New blog post</a>, in which I am better late than never.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=34629" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/34629.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/34546.html Tue, 21 Jul 2020 07:12:30 GMT https://lindseykuper.dreamwidth.org/34546.html <p><a href="http://composition.al/blog/2020/07/20/yet-another-post-telling-you-to-apply-to-plmw/">New blog post</a>, in which I am back on my bullshit.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=34546" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/34546.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/34158.html Thu, 25 Jun 2020 04:15:27 GMT https://lindseykuper.dreamwidth.org/34158.html <p>Since covid-19 made me a part-time stay-at-home parent, I've been taking a lot of walks around the neighborhood with Sylvia, who will be three a month from today.¹ A couple days ago, on Monday, we had left the house and were two blocks away when I realized that I wasn't wearing a mask. Since convincing Sylvia to put on clothes and shoes and leave the house is already something of a production, and we were two blocks away already, and it wasn't like we were planning to get within six feet of anyone anyway, I figured that it was too late. I said to Sylvia, "Oh, I forgot to wear my mask."</p> <p>Sylvia said "Oh." and stopped short, unwilling to keep walking. I said, "It's okay! I'll remember next time." She tugged my hand and said, "Let's go home. <em>You need to wear your mask.</em>"</p> <p>So...we walked back home, and I put on my damn mask. I thought this might have been a fluke, but then (since I'm ridiculous and forgot my mask again), the <em>exact same thing</em> happened today! She really cares about mask-wearing!<p> <p>And <em>then</em>, on our second attempt today, again at about two blocks from home, I observed that it was sunny out and that wearing sunscreen might have been a good idea -- and Sylvia then insisted that we go home to put on sunscreen, too! We did finally make it to the park on our third attempt.</p> <hr /> <div style="font-size:80%;"> <ol> <li>If your reaction to hearing that my kid is about to turn three is "wait <em>what</em> wasn't that kid <em>just born</em>": hard same.</li> </ol> </div></p></p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=34158" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/34158.html sylvia public 7 https://lindseykuper.dreamwidth.org/33846.html Sat, 04 Apr 2020 22:26:54 GMT https://lindseykuper.dreamwidth.org/33846.html <p><a href="http://composition.al/blog/2020/03/31/twitch-plays-cse138/">New blog post</a>, in which I announce a decision I might regret!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=33846" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/33846.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/33760.html Sun, 08 Dec 2019 08:01:34 GMT https://lindseykuper.dreamwidth.org/33760.html <p><a href="http://composition.al/blog/2019/11/30/call-for-talk-proposals-bangbangcon-west-2020/">New blog post</a>, in which I take a break from talking about how great !!Con West is so that I can instead quote other people talking about how great !!Con West is!</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=33760" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/33760.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/33383.html Fri, 06 Dec 2019 00:44:04 GMT https://lindseykuper.dreamwidth.org/33383.html <p><a href="http://composition.al/blog/2019/10/31/why-you-should-come-to-uc-santa-cruz-to-do-lsd-research/">New blog post</a>, in which I try to recruit students.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=33383" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/33383.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/33134.html Fri, 06 Dec 2019 00:42:12 GMT https://lindseykuper.dreamwidth.org/33134.html <p><a href="http://composition.al/blog/2019/09/27/apply-to-plmw/">New blog post</a>, in which I'm even blunter than usual about how you should apply to PLMW, dammit.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=33134" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/33134.html decomposition.al public 2 https://lindseykuper.dreamwidth.org/32583.html Thu, 26 Sep 2019 18:15:25 GMT https://lindseykuper.dreamwidth.org/32583.html <p><a href="http://composition.al/blog/2019/08/31/course-announcement-smt-solving-and-solver-aided-systems/">New blog post</a>, in which I try to convince you to take my course.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=32583" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/32583.html decomposition.al public 0 https://lindseykuper.dreamwidth.org/32269.html Wed, 25 Sep 2019 21:01:08 GMT https://lindseykuper.dreamwidth.org/32269.html <p><a href="http://composition.al/blog/2019/07/31/my-first-year-as-a-professor/">New blog post</a>, in which I try to do some of that whole vulnerability thing.</p><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=lindseykuper&ditemid=32269" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://lindseykuper.dreamwidth.org/32269.html decomposition.al public 4