Videos: 7921 Likes: 122,054 Views: 169,652,417

Videos by: Microsoft

F*: Tactics, SMT, and metaprogramming

1 day ago
I’ll present the incipient tactics engine for F*, a programming language aimed at verification with an SMT backend. In the quest to make both F* proofs faster and more reliable and the language itself more extensible, we provide a way for user programs to manipulate internal compiler structures for breaking down proof obligations or computing […]

TWC9: Windows Community, Open Source @ Microsoft, NuGet gets a New Look and much more…

3 days ago
This week on Channel 9, guest hosts Robert Green and Scott Klein discuss the week’s top developer news, including; [00:44] Windows Community [01:33] Windows Template Studio 1.2 released! [Clint Rutkas],  [02:38] Gets a Facelift [Jon Chu] [03:45] Open Source at Microsoft [05:09] PowerShell 6.0 Roadmap: CoreCLR, Backwards Compatibility, and More! [Joey Aiello] [06:45] […]

Episode 161: Josh Doody on Resumes, Interviewing, and Negotiation with Josh Doody

3 days ago
We talk with Josh Doody about resumes, interviewing, and salary negotiation. The Facebook Algorithm mom problem, and an animated gif embedded in bacteria. Subscribe in any podcast app by searching for "ms dev show"   Subscribe on YouTube ➥: Watch on Channel 9 ➥: Subscribe on iTunes ➥:   Show page with […]

Azure Analysis Services with Azure SQL DB and Data Warehouse

4 days ago
Josh Caplan, a Sr. Program Manager from the Azure Analysis Services team, joins Scott Hanselman to show how you can get started using Azure Analysis Services with Azure SQL DB and Data Warehouse. It includes how to build your first data model and how to use Analysis Services to benefit your users. Follow @SHanselman Follow @JoshCaplan1984 […]

Corsair Launches Beautiful New Line of Gaming PC’s – Corsair One

4 days ago
We recently caught up with Corsair, best known for device components, to talk about their decision to bring a full Corsair gaming desktop to market in the Corsair One desktop. What happens when a components manufacturer builds their own complete system? The answer to that question may surprise you. Watch this episode of OEM TV to […]

Building U-SQL EXTRACT statements using Data Lake Tools for Visual Studio

5 days ago
Data Lake Tools for Visual Studio makes it easy to generate a U-SQL EXTRACT statement for a text file.

Johnson Controls reinvents the thermostat

5 days ago
Heating and cooling account for roughly 48% of the energy use in a typical U.S. home, making it the largest energy expense for most families. In the commercial building sector, the cost is approximately 40%. Johnson Controls, one of the leading providers of HVAC, Fire and Security systems in the world, is changing how spaces […]

Tech helps seamstresses take the next step: The Empowerment Plan’s Microsoft Store Workshop

5 days ago
Shy Averett can’t think of a single job that doesn’t require computer skills. As the Community Development Specialist at Greater Detroit’s Microsoft Store, she’s intent on preparing every person she encounters to take on that challenge. That’s why her team partnered with local nonprofit The Empowerment Plan to host a 10-week technology workshop where employees, […]

The Empowerment Plan: Textiles and tech on the road to self-sufficiency

5 days ago
The Empowerment Plan is a different kind of employer. They hire homeless parents and teach valuable trade skills, so employees can find stable footing for their families. But they soon realized that wasn’t enough. Now, every day at 3PM they stop sewing, and start learning. The training lets them move on from The Empowerment Plan […]

Harnessing A Chatbot to Digitally Enable Inclusive Sport

6 days ago
In the relatively new space of Conversations as a Platform, many organizations have begun to incorporate chat bots into the structure of their business as tools to drive sales and manage customer relations. But beyond these use cases, what else can bots do? Recently viaSport British Columbia, a Vancouver-based not-for-profit with a mission to promote […]

A Technical Overview of Building an Inclusive Chat Bot for Athletes with Disabilities

6 days ago
The objective of this project was to build a conversational interface and analytics dashboard for viaSport BC’s newest inclusive sport initiative. Tasked by the provincial government to be the lead agency responsible for promoting and developing amateur sport in British Columbia, viaSport’s purpose is to champion positive changes so that more British Columbians thrive via […]

Spark Performance Tuning – Part 4

6 days ago
This week’s Data Exposed show welcomes back Maxim Lukiyanov to talk more about Spark performance tuning with Spark 2.x. Maxim is a Senior PM on the big data HDInsight team and is in the studio today to present the final part of his 4-part series. Topics in today’s video: [00:45] – Intro [02:15] – Advanced […]