David Van Horn (dvanhorn) | Keybase

dvanhorn

David Van Horn

CS Prof at U Maryland

Washington, DC

PGP Encrypt

8544A9947647103C

lambda_calculus tweet

lambda-calcul.us http

PGP Encrypt

Following (9)

	jbclements John Clements
	mattmight Matt Might
	bford Bryan Ford
	awruef Andrew Ruef
	piotrm Piotr Mardziel
	mflatt Matthew Flatt
	lindsey Lindsey Kuper
	sstrickl Stevie Strickland
	samth Sam Tobin-Hochstadt

Followers (30)

	duncanmak Duncan Mak
	shamansir Anton Kotenko
	AAZSDK aazsdk
	brisance E T
	cynede Cynede
	puluanau
	spufidoo Marcus Davage
	MetaGirl Meta Girl
	andrewk
	jbetzend Jonas Betzendahl

Browse others (15)

benjamin
Benjamin Pollack

lak
Luke Kanies

meseeks
Look at Me, I'm a Meeseeks

boxmein
Johannes Kadak

hdm
HD Moore

espyonage

alyee
Alan Yee

thursdayb
Thursday Bram

curatur
Damon Davison

dghubble
Dalton Hubble

Abal
abalabahaha

gka
Gregor

sweh
Sebastian Wehrmann

llkats
Lydia Kats

nfnitloop
Cody Casterline

What the heck is Keybase?

also available: other platforms

Keybase is an open source app

Keybase comes with everything you need to manage your identity, create secure chats, and share files privately. It's free.

It's fun too.

Over 100,000 people have joined Keybase so far to prove their identities, and it's growing rapidly.

Please send us feedback & bug reports.

Keybase, 2017 | read our blog | terms & privacy

HEY GET A JOB! /HEY