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
Jun 18
The space between the Commits with Zed and DeltaDB's Nathan Sobo
Scott talks with Nathan Sobo, CEO and co-founder of Zed, about what comes after the traditional code editor. They start with Zed’s vision for a fast, collaborative, AI-native development environment, then go deeper on DeltaDB: a new approach to versioning software at the operatio ... Show More
33m 35s
Jun 11
Braille Is Freedom with Bristol Braille's Ed Rogers
On this episode of Hanselminutes, Scott talks with Ed Rogers of Bristol Braille Technology about the Canute project and the long road toward affordable multiline Braille. Most refreshable Braille displays show a single line at a time; Canute changes the experience by giving reade ... Show More
38m 53s
Jun 4
"Observabilitying" the Future of Software with Charity Majors
Charity Majors is the co-founder and CTO of Honeycomb.io, where she pioneered the concept of modern observability for distributed systems. Before Honeycomb, she spent years at Parse (acquired by Facebook), Facebook, and Linden Lab building Second Life. She is the co-author of "Ob ... Show More
32 m
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