dvanhorn (David Van Horn) | Keybase

dvanhorn

David Van Horn

CS Prof at U Maryland

Washington, DC

Chat with dvanhornStart a chat
Your conversation will be end-to-end encrypted.

8544A9947647103C

lambda_calculus tweet

lambda-calcul.us http

Chat with dvanhornStart a chat
Your conversation will be end-to-end encrypted.

Following (8)

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

Followers (61)

	beslayed Benjamin Slade
	jerb j
	loganbd
	minh Do Nhat Minh
	daemraz Walter Rorie-Baety
	yoyerek Anja Kubik
	charity25 Joanie Strosin
	shamansir Anton Kotenko
	shavilla Villa Andrea
	lavonnecore Lavonne Core

Browse others (15)

joshmc_global
Josh

nandakishoreanki
Nanda Kishore Anki

dharaprajapati

limebsd
Henry J Bond

tskrzypek

emivg
Emilio

adoyle
ADoyle

ennolenze
Enno Lenze

tibotsportcaller

fancy4

pagetyajneang
Paget Neang

siguza
Siguza

heeba
Heeba Kariapper

mrizzo21

rjmvanspanning
Rob van Spanning

What the heck is Keybase?

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, 2026 | read our blog
terms & privacy & security advisories & california ccpa & acceptable use