Computer Science
48 Entries
- This Week
- This Month
- All Time
-
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… -
42 minutes, 34 secondsHewitt, 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… -
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… -
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… -
14 minutes, 54 secondsMads Torgersen, Donna Malayeri and Erik Meijer: (Re)Introducing Lang.NEXTLang.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,… -
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… -
1 hour, 21 minutes, 16 secondsC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of nC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity Jul 01, 2010 at 3:34 PM 19
In mathematics, computer science, and related subjects, an 'algorithm' is an effective method for solving a problem expressed as a finite sequence of instructions. Algorithms are used for calculation, data processing, and many other fields. (In more advanced or abstract settings, the instructions do… -
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 -…
