Ashton Wiersdorf4d ago

I wrote a new blog post; this is my first one in a long time! I got a lot of compliments on my presentation at #pldi2026 so I tried to distill a few of the principles I use when adding some animations to my slides. It's easy to overdo it on animations; however, a few carefully-chosen animations can actually improve understanding!

This is also the debut of a brand-new hand-rolled layout and theme for my blog! 100% less JS and self-hosted as well.

https://lambdaland.org/posts/2026-06-19-semantics-of-slideshows/

Lambda Land

PLDI 2026Jun 18

#PLDI2026 day 1 is in the books! We've already had some fantastic talks with packed rooms and great energy.

There's still 2 days left to catch the full slate of research talks shaping the future of programming language design and implementation. Don't miss them!

Adrian SampsonJun 17
Sad to be missing #pldi2026!! However,
PLDI 2026Jun 17

The views from Monday/Tuesday's Chautauqua hikes were unreal!

Missed them? Don't worry #PLDI2026's social week is just getting started! We have Bands on the Bricks tonight, tea at Dushanbe tomorrow, and one more hike Friday. See you there!
🏔️ https://pldi26.sigplan.org/track/pldi-2026-pldi-meetups

PLDI 2026Jun 17

RE: https://mastodon.acm.org/@pldi/116755035874627223

Unable to attend a talk or session at #PLDI2026 in person? You can still join via live-stream links available on the PLDI website!

PLDI 2026Jun 17

The #PLDI2026 main conference kicks off tomorrow in Boulder, CO!

We have stellar keynotes lined up for each day on:
- PL design in the ML era (Wed),
- AI validation with testing and proof engineering (Thu), and
- Quantum through a PL lens (Fri).

🔗https://pldi26.sigplan.org/track/pldi-2026-pldi-keynotes?#program

PLDI 2026 - PLDI Keynotes - PLDI 2026

Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)! PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI 2026 will be held in person at the Limelight Boulder in Boulder, Colorado, USA. The main PLDI conference will be held from Wednesday, June 17, through Friday, June 19. Workshops and tutorials were held on Monday, June 15, and Tuesday, June 16. Registration opens on Monday, March 16, 2 ...

Vadim ZalivaJun 15
Heading out to #PLDI2026 tomorrow.
PLDI 2026Jun 15

Beyond the sessions, at #PLDI2026 we've got a full week of social meetups to explore Boulder! This includes hikes in Chautauqua Mon/Tues/Fri, walk to downtown Pearl St for Bands on the Bricks on Wed, and tea at the Dushanbe Tea House on Thu.

🏔️https://pldi26.sigplan.org/track/pldi-2026-pldi-meetups

PLDI 2026Jun 15

#PLDI2026 is live-streaming participating sessions on YouTube! Catch workshops, keynotes, research talks, and more from the premier PL and programming systems research venue.

📺Tune in at: https://pldi26.sigplan.org/attending/live-streams

PLDI Live Streams - PLDI 2026

Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)! PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI 2026 will be held in person at the Limelight Boulder in Boulder, Colorado, USA. The main PLDI conference will be held from Wednesday, June 17, through Friday, June 19. Workshops and tutorials were held on Monday, June 15, and Tuesday, June 16. Registration opens on Monday, March 16, 2 ...

Zach SiscoJun 15

Got in a good hike before PLDI. See yinz in Boulder!

#pldi2026 #boulder