inanna-malick

pub fn generate_layer(x: Box<ExprAST>) -> Expr<Box<ExprAST>> {
    match *x {
        ExprAST::Add(a, b) => Expr::Add(a, b),
        ExprAST::Sub(a, b) => Expr::Sub(a, b),
        ExprAST::Mul(a, b) => Expr::Mul(a, b),
        ExprAST::LiteralInt(x) => Expr::LiteralInt(x),
    }
}

pub fn eval_layer(node: Expr<i64>) -> i64 {

porglezomp

import Data.Vect

-- `minus` is saturating subtraction, so this works like we want it to
eq_max : (n, k : Nat) -> maximum k n = plus (n `minus` k) k
eq_max  n     Z    = rewrite minusZeroRight n in rewrite plusZeroRightNeutral n in Refl
eq_max  Z    (S _) = Refl
eq_max (S n) (S k) = rewrite sym $ plusSuccRightSucc (n `minus` k) k in rewrite eq_max n k in Refl

-- The type here says "the result is" padded to (maximum k n), and is padding plus the original
leftPad : (x : a) -> (n : Nat) -> (xs : Vect k a)

jcloutz

image: golang:1.7
stages:
  - build
  - test

before_script:
  - go get github.com/tools/godep
  - cp -r /builds/user /go/src/github.com/user/
  - cd /go/src/github.com/user/repo

14427

use std::rc::Rc;

trait HKT<U> {
    type C; // Current type
    type T; // Type with C swapped with U
}

macro_rules! derive_hkt {
    ($t:ident) => {
        impl<T, U> HKT<U> for $t<T> {

denji

Moved to git repository: https://github.com/denji/golang-tls

Generate private key (.key)

# Key considerations for algorithm "RSA" ≥ 2048-bit
openssl genrsa -out server.key 2048

# Key considerations for algorithm "ECDSA" ≥ secp384r1
# List ECDSA the supported curves (openssl ecparam -list_curves)

cmeiklejohn

Think Distributed Systems Summer School
Providence, RI
Curriculum

Friday (night session, open discussion)

* Background, introductions
* What are you working on in distributed systems?
* Lightning talks on research or open problems

HeinrichApfelmus

-- see also
-- http://apfelmus.nfshost.com/blog/2012/06/07-forklift.html

module ForkLift where

import Control.Concurrent
import Control.Monad
import Control.Monad.IO.Class

import Control.Monad.Trans.State

mardambey

import java.util.Properties
import kafka.server.KafkaServer
import kafka.server.KafkaConfig
import kafka.producer.ProducerConfig
import kafka.producer.Producer
import kafka.message.Message
import kafka.producer.ProducerData
import kafka.consumer.ConsumerConfig
import kafka.consumer.Consumer
import kafka.utils.Utils