The Future of Everything
The Future of Everything

The future of networking technology

Why a lack of verifiable computation limits transparency, efficiency, and trust in modern cloud systems.

Featured Speakers

Stanford Engineering & Russ Altman HostKeith Winstein Guest

Topics Discussed

Episode Summary

Executive Summary: Keith Winstein argues that networking should evolve from simply moving bytes to tracking “computational truth”: auditable, named, reproducible results with provenance. He also describes low-latency systems for live music/video over ordinary internet connections and a new freshman class that uses xylophones and real-time interaction to recapture the playfulness of computer science.

Main Topics: Computational truth and provenance (Priority: 5/5): Winstein’s central research idea is to formally represent what computation means, so results can carry a guaranteed ancestry, be reproducible, and be audited across networks and cloud systems. Economic incentives in cloud computing (Priority: 5/5): He critiques current cloud pricing as “pay for effort,” where users pay for time rather than results, and proposes “pay for results” enabled by verifiable computational outputs. Networking as shared fiction (Priority: 4/5): Winstein frames networked systems as constructed realities created by communicating computers, emphasizing the beauty and importance of these shared computational fictions. Low-latency collaboration for music and performance (Priority: 5/5): He explains how his team built a bespoke system for actors and musicians to perform remotely during the pandemic with far less delay than Zoom, using careful control of buffering and tradeoffs between glitchiness and latency. Playfulness in computer science education (Priority: 4/5): Winstein wants a more joyful, interactive intro course built around real-time sound and xylophones to teach core CS/EE concepts through immediate experimentation. Truth, accountability, and platform power (Priority: 4/5): He connects computational naming and audit trails to broader concerns like ad auctions, legal accountability, and the power of large platforms to shape results without transparent verification.

Key Arguments: Computers and networks create shared “fictions” that humans rely on; this is a foundational and beautiful feature of networking. Current systems preserve compositional data structure well, but they lose the computational relationship between data and the code/environment that produced it. A formal notion of computational truth would improve reproducibility, auditability, and trust in cloud and networked computing. Cloud providers should be paid for results, not time spent waiting on caches or internal delays, so incentives align with efficiency and innovation. Naming the computation itself would create a powerful handle for verification, legal challenge, and long-term accountability. High-quality low-latency remote performance is possible on ordinary internet infrastructure if software layers and buffering are engineered carefully. Computer science should emphasize interactivity, immediacy, and playfulness rather than only slow, opaque workflows like long-running model training and post-hoc testing. A healthy innovation ecosystem depends on independence of thought and distributed creativity, not just elite institutions.

Data Points: Podcast age: 8 years - Russ Altman says the show has been running for eight years and serves as an archive of Stanford work. Academic institutions referenced: Stanford University - Primary institutional setting for Winstein’s work and the podcast. Pandemic production timeline: Fall 2020 / March 2021 - Remote performance class taught in fall 2020; main-stage production occurred in March 2021. Remote performance cast size: 5 actors - Stanford students performed in the StageCast production. Musicians involved: 3 New York musicians - Professional musicians collaborated remotely in the pandemic performance. Latency improvement: Quarter millisecond intrinsic latency - Winstein says a purpose-built system can achieve very low intrinsic latency with one streamlined buffer path. Typical Zoom-like delay: ~200 milliseconds - He describes standard conferencing delay as substantially larger due to multiple buffers and software layers. Delay comparison: About 10x too high - He says Zoom-style delay is roughly ten times what nearby human conversation would require. Cloud billing granularity: Milliseconds - He describes cloud services as renting computers by the millisecond. Auction model example: Second price auction - He cites Google’s ad auction design as historically incentive-compatible but vulnerable to manipulation.

Pivotal Quotes: "“the future of networking is computational truth”" — Russ Altman: Introduces Winstein’s research direction at the start of the interview. "“the fact that you can design an automaton in your head and then see it play out at billions of times per second”" — Russ Altman: Altman reflects on the playfulness and intellectual appeal of computer science. "“The part that I think of as so central to computer science is the playfulness of it.”" — Keith Winstein: Winstein explains why he wants a more joyful, interactive introduction to CS/EE.

Implications: The episode argues for a new internet era where outputs are auditable, provenance-rich, and economically priced by result. It also shows that thoughtful systems engineering can unlock real-time human collaboration and better CS education.

🔓 Sign Up for Unlimited Episode Search

About The Future of Everything

Host Russ Altman, a professor of bioengineering, genetics, and medicine at Stanford, is your guide to the latest science and engineering breakthroughs. Join Russ and his guests as they explore cutting-edge advances that are shaping the future of everything from AI to health and renewable energy. Along the way, “The Future of Everything” delves into ethical implications to give listeners a well-rounded understanding of how new technologies and discoveries will impact society. Whether you’re a ...

View all episodes from The Future of Everything