martinesmann
Niner since 2009
-
MDCC TechTalk - Fun with type functions
Avg Rating: 5
(2)by Simon Peyton Jones, Principal Researcher, Microsoft Research
Today's most widely used technology, by far, for static program verification is the ubiquitous type checker. Alas, static type systems inevitably exclude some good programs; and allow some bad ones. Thus motivated, Simon describes some...
-
MDCC TechTalk - Classes, Jim, but not as we know them
Avg Rating: 5
(2)by Simon Peyton Jones, Principal Researcher, Microsoft Research
Haskell is now quite widely used, but its most important contributions are the ideas that it embodies. In this talk Simon focuses on one of these ideas, namely type classes, with a few anecdotes and reflections along the way about the process...
-
TechTalk - Research in Software Engineering
Avg Rating: 0
by Nikolaj Bjorner, Senior Researcher, Microsoft Research
The Research in Software Engineering (RiSE) group at Microsoft Research in Redmond works on several dimensions related to software engineering, including logical foundations, program verification, testing, analysis, empirical software analysis,... -
CloudTalk: Architecting Software for the Cloud
Avg Rating: 0
by Mike Ehrenberg
The emergence of cloud technology represents a significant generational shift in software architecture. Mike will share insights in what customers seek in a move to cloud-delivered software, and how delighting those customers impacts the architecture, design and development of cloud-based... -
Extreme Scaling with SQL Azure
Avg Rating: 0
SQL Azure er Microsofts nye strategi for at gemme dine data i skyen, men hvad gør man, når man overskrider den meget omtalte 10/50GB grænse. Dette er hvor sharding eller separation kommer i spil - denne viser viser dig, hvordan det kan gøres på et OLTP system og viser dig samtidig nogle af de almindelige...
-
MDCC TechTalk - Advanced .NET Debugging (part 2)
Avg Rating: 5
(1)Part 1: http://channel9.msdn.com/posts/MDCC-TechTalk-Advanced-NET-Debugging-part-1
What do you do, when your .NET application crashes on the production servers and you can't reproduce the bug in-house? How do you detect memory leaks in a .NET application, when you can't inspect the memory usage from...
-
MDCC TechTalk - Advanced .NET Debugging (part 1)
Avg Rating: 5
(1)Part 2: http://channel9.msdn.com/posts/MDCC-TechTalk-Advanced-NET-Debugging-part-2
What do you do, when your .NET application crashes on the production servers and you can't reproduce the bug in-house? How do you detect memory leaks in a .NET application, when you can't inspect the memory usage from...
-
TechTalk - RESTful Application Protocols, From Design to Implementation
Avg Rating: 4
(1)Challenging the notion that REST is suitable only for simple CRUD-based data services, in this TechTalk Ian Robinson will show how to implement a complex business process as part of a RESTful application. Using techniques drawn from the forthcoming O'Reilly book "REST in Practice", he describes...
-
TechTalk - NUI - What’s in a Name?
Avg Rating: 5
(13)Natural User Interface, or NUI, is one of the favourite flavours du jour in certain interaction design and user experience circles. On the one hand, the term signals a change from the Graphical User Interace, or GUI, that has been prevalent since the early 1980s. In many ways, that is good. Not that...
-
Kristian Kristensen - Iron* - An Introduction to Getting Dynamic on .NET
Avg Rating: 3
(1)In recent years dynamically typed languages have received more and more attention on the .NET platform. Initially, an implementation of Python showed up. Later, the Dynamic Language Runtime (DLR) appeared which made it much easier to implement dynamically typed languages on .NET. This session explores...
Staff
Here is a list of Channel 9 staff members.
Teaching programming language concepts with F#, part 1
Sep 11, 2010 at 7:05 AMThanks for your great comments and positive feedback
Have any of you downloaded the “lecture notes” (it’s actually closer to being a book) and what did you think of it?
Should I ask Peter to do one more lecture?
Pumping Iron: Dynamic Languages on .NET
Sep 21, 2009 at 11:06 AMI totally agree! We don’t have a great tooling story to tell in Visual Studio!
But fortunately you can change and influence on that, by giving your vote too exactly that feature request on Microsoft Connect!
Want to see IronPython support in a future version of Visual Studio?
https://connect.microsoft.com/VisualStudio/feedback/ViewFeedback.aspx?FeedbackID=475830
(Link taken from ironpython.codeplex.com)
Pumping Iron: Dynamic Languages on .NET
Sep 21, 2009 at 10:59 AMPoint taken! the skydrive url’s are probably not the best for sharing.
If it’s still not working you can grab the slides from this url instead: http://diku.dk/begivenheder/DIKUtalks/diku_talk_1/Pumping_Iron.pdf/