Sveriges mest populära poddar
Hanselminutes with Scott Hanselman
VetenskapTeknologi

Microsoft Research: Spec#

35 min•22 april 2008

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#!

Fler avsnitt av Hanselminutes with Scott Hanselman

Visa alla avsnitt av Hanselminutes with Scott Hanselman
Making opinionated AI tooling decisions with Nimbalyst's Greg Hinkle
•32 min
The Joy of Unplugging Cables: Kelly Shortridge on Security Resilience
•33 min
Why Tori Westerhoff says we should talk to strangers
•36 min
Building the Internet with sendmail's Eric Allman
•33 min
A cognition engine for science with Allen Stewart
•31 min
Agentic Workflows with Don Syme
•33 min
Inference Engineering with Baseten's Philip Kiely
•33 min
That's good Mojo - Creating a Programming Language for an AI world with Chris Lattner
•41 min
The Rise of The Claw with OpenClaw's Peter Steinberger
•44 min
The AI Vampire with Gas Town's Steve Yegge
•35 min

Hanselminutes with Scott Hanselman med Scott Hanselman finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.