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
Nov 20
C++ is Still Here, Still Powerful with Gabriel Dos Reis
<p>In a world of Rust, Go, and Python, why does C++ still matter? Dr. Gabriel Dos Reis joins Scott to explain how C++ continues to shape everything from GPUs and browsers to AI infrastructure. They talk about performance, predictability, and the art of balancing power with safety ... Show More
35m 50s
Nov 13
Why Postgres? and why now? with Claire Giordano
<p>Postgres has quietly become the world’s favorite database...running startups, governments, and global clouds alike. Scott talks with Claire Giordano, long-time Postgres advocate and technologist, about the database’s unlikely rise from academic roots to modern dominance. They ... Show More
36m 11s
Nov 6
The Past Still Boots with the Interim Computing Museum's Stephen Jones
<p>Scott talks with Stephen Jones of the new Interim Computing Museum, about the craft of bringing old computers back to life. From wire-wrapped boards to tape drives and terminals, this episode dives into why running the old systems — not just displaying them — matters for under ... Show More
40m 46s
Recommended Episodes
Feb 2024
C# and Blazor - with Mads Torgersen, Dan Roth, and Scott Hunter!
<p>In this episode, I was honoured to be joined by <a href='https://twitter.com/MadsTorgersen'>Mads Torgersen</a>, <a href='https://twitter.com/danroth27'>Dan Roth</a>, and <a href='https://twitter.com/coolcsh'>Scott Hunter</a>!!! 🤯 We chatted about Blazor in .NET 8; C#12 interc ... Show More
1h 9m
Jan 2023
#4 Geeking out on .NET and C# with David Fowler
In this episode Nick has a two and a half hour geek out with David Fowler about everything .NET and C#. David Fowler is a Partner Software Architect at Microsoft and is one of the most influencial people in the .NET ecosystem. He is the co-creator of Nuget, Kudu, SignalR and of c ... Show More
2h 29m
Nov 2023
Keynotes, Extensions, and C# Dev kit with Leslie Richardson
Leslie gives Jimmy and Jessica a behind the scenes look at keynotes. We talk about teleprompters and backups. We dive into the C# Dev Kit and even more extensions with VisualStudio.Extensibility. Leslie is a product manager on the .NET / C# Developer Experience team and the host ... Show More
51m 25s
Jul 2023
Greenest Programming Languages -- Stephan Schmidt // Amazing CTO
What is the greenest programming language? More and more CTOs are getting asked about the CO2 and energy footprint of their operations. They start by calculating their AWS energy usage, but do you need a greener programming language? Will the CEO of the future tell developers whi ... Show More
50m 56s
Jun 2024
.NET Unwrapped: From Workflow Engines to Identity, A Developer's Journey with Dustin Metzgar
<h3>Avalonia XPF</h3> <p>This episode of The Modern .NET Show is supported, in part, by <a href= "http://avaloniaui.net/themoderndotnetshow?utm_source=Podcasts&utm_campaign=The+.Modern+NET+Show+s6e20" target="_blank" rel="noopener">Avalonia XPF</a>, a binary-compatible cross-plat ... Show More
1h 22m