Pony is an actor-model, capabilities-secure, native programming language. I will talk about reference capabilities (using math to guarantee data-race freedom at compile time with no locks), protocols for fully concurrent no-stop-the-world garbage collection (with no locks), and extending Pony to the distributed setting. I will also talk a bit about doing research, changing focus in your career, and turning theory into your life's work.
Sylvan Clebsch is the designer of the Creator of the Pony programming language. He has worked in industry for 24 years, on fintech, milsims, video games, peer networking, VOIP, identity management, crypto, embedded OSes, and now programming languages. He works at Microsoft Research Cambridge.
Experiences Building Apps With React Native
Security Bootcamp for Startups
Ethics & Human Rights in a Digital Society
Oops! OOP's Not What I Thought
Testing For Accessibility: Don't Be A Showstopper
How Do Kids Program in the Wild?
Developing Chat-Bots Using AWS Lambda
Here Be Dragons! What It's Really Like to Slay a Monolith
How To Effectively Grow a Development Team
Data, Drones and Death