007r - Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones

007r - Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones

This episode first aired in January, 2018. When we look at a skyscraper or a suspension bridge, a simple search engine box on a screen looks tiny by comparison. But Dr. Simon Peyton Jones would like to remind us that computer programs, with hundreds of millions of lines of code, are actually among the largest structures human beings have ever built. A principle researcher at the Microsoft Research Lab in Cambridge, England, co-developer of the programming language Haskell, and a Fellow of Britain’s Royal Society, Simon Peyton Jones has dedicated his life to this very particular kind of construction work.Today, Dr. Peyton Jones shares his passion for functional programming research, reveals how a desire to help other researchers write and present better turned him into an unlikely YouTube star, and explains why, at least in the world of programming languages, purity is embarrassing, laziness is cool, and success should be avoided at all costs.

https://www.microsoft.com/research

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(200)

Learn the rules: The hacker mindset

Learn the rules: The hacker mindset

Research Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curiosi...

3 Nov 0s

Microsoft Research Focus – Edition #97

Microsoft Research Focus – Edition #97

Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and ...

29 Okt 0s

Called to serve: Tech, research, and positive impact with Chris White

Called to serve: Tech, research, and positive impact with Chris White

Lab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for combating human trafficking. He talks to program manag...

20 Okt 38min

What AI gets wrong and what failure teaches us

What AI gets wrong and what failure teaches us

Jennifer Neville did not want to go into computer science—but that’s exactly where she landed. Neville discusses the starts and stops that led to her professional sweet spot and her work identifying “...

6 Okt 39min

Can we AI our way to a more sustainable world?

Can we AI our way to a more sustainable world?

Doug Burger, sustainability expert Amy Luers, and optimization researcher Ishai Menache examine the global emissions implications of datacenter operations, efficiency gains, and AI's potential across ...

20 Apr 1h 1min

Ideas: Steering AI toward the work future we want

Ideas: Steering AI toward the work future we want

Microsoft Chief Scientist Jaime Teevan and researchers Jenna Butler, Jake Hofman, and Rebecca Janssen unpack the New Future of Work Report 2025 and explore the ideal AI-driven working world. Plus, is ...

9 Apr 54min

Will machines ever be intelligent?

Will machines ever be intelligent?

Are machines truly intelligent? AI researchers Subutai Ahmad and Nicolò Fusi join Doug Burger to compare transformer-based AI with the human brain, exploring continual learning, efficiency, and whethe...

23 Mar 1h 8min

Trailer: The Shape of Things to Come

Trailer: The Shape of Things to Come

Microsoft research lead Doug Burger introduces his new podcast series, The Shape of Things to Come, an exploration into the fundamental truths about AI and how the technology will reshape the future.T...

3 Mar 2min

Populært innen Teknologi

teknisk-sett
energi-og-klima
nasjonal-sikkerhetsmyndighet-nsm
rss-snakk-om-sikkerhet
shifter
rss-ai-forklart
teknologi-og-mennesker
lydartikler-fra-aftenposten
rss-kunstig-intelligens-med-elisabeth-maren-og-morten
rss-alt-som-gar-pa-strom
tomprat-med-gunnar-tjomlid
elektropodden
rss-polypod
rss-digitaliseringspodden
fornybaren
rss-teknologioptimistene-en-podkast-om-teknologi-og-mennesker
rss-ki-praten
rss-ki-til-kaffen
blaskjerm-brodrene
i-loopen