Newest Stories by cmeiklejohn | Lobsters

8

Riak 2.0.0 RC1 distributed release lists.basho.com
via cmeiklejohn 4 years ago | cached | 6 comments

6
7

Vector Clocks in Coq: An Experience Report distributed arxiv.org
via cmeiklejohn 4 years ago | cached | no comments

0
9

Distributed deterministic dataflow programming for Erlang [slides] slides distributed speakerdeck.com
via cmeiklejohn 4 years ago | cached | no comments

0
10

Teaching Creative Computer Science video compsci youtube.com
via cmeiklejohn 4 years ago | cached | no comments

0
7

Buffer Sizing in Internet Routers video networking youtube.com
via cmeiklejohn 4 years ago | cached | no comments

0
4

EmberConf 2014 Convergent/Divergent by Christopher Meiklejohn - YouTube video distributed youtube.com
via cmeiklejohn 4 years ago | cached | no comments

0
6

Convergent/Divergent // Speaker Deck slides distributed speakerdeck.com
via cmeiklejohn 4 years ago | cached | 4 comments

4
14

Vector Clocks in Coq: An Experience Report slides distributed speakerdeck.com
via cmeiklejohn 4 years ago | cached | 2 comments

2
2

Typed tagless-final interpretations: Lecture notes compsci okmij.org
via cmeiklejohn 4 years ago | cached | no comments

0
3

Learn Distributed - Distributed Systems Workshop in Providence, RI compsci distributed event signup.learndistributed.com
via cmeiklejohn 4 years ago | cached | no comments

0
5

[Feedback Requested] Proposed Curriculum for Think Distributed Systems Summer School; Providence, RI compsci gist.github.com
via cmeiklejohn 4 years ago | cached | no comments

0
6

FAQ on π-Calculus pdf compsci cs.cmu.edu
via cmeiklejohn 4 years ago | cached | no comments

0
7

Using Rust for an Undergraduate OS Course rust rust-class.org
via cmeiklejohn 4 years ago | cached | 1 comment

1
8

Readings in linear logic book christophermeiklejohn.com
via cmeiklejohn 4 years ago | cached | no comments

0