Computer Science
48 Entries
- Recent
- Most Viewed
- Top Rated
-
Language(s)
-
32 minutes, 44 secondsNikolai Tillmann and Peli de Halleux: Inside Code DiggerCode 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… -
54 minutes, 18 secondsImmo Landwerth and Andrew Arnott: Inside Immutable CollectionsImmutable 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… -
44 minutes, 51 secondsProgramming the Cloud with Actors: Inside ActorFxActorFx 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… -
50 minutes, 13 secondsErik Meijer, Immo Landwerth, and Andrew Arnott: Immutable Collections for .NETJan 16, 2013 at 8:56 AM
16
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… -
18 minutes, 41 secondsYOW! 2012: Aino Corry - Teaching Modern Computer ScienceDec 20, 2012 at 12:54 PM 5
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… -
43 minutes, 32 secondsYOW! 2012: Marko Rodriguez - Graph Systems and DatabasesDr. 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… -
35 minutes, 15 secondsFrank McSherry: Introduction to Naiad and Differential DataflowNov 08, 2012 at 10:29 AM 3
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… -
51 minutes, 28 secondsErik Meijer - Functional Programming From First PrinciplesSep 06, 2012 at 8:30 AM 12
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 -… -
57 minutes, 23 secondsThe Lambda Calculus, General Term Rewriting and Food NutritionBrian Beckman and Erik Meijer are back with another episode of BMO! 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… -
35 minutes, 23 secondsJim Radigan: Inside Auto-Vectorization, 1 of nThe 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…
