Planet Pony

We don’t have a Pony blog aggregator at the moment, so in the meantime, we have this manually edited stand in. It’s like the early curated days of Yahoo!

Talks & Presentations

• Fast, Concurrent, Secure, Correct Actors… and a pony! (2025)
• Pony Language - First Impression [Programming Languages Episode 34] (2024)
• Pony VUG #13: An informal tour of the Pony backpressure system (2022)
• Pony VUG #12: Exploration of a bug (2022)
• Pony VUG #11: Pony via a GitHub REST API (2021)
• Pony VUG #10: Pony vs. Rust - How they both drive you mad at compile time (2021)
• Pony VUG #9: CastXML2Pony, Automatically(ish) building Pony libraries to wrap C-FFI calls (2021)
• Pony, Actors, Causality, Types, and Garbage Collection (2020)
• Sean T. Allen informal Pony presentation to HFPUG (2020)
• On Deny Capabilities for Safe, Fast Actors (2020)
• Learn Pony with Brian and Sean: Episode 2 (2019)
• Learn Pony with Brian and Sean: Episode 1 (2019)
• Safely Sharing Data: Reference Capabilities in the Pony Programming Language (2019)
• Time to Pony up!: A tour of Pony (2019)
• Run, actor, run (2019)
• The wide world of almost-actors: comparing Pony to BEAM languages and slides (PDF) (2019)
• Pony: How I learned to stop worrying and embrace an unproven technology and slides (2018)
• The Wide World of Actors or, Can I Have an Erlang Pony? and slides (PDF) (2018)
• Everyone gets a pony! (2018)
• Pony - A Language for Provably Safe Lockless Concurrency (Øredev Malmö) and slides (2017)
• Dr. Strangecode or: How I Learned to Stop Worrying and Love the Type System. (2017)
• Pony: How I learned to stop worrying and embrace an unproven technology (QCon New York) and slides (2017)
• Pony: Actors and Objects from PLISS‘17. Part 1. Part 2. (2017)
• Slides: Why Pony? Bleeding edge technology for your concurrency woes (Polyconf‘17) (2017)
• Pony: 714 Days Later (Curry On Barcelona) (2017)
• What’s Next for Our Programming Languages? (QCon London) (2017)
• Pony: Co-designing a Type-system and a Runtime (QCon London) (2017)
• Pony VUG #8: Andrew Turley: Prime Cuts: The Best Pieces Of Pony and slides (2017)
• Pony VUG #7: Nick Pruhs: Designing an Actor Model Game Architecture with Pony (2016)
• Pony - A Language for Provably Safe Lockless Concurrency (2016)
• Pony: Co-Designing a Type System and a Runtime (2016)
• Pony VUG #6: Andrew Turley: The Art of Forgetting - Garbage Collection in Pony (2016)
• Pony VUG #5: George Steed: A Principled Design of Capabilities in Pony (2016)
• Pony VUG #4: Simple Value-Dependent Types in Pony (2016)
• Pony VUG #3: The Actor Model and Pony (2016)
• Pony VUG #2: Using the Pony FFI in Anger (2016)
• Using Pony for FinTech (2016)
• Pony VUG #1: Writing Generic Code (2016)
• Presentation slides for “My Little Pony” talk at CodeMesh 2015 in London (2015)
• Presentation slides for “Deny Capabilities for Safe, Fast Actors” at Agere 2015 (2015)
• Part two of “Actor-based programming in Pony” at Imperial Programming Lectures (2015)
• Part one of “Actor-based programming in Pony” at Imperial Programming Lectures (2015)
• CurryOn presentation on Pony at ECOOP 2015 (2015)
• Pony talk at TNG Big Tech Day 2015 (2015)
• Pony presentation by Prof. Sophia Drossopoulou at IFIP WG 2.16 (2015)

Articles & Blog Posts

• Preventing data races with Pony (2025)
• Generating Pony Coverage Reports (2018)
• Introduction to the Pony programming language (2018)
• How to train your Pony: Introduction (2018)
• Pony Considerations (2017)
• Reference Capabilities, Consume and Recover in Pony (2017)
• The Promise of Pony’s Future (2017)
• Rolling the Dice with Pony (2017)
• Composition over Inheritance in Pony (2017)
• My First Pony (2017)
• An Early History of Pony (2017)
• Découverte du langage Pony (2017)
• Pony Capabilities made simple (2016)
• Reference Capabilities in Pony for everybody (2016)
• Borrowing in Pony (2016)
• Push-parsing and Pony (2016)
• Using the Actor-model Language Pony for FinTech (2016)
• Exploring actors in Pony (2016)
• Bang, Hat and Arrow in Pony (2016)
• Closures in Pony (2016)
• Safely Sharing Data: Reference Capabilities in Pony (2016)
• the morning paper: Ownership and Reference Counting Based Garbage Collection in the Actor World (2016)
• the morning paper: Deny Capabilities for Safe, Fast Actors (2016)
• Inside the Pony TCP Stack (2015)
• Cross compile Pony programs for Android (2015)
• C linkable libraries with Pony (2015)
• Deconstructing a Pony echo server (2015)
• A quick look at the Pony Programming Language (2015)

Interviews & Podcasts

• Pony Programming Language with Sylvan Clebsch and Sean Allen – Conversation #7 (2024)
• Developer Voices Interview- Pony: High-Performance, Memory-Safe Actors (with Sean Allen) (2024)
• InfoQ podcast interview with Sylvan Clebsch - Pony Language Designer Sylvan Clebsch on Pony’s Design, Garbage Collection, and Formal Verification (2017)
• Pony designer Sylvan Clebsch on the Actor-Model Language Pony, Garbage Collection, Capabilities, Concurrency (2015)