Group items tagged

Dr. Cormac Herley spends most of his time thinking about why and how computer users reject security advice (originating from both fellow humans and software security warning prompts). Recently, his paper So Long, and No Thanks for the Externalities: the Rational Rejection of Security Advice by Users, received a fair amount of attention from the general media (Boston Globe, Tech Republic, NPR, etc). The paper also prompted our favorite software renegade, Dr. Erik Meijer, to send me an email simply asking "please set up and E2E with Cormac Herley". I did just that and the following conversation is what happened...

The VMKit project is an implementation of a JVM and CLI virtual machine (.Net is an implementation of the CLI). It translates Java bytecode and MSIL in the LLVM IR and uses the LLVM framework for optimizations and compilation. For garbage collection, it uses MMTk. You can get and build the source today.

Bruno Oliveira and I are working on a functional pearl called The Monad Zipper (*). You know how dealing with monad transformers can be quite awkward -- especially when developing highly modular programs where every component comes with its own effects?Well, we bring relief in this situation by applying Huet's zipper to a type-level data structure: the monad stack.We're submitting to ICFP on April 2, and would greatly appreciate your feedback on the current draft. Please let us know what you think of the presented approach, the clarity and style of writing, examples of situations where you could have used the monad zipper, ...(*) not to be confused with the zipper monad

This white paper looks at a number of key techniques to optimize the systems engineering process and ensure project success. It examines the business benefits the techniques can provide and looks at IBM Rational solutions that are available to support the techniques.

Ralph Johnson presents a pattern language that he and his colleagues are working on in an attempt to solve the hard issues of parallel programming through a set of design patterns: Structural Patterns, Computational Patterns, Parallel Algorithm Strategy Patterns, Implementation Strategy Patterns, and Concurrent Execution Patterns.

Today sees the launch of Visual Studio 2010, at five launch events around the world, as announced by Bob Muglia, Jason Zander and S. Somasegar, and presented live today in Las Vegas.   Visual Studio 2010 includes the official version 2.0 of the F# language. As is our custom on the F# team, we also release a matching MSI and ZIP of F# 2.0 (for use with Visual Studio 2008 and as a standalone compiler on a range of platforms)   Today represents the culmination of 7 years of work on the language at Microsoft Research, and, more recently, the Microsoft Developer Division. I am immensely proud of what we’ve achieved. F# brings a productive functional and object-oriented programming language to .NET, extending the platform to new audiences in technical, algorithmic, data-rich, parallel and explorative domains, and its inclusion in Visual Studio 2010 represents a huge milestone for the language.   To help understand what we’re doing with F#, I’ve listed some of the common questions people have about the language below.  We thank everyone who has been involved in the production of F#, especially the many users who have given us feedback on the language!

In this talk Microsoft Technical Fellow and C# Chief Architect Anders Hejlsberg gives an overview of the new features in C# 4.0, including dynamic typing, co- and contra-variance, named and optional parameters, and improved COM interoperability. Anders will also discuss some of the ideas that are envisioned for future versions of C#. This session is presented by Anders Hejlsberg during Microsoft DevDays 2010 in The Hague in The Netherlands.

Today face.com is proud to announce the opening of our platform APIs! After scanning billions of photos and tagging over 50 million users through Photo Tagger and Photo Finder, we’re moving ahead with our goal of making face recognition approachable and available to all. In this open alpha stage, we’re letting any developer tap into our face detection and face recognition tech through simple REST API calls. Whether you’re looking to build a cool photo tagging application, create personalized e-cards or campaigns, or any other sci-fi idea that comes to mind, we’re here to serve. A friend of the company, world-famous programmer, developer and founder of Technorati David Sifry got an early look at our API.  In David’s own words: “I’ve been impressed with Face.com’s API, and their plan for working closely with developers to build great applications that incorporate face detection and face recognition. Open platforms like this one will enable the creation of exciting new applications that we’ve never seen before at scale.”

Building a dynamic PHP site requires you to understand how CRUD (create, read, update, delete) functions work. There are a variety of ways to implement these functions include databases, and most commonly through mySQL.  With these functions you can add new entries to the database (registration), view existing entries (retrieve users or fields), update the entries to your table or delete users (who may unsubscribe or permanently delete their accounts.) For a user account based sites, these functions are essential for keeping your user and information database up to date.

Starting from Visual Studio 2010 F# is full member of .NET Framework languages family. It is functional language with syntax specific to functional languages but I think it is time for us also notice and study functional languages. In this posting I will show you some examples about cool things other people have done using F#.

The World Wide Web Consortium has launched a new specification called "XProc," which provides a standard framework for composing XML processes.  It streamlines the automation, sequencing, and management of complex XML processes, the standards body said.  The "XML Pipeline Language" spec was developed to provide a framework for managing enterprise-level business processes.

CHESS is a tool for disciplined testing of concurrent programs. CHESS requires users to develop concise concurrent tests for that explore one concurrency scenario—or a few scenarios—in their programs. Given such a test, CHESS systematically enumerates all behaviors of the program being tested to find concurrency errors, data races, deadlocks, and livelocks.

Microsoft Surface is a prime example of how natural user interfaces can change the way we interact with computers. As designers and developers, one challenge with creating natural user interfaces for multi-touch devices such as Microsoft Surface or Windows 7 is getting around the old ways of thinking and old habits for interface design. Joshua Blake from InfoStrat decided to tackle this problem by creating SurfaceCube. SurfaceCube is a simple 3-D puzzle game for Microsoft Surface which he designed to illustrate as many as the Surface Interaction Guidelines as possible. I had the opportunity to sit down with Joshua and discuss SurfaceCube and the thinking behind some really interesting design decisions that makes it stand out as a natural user interface. We also briefly discuss Joshua’s upcoming book about natural user interfaces and multi-touch development, Multitouch on Windows: NUI Development with WPF and Silverlight, due Fall 2010 (since recording this interview, the book titled was updated). As a special offer to Channel 9 readers, you can use the following coupon to order the book through the Manning Early Access Program and read the chapters as Josh writes them. Coupon code channel9y is good for 35% off Multitouch on Windows: NUI Development with WPF and Silverlight when ordered through manning.com, and expires on April 24, 2010.

With the GA release of Scala 2.8 getting very close, David Pollak, the creator of the Scala-based web framework: Lift, has announced a Scala community initiative that  will have an equally large impact on Scala developers.  The Fresh Scala Initiative aims to address the issue of version fragility in the ecosystem.  You may have heard that Scala 2.8 is not binary compatible with the 2.7 branch.  Therefore, some community members have banded together to maintain a repository and provide nightly builds of popular Scala library collections to build against Scala 2.8.  

If you're a long time reader, you may remember our mention in 2008 of Emanuel Diamant's provocatively titled paper "I'm sorry to say, but your understanding of image processing fundamentals is absolutely wrong" (PDF). Diamant is back with a presentation created for the 3rd Israeli Conference on Robotics, with the equally provocative title: "It's Cognitive Robotics, Stupid" (PDF). In it he laments the lack of agreed upon definitions for words like intelligence, knowledge, and information that are crucial to the development of robotics.

With all of the new competition in the consumer robotics field, it’s about time for iRobot to show that they’re still capable of innovating new and exciting things. AVA, their technology demonstrator, definitely fits into the new and exciting category. AVA is short for ‘Avatar,’ although iRobot was careful not to call it a telepresence robot so as not to restrict perceptions of what it’s capable of. AVA is capable of fully autonomous navigation, relying on a Kinect-style depth sensing camera, laser rangefinders, inertial movement sensors, ultrasonic sensors, and (as a last resort) bump sensors. We got a run-down a few days ago at CES, check it out: