iiinova — where your digital self keeps evolving

Reposted by Programming for the Planet

PLDI @sigplan-pldi.bsky.social · 15/06/2026

#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: pldi26.sigplan.org/attending/li...

pldi26.sigplan.org

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 programmi...

075

Programming for the Planet @propl.dev · 15/06/2026

Opening with @neurocy.bsky.social explaining the 'working group' model we're doing for the 3rd PROPL

1122

Programming for the Planet @propl.dev · 15/06/2026

The 3rd Programming for the Planet chaired by @neurocy.bsky.social will be livestreaming from @sigplan-pldi.bsky.social in an hour at www.youtube.com/watch?v=wqc9...; see the morning program here pldi26.sigplan.org/program/prog...

youtube.com

[PLDI 2026] Flatirons 4 - PROPL (Jun 15th)

YouTube video by ACM SIGPLAN

043

Reposted by Programming for the Planet

Anil Madhavapeddy @anil.recoil.org · 23/10/2025

Part 1 covers the 2nd Programming for the Planet conference (@propl.dev) organised by @kcsrk.info @dorchard.bsky.social and me. There were talks, demos and discussions about what we can do as computer scientists to avert the climate and biodiversity crises anil.recoil.org/notes/icfp25... 🌍

anil.recoil.org

Programming for the Planet at ICFP/SPLASH 2025

295

Reposted by Programming for the Planet

Anil Madhavapeddy @anil.recoil.org · 23/10/2025

A five part roundup of my @icfp-conference.bsky.social experience, covering chairing @propl.dev, holding an OxCaml tutorial, speaking about Docker, and what I learnt from everyone! anil.recoil.org/notes/icfp25; above all, huge thanks to @ilyasergey.bsky.social for making this ICFP/SPLASH so good

anil.recoil.org

A Roundup of ICFP/SPLASH 2025 happenings

1224

Reposted by Programming for the Planet

Institute of Computing for Climate Science @iccscambridge.bsky.social · 14/10/2025

📹 ICCS's Early Career Advanced Fellow Roly Perera presented at Programming for the Planet (PROPL) @propl.dev in Singapore – skip to 3 hours 53 mins to watch 👇

011

Programming for the Planet @propl.dev · 13/10/2025

That’s a wrap for PROPL25 at @icfp-conference.bsky.social! Here’s the tired but happy organising team @anil.recoil.org @dorchard.bsky.social @kcsrk.info with @neurocy.bsky.social celebrating! Stay tuned for a writeup and enjoy our proceedings in the meantime dl.acm.org/doi/proceedi...

0125

Programming for the Planet @propl.dev · 13/10/2025

The 2nd PROPL is today, and will be livestreaming from www.youtube.com/watch?v=IIRJ... in an hour! Full program here conf.researchr.org/home/icfp-sp... and an overview of the program at dl.acm.org/action/showF...

youtube.com

[ICFP/SPLASH'25] Peony NE - PROPL (Oct 12th)

YouTube video by ACM SIGPLAN

154

Programming for the Planet @propl.dev · 24/06/2025

A reminder that our submission deadline is coming up in just over a week on the 3rd July AOE! Get your short papers in, or talk proposals, or a short provocation what's needed for programming languages research to contribute to addressing the climate crisis. propl.dev

propl.dev

Programming for the Planet (PROPL) Workshop

034

Reposted by Programming for the Planet

Lauritz Thamsen @lauritzthamsen.org · 03/04/2025

PROPL, the workshop that inspired us to organize LOCO, is back! This time it'll take place with both ICFP and SPLASH. Have a look at the website if programming/computing as a force for good is something you care about! 💻🌍🌱📄👇

093

Programming for the Planet @propl.dev · 03/04/2025

For those curious about the first workshop in 2023, the videos are up at www.youtube.com/watch?v=yZeS... (and mirrored watch.eeg.cl.cam.ac.uk/c/propl24/vi...)

youtube.com

[PROPL'24] Setting the stage for AI for biodiversity

YouTube video by ACM SIGPLAN

032