Pony Language Designer Sylvan Clebsch on Pony’s Design, Garbage Collection, and Formal Verification

Pony Language Designer Sylvan Clebsch on Pony’s Design, Garbage Collection, and Formal Verification

In this podcast Charles Humble talks to Sylvan Clebsch, who is the designer of the actor-model language Pony programming and now works at Microsoft Research in Cambridge in the Programming Language Principles group. They talk about the inspirations behind Pony, how the garbage collector avoids stop-the-world pauses, the queuing systems, work scheduler, and formal verification. Why listen to this podcast: * Pony scales from a Raspberry Pi through a 64 core half terabyte machine to a 4096 core SGI beast * An actor has a 256-byte overhead, so creating hundreds of thousands of actors is possible * Actors have unbounded queues to prevent deadlock * Each actor garbage collects its own heap, so global stop-the-world pauses are not needed * Because the type system is data-race free, it’s impossible to have concurrency problems in Pony More on this: Quick scan our curated show notes on InfoQ http://bit.ly/2tZXcKE You can also subscribe to the InfoQ newsletter to receive weekly updates on the hottest topics from professional software development. bit.ly/24x3IVq Subscribe: www.youtube.com/infoq Like InfoQ on Facebook: bit.ly/2jmlyG8 Follow on Twitter: twitter.com/InfoQ Follow on LinkedIn: www.linkedin.com/company/infoq Want to see extented shownotes? Check the landing page on InfoQ: http://bit.ly/2tZXcKE

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(396)

AI, ML, and Data Engineering InfoQ Trends Report 2026

AI, ML, and Data Engineering InfoQ Trends Report 2026

In this episode of the podcast, members of the InfoQ AI and MIL editorial staff and friends of InfoQ discuss the current trends in the domain of AI, ML and Data Engineering. One of the regular featur...

30 Okt 1h 11min

The Future of Web Apps: Will AI Agents Generate UIs on the Fly?

The Future of Web Apps: Will AI Agents Generate UIs on the Fly?

Rachel Lee Nabors, former React core team member, dives into the architecture and philosophy behind local-first applications, exploring how small language models (SLMs) running directly on-device can ...

19 Okt 47min

What Does It Really Mean To Program With AI: A Conversation with Joy Ebertz

What Does It Really Mean To Program With AI: A Conversation with Joy Ebertz

In this podcast, Michael Stiefel spoke to Joy Ebertz about how the use of artificial intelligence is changing the way architects and developers do their jobs. Focusing on the long term success of the ...

12 Okt 44min

Future Cybersecurity: Hardware Memory Safety, Automated Governance and Post-Quantum Cryptography

Future Cybersecurity: Hardware Memory Safety, Automated Governance and Post-Quantum Cryptography

In this episode, Chris Swan, engineer at Atsign and security track host at QCon London, reflects on the ideas shared during QCon London 2026 and teases topics of the future edition. The discussion exp...

5 Okt 34min

The AI Revolution Fails Without Psychological Safety For Developers: A Conversation with Erin Doyle

The AI Revolution Fails Without Psychological Safety For Developers: A Conversation with Erin Doyle

In this podcast, Michael Stiefel spoke to Erin Doyle about how artificial intelligence tools are transforming the software development process, and how they are affecting software engineers. Architect...

28 Sep 54min

The Future of AI: From Enterprise Adoption to Open Source Sovereignty

The Future of AI: From Enterprise Adoption to Open Source Sovereignty

In this episode, a panel of AI experts, Meryem Arik (DoubleWord), Clara Higuera Cabañes (BBVA), and Jeff Smith (C Proof), demystify the current state of AI in the enterprise. The discussion navigates ...

25 Sep 52min

Securing AI Agents: Identity, Authorisation, and the DPACT Framework

Securing AI Agents: Identity, Authorisation, and the DPACT Framework

In this episode, Sahil Agarwal talks about the critical challenges of identity, authorisation, and security in the age of AI agents. Sahil introduces the DPACT framework (Delegation, Policy, Auditabil...

21 Sep 41min

How Will We Train Developers If AI Does the Routine Work: A Conversation with Scott Hanselman

How Will We Train Developers If AI Does the Routine Work: A Conversation with Scott Hanselman

In this podcast Michael Stiefel spoke to Scott Hanselman about developing new software engineers when artificial intelligence agents are doing most of the work on which junior developers were trained....

14 Sep 36min

Populärt inom Teknik

uppgang-och-fall
bilar-med-sladd
elbilsveckan
rss-snacka-om-ai
rss-ai-med-jonas-benjamin
rss-veckans-ai
natets-morka-sida
rss-elektrikerpodden
market-makers
skogsforum-podcast
rss-uppgang-och-fall
bli-saker-podden
rss-technokratin
vi-bilagares-podcast
rss-en-ai-till-kaffet
garagehang
gubbar-som-tjotar-om-bilar
rss-it-sakerhetspodden
rss-ai-gothenburg-podcast
bosse-bildoktorn-och-hasse-p