Lambda the Ultimate

Software industry escapee and doctoral student, working on giving formal semantics to probabilistic inference on conditional models. Will work for proofs.

programming languages, probability theory and practice, computer vision, image processing, computer graphics, music, comedy, religion