tag:dreamwidth.org,2015-07-26:2427565 lindseykuper lindseykuper 2024-09-24T19:49:26Z tag:dreamwidth.org,2015-07-26:2427565:47553 2024-09-24T19:49:26Z 2024-09-24T19:49:26Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:46878 2024-06-12T20:14:39Z 2024-06-12T20:14:39Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:46103 2023-09-20T17:26:13Z 2023-09-20T17:26:13Z public 4 <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 tag:dreamwidth.org,2015-07-26:2427565:46013 2023-08-03T01:19:00Z 2023-08-03T01:19:00Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:45505 2023-04-09T01:48:14Z 2023-04-09T01:48:14Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:45159 2023-04-09T01:30:39Z 2023-04-09T01:30:39Z public 7 <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 tag:dreamwidth.org,2015-07-26:2427565:44892 2023-01-18T21:13:10Z 2023-01-18T21:13:10Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:44399 2022-12-27T22:07:24Z 2022-12-27T22:07:24Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:43761 2022-09-29T23:47:31Z 2022-09-29T23:47:40Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:43326 2022-09-29T23:41:27Z 2022-09-29T23:41:27Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:42788 2022-07-21T20:25:02Z 2022-07-21T20:25:28Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:42625 2022-07-21T20:22:07Z 2022-07-21T20:22:24Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:41653 2022-02-02T02:40:06Z 2022-02-02T02:40:06Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:38491 2021-07-26T23:28:47Z 2021-07-26T23:29:11Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:38229 2021-07-26T23:25:31Z 2021-07-26T23:25:31Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:35335 2020-11-28T06:48:04Z 2020-11-28T06:48:04Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:34629 2020-10-19T01:13:36Z 2020-10-19T01:13:36Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:34546 2020-07-21T07:12:30Z 2020-07-21T07:12:30Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:34158 2020-06-25T04:15:27Z 2020-06-25T06:01:07Z public 7 <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 tag:dreamwidth.org,2015-07-26:2427565:33846 2020-04-04T22:26:54Z 2020-04-04T22:26:54Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:33760 2019-12-08T08:01:34Z 2019-12-08T08:01:34Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:33383 2019-12-06T00:44:04Z 2019-12-06T00:44:04Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:33134 2019-12-06T00:42:12Z 2019-12-06T00:42:35Z public 2 <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 tag:dreamwidth.org,2015-07-26:2427565:32583 2019-09-26T18:15:25Z 2019-09-26T18:15:42Z public 0 <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 tag:dreamwidth.org,2015-07-26:2427565:32269 2019-09-25T21:01:08Z 2019-09-25T21:01:40Z public 4 <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