On Server jmp Contact Detailed step by step instructions. jmp Travel Photos Mostly snaps from various business trips. jmp Privacy+++ For paranoids and libertarians: my public encryption key. Off Server jmp Facebook jmp Twitter jmp LinkedIn LinkedIn manages to be both social and useful - properties previously thought to be mutually exclusive. jmp Hug Energy Visit us at 650 5th St #302 in San Francisco. jmp Prover Prover finds bugs using proof search. You've probably noticed that there are lots of bugs. That kept me busy for ten years or so.