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)