Computer Science

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…

Brian 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…

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…

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…

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…

In this latest edition of Expert to Expert (and Going Deep), the great Brian Beckman, astrophysicist and software architect, is joined by Greg Meredith, a mathematician and computer scientist. It's just bound to be an intellectual jam session!The idea for the format of this…

You first learned about Rx on C9. We've led you through the basic concepts of reactive programming to the deep mathematical foundation behind Rx (interface duality). By now, you should understand that IObservable is the dual of IEnumerable. Today, you will learn some new…

Jaron Lanier is an extraordinary individual. He is the father of virtual reality, a forceful pundit for "software humanism," an accomplished musician, a philosopher, and a Microsoft Partner Architect working on cloud computing problems in the Extreme Computing group. For three…

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 -…

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…