apanda

function join(f1, f2) {
      return function (callback) {
             var doneOnce = false;
	     f1(function () { 
			if (doneOnce) 
		 	{ 
				callback(); 
			} 
			doneOnce = true;});
             f2(function () { 

apanda

            double[] src = new double[] {1.0,2.0,3.0,4.0};
            double[] val = new double[]{0.0,1.0,2.0,3.0};
            double[] dest = src.Select(BitConverter.DoubleToInt64Bits).
                                Zip(val.Select(BitConverter.DoubleToInt64Bits), 
                                (a, b) => BitConverter.Int64BitsToDouble(a & b)).ToArray();

apanda

def foo(a,b,c,d,e,f,g,h):
    pass

foo(1,
    2,
    3,
    4,
    5,
    6,
    7,

apanda

Keybase proof

I hereby claim:

• I am apanda on github.
• I am apanda (https://keybase.io/apanda) on keybase.
• I have a public key whose fingerprint is 1DA6 CE18 AB95 4F9C D547 1032 6A57 CDF1 969E 0262

To claim this, I am signing this object:

apanda

I like Learn You a Haskell as a reference and cheat-sheet but I found it a little slow for learning Haskell.

Here's my recommended order for just learning Haskell:

http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/ 80% completion here is fine if you feel your attention waning, the next thing will address hammering in things like functors and monads via typeclasses.

https://github.com/NICTA/course/ this will hammer in the lessons in a very direct form by forcing you to confront the challenges and lessons learned by the creators and community of Haskell itself. Doing the exercises here is critical for being fluent.

Real World Haskell is available online. (Thanks bos!)

apanda

Verifying I am +apanda on my passcard. https://onename.com/apanda

apanda

Requests:
- command: launch-softnic
  argument:
   Cores: [0]
   AAA: B
- command: launch-nf
  argument: 
    NFid: 1                                          
    Name: firewall
    Arguments: [-e]

apanda

using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Text;
using YamlDotNet.Serialization;
using YamlDotNet.Serialization.NamingConventions;

namespace YamlDotNet.Samples
{

apanda

In [35]: class NF(yaml.YAMLObject):
    yaml_tag=u'tag:yaml.org,2002:nf'
    def __init__(self):
        pass
   ....:

In [36]: class Softnic(yaml.YAMLObject):
    yaml_tag=u'tag:yaml.org,2002:softnic'
    def __init__(self):
        pass

apanda

#lang ivy2
#Panda's synchronization protocol

# General modules & macros
#Functional dependencies
module lone(f) = {
 axiom (f(X, Y1) & f(X, Y2)) -> Y1 = Y2
}

module injective(f) = {