mrbbk 的提交内容

The Man Who Lived 300 Years

Travis-CI for Enterprise

Two Things Types Have Taught Me

A Tribute to Lisp: Jedi Masters

Where Does Scope Come From?

Programming, Math, and Hot Dogs

Recovering speech from vibrations in simple objects

Network Partition Processing Delay Postmortem

Most of My LPs

Bringing Static Types to Dynamic Languages

A demo implementation of a simple dependently-typed language (Stephanie Weirich)

Type Save Division in Idris Using Dependent Types

Types Are The Truth

A Typed Class in Ruby

Lisp is Abstract Syntax

The Well-Rounded Technologist

On Programming and Cooking

Translating a Typechecker from 'Math' to OCaml

μKanren: Relational (logic) Programming in 39 lines of Scheme

Why We Need Explicit State

Distributed Systems Archaeology [video]

Knots and a Mathematical Notion of Equivalence

The role of the proof in the history of distributed systems research

Distributed Systems Archaeology, Part One