2026-06-01T04:53:32Z https://yabu.me Lindsey Kuper https://yabu.me/npub1j8ecq8rk6gcn7l9mfq2tj7wv0gseud23r4sa0afgxf83lrxs5nhsg0ncgu https://recurse.social/system/accounts/avatars/109/299/371/821/105/622/original/5582fbb55f242b64.jpg https://recurse.social/system/accounts/avatars/109/299/371/821/105/622/original/5582fbb55f242b64.jpg https://yabu.me/nevent1qqsq7hwc5lux2j9d7cn4ykx7dgnd5phjuyva722uws7asa4ygnp40xqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw77kxxrd &#34;Carol&#39;s Causal Conundrum&#34;, the newest zine from my research group, is out today! 🎉 Read online and print your own free copies: <a href="https://decomposition.al/zines/">https://decomposition.al/zines/</a><br/><br/>Thread! 👇<br/> <img src="https://recurse.social/system/media_attachments/files/116/377/234/708/041/085/original/a615e7c2a194a35e.png"> <br/> 2026-04-09T23:03:41Z https://yabu.me/nevent1qqsppp4mcr34dnkevaxdqe3wrghj6e3wf5g6nkyan5x5vpkaurza9kgzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7wre3ds Apparently the prospective students have changed their email approach from &#34;write in a resoundingly hollow and stilted style to sound &#39;academic&#39; and &#39;professional&#39;&#34; to &#34;write to sound like a LinkedIn post made by an insufferable tool&#34;. 2026-04-09T16:16:50Z https://yabu.me/nevent1qqs8vmr498pz5luxp6j34prajjqfupucuyjudhqejj52jxjtr04h87szyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw77ehty8 The Languages, Systems, and Data Seminar (<a href="https://lsd.ucsc.edu/lsd-seminar/">https://lsd.ucsc.edu/lsd-seminar/</a>) is now looking for speakers for April, May, and June!<br/><br/>We meet at noon Pacific time each Friday, in person and on Zoom, to discuss interesting topics in the areas of programming languages, systems, databases, formal methods, security, software engineering, verification, architecture, and beyond. Most of our speakers are grad students.<br/><br/>Prospective speakers should register their interest here: <a href="https://forms.gle/H2TUv9cUPh29WeL79">https://forms.gle/H2TUv9cUPh29WeL79</a> 2026-03-21T16:13:43Z https://yabu.me/nevent1qqsqtxrkdazhzva5v2l9cp0jawd32gn5fmw5vvfnvzv33wckyrj0gqszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7fzuvcg Paulette mentions in her lovely, heartfelt post (<a href="https://types.pl/@koronkebitch/116263964501595558">https://types.pl/@koronkebitch/116263964501595558</a>) that she&#39;s in PL for the people. The same is true for me.<br/><br/>I&#39;m teaching undergrad PL again starting in about a week, and I&#39;m thinking that this time around, I want to use lecture time to feature PL people that I love. Maybe once a week, I could show someone&#39;s photo, say a bit about how I know them, and then read out loud to the class something written either by or about them that conveys a sense of who they are. 2026-03-21T09:57:58Z https://yabu.me/nevent1qqs9rl97zkhsrrsrpxfdpukjgw40cne7svexqendtfvyey94hjasjpszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7umtd77 In reply to <a href='/nevent1qqs2xxdvderrwhfk0jfe8uqhk5ta9p2ps0vmplamfeyhzsm4gy5czkchdmg5f'>nevent1q…mg5f</a><br/>_________________________<br/><br/>Honestly, e-bikes have been the technology that has improved my life the most in the last five years. I live in a hilly place, and with my first e-bike a few years ago, I suddenly became able to commute by bike. Then, with the cargo bike last year, I suddenly became able to take my eight-year-old places by bike.<br/><br/>She sometimes actually hugs me while we&#39;re out on the bike. Best damn thing in the world, and it couldn&#39;t happen in a car. 2026-03-11T04:55:15Z https://yabu.me/nevent1qqs2xxdvderrwhfk0jfe8uqhk5ta9p2ps0vmplamfeyhzsm4gy5czkczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7vmnnqr I forgot to mention this when it happened, but we recently hit 500 miles on the used cargo e-bike we got last summer! During the school year, we really only use it for short trips with our kid a couple times a week, but every one of those trips is one we didn&#39;t have to take in a car. 🎉 I love that sitting in traffic with my kid in the back seat is now a rare occurrence. 2026-03-10T04:54:10Z https://yabu.me/nevent1qqsp0tgesfe2mtfn8gwmmamenzzterkwnrgzruu2eq6ecksvfygeahszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7ntwks4 another thing about this whole CS-professors-using-LLMs discussion is that I&#39;ve been hearing some of my colleagues excitedly say things like, &#34;now that LLMs can generate good code, I don&#39;t need grad students anymore!&#34;, which horrifies me because of what it implies about how they thought of grad students this whole time: as code generation machines, I guess? 2026-03-07T20:28:17Z https://yabu.me/nevent1qqsp8lk92tj4aq9frkryvrd0zkzmjvs6gm4599fwlqe8mephkgewsaszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7pxgccl In reply to <a href='/nevent1qqsvz2cvd3mq97scj2xg0999xtp09yrhl2kh8x5tgdd5s8nz3f0m90gdv0qdx'>nevent1q…0qdx</a><br/>_________________________<br/><br/>Are you talking about abusive, unethical managers? I suppose a lot of jobs would be more &#34;fun&#34; if you didn&#39;t have to worry about annoying things like ethics. 2026-02-24T00:31:21Z https://yabu.me/nevent1qqsyrp4h82g0tkukkptk3hqrjkhdf6ch9lzapy0zffyjuy968jwshmszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7kpk97h just saw a take that was like &#34;programming is fun and people management is not fun, so instead of automating programming with LLMs, why don&#39;t we automate people management???&#34; and, sweet mother of god, people, don&#39;t make me tap the fucking sign 2026-02-24T00:25:54Z https://yabu.me/nevent1qqsqyexj6jghfl7e52upuaala0fepcgvwzcxgxktngzxnws0mcfc53czyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw77cs09p In reply to <a href='/nevent1qqsytzlaynvr8nleg9lyd2qq87k7r540agdnzkn7anjgq40jnkyvl2q32cp7y'>nevent1q…cp7y</a><br/>_________________________<br/><br/>sheesh, why didn&#39;t I think of this one? 2026-02-12T00:27:11Z https://yabu.me/nevent1qqsrddg6zj22h9lm24c0sysyq4kw5kl5uhyuphung4kytruu6xfhwqszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7gu23r8 Question for distributed systems folks. Go with your gut and don&#39;t overthink it.<br/><br/>What word would you fill in the blank with?<br/><br/>&#34;A distributed system consists of multiple independent _______ connected by a network.&#34; 2026-02-12T00:20:08Z https://yabu.me/nevent1qqswgpj4sdkejqlmxtq693ehkml7vc584kzjcu8vp2xk648q0cdg3hqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7nwuxlc In reply to <a href='/nevent1qqs2qda44m3dgx5u07kz4wd85pqk5huc3vd3kt4csqrzhjp9ktdkjycye0kda'>nevent1q…0kda</a><br/>_________________________<br/><br/>Do security researchers ever get confused as to whether they&#39;re the good guys or the bad guys? 2026-02-06T00:14:03Z https://yabu.me/nevent1qqs2qda44m3dgx5u07kz4wd85pqk5huc3vd3kt4csqrzhjp9ktdkjyczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7ltlng6 Just trying to understand the phrase &#34;malware analysis evasion and counter-evasion&#34; (<a href="https://dl.acm.org/doi/10.1145/3150376.3150378">https://dl.acm.org/doi/10.1145/3150376.3150378</a>) is like evaluating a formula with nested negations. &#34;malware&#34; (bad!), &#34;analysis&#34; (good!), &#34;evasion&#34; (bad!) &#34;and counter-evasion&#34; (and also good!) 2026-02-06T00:10:22Z https://yabu.me/nevent1qqspk7kpvq7snku0waxl06lu5azjfjfphmr708f3zt28gg6ktxp0peszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7y3ujgc In reply to <a href='/nevent1qqsy739nmkymswhqy3kr0jtmu6fj0ldx0n5gvp9xkxgvgr3rq3j4rfqp0g6qu'>nevent1q…g6qu</a><br/>_________________________<br/><br/>I do plan to keep acquiring books, but let&#39;s be honest -- it&#39;s more space than I&#39;m ever going to fill that way!<br/><br/>I was imagining when I got the philodendron that it would eventually grow to cover all the shelves. It&#39;s doing okay, but it really needs to pick up the pace. 2026-01-24T17:39:52Z https://yabu.me/nevent1qqsq5v6l5nkf9rflk0p9zt60szkp3jhc7tqdudw5c85kalcgcg02ypqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw703yngg I&#39;ve worked here for almost eight years and only filled up 2/9ths of the shelves. At this rate I need to work here for another, uh, 28 years before they&#39;re full. Or increase my rate of plant, tchotchke, and/or distinguished paper award acquisition.<br/> <img src="https://recurse.social/system/media_attachments/files/115/946/826/561/249/567/original/8c46b5978454b45d.jpg"> <br/> 2026-01-23T22:47:52Z https://yabu.me/nevent1qqsxyvsv8jdvsrajwr8remmfsma4ydcmuppchra5l9t5twqfdxcpkgczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw739nkfg In reply to <a href='/nevent1qqszrazdnd6q9qcdtwccun9e7nnswv6shwc2gw5xsjmarqp6k8devjq3hje9d'>nevent1q…je9d</a><br/>_________________________<br/><br/>&#34;Clearly stated opinions, weakly held&#34; makes more sense to me than &#34;Strong opinions, weakly held&#34;. But I suppose it&#39;s not as catchy. 2025-11-28T17:06:07Z https://yabu.me/nevent1qqstgyp6sajclqe2yehlath3vzgr29pzax7twq45meuv350anmgmf0gzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw795gafc In reply to <a href='/nevent1qqs0ajxkakvg0n9celvd6gctxcra238n9h9cw6zgt8296p2jjjfrhes7shpfa'>nevent1q…hpfa</a><br/>_________________________<br/><br/>In the contexts I&#39;m seeing it, &#34;Strong opinions, loosely held&#34; is supposed to be a *good* thing! It really doesn&#39;t sound good at all to me! 2025-11-28T09:05:36Z https://yabu.me/nevent1qqs8ds80v444h70axckgfa5lchss7x4g5cy56u38lfrv697h4040xyszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw75ak7ux I&#39;ve been hearing the phrase &#34;strong opinions, weakly held&#34; a lot lately, and it&#39;s been confusing me, because I always thought &#34;strong opinion&#34; just meant &#34;strongly held opinion&#34;. What is a &#34;strong opinion&#34;, if not that?<br/><br/>That led me to thinking about the phrase &#34;strong reject&#34;. I guess these sentences *could* have distinct meanings:<br/><br/>(1) My *strongly held opinion* is that this submission should be rejected.<br/><br/>(2) My opinion is that this submission should be *strongly rejected*.<br/><br/>But do they? 2025-11-28T08:55:10Z https://yabu.me/nevent1qqsry73gkn9c2jgqzvp2da8e840cu6ns2g8swc99w6htzjwvyzw0j4gzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7u4hh5n Here are two old handwritten papers by Robin Milner that [@jer_gib](<a href="https://functional.cafe/@jer_gib">https://functional.cafe/@jer_gib</a> ) helped me track down, and a few thoughts on them. <a href="https://decomposition.al/blog/2025/11/20/where-simulation-came-from/">https://decomposition.al/blog/2025/11/20/where-simulation-came-from/</a> 2025-11-20T21:45:54Z https://yabu.me/nevent1qqspk7tgqgzujgqmqk6xvyj6k74344x5cyrm9htatpeqjacla89zvcszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7lc79hs I just donated US$150 to the Python Software Foundation. If 9999 other people do that, then there&#39;s their grant money. <a href="https://fosstodon.org/@ThePSF/115446659188615376">https://fosstodon.org/@ThePSF/115446659188615376</a> 2025-10-27T18:11:33Z https://yabu.me/nevent1qqsxh2nkp5pwl8k4v9vg2c27qd4gwkmgd4zqnkskgd0x0xpp07shf5czyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw74zfn77 did I ever tell y&#39;all about <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub17wnz65putta6lllpmcdvmp6lh65r83p8kf0spldmk3ye64v2jcgs0jakt9" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Alex Rudnick</span> (<span class="italic">npub17wn…akt9</span>)</a></span>&#39;s idea for a superhero called &#34;Great Circle&#34; whose superpower is that when he throws punches, they travel along great circle routes and therefore arrive faster than normal punches? 2025-10-20T03:30:56Z https://yabu.me/nevent1qqsrjju3m2wxel59aqp4ug0vgp6djsutumj46lpgv3tgszft7s868gqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7ugnew9 In reply to <a href='/nevent1qqswyvddz4qc633tnn0z4ljvud6lpkzdfx049z06m5gcv95msqe6q0cgjyp0z'>nevent1q…yp0z</a><br/>_________________________<br/><br/>okay, fine, it&#39;s something like &#34;they&#39;re both stratified&#34;, but you should still watch the talk! 2025-10-14T22:22:12Z https://yabu.me/nevent1qqsvel3v9sppj5m22jsvgkm5t3mgm7qxe7zatnxc8mntxd4xdn6er8gzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw78s2r9r In reply to <a href='/nevent1qqs2m0dk87gj3jfvqmd6h0r8p002tum5j356w8kf3zvr6dtztqwdwwq27xemk'>nevent1q…xemk</a><br/>_________________________<br/><br/>To find out, read [@koronkebitch](<a href="https://types.pl/@koronkebitch">https://types.pl/@koronkebitch</a> )&#39;s paper or check out the talk video! 2025-10-14T21:50:08Z https://yabu.me/nevent1qqsxkuvrlhynwf053ga7497v7tck9mjsv4hvmktldcj08g88h58ltqgzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7ftwwc7 💖<br/> <img src="https://recurse.social/system/media_attachments/files/115/371/225/082/734/573/original/acb793ab276fe961.jpg"> <br/> 2025-10-14T07:01:11Z https://yabu.me/nevent1qqsvenxlx7m2emjkhq4mkufccqm5d59slj55gqu438l8jq38uulnk9czyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7y8qee4 I think the talk accompanying a PACMPL paper ought to be fungible between all PACMPL venues in the twelve months following its acceptance. You should present it at whichever one that makes the most sense for you to attend, be it for visa reasons, climate reasons, calendar reasons, etc. Or don&#39;t present it at any of them, if you prefer. We already have a patchy, ad hoc implementation of this via &#34;SIGPLAN tracks&#34;, but it should become policy, and there should be SIGPLAN-wide coordination on it. 2025-09-23T21:10:32Z https://yabu.me/nevent1qqs289r5assqw6llpddyu7thn2q8d3lq0xkqtgc4qe52x6nt5gd3duszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7a6a0ny I wonder if there&#39;s some well-maintained LaTeX package you can import that has \hyphenation commands for lots of widely (and not-so-widely) used computer science terms?<br/><br/>This question brought to you by &#34;of-fload&#34; and &#34;stan-dalone&#34;. 2025-09-16T19:31:47Z https://yabu.me/nevent1qqspwey69vhjewst3j0xwnm7eyu2wqqekc0tuslrdmedvczdukyceqqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw79rhxaq What being married to <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub17wnz65putta6lllpmcdvmp6lh65r83p8kf0spldmk3ye64v2jcgs0jakt9" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Alex Rudnick</span> (<span class="italic">npub17wn…akt9</span>)</a></span> is like, exhibit #47358:<br/><br/>me: *takes apart a broken stud finder*<br/>me: *shows Alex the innards of the stud finder*<br/>Alex: That&#39;s really simple!<br/>me: Yeah!<br/>Alex: So, here&#39;s a question for you: is this &#34;AI&#34;?<br/>me: ...<br/>Alex: I&#39;m going to argue that it is!<br/>me: ...<br/>Alex: Here, lemme take a picture. This is going on a slide. 2025-09-16T16:59:43Z https://yabu.me/nevent1qqswh4zjq5mp69p5ezzhft5mm97sg6fxx8zf7yzd7jcngdkxlvwzwsszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7x26l50 In reply to <a href='/nevent1qqsgt6g57nrszs5pj5nr00zhau8vvth282t730zfa7raktejrfq669q7m2kzp'>nevent1q…2kzp</a><br/>_________________________<br/><br/>Nice, thanks!<br/><br/>Incidentally: I knew that somewhere I had a public GitHub gist listing ICFP keynotes over the years, and I wanted to see if this talk was on it, so I searched for `icfp keynotes lkuper gist github`.<br/><br/>DuckDuckGo: first result was the correct link (<a href="https://gist.github.com/lkuper/00e26e57d442cfe40f01afa5bb09cadf">https://gist.github.com/lkuper/00e26e57d442cfe40f01afa5bb09cadf</a>).<br/><br/>Google: no relevant results on the first page, and this delightful bullshit &#34;AI Overview&#34;:<br/> <img src="https://recurse.social/system/media_attachments/files/115/107/571/509/730/191/original/7a95c412032b1df3.png"> <br/> 2025-08-28T17:36:20Z https://yabu.me/nevent1qqsvntpl5g92j9dj7256hp7au9asu482cv65p9ge9nw26vhzwtq535qzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7tl4wca There&#39;s an aphorism that goes something like: &#34;Program optimizations fall into two camps: (1) do something now so you don&#39;t have to do it later, and (2) do something later so you don&#39;t have to do it now.&#34; The first person I heard articulate this was Dave Herman, circa 2011, but maybe it goes back further than that. Anyone know if there&#39;s a source I can cite, even if it&#39;s just a mailing list or something? (cc <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1sqx5e2gw8tflq50vz98gcn3en6wnwlq83786capqmv4x8y6a53aqgly49c" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Sam Tobin-Hochstadt</span> (<span class="italic">npub1sqx…y49c</span>)</a></span>, [@graydon](<a href="https://types.pl/@graydon">https://types.pl/@graydon</a> ), etc.) 2025-08-28T17:02:10Z https://yabu.me/nevent1qqsr5n75hvpeyxe65h8jlfqk8vsdzx7tsvxngl7zmv8vmg3zve9x7gszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7r8rz73 In reply to <a href='/nevent1qqswx54ghhgqu25ng5l0c38fa3lcxlghmx9ytytxfkv2eqljdjrm8sqsp0z5w'>nevent1q…0z5w</a><br/>_________________________<br/><br/>From the Conference Publishing author kit for OOPSLA: &#34;The title should use headline-style capitalization (e.g., &#34;The Best POPL Paper of All Time&#34;). All levels of headings use headline-style capitalization.&#34;<br/><br/>We&#39;ve tried to ignore this in the past, and they complained. So they really mean it. 2025-08-20T22:34:30Z https://yabu.me/nevent1qqspzashwq65pezl0ldkk9uyrz8cdfvv69n0suhyzcfcg8925mmdfgszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw76cdzv6 Email from a division director at the US National Science Foundation: We&#39;re having trouble getting the video from last week&#39;s webinar posted on the NSF website, so here it is on YouTube, posted on *checks notes* the personal YouTube account of our IT person.<br/><br/>I weep for the NSF, the US government website situation in general, and the web platform in general 2025-08-20T22:10:16Z https://yabu.me/nevent1qqs0jhgmcsqrd7xld8znxeh4re0fkjvwwe6egnn3u6xdy7d7q97sqdszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw76m2dzz ah yes, the part of camera-readying a paper where they make you title-case all the section and subsection headings, making them look pompous and annoying as hell 2025-08-20T21:30:00Z https://yabu.me/nevent1qqst6j9usy0jdpqwgwldt8j8dnh0kgsmypgq24rw8ye67nzcz9w3tsqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7c6hq8k 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&#39;s belt, and then she said, &#34;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&#39;re on a bike with your family.&#34; I agree, that&#39;s gotta be one of the best experiences you can have 2025-08-17T05:01:22Z https://yabu.me/nevent1qqsgknht9za8dxeftmj5js77rvq5tmrfddvuqd4t3jk796gyu7xepsczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7d49z68 In reply to <a href='/nevent1qqsf9jllt2wundfqyngwc8us5ql6x760fegryvshndd9fydmxqlfhacp65864'>nevent1q…5864</a><br/>_________________________<br/><br/>Another question for people who are clued in about Singapore: do you have suggestions for hotels that cost less than USD $215/night and are reasonably convenient for getting to the Marina Bay Sands conference center, where I&#39;ll need to be during the day? (That&#39;s what the cheapest of the &#34;official&#34; hotels costs, even considering the conference discount. Note that all of these hotels are still much, much cheaper than the actual Marina Bay Sands hotel.) 2025-08-16T00:35:31Z https://yabu.me/nevent1qqsf9jllt2wundfqyngwc8us5ql6x760fegryvshndd9fydmxqlfhaczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7mhuqha In reply to <a href='/nevent1qqsrrnrm9g7ns7s9ynrddm7cflne76l9jumysww7y2kkfya9j7y8znqc3aqrx'>nevent1q…aqrx</a><br/>_________________________<br/><br/>I have students with papers at both ICFP and OOPSLA. People in the know: how reasonable is it to imagine that my student with an ICFP paper will be able to attend the OOPSLA talk even if they&#39;re only registered for the ICFP days, and vice versa? I&#39;ve never known other SIGPLAN conferences to actually check badges before letting people into *talks* (lunch is a different story), but idk, this is Singapore and an infamously fancy hotel we&#39;re talking about. 2025-08-16T00:29:27Z https://yabu.me/nevent1qqsrrnrm9g7ns7s9ynrddm7cflne76l9jumysww7y2kkfya9j7y8znqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7d7vxg3 Hotel $1930.39 SGD<br/>Flight $942.61 USD<br/>Conference registration $2,310 SGD<br/><br/>will someone who is good at the economy please help me budget this. my funding is dying 2025-08-16T00:05:25Z https://yabu.me/nevent1qqsql6mfk7pdwxzzkazhxxs4sl3phepad3q0q88nh8a7s6qry0w07rqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7exyfcs I just received an email about a web hosting issue that is within the scope of responsibility of a volunteer position that I stepped down from *in 2018*, but for which someone somewhere evidently still has me listed as the point of contact!<br/><br/>(I forwarded it to the current person in that role, who is the person who took over from the person who took over from the person who took over from me.) 2025-08-06T06:19:48Z https://yabu.me/nevent1qqsyctaav6spytnky3ar6zu9adep0pra4jyfxjgdvtntsk88g7z4f3gzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7p0r5yv noted<br/> <img src="https://recurse.social/system/media_attachments/files/114/890/295/248/042/109/original/6bfe0c6a84bc5934.jpg"> <br/> 2025-07-21T08:35:21Z https://yabu.me/nevent1qqspuepthry8p79wdvp3307zl0va39exztmpy07la8ppxtqwvh8fwgszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw79esfy4 we got matching shirts<br/> <img src="https://recurse.social/system/media_attachments/files/114/880/910/744/298/630/original/be85f96fa52f650c.jpg"> <br/> 2025-07-19T16:47:41Z https://yabu.me/nevent1qqs8e26448ctrvvl0l77jp7kagqvpxynglacdlsc92aexlm2ggr6cpgzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7yr66c2 In reply to <a href='/nevent1qqsd20zztxnuvcgmjtx5dxlz9c4tk77s4zcxcx4zqg2v4z0c4uacq6gqdsaju'>nevent1q…saju</a><br/>_________________________<br/><br/>Alex: You will develop the powerful Rudnick legs that are your birthright. The legs that are good for running and jumping and...<br/>Sylvia: ...doing squats.<br/>Alex: And doing squats. 2025-07-18T03:54:15Z https://yabu.me/nevent1qqsd20zztxnuvcgmjtx5dxlz9c4tk77s4zcxcx4zqg2v4z0c4uacq6gzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw75w2ktx me: Sylvia, ready to go take your bath?<br/>Sylvia (age 7): Yeah, I just have to do a hundred jumping jacks to get buff. Let&#39;s get swole! *starts doing jumping jacks in sync with <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub17wnz65putta6lllpmcdvmp6lh65r83p8kf0spldmk3ye64v2jcgs0jakt9" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Alex Rudnick</span> (<span class="italic">npub17wn…akt9</span>)</a></span>* 2025-07-18T03:51:58Z https://yabu.me/nevent1qqs90y3sepplh07k2d0wgc60zquc29800yt7r5p7qnm9adg2mk9gdhgzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7cdht2w 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&#39;t think of any offhand. Any FM or FM-adjacent folks have pointers? 2025-05-31T04:40:25Z https://yabu.me/nevent1qqsvvkt3t2ffs7t9768zuv2aek6eckynjua0usu8a56vycawd58pufszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7k0z34r this little potato that grew out of the compost is still bigger than any of the ones I&#39;ve tried to grow on purpose<br/> <img src="https://recurse.social/system/media_attachments/files/114/535/292/611/286/901/original/b8f87dffde676851.jpg"> <br/> 2025-05-19T15:53:57Z https://yabu.me/nevent1qqsr65v0utxafeh807uytejr9l4xt8sgs0k82l8t7uh0q2ght72q8qszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7yr6tf4 In reply to <a href='/nevent1qqspc2l8yxjqptf45pm38xe7e7utwzljffe4r2sf4cv0u4vha3hkqasqacath'>nevent1q…cath</a><br/>_________________________<br/><br/>littler cactus friend is now also strutting its stuff<br/> <img src="https://recurse.social/system/media_attachments/files/114/532/125/795/153/511/original/145e640adfa34bc5.jpg"> <br/> 2025-05-19T02:28:55Z https://yabu.me/nevent1qqsdmgjsrlzrdguqzwdcmrjyre78e7d0f4v4segr72q9590hqtpzxhgzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw732xq73 Great post on the SIGARCH blog: &#34;The Academic Pipeline Stall: Why Industry Must Stand for Academia&#34; <a href="https://www.sigarch.org/the-academic-pipeline-stall-why-industry-must-stand-for-academia/">https://www.sigarch.org/the-academic-pipeline-stall-why-industry-must-stand-for-academia/</a><br/><br/>We need your help, industry folks.<br/><br/>Very concretely and immediately: I want to make more zines like <a href="https://decomposition.al/zines/#communicating-chorrectly-with-a-choreography">https://decomposition.al/zines/#communicating-chorrectly-with-a-choreography</a>, and I want to fund an undergrad to work with me on them over the summer. It doesn&#39;t look like the NSF REU funding we had for our first zine is happening this summer. Is there a company who&#39;ll step up with $10k to fund a student to make zines with me? 2025-05-08T04:51:44Z https://yabu.me/nevent1qqs9gnyekn89p396l08l2knx9r4z9fcjya0c3nxal5kuslxe29hd7nszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw798xftg unlike the Eiffel dude, I am definitely going to complain about it if you use citations as noun phrases and don&#39;t use `\citet`. come on, people, get it together 2025-05-04T00:46:05Z https://yabu.me/nevent1qqspc2l8yxjqptf45pm38xe7e7utwzljffe4r2sf4cv0u4vha3hkqaszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7es6gmq cactus friend doing its spring thing<br/> <img src="https://recurse.social/system/media_attachments/files/114/423/614/162/654/165/original/be04d98dd9aa6b5d.jpg"> <br/> <img src="https://recurse.social/system/media_attachments/files/114/423/614/354/243/969/original/ae7b6d8034351b8a.jpg"> <br/> 2025-04-29T22:34:18Z https://yabu.me/nevent1qqsw94zahu3qjl9v6qg0mvd573637ywuga0w5sfyjk6pj9zd2metevqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7muqc05 if you&#39;re in Santa Cruz County and you need a house cleaner, you ought to go with Maxima&#39;s Cleaners because not only are they the best, but they also have an Instagram featuring a guy who is extremely hype and concludes every video by pointing at the camera and yelling &#34;MAXIMA&#39;S!&#34; 2025-04-15T16:02:04Z https://yabu.me/nevent1qqsvh53dd4pndlevnd0sp2v5vkfwfcjw7drr5u2gl6cz2m60shdvuxqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7wws7dy In reply to <a href='/nevent1qqspreewln9qrdc0fah7j74pe9ty4rjeughjf7mqgzaxjt2sqs9fhfsafqjp8'>nevent1q…qjp8</a><br/>_________________________<br/><br/>+1, thanks, Sumana 2025-04-11T19:26:54Z https://yabu.me/nevent1qqsw5a9llczug5r77vzpu6tpekmlky96s7vyj8e9ynkdafyhzgezwaczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw70unwxc In reply to <a href='/nevent1qqsz5rugn039rlu2vmy2lsq3y2a5f9l70msdu0ym8aptdy9cgxjw8pg29exqu'>nevent1q…exqu</a><br/>_________________________<br/><br/>fucking hell 2025-04-10T04:33:16Z https://yabu.me/nevent1qqsz99euh9fj4jh8snp6hd54xu9zj4zwhkg08y0nv45827yvzvnk7yczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7gqth32 In reply to <a href='/nevent1qqs97jt9vv320pz4wzqsx7hvdx5aq70p48p0r6fey9m02fh3hlt0ztcgmzhe3'>nevent1q…zhe3</a><br/>_________________________<br/><br/>Second, I want to mention that we UCSC folks tried to publish our part of this work on our own previously and got rejected, and the UVM folks tried to publish their part on their own, and got rejected. But teaming up worked. The lesson for me is: collaborate more! Collaborate across institutions, collaborate across time zones, collaborate across areas of expertise. Do it even though it&#39;s hard. Do it even though CSRankings discourages it. Get that PLDI paper! 😤 2025-04-03T22:00:28Z https://yabu.me/nevent1qqs97jt9vv320pz4wzqsx7hvdx5aq70p48p0r6fey9m02fh3hlt0ztczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7xvdyyg In reply to <a href='/nevent1qqspmt25awz5mkzraucuta09d4ke0y0dacjk8v6w6pwzxu6zzxdwvpswkvnvw'>nevent1q…vnvw</a><br/>_________________________<br/><br/>Just a couple other things to mention here:<br/><br/>First, Mako Bates, the first author of this paper and Joe&#39;s student at UVM, is looking for a job for after he defends his dissertation in June. He&#39;s seeking remote-friendly software engineering or research work, ideally at a place with an interest in protecting consumer privacy, and would welcome any leads or suggestions on where to apply. His background includes applied cryptography, type systems, and language design. His CV: <a href="https://irvingstreet.me/cv/">https://irvingstreet.me/cv/</a> 2025-04-03T21:48:34Z https://yabu.me/nevent1qqspmt25awz5mkzraucuta09d4ke0y0dacjk8v6w6pwzxu6zzxdwvpszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7ye2amu In reply to <a href='/nevent1qqsx9a5dca4ylup07nz8zlsj3wusy4rlymtp9d5jyc4vhjyw7xqsdtsnz9f8h'>nevent1q…9f8h</a><br/>_________________________<br/><br/>My amazing former MS student, Shun Kashiwa, came up with &#34;choreographic enclaves&#34; -- or &#34;conclaves&#34; for short -- as a way to sidestep the inefficiency of conditionals in HasChor-style library-level CP. When we talked to the UVM team, it turned out that they had had exactly the same idea and were pushing it even further. We joined forces, Shun quickly incorporated the UVM folks&#39; ideas into our work, and we were off to the races. It&#39;s been a blast to collaborate with the UVM folks! 2025-04-03T18:54:23Z https://yabu.me/nevent1qqsx9a5dca4ylup07nz8zlsj3wusy4rlymtp9d5jyc4vhjyw7xqsdtszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw72w2sjr In reply to <a href='/nevent1qqsrugq6ajdudu2nx6zqj6sxcxvgsg4cnspmyzmge7x7n5s70gh6uugfavg0e'>nevent1q…vg0e</a><br/>_________________________<br/><br/>This paper presents *three* new choreographic programming libraries -- for Haskell, Rust, and TypeScript!<br/><br/>Our original CP library for Haskell, called HasChor, came out in 2023. Since then, CP libraries for a variety of languages have appeared on the scene. This is all very exciting -- we think that integration of CP into general-purpose languages via libraries is essential for CP&#39;s widespread adoption. But so far, library-level CP has lagged behind what standalone CP languages can offer. 2025-04-03T18:48:36Z https://yabu.me/nevent1qqsrugq6ajdudu2nx6zqj6sxcxvgsg4cnspmyzmge7x7n5s70gh6uugzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7jldtsr Now it can be told! &#34;Efficient, Portable, Census-Polymorphic Choreographic Programming&#34; will appear at PLDI 2025. 🎉<br/><br/>The HasChor folks teamed up with Mako Bates, Syed Jafri, and Joe Near at the University of Vermont for an &#34;our powers combined&#34; paper after we realized that we were all working on closely related things.<br/><br/>There&#39;s a draft on arXiv at <a href="https://arxiv.org/abs/2412.02107">https://arxiv.org/abs/2412.02107</a> -- although we still have lots of changes to make to incorporate the very helpful reviewer feedback for the final version! 2025-04-03T18:23:53Z https://yabu.me/nevent1qqsfa9w28q8g9lguz7st8ekn5y876m2eflucksy705jhjjs64n8q9wszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw72yt4ey Santa Cruz folks: I&#39;ll be at the Stand Up for Science rally at UCSC today, along with several colleagues. Join us!<br/> <img src="https://recurse.social/system/media_attachments/files/114/122/545/438/395/402/original/df00e27c649092b4.jpg"> <br/> 2025-03-07T18:28:18Z https://yabu.me/nevent1qqs998j0l8vccdyqm3zmn6hgtdk9ea50zq95wmyttprfs4jtc98uyrczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw78qkgjs Before y&#39;all put your stuff on arXiv, do you first clean up the sources to get rid of all the snarky asides, commented-out bits that weren&#39;t deemed important enough to go in the paper, and other stuff that wouldn&#39;t be obvious in the PDF? Or do you not bother? 2025-03-03T21:26:17Z https://yabu.me/nevent1qqsqddsmml0xggyck03ah5rtgnhmz5hq8jh9qg8u83sfaps6pc8xstszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw76xuvw2 ✅ Author response off to PLDI<br/>✅ Succeeded in unclogging my toilet 2025-02-22T18:07:31Z https://yabu.me/nevent1qqs8xc57kjfznxz0gry52aa0ehfsqu90snl9mwy8xtc7de6zjv465yqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7nh6k28 We should be asking NSF exactly what &#34;DEI principles&#34; are. Make them say it. 2025-02-05T02:33:52Z https://yabu.me/nevent1qqsvgv82psc3xj2jd6aqrl7n95y7mv4s9rw62auq8u0ykyf3hx7nzsczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw79uenvf I forgot that the Spanish word for jellyfish is medusa, that&#39;s sick as hell<br/><br/>jellyfish: goofy, sounds like the name of a YouTube channel for toddlers<br/>medusa: mythical being with deeply worrisome superpowers 2025-01-18T20:08:32Z https://yabu.me/nevent1qqsxqqjs5ke2pvpegfhgajc0f9c0zdsmy4t4vmxgv9uw8p5uckm9tzczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7c964ra just described someone as being from &#34;the extended Andrew Myers cinematic universe&#34; 2025-01-17T21:12:22Z https://yabu.me/nevent1qqswrnrtm5q23n4fn24d70mcnt72rp4fersp0tmrtvqssmcnzl3g3mczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7pnmuef To close out the year, I wrote about my friend Alan Jeffrey, who we lost in 2024. <a href="https://decomposition.al/blog/2024/12/31/alan-jeffrey/">https://decomposition.al/blog/2024/12/31/alan-jeffrey/</a><br/><br/>In 2025 and beyond, may we all remember Alan fondly and try to live up to his example. ❤️ 2025-01-01T03:36:02Z https://yabu.me/nevent1qqsr7gg7ex0ua4kszeasg2l4t54k4lfcl8k3vvcfwe0nccz63emma6gzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7am090e 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. <a href="https://mastodon.world/@Mer__edith/113721099488667070">https://mastodon.world/@Mer__edith/113721099488667070</a> 2024-12-27T03:24:03Z https://yabu.me/nevent1qqsw0xchjcfmf2z3vm4k9mwnw6m56thc4fqksv8wl7elfknrrn39c2szyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7vyjf9s In reply to <a href='/nevent1qqs9fvaagvqt0vevjqd8nc2z72quj50kpxuffd5qpyfk9jx0d2xhvps3epdz8'>nevent1q…pdz8</a><br/>_________________________<br/><br/>most of the students seemed happy to get the zines, and one student told me that taking my class, with its structured discussion process, had improved their English ❤️ 2024-12-11T03:39:34Z https://yabu.me/nevent1qqs9fvaagvqt0vevjqd8nc2z72quj50kpxuffd5qpyfk9jx0d2xhvpszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7cnqhpa just printing zines to hand out at the final exam, normal professor stuff 2024-12-10T23:31:28Z https://yabu.me/nevent1qqs2wyypggrs6m0vjma2l54n2lku46tmgqd5fhks9evfr0z808py8yczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7sqkmwx It&#39;s finally done! 🎉 I am so excited to announce &#34;Communicating Chorrectly with a Choreography&#34;, the first zine from my research group!<br/><br/>Read online and print your own free copies: <a href="https://decomposition.al/zines/">https://decomposition.al/zines/</a><br/><br/>Thread! 👇<br/> <img src="https://recurse.social/system/media_attachments/files/113/600/873/948/701/630/original/5f81a8ecae7bf94d.jpg"> <br/> 2024-12-05T15:19:05Z https://yabu.me/nevent1qqsvd03ms58e8jp94df9k5rwvnj3g54avdm8py8tyjv7tqfafh00xqszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7j2qu9s In reply to <a href='/nevent1qqstz5qxzkalsvk5uk9pd8zvzjar52rrpn2qvz809ul9k9vpaz6celcgg4hyv'>nevent1q…4hyv</a><br/>_________________________<br/><br/>Your choice of abstract domain, { +, -, 0, i }, gets used a lot in abstract interpretation, too. (Although I guess Cousot and Cousot just decided to ignore 0 in the intro to their paper?)<br/> <img src="https://recurse.social/system/media_attachments/files/113/482/694/006/768/722/original/2bc5c04c7daed08c.png"> <br/> 2024-11-14T18:32:31Z https://yabu.me/nevent1qqsrpesemtkldu5l2sajgqqqj5g3a8qhs6jzc2h34nfxsxj93r9pecqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7ngel55 I think some folks here will appreciate this:<br/><br/>A couple weeks ago, it was parent-teacher conference time. When we met with Sylvia&#39;s second-grade teacher, she looked at us and asked, &#34;...how many cats do you have?&#34;<br/><br/>We have two cats. But apparently, cats feature *so* prominently in Sylvia&#39;s writing, drawing, etc., at school that her teacher thought we had, like, *many* cats. It turns out she&#39;s also been writing about her friends&#39; cats, the neighbor cat, etc.<br/><br/>My kid just really likes cats! 2024-11-14T17:53:01Z https://yabu.me/nevent1qqszr3mc9e8slafcfksufn9m33krh2ew5jss9233mrx2cy07k8rf9lszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7qqgdzz Interested in giving a Zoom talk at the UC Santa Cruz Languages, Systems, and Data Seminar? Nominate yourself 👉 <a href="https://forms.gle/H2TUv9cUPh29WeL79">https://forms.gle/H2TUv9cUPh29WeL79</a><br/><br/>The LSD Seminar meets weekly to discuss interesting topics in the areas of programming languages, systems, databases, and beyond. Browse our talk archives (<a href="https://lsd.ucsc.edu/lsd-seminar/">https://lsd.ucsc.edu/lsd-seminar/</a>) to get an idea of the mix of speakers we&#39;ve hosted in the past. We especially encourage talks from early-stage grad students! We&#39;re currently booking speakers for January or later. 2024-11-06T00:10:33Z https://yabu.me/nevent1qqsvwke5k5dvgfvwkh7vu63mx38kv65fdauy39kvgyau9gnz7x98vjszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw74jk9dx typical UC Santa Cruz morning<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://recurse.social/system/media_attachments/files/113/431/598/913/743/073/original/c0524e4e4a15b775.mp4"></video><br/> 2024-11-05T17:52:28Z https://yabu.me/nevent1qqszt8p8qph66f8gj3a8dxrm22025p6s2kp26nddvam6x70sf3ntjpgzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7zdxwtz In reply to <a href='/nevent1qqsz5v65d46h58mhlehdgj3lefd6hzgxvlmrjjlfljcn8xr4u8ntu5ch6khrl'>nevent1q…khrl</a><br/>_________________________<br/><br/>More generally, I would love for there to be lots of !!Con-like events in lots of places around the world, and there already have been several. I wrote about a few of the early !!Con-inspired events back in 2017 (<a href="https://decomposition.al/blog/2017/03/31/scaling-bangbangcon/">https://decomposition.al/blog/2017/03/31/scaling-bangbangcon/</a>). And these days, there&#39;s GambiConf in Brazil, which is now in its fourth year! <a href="https://gambiconf.dev/">https://gambiconf.dev/</a> 2024-09-19T18:11:20Z https://yabu.me/nevent1qqsz5v65d46h58mhlehdgj3lefd6hzgxvlmrjjlfljcn8xr4u8ntu5czyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7nfcpzw In reply to <a href='/nevent1qqsdwjd73nj7xj0pyexg9uksuku320qgslhgwxd220whmttwz2zxv3sl323sz'>nevent1q…23sz</a><br/>_________________________<br/><br/>This is a really late follow-up, but: !!Con 2024 was a hybrid event, and we did have people attending remotely from all over the world. We had a free live stream, and some folks at the Underline Center (<a href="https://underline.center/">https://underline.center/</a>) in Bangalore organized a watch party (<a href="https://insider.in/con-syncwatch-party-bangalore-aug26-2024/event">https://insider.in/con-syncwatch-party-bangalore-aug26-2024/event</a>). The Underline Center folks are contemplating starting their own !!Con-like event in Bangalore, and if you want to be involved, you should get in touch with them! 2024-09-19T18:04:45Z https://yabu.me/nevent1qqsfhdgqj3c8m7cmken3lah2e7prhnc4y6gyv63w5k5sp86ztsjnutszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7smumqh In reply to <a href='/nevent1qqsp2u3244qn9mwdmk9yhw46mef0sca3u0l32hfr5ntg533x74dpx5qdas62m'>nevent1q…s62m</a><br/>_________________________<br/><br/>It&#39;s not &#34;plain text&#34;! It&#39;s got formatting! I think it&#39;s fine like it is. Loads fast, looks good on mobile with a minimum of fuss. If you think it&#39;s a little boring, you could do what I did with mine and throw in some emoji on the section headings. 2024-09-18T15:57:20Z https://yabu.me/nevent1qqsrvjpv3garvanlzwv924l7ssrrpgtdnahtvsw26h2p403gyuhkz4czyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7kxmzny had an epic weekend that will be hard to explain<br/> <img src="https://recurse.social/system/media_attachments/files/113/150/591/208/775/245/original/b122baf0ae0aa75d.jpg"> <br/> 2024-09-17T02:51:59Z https://yabu.me/nevent1qqsrthjzytr5efg98mpm6fasj3q6e5pjhlunhtze0kc97h5hezajuhqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7yddkhy saw this majestic fella on campus the other day<br/> <img src="https://recurse.social/system/media_attachments/files/113/127/533/875/679/334/original/dee2286e441ba2ff.jpg"> <br/> 2024-09-13T01:00:31Z https://yabu.me/nevent1qqs80585afqdckx5yfyph5y2antnkjm0vk2ptgh20alsvk2fre934cszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7gcdxv5 CS academic (or academic-adjacent) folks who plan to be around the bay area in October or November: let me know if you want to visit UCSC some Wednesday to give a talk at our CSE department colloquium! We&#39;re hammering out a schedule.<br/><br/>(The CSE colloquium is specifically for more senior folks who want to give talks aimed at a general audience of computer scientists, unlike the LSD Seminar, which is specifically aimed at PL/systems people, and where we try to have mostly grad student speakers.) 2024-08-30T21:08:36Z https://yabu.me/nevent1qqsr9q9meyu2mwrh58pxrrn2pq93500h3z7c3u4elal36alrvh9852szyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw79s393m Question for people who&#39;ve presented posters at academic conferences: do you enjoy it?<br/><br/>I have never presented a poster. Personally, I like giving talks (performance!), and I like talking to folks in the hall (conversation!), but I think I&#39;d find presenting a poster to be an awkward in-between performance-conversation. Am I wrong? 2024-08-20T16:56:34Z https://yabu.me/nevent1qqs84hce2nwxg7pvzhh2rctevd3z24adqlpwyx5t3yp27p0j5h04ryqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw75gvmqa We&#39;re seeking speakers for this year&#39;s Languages, Systems, and Data Seminar! 🎉<br/><br/>We meet on Fridays in fall, winter, and spring, in person and on Zoom. Most of our speakers are PhD students working in the areas of programming languages, systems, databases, etc.<br/><br/>If you&#39;ve never given an LSD talk and you&#39;d like to, nominate yourself: <a href="https://forms.gle/jGN6qUqKrQbABJvo8">https://forms.gle/jGN6qUqKrQbABJvo8</a><br/><br/>We try not to have repeats, so if you *have* given an LSD talk before, pass the form along to a friend who you think would give a good talk! 2024-08-07T04:41:02Z https://yabu.me/nevent1qqsthwzuae3cy7avzykae92qxx0sqqr9ynurz676c2j64xsxuerls9czyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7ue7cwf it&#39;s happening<br/> <img src="https://recurse.social/system/media_attachments/files/112/889/053/708/477/343/original/d4c19fb009ae9479.jpg"> <br/> 2024-08-01T22:12:11Z https://yabu.me/nevent1qqsyxqypyz6huxt0xqhh6natf8jp9d4q97uj4agj5kv8ursmr5ypxrqzyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw70vxjk6 In reply to <a href='/nevent1qqsz7luh4cpe52g9l7gav8es3fmehcnxlxwszhf0nlau9fe32xnrsucmag9en'>nevent1q…g9en</a><br/>_________________________<br/><br/>Anyway, all this is to say that if you were thinking about just powering through it, whatever &#34;it&#34; is for you, consider instead doing this weird new thing I&#39;m trying out, called &#34;resting&#34; 2024-07-29T03:38:24Z https://yabu.me/nevent1qqsz7luh4cpe52g9l7gav8es3fmehcnxlxwszhf0nlau9fe32xnrsuczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7qhfth3 In reply to <a href='/nevent1qqspyyw6yf4vtdun544cp65uy4grrp5c2d4hpkh0z6xmetatnh4hpdc0jgvnn'>nevent1q…gvnn</a><br/>_________________________<br/><br/>I&#39;ve spent most of the last 24 hours in bed. It would have been terrible if I had actually gone! I probably would have landed feeling much worse (likely worse than I feel now, due to the additional strain of travel). I&#39;d have taken a test, tested positive, and then been sick with COVID *alone in a foreign country* instead of at home. Not to mention that I probably would have infected other people all along the journey. 2024-07-28T19:18:25Z https://yabu.me/nevent1qqspyyw6yf4vtdun544cp65uy4grrp5c2d4hpkh0z6xmetatnh4hpdczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7lxspdt In reply to <a href='/nevent1qqs8nkw6u6c640gmms28c4e38yr42w46jfyeqn4gcqh3hhxutfmvnts5pexmq'>nevent1q…exmq</a><br/>_________________________<br/><br/>Yeah, so I was supposed to be giving a series of lectures at the Scottish Programming Languages and Verification Summer School this week, but instead I&#39;m home with COVID.<br/><br/>My husband <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub17wnz65putta6lllpmcdvmp6lh65r83p8kf0spldmk3ye64v2jcgs0jakt9" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Alex Rudnick</span> (<span class="italic">npub17wn…akt9</span>)</a></span> was the one who urged me to take a test, hours before I would&#39;ve left. My suitcase was already packed. I had cold symptoms, but had been preparing to just power through it. 2024-07-28T19:09:14Z https://yabu.me/nevent1qqs8nkw6u6c640gmms28c4e38yr42w46jfyeqn4gcqh3hhxutfmvntszyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw76ynj8y well, shit<br/> <img src="https://recurse.social/system/media_attachments/files/112/859/770/226/819/302/original/340d95644676c4ad.jpg"> <br/> 2024-07-27T18:04:18Z https://yabu.me/nevent1qqsxrj9yfs93fzqmhm4uzz7c3ng9vm623jp93s586q9wqqpqqgznplczyzgl8qquwmfrz0muhdypfwtee3azr8342ywkr4l49qey78uv6zjw7xg9hlm 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&#39;m able to find five groups, while the sixth group goes off somewhere and I can&#39;t find or communicate with them until they eventually wander back to the classroom five minutes late.<br/><br/>I feel this is rather appropriate for a distributed systems course. 2023-10-14T00:21:22Z