Channel 9 - Entries tagged with Computer Science Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with Computer Science http://channel9.msdn.com/Tags/computer-science Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Tags/computer-science en Sat, 25 May 2013 18:10:06 GMT Sat, 25 May 2013 18:10:06 GMT Rev9 48 2 25 Nikolai Tillmann and Peli de Halleux: Inside Code Digger Code Digger is a lightweight version of Pex that allows you to explore public .NET methods in Portable Libraries directly from the Visual Studio 2012 code editor. It's a highly simplified and nifty way to leverage the power of Pex and Z3, one of the world's fastest constraint solvers.

So, how does Code Digger actually work? Why the PCL requirement? What happens when you click on the magic button, Alice?

Nikolai Tillmann and Peli de Halleux, software developers extraordinaire on MSR's RiSE team, join us again to dig into Code Digger in a casual setting (Nikolai's office, so native habitat). There is lots of geeking out at the whiteboard, of course. There is also a brief demo at the end. Tune in.

 

]]> http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger Code Digger is a lightweight version of Pex that allows you to explore public .NET methods in Portable Libraries directly from the Visual Studio 2012 code editor. It's a highly simplified and nifty way to leverage the power of Pex and Z3, one of the world's fastest constraint solvers. So, how does Code Digger actually work? Why the PCL requirement? What happens when you click on the magic button, Alice?Nikolai Tillmann and Peli de Halleux, software developers extraordinaire on MSR's RiSE team, join us again to dig into Code Digger in a casual setting (Nikolai's office, so native habitat). There is lots of geeking out at the whiteboard, of course. There is also a brief demo at the end. Tune in.   1964 http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger Tue, 07 May 2013 12:45:00 GMT http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger Charles Charles 16 http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger/RSS .NET Computer Science Microsoft Research Nikolai-Tillmann Peli de Halleux PEX Programming programming tools Visual Studio Z3 Immo Landwerth and Andrew Arnott: Inside Immutable Collections Immutable Collections are a new set of immutable types for .NET. We covered the high level aspects of this new technology a few months back when Erik Meijer interrogated (in his friendly way) the PM of the project, Immo Landwerth, and the lead developer, Andrew Arnott. Since this time, they have received a lot of feedback (thank you!) and have also been busy refining and optimizing their code. Here, Andrew and Immo go deep into how this stuff works and why it's designed the way it is. We talk about how to use these new types and how not to. We learn what the team has been working on and may work on for future releases. As is the case with any Going Deep episode, this is long form conversation and, well, deep. Tune in!

More on Immutable Collections (download the preview versions via NuGet):

The NuGet package preview includes these types:

  • ImmutableStack<T>
  • ImmutableQueue<T>
  • ImmutableList<T>
  • ImmutableHashSet<T>
  • ImmutableSortedSet<T>
  • ImmutableDictionary<K, V>
  • ImmutableSortedDictionary<K, V>

Interfaces for each of these types are also defined to facilitate exchange of immutable collection types that may be implemented differently to optimize for very specific performance or memory requirements.

See Andrew's blog for more detailed information (on immutable types for .NET and more. Lots of great info...).

]]> http://channel9.msdn.com/Shows/Going+Deep/Immo-Landwerth-and-Andrew-Arnott-Inside-Immutable-Collections Immutable Collections&nbsp;are a new set of immutable types for .NET. We covered the high level aspects of this new technology a few months back when Erik Meijer interrogated (in his friendly way) the PM of the project, Immo Landwerth, and the lead&nbsp;developer,&nbsp;Andrew Arnott. Since this time, they have received a lot of feedback (thank you!)&nbsp;and have also been busy refining and optimizing their code. Here, Andrew and Immo go deep into how this stuff works and why it's designed the way it is. We talk about how to use these new types and how not to. We learn what the team has been working on and may work on for future releases.&nbsp;As is the case with any Going Deep episode,&nbsp;this is&nbsp;long form conversation&nbsp;and, well, deep. Tune in!More on Immutable Collections (download the preview versions via NuGet): The NuGet package preview includes these types: ImmutableStack&lt;T&gt; ImmutableQueue&lt;T&gt; ImmutableList&lt;T&gt; ImmutableHashSet&lt;T&gt; ImmutableSortedSet&lt;T&gt; ImmutableDictionary&lt;K, V&gt; ImmutableSortedDictionary&lt;K, V&gt; Interfaces for each of these types are also defined to facilitate exchange of immutable collection types that may be implemented differently to optimize for very specific performance or memory requirements. See Andrew's blog for more detailed information (on immutable types for .NET and more. Lots of great info...). 3258 http://channel9.msdn.com/Shows/Going+Deep/Immo-Landwerth-and-Andrew-Arnott-Inside-Immutable-Collections Tue, 19 Mar 2013 18:08:54 GMT http://channel9.msdn.com/Shows/Going+Deep/Immo-Landwerth-and-Andrew-Arnott-Inside-Immutable-Collections Charles Charles 12 http://channel9.msdn.com/Shows/Going+Deep/Immo-Landwerth-and-Andrew-Arnott-Inside-Immutable-Collections/RSS .NET BCL Computer Science Programming Software Engineering Programming the Cloud with Actors: Inside ActorFx ActorFx is an MSOpenTech open source project with the goal of providing a non-prescriptive, language-independent model of dynamic distributed objects. This will in turn provide a framework and infrastructure on top of which highly available data structures and other logical entities can be implemented.

ActorFx (aka Ax) is based on the idea of the Actor Model developed by Carl Hewitt. Erik Meijer figured this model would fit perfectly into the realm of managing data in the cloud. See his paper on the topic, which is the basis for the ActorFx project. You can learn more about the Actor Model in this Channel9 video with Carl and Erik.

Here, the lead developers of ActorFx - Brian Grunkemeyer and Joe Hoag - join us to dig into some of the details of the technology. We also discuss the potential of Actors in the cloud, the problems they solve, how you program with them on the client (CloudList<T> is an interesting "cloud-enabled" type, for example), and potential applications of this approach to scalable distributed computing.

]]> http://channel9.msdn.com/Shows/Going+Deep/Programming-the-Cloud-with-Actors-Inside-ActorFx ActorFx is an MSOpenTech open source project&nbsp;with the goal of providing a non-prescriptive, language-independent model of dynamic distributed objects. This will in turn provide a framework and infrastructure on top of which highly available data structures and other logical entities can be implemented. ActorFx (aka&nbsp;Ax)&nbsp;is based on the idea of the Actor Model developed by Carl Hewitt. Erik Meijer&nbsp;figured this model would fit perfectly into the realm of managing data in the cloud. See&nbsp;his paper on the topic, which&nbsp;is the basis for the ActorFx project. You can&nbsp;learn more about the Actor Model&nbsp;in this Channel9 video with Carl and Erik. Here, the lead developers of ActorFx - Brian Grunkemeyer and Joe Hoag -&nbsp;join us to dig into some of the details of the technology. We also discuss the potential of Actors in the cloud, the problems they solve, how you program with them on the client (CloudList&lt;T&gt; is an interesting &quot;cloud-enabled&quot; type, for example), and potential applications of this approach to scalable distributed computing. 2691 http://channel9.msdn.com/Shows/Going+Deep/Programming-the-Cloud-with-Actors-Inside-ActorFx Wed, 20 Feb 2013 17:20:39 GMT http://channel9.msdn.com/Shows/Going+Deep/Programming-the-Cloud-with-Actors-Inside-ActorFx Charles Charles 25 http://channel9.msdn.com/Shows/Going+Deep/Programming-the-Cloud-with-Actors-Inside-ActorFx/RSS Cloud Computing Computer Science Distributed Computing Programming Windows Azure Erik Meijer, Immo Landwerth, and Andrew Arnott: Immutable Collections for .NET Erik Meijer interviews .NET team PM Immo Landwerth and Software Developer Andrew Arnott. The topic is Immutable Collections, a new set of immutable types for .NET. You can play around with these today as part of a preview release (NuGet link below). Tune in!

Niners asked questions in advance and some of them were addressed. Thanks again for asking and sorry we didn't get to all of them, but many of the topics were covered (what, why, how, etc...).

Over the last years .NET added many features to make writing multithreaded applications easier. This includes the Task Parallel Library (TPL) as well as the new async/await keywords features to reduce the friction when writing asynchronous code. However, it's still challenging to keep mutable state under control when multiple threads are involved. A common approach is to make use of immutable state that can be passed freely between different threads.
- Immo Landwerth

The NuGet package preview includes these types:

  • ImmutableStack<T>
  • ImmutableQueue<T>
  • ImmutableList<T>
  • ImmutableHashSet<T>
  • ImmutableSortedSet<T>
  • ImmutableDictionary<K, V>
  • ImmutableSortedDictionary<K, V>

Interfaces for each of these types are also defined to facilitate exchange of immutable collection types that may be implemented differently to optimize for very specific performance or memory requirements.

See Andrew's blog for more detailed information (on immutable types for .NET and more. Lots of great info...).

]]> http://channel9.msdn.com/posts/Erik-Meijer-Immo-Landwerth-and-Andrew-Arnott-Immutable-Collections-for-NET Erik Meijer interviews .NET team PM Immo Landwerth and Software Developer&nbsp;Andrew Arnott. The topic is Immutable Collections, a new set of immutable types for .NET. You can play around with these today as part of a preview release (NuGet link below). Tune in! Niners asked questions in advance and some of them were addressed. Thanks again for asking and sorry we didn't get to all of them, but many of the topics were covered (what, why, how, etc...). Over the last years .NET added many features to make writing multithreaded applications easier. This includes the Task Parallel Library (TPL) as well as the new async/await keywords features to reduce the friction when writing asynchronous code. However, it's still challenging to keep mutable state under control when multiple threads are involved. A common approach is to make use of immutable state that can be passed freely between different threads. - Immo Landwerth The NuGet package preview includes these types: ImmutableStack&lt;T&gt; ImmutableQueue&lt;T&gt; ImmutableList&lt;T&gt; ImmutableHashSet&lt;T&gt; ImmutableSortedSet&lt;T&gt; ImmutableDictionary&lt;K, V&gt; ImmutableSortedDictionary&lt;K, V&gt; Interfaces for each of these types are also defined to facilitate exchange of immutable collection types that may be implemented differently to optimize for very specific performance or memory requirements. See Andrew's blog for more detailed information (on immutable types for .NET and more. Lots of great info...). 3013 http://channel9.msdn.com/posts/Erik-Meijer-Immo-Landwerth-and-Andrew-Arnott-Immutable-Collections-for-NET Wed, 16 Jan 2013 16:56:16 GMT http://channel9.msdn.com/posts/Erik-Meijer-Immo-Landwerth-and-Andrew-Arnott-Immutable-Collections-for-NET Charles Charles 16 http://channel9.msdn.com/posts/Erik-Meijer-Immo-Landwerth-and-Andrew-Arnott-Immutable-Collections-for-NET/rss .NET Computer Science Erik Meijer Expert to Expert Programming YOW! 2012: Aino Corry - Teaching Modern Computer Science Aino Corry is YOW!'s technical conference editor and retrospectives facilitator. She holds a masters degree and a phD in computer science (she also happens to teach computer scientists how to teach computer science). She has 12 years of experience with Patterns in Software Development, and teaches OO design, software architecture and development in academia and industry. To put it simply, Aino is really smart!

Here, we discuss modern computer science, teaching computer science, Aino's academic and industrial experience, and more. Really great to listen to Aino's story and perspectives on modern computing. Tune in!

]]> http://channel9.msdn.com/posts/YOW-2012-Aino-Corry-Teaching-Modern-Computer-Science Aino Corry is YOW!'s&nbsp;technical conference editor and retrospectives facilitator. She holds a masters degree and a&nbsp;phD in computer science (she also happens to teach computer scientists how to teach computer science). She has 12 years of experience with Patterns in Software Development, and teaches OO design, software architecture and development in academia and industry. To put it simply, Aino is really smart! Here, we discuss modern computer science, teaching computer science, Aino's academic and industrial experience, and more. Really great to listen to Aino's story and perspectives on modern computing. Tune in! 1121 http://channel9.msdn.com/posts/YOW-2012-Aino-Corry-Teaching-Modern-Computer-Science Thu, 20 Dec 2012 20:54:45 GMT http://channel9.msdn.com/posts/YOW-2012-Aino-Corry-Teaching-Modern-Computer-Science Charles Charles 5 http://channel9.msdn.com/posts/YOW-2012-Aino-Corry-Teaching-Modern-Computer-Science/rss Computer Science Programming YOW! 2012 YOW! 2012: Marko Rodriguez - Graph Systems and Databases Dr. Marko A. Rodriguez is the Founder and CEO of the graph technology firm Aurelius and creator of the graph traversal language Gremlin. He has focused his academic and commercial career on graph theory, network science, and graph-system architecture and development.

Here, we learn about graph systems, database architectures, and high level graph theory. Tune in. Lots to learn!

]]> http://channel9.msdn.com/Shows/Going+Deep/YOW-2012-Marko-Rodriguez-Graph-Systems-and-Databases Dr. Marko A. Rodriguez is the Founder and CEO of the graph technology firm Aurelius and creator of the graph traversal language Gremlin. He has focused his academic and commercial career on graph theory, network science, and graph-system architecture and development.Here, we learn about graph systems, database architectures, and high level graph theory. Tune in. Lots to learn! 2612 http://channel9.msdn.com/Shows/Going+Deep/YOW-2012-Marko-Rodriguez-Graph-Systems-and-Databases Thu, 20 Dec 2012 20:21:57 GMT http://channel9.msdn.com/Shows/Going+Deep/YOW-2012-Marko-Rodriguez-Graph-Systems-and-Databases Charles Charles 3 http://channel9.msdn.com/Shows/Going+Deep/YOW-2012-Marko-Rodriguez-Graph-Systems-and-Databases/RSS Cloud Computing Computer Science Programming Database YOW! 2012 Frank McSherry: Introduction to Naiad and Differential Dataflow Naiad is an investigation of data-parallel dataflow computation in the spirit of Dryad and DryadLINQ, but with a focus on incremental computation. Naiad introduces a new computational model, differential dataflow, operating over collections of differences rather than collections of records, and resulting in very efficient implementations of programming patterns that are expensive in existing systems. [Source: Microsoft Research]

"Our goal with Naiad was to address one of the recurring requests for systems like Dryad and DryadLINQ, incremental recomputation, but in so doing found that the necessary mechanisms gave rise to a new computational model, differential dataflow, capable of efficiently processing substantially more complex computations than current systems support, namely incremental and arbitrarily nested iterative dataflow computation."

Microsoft Researcher Frank McSherry joins us to discuss what this all means and how it would be useful in the big data problem space (a big problem space...). Demos included, of course.

Resources:

Download Naiad.

Read the Naiad tech report.

Learn more about Naiad on the MSR SVC Big Data blog.

 

 

]]> http://channel9.msdn.com/posts/Frank-McSherry-Introduction-to-Naiad-and-Differential-Dataflow Naiad is an investigation of data-parallel dataflow computation in the spirit of Dryad and DryadLINQ, but with a focus on incremental computation. Naiad introduces a new computational model, differential dataflow, operating over collections of differences rather than collections of records, and resulting in very efficient implementations of programming patterns that are expensive in existing systems. [Source: Microsoft Research]&quot;Our goal with Naiad was to address one of the recurring requests for systems like Dryad and DryadLINQ, incremental recomputation, but in so doing found that the necessary mechanisms gave rise to a new computational model, differential dataflow, capable of efficiently processing substantially more complex computations than current systems support, namely incremental and arbitrarily nested iterative dataflow computation.&quot;Microsoft Researcher Frank McSherry joins us to discuss what this all means and how it would be useful in the big data problem space (a big problem space...). Demos included, of course.Resources: Download Naiad. Read the Naiad tech report. Learn&nbsp;more about Naiad on the MSR SVC Big Data blog. &nbsp; &nbsp; 2115 http://channel9.msdn.com/posts/Frank-McSherry-Introduction-to-Naiad-and-Differential-Dataflow Thu, 08 Nov 2012 18:29:58 GMT http://channel9.msdn.com/posts/Frank-McSherry-Introduction-to-Naiad-and-Differential-Dataflow Charles Charles 3 http://channel9.msdn.com/posts/Frank-McSherry-Introduction-to-Naiad-and-Differential-Dataflow/rss Computer Science Microsoft Research Programming Big Data Naiad Erik Meijer - Functional Programming From First Principles Our favorite iconoclast, Erik Meijer, presented a very interesting talk at a recent GOTO Chicago event, Functional Programming Night. He originally planned on doing his popular "Fundamentalist Functional Programming" talk, but instead decided to address FP from a slightly different angle - "Functional Programming from First Principles". (Speaking of FP first principles, if you haven't seen Erik's FP lecture series, well, you really should!).

Has Erik changed his mind about rampant side effects and imperative programming? What's going to happen to the poor monkey Rich Hickey made reference to several times in his excellent talk The Database as a Value (which he presented after Erik's talk)? Is Erik still a functional programming fundamentalist? Watch and decide. As you'd expect, it's high energy, brilliant Erik all the way.

Get Erik's slides.

Tune in. Enjoy.

]]> http://channel9.msdn.com/posts/Erik-Meijer-Functional-Programming-From-First-Principles Our favorite iconoclast, Erik Meijer, presented a very interesting talk at a recent GOTO Chicago event, Functional Programming Night. He originally planned on doing his popular &quot;Fundamentalist Functional Programming&quot; talk, but instead decided to address FP from a slightly different angle - &quot;Functional Programming from First Principles&quot;. (Speaking of FP first principles, if you haven't seen Erik's FP lecture series, well, you really should!). Has Erik changed his mind about rampant side effects and imperative programming? What's going to happen to the poor monkey Rich Hickey made reference to several times in his excellent talk The Database as a Value (which he presented after Erik's talk)? Is Erik still a functional programming fundamentalist? Watch&nbsp;and decide. As you'd expect, it's high energy, brilliant&nbsp;Erik all the way. Get Erik's slides.Tune in. Enjoy. 3088 http://channel9.msdn.com/posts/Erik-Meijer-Functional-Programming-From-First-Principles Thu, 06 Sep 2012 15:30:22 GMT http://channel9.msdn.com/posts/Erik-Meijer-Functional-Programming-From-First-Principles Charles Charles 12 http://channel9.msdn.com/posts/Erik-Meijer-Functional-Programming-From-First-Principles/rss Computer Science Erik Meijer Functional Programming Programming Languages GOTO Chicago The Lambda Calculus, General Term Rewriting and Food Nutrition Brian Beckman and Erik Meijer are back with another episode of BMO! Smiley

In this installment, Brian and Erik spend some time explaining the Lambda Calculus and most of the time digging into a real world application of general term rewriting. The Lambda Calculus is a specialized form of term rewriting (so, it's not really general term rewriting). It's OK... Brian will explain all of this (and more) by way of his general term rewriting system for analyzing the accuracy of Food Nutrition Labels (NFL). If you're curious about term rewriting and its practical application outside of theoretical computer science, then you're in luck. Brian and Erik engage the concepts at play here in their usual fun, engaging, brilliant ways.

Tune in. Enjoy. Learn.

]]> http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Beckman-Meijer-Overdrive-The-Lambda-Calculus-and-Food-Nutrition Brian Beckman and Erik Meijer are back with another episode of BMO! In this installment, Brian and Erik&nbsp;spend some time explaining&nbsp;the Lambda Calculus and most of the time digging into a real world&nbsp;application of&nbsp;general term rewriting.&nbsp;The Lambda Calculus is a specialized form of term rewriting (so, it's not really general term rewriting). It's OK... Brian will explain all of this (and more) by way of his general term rewriting system for analyzing the accuracy of Food Nutrition Labels (NFL). If you're curious about term rewriting and its practical application outside of theoretical computer science, then you're in luck. Brian and Erik engage the concepts at play here in their usual fun, engaging, brilliant ways. Tune in. Enjoy. Learn. 3443 http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Beckman-Meijer-Overdrive-The-Lambda-Calculus-and-Food-Nutrition Tue, 26 Jun 2012 12:00:00 GMT http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Beckman-Meijer-Overdrive-The-Lambda-Calculus-and-Food-Nutrition Charles Charles 17 http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Beckman-Meijer-Overdrive-The-Lambda-Calculus-and-Food-Nutrition/RSS Brian Beckman Computer Science Erik Meijer Functional Programming Mathematics Microsoft Personalities Programming Languages Jim Radigan: Inside Auto-Vectorization, 1 of n The VC++ 2012 auto-vectorizer tries to make loops in your code run faster by automatically vectorizing your code using the SSE instructions available in all current mainline Intel and AMD chips. In Visual C++ 2012, auto-vectorization is on by default and requires only that you write your code—that is, there are no compiler switches, #pragmas, or hints. It just works. Of course, it's one thing to say that, but how does it work, exactly? When does it vectorize and when doesn't it? Why?

Auto-vectorization is a powerful compiler feature. In VS 12 it represents outstanding engineering by a few folks on the Microsoft Visual C++ compiler team. The engineering leader of this team is Jim Radigan. Fortunately for us, Jim has agreed to do a series of C9 lectures digging into the nuts and bolts of automatic vectorization in general and specifically as it relates to the latest version of VC++. Thank you, Jim!

In the first part of this n-part series, Jim introduces the series, describes improvements to the VC++ 2012 compilers, shares, introduces auto-vectorization, demos a few apps that benefit from compiler-optimized performance via auto-vectorization, and begins to describe how/when user code is vectorized (typical and atypical patterns alike - more to come as the lectures progress, of course). Over the course of this series, Jim will present both the practical and theoretical foundations of auto-vectorization.

(You can learn more about auto-vectorization in VC++ by reading the blog posts by Jim Hogg, another member of the VC++ compiler team working on this technology.)

Tune in. Ask questions. Learn.

]]> http://channel9.msdn.com/Series/C9-Lectures-Jim-Radigan-Inside-Auto-Vectorization/Jim-Radigan-Inside-Auto-Vectorization-1-of-n The&nbsp;VC&#43;&#43; 2012 auto-vectorizer tries to make loops in your code run faster by automatically vectorizing your code using the SSE instructions available in all current mainline Intel and AMD chips. In Visual C&#43;&#43; 2012, auto-vectorization is on by default and requires only that you write your code—that is, there are no compiler switches, #pragmas, or hints. It just works. Of course, it's one thing to say that, but how does it work, exactly? When does it vectorize and when doesn't it? Why?Auto-vectorization&nbsp;is a powerful compiler feature. In VS 12&nbsp;it represents outstanding engineering by a few folks on the Microsoft Visual C&#43;&#43; compiler team. The engineering leader of this team is Jim Radigan. Fortunately for us, Jim has agreed to do a series of C9 lectures digging into the nuts and bolts of automatic vectorization in general and specifically as it relates to the latest version of VC&#43;&#43;. Thank you, Jim! In the first part of this n-part series, Jim introduces the series, describes&nbsp;improvements&nbsp;to&nbsp;the VC&#43;&#43; 2012 compilers, shares, introduces auto-vectorization, demos a few apps that&nbsp;benefit from&nbsp;compiler-optimized performance&nbsp;via auto-vectorization, and begins to describe how/when user code is vectorized (typical and atypical patterns alike - more to come as the lectures progress, of course). Over the course of this series, Jim will present both the practical and&nbsp;theoretical&nbsp;foundations of auto-vectorization. (You can learn more about auto-vectorization in VC&#43;&#43;&nbsp;by reading the blog posts by Jim Hogg, another member of the VC&#43;&#43; compiler team working on this technology.)Tune in. Ask questions. Learn. 2123 http://channel9.msdn.com/Series/C9-Lectures-Jim-Radigan-Inside-Auto-Vectorization/Jim-Radigan-Inside-Auto-Vectorization-1-of-n Tue, 19 Jun 2012 17:17:10 GMT http://channel9.msdn.com/Series/C9-Lectures-Jim-Radigan-Inside-Auto-Vectorization/Jim-Radigan-Inside-Auto-Vectorization-1-of-n Charles Charles 11 http://channel9.msdn.com/Series/C9-Lectures-Jim-Radigan-Inside-Auto-Vectorization/Jim-Radigan-Inside-Auto-Vectorization-1-of-n/RSS C++ C9 Lectures Compilers Computer Science Visual C++ _techmeme Visual Studio 2012 What is a database, really? Alice wanders down a rabbit hole one day and finds Erik Meijer and Brian Beckman in the C9 studio. What's going to happen? What does she find? There's a plastic mouse, a hard drive, a hammer, database acid, a whiteboard and a couple geniuses in very rare form.

Erikand Brian explain what a database really is... Erik drinks hard drive acid, takes a hammer to a mouse in search of the database it hides (Brian's brawn is also employed in this endeavor), and Brian paints category theoretic expressions on the whiteboard. This isn't what you think it is, Alice. It's much, much more.

Enjoy. You don't want to miss this one. Smiley

]]> http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Brian-Beckman-and-Erik-Meijer-What-is-a-database-really Alice wanders down a rabbit hole one day and finds Erik Meijer&nbsp;and Brian&nbsp;Beckman&nbsp;in the C9 studio. What's going to happen? What does she find?&nbsp;There's a plastic mouse, a hard drive, a hammer, database acid, a whiteboard and a couple geniuses in very rare form. Erikand Brian explain what a database really is... Erik drinks hard drive acid,&nbsp;takes&nbsp;a hammer to a mouse in search of the database it hides (Brian's brawn is also employed in this endeavor),&nbsp;and Brian paints category theoretic expressions on the whiteboard. This isn't what you think it is, Alice. It's much, much more.Enjoy. You don't want to miss this one. 1121 http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Brian-Beckman-and-Erik-Meijer-What-is-a-database-really Thu, 31 May 2012 18:12:10 GMT http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Brian-Beckman-and-Erik-Meijer-What-is-a-database-really Charles Charles 16 http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Brian-Beckman-and-Erik-Meijer-What-is-a-database-really/RSS Brian Beckman Computer Science Data Erik Meijer Microsoft Personalities Theory E2E: Erik Meijer and John Cook - R, Statistical Computing, Blogging and More At Lang.NEXT 2012, several conversations happened in the "social room", which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9.

Here, Erik interviews John Cook, an applied Mathematician currently working at the M.D. Anderson Cancer Research Center. R is a language and environment for statistical computing and graphics (see his Lang.NEXT 2012 session on R here). John is an avid blogger.

Tune in. Meet John and learn more about R and how he uses it to solve real world statistical problems in cancer research. You'll also get insights John's consistent sharing of and musings on a wide variety of technical topics. His blog is exceptional.

Thank you Erik and John for this excellent conversation.

]]> http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-John-Cook-R-Statistical-Computing-Blogging-and-More At Lang.NEXT 2012, several conversations happened in the &quot;social room&quot;, which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9. Here, Erik interviews John Cook, an applied Mathematician currently working at the M.D. Anderson Cancer Research Center. R is a language and environment for statistical computing and graphics (see his Lang.NEXT 2012 session on R here).&nbsp;John&nbsp;is an avid blogger.Tune in. Meet John and learn more about R and how he uses it to solve real world statistical problems in cancer research. You'll also get insights John's consistent sharing of and musings on&nbsp;a wide variety of&nbsp;technical topics. His blog is exceptional. Thank you Erik and John for this excellent conversation. 1764 http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-John-Cook-R-Statistical-Computing-Blogging-and-More Mon, 23 Apr 2012 12:45:00 GMT http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-John-Cook-R-Statistical-Computing-Blogging-and-More Charles Charles 0 http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-and-John-Cook-R-Statistical-Computing-Blogging-and-More/RSS Computer Science Erik Meijer Expert to Expert Mathematics _techmeme Lang.NEXT 2012 Stefan Karpinski and Jeff Bezanson - Julia Programming Language "Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library." - julialang.org

Here, we meet two members of the Julia design team - Stefan Karpinski and Jeff Bezanson - to get a casual peek inside Julia (why a new language, what makes it special, why "Julia" for the name, etc...). You can (and should!) watch Stefan and Jeff's Lang.NEXT 2012 session for more details (and more formality).

Tune in.

 

]]> http://channel9.msdn.com/Blogs/Charles/Stefan-Karpinski-and-Jeff-Bezanson-Julia-Programming-Language &quot;Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library.&quot; - julialang.org Here, we meet two members of the Julia design team - Stefan Karpinski and Jeff Bezanson -&nbsp;to get a casual peek inside Julia (why a new language, what makes it special, why &quot;Julia&quot; for the name, etc...). You can (and should!) watch Stefan and Jeff's Lang.NEXT 2012 session for more details (and more formality). Tune in. &nbsp; 1534 http://channel9.msdn.com/Blogs/Charles/Stefan-Karpinski-and-Jeff-Bezanson-Julia-Programming-Language Thu, 19 Apr 2012 12:30:00 GMT http://channel9.msdn.com/Blogs/Charles/Stefan-Karpinski-and-Jeff-Bezanson-Julia-Programming-Language Charles Charles 0 http://channel9.msdn.com/Blogs/Charles/Stefan-Karpinski-and-Jeff-Bezanson-Julia-Programming-Language/RSS Computer Science Programming Languages Technical Computing Lang.NEXT 2012 Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know, but were afraid to ask) At Lang.NEXT 2012, several conversations happened in the "social room", which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9. We'll begin with these Expert to Expert episodes with a "standing" conversation (participants stand comfortably close to the whiteboard) with computer scientists Carl Hewitt, Visiting Professor at Stanford University, creator of the Planner programming language, inventor of the Actor Model (the topic of this conversation), Clemens Szyperski, an MSR scientist working in the Connected Systems Group and Erik.

What are actors, exactly? No, really. What are they? When is an actor an actor? Everything you wanted to know about actors, but we're afraid to ask... It's all right here. Big thanks to Carl, Clemens and Erik. This is an excellent E2E(2E)! Smiley

]]> http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask At Lang.NEXT 2012, several conversations happened in the &quot;social room&quot;, which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9. We'll begin with these&nbsp;Expert to&nbsp;Expert episodes with&nbsp;a &quot;standing&quot; conversation (participants stand comfortably close to the whiteboard) with computer scientists Carl Hewitt, Visiting Professor at Stanford University, creator of the Planner programming language,&nbsp;inventor of the Actor Model (the topic of this conversation), Clemens Szyperski, an MSR scientist working in the Connected Systems Group and Erik. What are actors, exactly? No, really. What are they? When is an actor an actor? Everything you wanted to know about actors, but we're afraid to ask... It's all right&nbsp;here. Big thanks to Carl, Clemens and Erik. This is an excellent E2E(2E)! 2554 http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask Mon, 09 Apr 2012 12:00:00 GMT http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask Charles Charles 16 http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask/RSS Computer Science Erik Meijer Expert to Expert Programming Languages _techmeme Lang.NEXT 2012 Mads Torgersen, Donna Malayeri and Erik Meijer: (Re)Introducing Lang.NEXT Lang.NEXT is a programming languages conference, a geek festival for programming language designers and implementers from across the industry and academia. The goal is to share ideas and learn. The presentations, conversations, debates and arguments should prove quite enlightening.

Here, Event Chair Mads Torgersen, Speaker Chair Donna Malayeri and Iconoclast Erik Meijer join us to discuss the event, what it means, some who, some what. We go Old School.

Tune in.

]]> http://channel9.msdn.com/Blogs/Charles/Mads-Torgersen-Donna-Malayeri-and-Erik-Meijer-ReIntroducing-LangNEXT Lang.NEXT is&nbsp;a&nbsp;programming languages conference, a geek festival for programming language designers and implementers from across the industry and academia. The goal is to share ideas and learn. The presentations, conversations, debates and arguments should prove quite enlightening. Here, Event Chair Mads Torgersen, Speaker Chair&nbsp;Donna Malayeri and Iconoclast Erik Meijer join us to discuss the event, what it means, some who, some what.&nbsp;We go Old School. Tune in. 894 http://channel9.msdn.com/Blogs/Charles/Mads-Torgersen-Donna-Malayeri-and-Erik-Meijer-ReIntroducing-LangNEXT Fri, 16 Mar 2012 05:09:40 GMT http://channel9.msdn.com/Blogs/Charles/Mads-Torgersen-Donna-Malayeri-and-Erik-Meijer-ReIntroducing-LangNEXT Charles Charles 5 http://channel9.msdn.com/Blogs/Charles/Mads-Torgersen-Donna-Malayeri-and-Erik-Meijer-ReIntroducing-LangNEXT/RSS Computer Science Erik Meijer Programming Languages _techmeme Lang.NEXT 2012 Lang.NEXT 2012 is a cross-industry conference for programming language designers and implementers held on the MIcrosoft Campus in Redmond, Washington, April 2-4, 2012. With three days of talks, panels and discussion on leading programming language work from industry and research, Lang.NEXT is the place to learn, share ideas and engage with fellow programming language design experts and enthusiasts. Native, functional, imperative, object oriented, static, dynamic, managed, interpreted... It's a programming language geek fest. (And it's free)

Register here!

We have a great cast of characters speaking at this year's event. Experts and iconoclasts include:

Andrei Alexandrescu, Facebook

Andy Gordon, Microsoft

Andy Moran, Galois 

Donna Malayeri, Microsoft

Dustin Campbell, Microsoft

Erik Meijer, Microsoft

Gilad Bracha, Google

Herb Sutter, Microsoft

James Noble, Victoria University of Wellington

Jeroen Frijters, Sumatra Software

John Cook, University of Texas Graduate School of Biomedical Sciences

Kim Bruce, Pomona College

Kunle Olukotun, Stanford

Luke Hoban, Microsoft

Mads Torgersen, Microsoft

Martin Odersky, EPFL, Typesafe

Martyn Lovell, Microsoft

Peter Alvaro, University of California at Berkeley

Robert Griesemer, Google

Walter Bright, Digital Mars

William Cook, University of Texas at Austin

 

Sessions will be recorded and C9 interviews will take place!

]]> http://channel9.msdn.com/posts/LangNEXT-2012 Lang.NEXT 2012&nbsp;is a cross-industry conference for programming language designers and implementers held on the MIcrosoft Campus in Redmond, Washington, April 2-4, 2012. With three days of talks, panels and discussion on leading programming language work from industry and research, Lang.NEXT is the place to learn, share ideas and engage with fellow programming language design experts and enthusiasts. Native, functional, imperative, object oriented, static, dynamic, managed, interpreted... It's a programming language geek fest. (And it's free) Register here!We have a great cast of characters speaking at this year's event. Experts and iconoclasts include:Andrei Alexandrescu, Facebook Andy Gordon, Microsoft Andy Moran, Galois&nbsp; Donna Malayeri, Microsoft Dustin Campbell, Microsoft Erik Meijer, Microsoft Gilad&nbsp;Bracha, Google Herb Sutter, Microsoft James Noble, Victoria University of Wellington Jeroen Frijters, Sumatra Software John Cook, University of Texas Graduate School of Biomedical Sciences Kim Bruce, Pomona College Kunle Olukotun, Stanford Luke Hoban, Microsoft Mads Torgersen, Microsoft Martin Odersky, EPFL, Typesafe Martyn Lovell, Microsoft Peter Alvaro, University of California at Berkeley Robert Griesemer, Google Walter Bright, Digital Mars William Cook, University of Texas at Austin &nbsp; Sessions will be recorded and C9 interviews will take place! http://channel9.msdn.com/posts/LangNEXT-2012 Sat, 10 Mar 2012 04:48:47 GMT http://channel9.msdn.com/posts/LangNEXT-2012 Charles Charles 9 http://channel9.msdn.com/posts/LangNEXT-2012/rss C# C++ Computer Science F# Programming Languages Dart C++11 D LINQ - Composability Guaranteed It's been far too long since we've brought Erik Meijer and Brian Beckman together on Channel 9.

Today marks the end of a drought and the beginning of more regular appearances by the dynamic duo. The band is back together!

Introducing a new Channel 9 series - Beckman Meijer Overdrive. Smiley

One of the truly great things about Brian Beckman and Erik Meijer is their natural ability to explain complex subject matter in ways normal people can readily understand, all while engaging and entertaining us. In this new series, Brian and Erik will get together each month to make music in the form of conversational (and improvisational, of course) jazz. Tune in and learn something new from two programming legends and true iconoclasts. It's guaranteed to put your mind into overdrive.

Here, Brian and Erik recap LINQ and dig into the notion that LINQ is composability. What does that mean, exactly? Where does Rx fit into this? What about the cloud? What's so special about LINQ? As you'd expect, other topics emerge naturally from this conversation as Brian and Erik make their case for a LINQ-ruled world.

We're excited and honored to have Brian and Erik back on C9—and excited, too, that this will be a recurring treat. Thank you, Brian and Erik!

Tune in. Enjoy. Learn.

]]> http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Beckman-Meijer-Overdrive-LINQ-Composability-Guaranteed It's been far too long since we've brought Erik Meijer and Brian Beckman together on Channel 9. Today marks the end of a drought and the beginning of more regular appearances by the dynamic duo. The band is back together! Introducing a new Channel 9 series - Beckman Meijer Overdrive. One of the truly great things about Brian Beckman and Erik Meijer is their natural ability to explain complex subject matter in ways normal people can readily understand, all while engaging and entertaining us. In this new series, Brian and Erik will get together each month to make music in the form of conversational (and improvisational, of course) jazz. Tune in and learn something new from two programming legends and true iconoclasts. It's guaranteed to put your mind into overdrive.Here, Brian and Erik recap LINQ and&nbsp;dig into the notion that LINQ is&nbsp;composability. What does that mean, exactly? Where does Rx fit into this? What about the cloud? What's so special about LINQ? As you'd expect, other topics emerge naturally from this conversation as Brian and Erik make their case for a LINQ-ruled world.We're excited and honored to have Brian and Erik back on C9—and excited, too, that this will be a recurring treat. Thank you, Brian and Erik! Tune in. Enjoy. Learn. 3178 http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Beckman-Meijer-Overdrive-LINQ-Composability-Guaranteed Thu, 08 Mar 2012 20:03:28 GMT http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Beckman-Meijer-Overdrive-LINQ-Composability-Guaranteed Charles Charles 31 http://channel9.msdn.com/Series/Beckman-Meijer-Overdrive/Beckman-Meijer-Overdrive-LINQ-Composability-Guaranteed/RSS Brian Beckman Computer Science Erik Meijer LINQ Programming Rx RxJS Software Composability Simon Peyton-Jones and John Hughes - It's Raining Haskell Ever wonder what would happen if you happened upon Simon Peyton-Jones, author of the Glasgow Haskell Compiler (GHC) and a key contributor to the Haskell functional programming language, and John Hughes, fellow Haskellite, computer scientist, creator of QuickCheck, and author of the landmark paper, "Why Functional Programming Matters," sitting on a park  bench, in the rain, right next to Sydney's iconic opera house? Well, let's find out, shall we?

Simon and John have been friends for many years and studied mathematics together at Trinity College Cambridge. What were they like as young men? As students? What was Simon's issue with wearing shoes, anyway? It's always wonderful to learn about the humans behind the software, the science. This is classic C9. Yes, it's raining on us as we converse, but the view is spectacular with Sydney's Opera House behind us. It's funny how wet we were by the end of this interview, but the rain was refreshing—just like the conversation.

Thank you, Simon and John, for the great conversation, for being so comfortable in the rain, and for taking the random questions in stride. You're true gentlemen. Keep pushing the envelope!

Happy holidays from Channel 9 wherever you are and whatever, if anything, you're celebrating!

 

The YOW! Developer Conference offers outstanding opportunities to learn more about the latest practices, technologies, and methodologies for building innovative software solutions as well as the chance to meet and network with international software experts and other talented developers in Australia. Thanks to Dave Thomas and the event's excellent staff—Mary Catherine (MC), Lisa, Aino, Melissa, and others—for inviting me to this excellent pure developer event and thanks to all of the speakers for letting me take some of their time to record conversations for Channel 9. If you live in Australia, or aren't too far away, or just like to travel (who doesn't?), then you need to go to this yearly event. It's outstanding. There are many great developers down under. That's for sure. The speakers are exceptional—Dave and team set a high bar!

]]> http://channel9.msdn.com/Blogs/Charles/YOW-2011-Simon-Peyton-Jones-and-John-Hughes-Its-Raining-Haskell Ever wonder what would happen if you happened upon&nbsp;Simon Peyton-Jones, author of the Glasgow Haskell Compiler (GHC) and a key contributor to the Haskell functional programming language,&nbsp;and&nbsp;John Hughes, fellow Haskellite, computer scientist, creator&nbsp;of QuickCheck, and author of the landmark paper, &quot;Why Functional Programming Matters,&quot; sitting on a park&nbsp; bench, in the rain, right&nbsp;next to Sydney's iconic opera house? Well, let's find out, shall we? Simon and John have been friends for many years and studied mathematics together at Trinity College Cambridge. What were they like as young men? As students? What was Simon's issue with wearing shoes, anyway? It's always wonderful to learn about the humans behind the software, the science. This is classic C9. Yes, it's raining on us as we converse, but the view is spectacular with Sydney's Opera House behind us. It's funny how wet we were by the end of this interview, but the rain was refreshing—just&nbsp;like the conversation.Thank you, Simon and John, for the great conversation, for being so comfortable in the rain, and for taking the random questions in stride. You're true gentlemen.&nbsp;Keep pushing the envelope! Happy holidays from Channel 9 wherever you are and whatever, if anything, you're celebrating! &nbsp; The YOW! Developer Conference offers outstanding opportunities to learn more about the latest practices, technologies, and methodologies for building innovative software solutions as well as the chance to meet and network with international software experts and other talented developers in Australia. Thanks to Dave Thomas and the event's excellent staff—Mary Catherine (MC), Lisa, Aino, Melissa, and others—for inviting me to this excellent pure developer event and thanks to all of the speakers for letting me take some of their time to record conversations for Channel 9. If you live in Australia, or aren't too far away, or just like to travel (who doesn't?), then you need t 1750 http://channel9.msdn.com/Blogs/Charles/YOW-2011-Simon-Peyton-Jones-and-John-Hughes-Its-Raining-Haskell Sun, 25 Dec 2011 16:00:00 GMT http://channel9.msdn.com/Blogs/Charles/YOW-2011-Simon-Peyton-Jones-and-John-Hughes-Its-Raining-Haskell Charles Charles 17 http://channel9.msdn.com/Blogs/Charles/YOW-2011-Simon-Peyton-Jones-and-John-Hughes-Its-Raining-Haskell/RSS Computer Science Functional Programming Haskell Microsoft Research Programming Languages YOW! 2011 Simon Peyton-Jones SPLASH 2011: Sam Tobin-Hochstadt - JavaScript Modules Sam Tobin-Hochstadt is an associate professor at Northeastern University. Sam focuses on a variety of programming language research projects including Racket (and Typed Racket), Fortress, and JavaScript—the focus of this conversation.

Sam is collaborating with Mozilla Research and the ECMA TC39 standards committee, helping to evolve JavaScript. One of the areas that he's been driving for the next version of EcmaScript (aka JavaScript...), known as Harmony, is JavaScript Modules.

What are JavaScript Modules? Why are they necessary? What's the idea? How do they work? What's next?

Tune in. Thanks for joining us on Channel 9, Sam!

Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH? Systems, Programming, Languages and Applications: Software for Humanity. A big thanks to the SPLASH event organizers for inviting me and my camera to engage some key computer scientists and engineers in geeky, fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students.

SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward! [source=splashcon.org]

]]> http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Sam-Tobin-Hochstad-JavaScript-Modules Sam Tobin-Hochstadt is an associate professor at Northeastern University. Sam focuses on a variety of programming language research&nbsp;projects including&nbsp;Racket (and Typed Racket), Fortress, and JavaScript—the focus of this conversation. Sam is collaborating with Mozilla Research and&nbsp;the ECMA TC39 standards committee, helping to evolve JavaScript. One of the areas that he's been driving for the next version of EcmaScript (aka JavaScript...), known as Harmony, is JavaScript&nbsp;Modules. What are JavaScript Modules? Why are they necessary? What's the idea? How do they work? What's next? Tune in. Thanks for joining us on Channel 9, Sam! Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH? Systems, Programming, Languages and Applications: Software for Humanity. A big thanks to the SPLASH event organizers for inviting me and my camera to engage some key computer scientists and engineers in geeky, fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students. SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward! [source=splashcon.org] 966 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Sam-Tobin-Hochstad-JavaScript-Modules Tue, 22 Nov 2011 18:20:02 GMT http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Sam-Tobin-Hochstad-JavaScript-Modules Charles Charles 3 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Sam-Tobin-Hochstad-JavaScript-Modules/RSS Computer Science JavaScript Programming Languages ecmascript SPLASH 2011 _techmeme SPLASH 2011: William Cook - Objects, Orc, Hybrid Partial Evaluation, and More William Cook is an Associate Professor in the Department of Computer Sciences at The University of Texas at Austin. His research focuses on object-oriented programming, programming language design, and the interaction between programming languages and databases. William was the Chief Technology Officer and co-founder of Allegis Corporation, where he was chief architect for several award-winning products, including the eBusiness Suite at Allegis, the Writer's Solution for Prentice Hall. William also invented the AppleScript language while at Apple Computer.

William's current research projects include:

Ensō: theoretically sound and practical reformulation of the concepts of model-driven software development

Batches: a new approach to RPC, database access (SQL clients), and web services

Orc: a language for structured concurrency and internet programming

Hybrid Partial Evaluation: a practical approach to partial evaluation in object-oriented languages

Here, we discuss William's colorful past, his thoughts on object orientation, Orc, hybrid partial evaluation, and more. He and his team of talented students are pushing the envelope. Tune in.

Thanks for spending time with Channel 9, William!

 

Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH? Systems, Programming, Languages and Applications: Software for Humanity. A big thanks to the SPLASH event organizers for inviting me and my camera to engage some key computer scientists and engineers in geeky, fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students.

SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward! [source=splashcon.org]

]]> http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-William-Cook-Objects-Orc-Hybrid-Partial-Evaluation-and-More William Cook&nbsp;is an Associate Professor in the Department of Computer Sciences at The University of Texas at Austin. His research focuses on object-oriented programming, programming language design, and the interaction between programming languages and databases. William was the&nbsp;Chief Technology Officer and co-founder of Allegis Corporation, where he was chief architect for several award-winning products, including the eBusiness Suite at Allegis, the Writer's Solution for Prentice Hall. William also invented the&nbsp;AppleScript language while&nbsp;at Apple Computer. William's current research projects include: Ensō: theoretically sound and practical reformulation of the concepts of model-driven software development Batches: a new approach to RPC, database access (SQL clients), and web services Orc: a language for structured concurrency and internet programming Hybrid Partial Evaluation: a practical approach to partial evaluation in object-oriented languages Here, we discuss William's colorful past, his thoughts on object orientation, Orc, hybrid partial evaluation, and more. He and his team of talented students are pushing the envelope. Tune in. Thanks for&nbsp;spending time with Channel 9, William! &nbsp; Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH? Systems, Programming, Languages and Applications: Software for Humanity. A big thanks to the SPLASH event organizers for inviting me and my camera to engage some key computer scientists and engineers in geeky, fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students. SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward! [source=splashcon.org] 2846 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-William-Cook-Objects-Orc-Hybrid-Partial-Evaluation-and-More Fri, 18 Nov 2011 19:00:00 GMT http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-William-Cook-Objects-Orc-Hybrid-Partial-Evaluation-and-More Charles Charles 6 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-William-Cook-Objects-Orc-Hybrid-Partial-Evaluation-and-More/RSS Computer Science Programming Languages SPLASH 2011 _techmeme SPLASH 2011: David Ungar - Self, ManyCore, and Embracing Non-Determinism David Ungar is a visionary computer scientist and engineer currently working at IBM Research. He is the co-creator of the object-oriented Self programming language, which is a language influenced by SmallTalk and one that has influenced many other languages, not the least of which is today's darling of the web, JavaScript. Self has also helped move virtual machine evolution forward (interestingly, Google's Lars Bak (V8) was at one point David's employer).

It's an honor to finally have David on Channel 9, to get to ask him about what inspired the Self project, what he's up to today, and what he thinks are currently the biggest problems in computing. Of course, David has lately been busy working on the concurrency problem—how does one reasonably program 1,000 core machines, anyway?  Here's an excerpt from the description of his excellent SPLASH 2011 talk on how to think about and program ManyCore (I was there. Dave is (again) way ahead of his time for sure, and he's working with a great cast including Sam Adams, Doug Kimelman, and Mark Wegman...):

In our Renaissance project at IBM, Brussels, and Portland State, we are investigating what we call "anti-lock," "race-and-repair," or "end-to-end nondeterministic" computing. As part of this effort, we have built a Smalltalk system that runs on the 64-core Tilera chip, and have experimented with dynamic languages atop this system. When we give up synchronization, we of necessity give up determinism. There seems to be a fundamental tradeoff between determinism and performance, just as there once seemed to be a tradeoff between static checking and performance.

The obstacle we shall have to overcome, if we are to successfully program manycore systems, is our cherished assumption that we write programs that always get the exactly right answers. This assumption is deeply embedded in how we think about programming. The folks who build web search engines already understand, but for the rest of us, to quote Firesign Theatre: Everything You Know Is Wrong!



Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH? Systems, Programming, Languages and Applications: Software for Humanity. A big thanks to the SPLASH event organizers for inviting me and my camera to engage some key computer scientists and engineers in geeky, fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students.

SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward! [source=splashcon.org]

]]> http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-David-Ungar-Self-ManyCore-and-Embracing-Non-Determinism David Ungar is a visionary computer scientist and engineer currently working at IBM Research. He&nbsp;is the co-creator of the object-oriented&nbsp;Self programming language, which is a language influenced by SmallTalk and one that has&nbsp;influenced many other languages, not the least of which is today's darling of the web, JavaScript. Self has also helped move virtual machine evolution forward (interestingly, Google's Lars Bak (V8)&nbsp;was at one point David's employer).It's an&nbsp;honor to&nbsp;finally have David on Channel 9, to&nbsp;get to&nbsp;ask him about what&nbsp;inspired the Self project, what he's up to today, and what he thinks are currently the biggest problems in computing. Of course,&nbsp;David has lately been busy working on the concurrency problem—how does one reasonably program 1,000 core machines, anyway?&nbsp;&nbsp;Here's an excerpt from the description of his excellent&nbsp;SPLASH 2011 talk&nbsp;on how to think about and program&nbsp;ManyCore&nbsp;(I was there.&nbsp;Dave is (again) way ahead of his time for sure, and he's working with a great cast including Sam Adams, Doug Kimelman, and Mark Wegman...): In our Renaissance project at IBM, Brussels, and Portland State, we&nbsp;are investigating what we call &quot;anti-lock,&quot; &quot;race-and-repair,&quot; or &quot;end-to-end nondeterministic&quot; computing. As part of this effort, we have built a Smalltalk system that runs on the 64-core Tilera chip, and have experimented with dynamic languages atop this system. When we give up synchronization, we of necessity give up determinism. There seems to be a fundamental tradeoff between determinism and performance, just as there once seemed to be a tradeoff between static checking and performance. The obstacle we shall have to overcome, if we are to successfully program manycore systems, is our cherished assumption that we write programs that always get the exactly right answers. This assumption is deeply embedded in how we think about programming 1319 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-David-Ungar-Self-ManyCore-and-Embracing-Non-Determinism Thu, 17 Nov 2011 14:00:00 GMT http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-David-Ungar-Self-ManyCore-and-Embracing-Non-Determinism Charles Charles 6 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-David-Ungar-Self-ManyCore-and-Embracing-Non-Determinism/RSS Computer Science Programming Languages SPLASH 2011 _techmeme SPLASH 2011: Andrew Black and James Noble - The Grace Programming Language Project The Grace Programming Language project is a research effort that aims to make learning how to program easier by baking "educational abstractions" into the language itself - it's an object oriented programming language designed for teaching undergraduate students. This means the language is designed from the ground up as a learning tool for novice adult programmers.

The Grace PL project is led by Kim Bruce, Andrew Black, and James Noble. (Unfortunately, Kim was unable to take part in this conversation. Next time, Kim!) Here, we learn about the need for a programming language that targets novices and what a novice programming language looks like. What does a programming language for novices mean, exactly? How can it be simple enough (conceptually easy to use, to read, to understand) while remaining useful as a programming tool? Can't you learn how to program effectively using objects in an industrial strength general purpose programming language like C# or Java?  What does Grace afford that the more feature-rich languages don't? Tune in. This is a fascinating research topic and one that should yield some very interesting practical results. Great work!

Thanks for joining us on C9, Andrew and James!


Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH? Systems, Programming, Languages and Applications: Software for Humanity. A big thanks to the SPLASH event organizers for inviting me and my camera to engage some key computer scientists and engineers in geeky, fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students.

SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward! [source=splashcon.org]

]]> http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Andrew-Black-and-James-Noble-The-Grace-Programming-Language-Project The Grace Programming Language project is a research effort that aims to make learning how to program easier by baking &quot;educational abstractions&quot; into the language itself - it's an object oriented programming language designed for teaching undergraduate students. This means the language is designed from the ground up as a learning tool for novice adult programmers. The Grace PL&nbsp;project is led by Kim Bruce, Andrew Black, and James Noble. (Unfortunately, Kim was unable to take part in this conversation. Next time, Kim!) Here, we learn about the need for a programming language that targets novices and what a novice programming language looks like.&nbsp;What does a programming language for novices mean, exactly? How can it be simple enough (conceptually easy to use, to read, to understand) while remaining useful as a programming tool? Can't you learn how to program effectively using objects in an industrial strength general purpose programming language like C# or Java?&nbsp; What does Grace afford that the more feature-rich languages don't? Tune in. This is a fascinating research topic and one that should yield some very interesting practical&nbsp;results. Great work! Thanks for joining us on C9, Andrew and James!Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH? Systems, Programming, Languages and Applications: Software for Humanity. A big thanks to the SPLASH event organizers for inviting me and my camera to engage some key computer scientists and engineers in geeky, fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students. SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward! [source=splashcon.org] 1708 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Andrew-Black-and-James-Noble-The-Grace-Programming-Language-Project Sat, 12 Nov 2011 03:53:09 GMT http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Andrew-Black-and-James-Noble-The-Grace-Programming-Language-Project Charles Charles 8 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Andrew-Black-and-James-Noble-The-Grace-Programming-Language-Project/RSS Computer Science Programming Languages SPLASH 2011 SPLASH 2011: Gilad Bracha - Dart, Newspeak, and More It's always a pleasure to get the chance to chat with Gilad Bracha. So, whenever we can, we do. We've had Gilad on C9 quite a few times over the years and the conversations are always enlightening and educational. Recently, Gilad joined Google and is now working on the Dart programming language with long-time colleague (and former co-worker) Lars Bak. 

Of course we had to ask Gilad about Dart (just the technical stuff, though - like Dart's type system, concurrency model(actor-based "isolates"), future etc...).

Of course, Dart has to compile to JavaScript. So how did this requirement impact Dart's design? Certainly it did, right?

We also get an update on the status of Gilad's very own Newspeak language. What's going on with Newspeak now that he works on Dart full time?

Thanks for coming on C9, Gilad! Always a pleasure.


Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH? Systems, Programming, Languages and Applications: Software for Humanity. SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward! [source=splashcon.org]

A big thanks to the SPLASH event organizers for inviting me and my camera to engage some key computer scientists and engineers in geeky, fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students.

]]> http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Gilad-Bracha-Dart-Newspeak-and-More It's always a pleasure to get the chance to chat with Gilad Bracha. So, whenever&nbsp;we can,&nbsp;we do. We've had Gilad on C9&nbsp;quite&nbsp;a few times over the years&nbsp;and the conversations are always enlightening and educational. Recently, Gilad joined Google and is now working on the Dart programming language with long-time colleague (and former co-worker) Lars Bak.&nbsp;Of course we had to ask Gilad about Dart (just the technical stuff, though - like Dart's type system, concurrency model(actor-based &quot;isolates&quot;), future etc...). Of course, Dart has to compile to JavaScript. So how did this requirement impact Dart's design? Certainly it did, right?We also get an update on the status of Gilad's very own Newspeak language. What's going on with Newspeak now that he works on Dart full time? Thanks for coming on C9, Gilad! Always a pleasure. Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH? Systems, Programming, Languages and Applications: Software for Humanity. SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward! [source=splashcon.org]A big thanks to the SPLASH event organizers for inviting me and my camera to engage some key computer scientists and engineers in geeky, fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students. 2220 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Gilad-Bracha-Dart-Newspeak-and-More Wed, 09 Nov 2011 15:30:00 GMT http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Gilad-Bracha-Dart-Newspeak-and-More Charles Charles 7 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Gilad-Bracha-Dart-Newspeak-and-More/RSS Computer Science Gilad Bracha JavaScript Programming Languages SPLASH 2011 SPLASH 2011: Brendan Eich - JavaScript Today and Tomorrow Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH?  Systems, Programming, Languages and Applications: Software for Humanity.  SPLASH is an annual  conference that embraces all aspects of software  construction and  delivery, and that joins all factions of programming  technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward!. This year it features a third technical track, Wavefront, designed to publish innovative work closely related to advanced development and production software. SPLASH takes on the notable track record of OOPSLA as a premier forum for software innovation, while broadening the scope of the conference  into new topics beyond objects and new forms of contributions. [source=SPLASHcon.org]

A big thanks to the SPLASH event organizers for inviting me and my camera to the event to engage some key computer scientists and engineers in geeky fun conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students.

Here, we meet Brendan Eich, the creator of JavaScript and currently the CTO of the Mozilla Foundation. JavaScript is a very interesting language (it's general purpose, dynamic, quasi-functional, object oriented) and one that is widely used on the web (in fact, no other language comes close, really). Brendan wrote the first version of JavaScript to support both novice and advanced users (quite the challenge - but he pulled it off!). JavaScript is also widely used today as a compiler (or "transpiler") target, where JavaScript plays the role of a web assembly language. 

Today, JavaScript has matured into much more than a scripting language and is used in ways that Brendan never imagined (from Node.js to h264 video decoding to "Windows 8" Metro style applications...). In this conversation, we don't spend much time at all on the past. You can read all about that on Brendan's blog. Instead, we focus on the JavaScript of today and tomorrow. Thanks for spending time with Channel 9, Brendan!

Table of contents (courtesy of http://channel9.msdn.com/Niners/George_Curelet_Balan)

[00:50] Javascript as a mature evolving language (ref to Harmony agenda)

[01:30] reference to the module system

[02:00] Eich comments on Javascript improvements looking more like java

[03:38] Javascript as web assembly

[05:00] Javascript is still a language for beginners as it evolves?   Eich: the language should not grow too large

[06:03] a pattern tells you that there is a bug in the programming language

[06:18] ref to growing the language exemplified with English language single syllable words

[06:50] impact of removing Javascript bad parts

[08:20] Javascript as a functional language

[09:15] adding types to the language

[10:05] Javascript will never have mandatory types

[10:40] Comments about the Dart language

[11:40] Javascript as a compile target

[13:15] Dart as a warning language

[14:00] Javascript as the most popular language. Since Javascript runs the web (that has so many good parts) it is hard to replace it with something else. Javascript should evolve.

]]> http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Brendan-Eich-JavaScript-Today-and-Tomorrow Recently, Channel 9 was invited to attend the great SPLASH conference. What is SPLASH?&nbsp; Systems, Programming, Languages and Applications: Software for Humanity.&nbsp; SPLASH is an annual&nbsp; conference that embraces all aspects of software&nbsp; construction and&nbsp; delivery, and that joins all factions of programming&nbsp; technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward!. This year it features a third technical track, Wavefront, designed to publish innovative work closely related to advanced development and production software. SPLASH takes on the notable track record of OOPSLA as a premier forum for software innovation, while broadening the scope of the conference&nbsp; into new topics beyond objects and new forms of contributions. [source=SPLASHcon.org]A big thanks to the SPLASH event organizers for inviting me and my camera to the event to engage some key computer scientists and engineers in geeky fun&nbsp;conversation! SPLASH is a great event! I learned a ton and met many amazing computer scientists and students. Here, we meet Brendan Eich, the creator of JavaScript and currently the CTO of the Mozilla Foundation. JavaScript is a very&nbsp;interesting language (it's general purpose,&nbsp;dynamic, quasi-functional, object oriented)&nbsp;and one that is widely used on the web (in fact, no other language comes close, really). Brendan wrote the first version of JavaScript to support both novice and advanced users (quite the challenge - but he pulled it off!). JavaScript is also widely used today&nbsp;as a compiler (or &quot;transpiler&quot;) target, where JavaScript plays the role of a&nbsp;web assembly language.&nbsp;Today, JavaScript has matured into&nbsp;much more than a scripting language&nbsp;and is used in ways that Brendan never imagined (from Node.js to h264 video decoding to &quot;Windows 8&quot; Metro style applications...). In this conversation, we don't spend much time at all on the past. You can read all about that on Bre 919 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Brendan-Eich-JavaScript-Today-and-Tomorrow Mon, 07 Nov 2011 18:29:43 GMT http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Brendan-Eich-JavaScript-Today-and-Tomorrow Charles Charles 12 http://channel9.msdn.com/Blogs/Charles/SPLASH-2011-Brendan-Eich-JavaScript-Today-and-Tomorrow/RSS Computer Science JavaScript Programming Languages SPLASH 2011 Brendan Eich C9 Lectures: Greg Meredith - Monadic Design Patterns for the Web 4 of 4 Greg Meredith, a mathematician and computer scientist, has graciously agreed to do a C9 lecture series covering monadic design principles applied to web development. You've met Greg before in a Whiteboard jam session with Brian Beckman.

The fundamental concept here is the monad, and Greg has a novel and conceptually simplified explanation of what a monad is and why it matters. This is a very important and required first step in the series since the whole of it is about the application of monadic composition to real world web development.

In part 4, Greg primarily focuses on the idea that a monad is really an API—a view into the organization of data and control structures, not those structures themselves. In OO terms, it's an interface. To make this point concrete, Greg explores one of the simplest possible data structures supporting at least two different, though consistent, interpretations of the same API. The structure used, Conway's partisan games, turns out to be tailor-made for this investigation. Not only does this data structure have the requisite container-like shape, it provides opportunities to see just what's necessary in a container to implement the monadic interface. 

Running throughout the presentation is a more general comparison of reuse between an OO approach and a more functional one. When the monadic API is "mixed into" the implementing structure, we get less reuse than when the implementing structure is passed as a type parameter. Finally, doing the work puts us in a unique position to see not just how to generalize Conway's construction monadically, but also the underlying pattern that allows the generalization to suggest itself.

Source code for the Conway game
Slides for this presenation

See part 1
See part 2
See part 3

]]> http://channel9.msdn.com/Series/C9-Lectures-Greg-Meredith-Monadic-Design-Patterns-for-the-Web/C9-Lectures-Greg-Meredith-Monadic-Design-Patterns-for-the-Web-4-of-n Greg Meredith, a mathematician and computer scientist, has graciously agreed to do a C9 lecture series covering monadic design principles applied to web development. You've met Greg before in a Whiteboard jam session with Brian Beckman. The fundamental concept here is the monad, and Greg has a novel and conceptually simplified explanation of what a monad is and why it matters. This is a very important and required first step in the series since the whole of it is about the application of monadic composition to real world web development. In part 4, Greg&nbsp;primarily focuses on the idea that a monad is really an API—a view into the organization of data and control structures, not those structures themselves. In OO terms, it's an interface. To make this point concrete, Greg explores one of the simplest possible data structures supporting at least two different, though consistent, interpretations of the same API. The structure used, Conway's partisan games, turns out to be tailor-made for this investigation. Not only does this data structure have the requisite container-like shape, it provides opportunities to see just what's necessary in a container to implement the monadic interface.&nbsp; Running throughout the presentation is a more general comparison of reuse between&nbsp;an OO approach and a more functional one. When the monadic API is &quot;mixed into&quot; the implementing structure, we get less reuse than when the implementing structure is passed as a type parameter. Finally, doing the work puts us in a unique position to see not just how to generalize Conway's construction&nbsp;monadically, but also the underlying pattern that allows the generalization to suggest itself.Source code for the Conway gameSlides for this presenation See part 1 See part 2See part 3 2487 http://channel9.msdn.com/Series/C9-Lectures-Greg-Meredith-Monadic-Design-Patterns-for-the-Web/C9-Lectures-Greg-Meredith-Monadic-Design-Patterns-for-the-Web-4-of-n Tue, 26 Jul 2011 18:51:39 GMT http://channel9.msdn.com/Series/C9-Lectures-Greg-Meredith-Monadic-Design-Patterns-for-the-Web/C9-Lectures-Greg-Meredith-Monadic-Design-Patterns-for-the-Web-4-of-n Charles Charles 5 http://channel9.msdn.com/Series/C9-Lectures-Greg-Meredith-Monadic-Design-Patterns-for-the-Web/C9-Lectures-Greg-Meredith-Monadic-Design-Patterns-for-the-Web-4-of-n/RSS C9 Lectures Computer Science Functional Programming Monad Monads Programming Programming Languages Greg Meredith Monadic Design Patterns