logo
episode-header-image
Apr 2008
35 m

Microsoft Research: Spec#

SCOTT HANSELMAN
About this episode
Scott sits down with Mike Barnett and Rustan Leino of Microsoft Research and talks about the Spec# programming language. The compiler enables Design By Contract and extends C#. The team needs your help to get these features in the next version of C#! 
Up next
Aug 21
Compile after Class Crossover Episode
A young man who's a sophomore in high school emailed me to come on his podcast that he does with his friend, and I had so much fun. I decided to make it a crossover episode. Check out "Compile after Class" on this week's episode! https://www.youtube.com/@shreemanickaraja 
46m 40s
Aug 13
Robots, Nukes, and AI: A Career at the Frontier with Maynard Holliday
Maynard Holliday spent 30+ years at the intersection of robotics, nuclear security, and defense technology, most recently serving as the Assistant Secretary of Defense for Critical Technologies. He's worked on everything from helping remediate Three Mile Island to securing tons o ... Show More
35m 37s
Aug 6
Language Model Builder with Felix Rieseberg
Felix Rieseberg came to computing through poetry, and that background gives him a unique lens for explaining language models. A longtime engineer, Felix now gets to watch AI evolve from the inside. In this episode, Scott and Felix explore why language models are surprisingly easy ... Show More
35m 47s
Recommended Episodes
Feb 2024
C# and Blazor - with Mads Torgersen, Dan Roth, and Scott Hunter!
tail spinning
1h 9m
Oct 2017
Data science tools and other announcements from Ignite
<p>In this episode, Microsoft's Corporate Vice President for Cloud Artificial Intelligence, Joseph Sirosh, joins host Kyle Polich to share some of the Microsoft's latest and most exciting innovations in AI development platforms. Last month, Microsoft launched a set of three power ... Show More
31m 40s
Nov 2019
NLP for Developers
<p class="p1"><span class="s1">While at MS Build 2019, Kyle sat down with Lance Olson from the Applied AI team about how tools like cognitive services and cognitive search enable non-data scientists to access relatively advanced NLP tools out of box, and how more advanced data sc ... Show More
29m 1s
Nov 2023
Deploying LLMs
We are excited to be joined by Aaron Reich and Priyanka Shah. Aaron is the CTO at Avanade, while Priyanka leads their AI/IoT offering for the SEA Region. Priyanka is also the MVP for Microsoft AI. They join us to discuss how LLMs are deployed in organizations. 
35 m
Sep 2025
941: Is Responsible AI Possible? with Dr. Sarah Bird of Microsoft
Scott heads to Microsoft’s campus for the VS Code Insider Summit to sit down with Dr. Sarah Bird and explore what “Responsible AI” really means for developers. From protecting user privacy to keeping humans in the loop, they dig into how everyday coders can play a role in shaping ... Show More
22m 51s
May 2011
C#
<p>This show covers C# a CLI language designed by Microsoft. This episode talks about over the air updates, decompiling, and Ubuntu. The tools of the day are VLC, a cross-platform video player and PortableApps, a collection of applications able to run off a USB drive.</p> <strong ... Show More
1 h
May 2025
888: Teams of Agents: The Next Frontier in AI Collaboration, with Mike Pell
Mike Pell speaks to Jon Krohn about The Microsoft Garage, a program that drives the culture of innovation at the tech multinational, and how listeners can apply their principles to foster innovation in their workplace. In this Five-Minute Friday, you’ll hear more about Microsoft’ ... Show More
31m 32s
Feb 2022
Code Explorers
In this Hasty Treat, Scott and Wes talk about how best to explore and contribute to code on GitHub repos. Retool - Sponsor Retool is the fast way to build internal tools. Visually design apps that interface with any database or API. Switch to code nearly anywhere to customize ho ... Show More
20m 2s
Jun 2024
Learn to Code
<p>Do you code or are you interested in learning to code? Join us today and hear from three individuals that are at very different stages of their coding journeys. Becky Hansis-O'Neill (also our co-host this season) shares her experiences as a newbie who wants to learn more. Dr. ... Show More
49m 31s
Dec 2023
AI Platforms
Our guest today is Eric Boyd, the Corporate Vice President of AI at Microsoft. Eric joins us to share how organizations can leverage AI for faster development. Eric shared the benefits of using natural language to build products. He discussed the future of version control and the ... Show More
33m 54s