rygorous

#include <wrl/client.h>
#include <d3d11_1.h>
#include <agile.h>
#include <ppl.h>
#include <ppltasks.h>

using namespace Microsoft::WRL;
using namespace Windows::ApplicationModel;
using namespace Windows::ApplicationModel::Core;
using namespace Windows::ApplicationModel::Activation;

jbevain

diff --git a/Src/Compilers/CSharp/Source/Binder/Binder_Symbols.cs b/Src/Compilers/CSharp/Source/Binder/Binder_Symbols.cs
index ce0a903..b34b498 100644
--- a/Src/Compilers/CSharp/Source/Binder/Binder_Symbols.cs
+++ b/Src/Compilers/CSharp/Source/Binder/Binder_Symbols.cs
@@ -379,6 +379,20 @@ namespace Microsoft.CodeAnalysis.CSharp
                         return new PointerTypeSymbol(elementType);
                     }
 
+                case SyntaxKind.EnumerableType:
+                {

product.c

/*

My results:

  Given COUNT floats, each float ranging from [1/MAG, MAG]:

     Naive product overflows easily (depends on MAG and COUNT)

     Divide & conquer product can still overflow

kg

using System;

public static class Program {
    public static CustomType ReturnArgument (CustomType arg) {
        return arg;
    }

    public static void Main (string[] args) {
        var a = new CustomType(1);
        var b = new CustomType(2);

k0s

#!/usr/bin/env python
import urllib, sys

if len(sys.argv) == 2:
    url = "http://%s.pastebin.mozilla.org" % sys.argv[1]
    fmt = sys.argv[1]
else:
    url = "http://pastebin.mozilla.org"
    fmt = "None"

kig

TarGZ = function(){};

// Load and parse archive, calls onload after loading all files.
TarGZ.load = function(url, onload, onstream, onerror) {
  var o = new TarGZ();
  o.onload = onload;
  o.onerror = onerror;
  o.onstream = onstream;
  o.load(url);
  return o;

kig

/* MultiFile - A JavaScript library to load multiple files from 
   tar archives and json_packed files (see http://gist.github.com/407595)

  Example: Loading multiple images from a tarball.

  MultiFile.load('images.tar', function(xhr) {
    this.files.forEach(function(f) {
      var e = document.createElement('div');
      document.body.appendChild(e);
      var p = document.createElement('p');