dvanhorn (David Van Horn) | 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 (8)

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

Followers (36)

	self Faried Nawaz
	davidad David Allen Dalrymple
	The_RainMaker The Rain Maker )
	rojikku
	dudnik Nek
	xuanruiqi Xuanrui Ray Qi
	jim17 jimmy
	duncanmak Duncan Mak
	shamansir Anton Kotenko
	AAZSDK aazsdk

Browse others (15)

jefferai
Jeff Mitchell

awaxa
Greg Kitson

ah
J. Alex Halderman

sallar
Sallar Kaboli

fampinheiro
Filipe Pinheiro

schellevis
Joost Schellevis

dougburks
Doug Burks

claytron
Clayton Parker

kevinrose
Kevin Rose

lancejames
Lance James

abhay
Abhay Kumar

Lyoness
Carmen Andoh

darrelclute
Darrel Ray Clute, III

ichan
Irwin Chan

crystal
Crystal Language

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, 2018 | read our blog | terms & privacy

HEY GET A JOB! /HEY