8000 dvanhorn (David Van Horn) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View dvanhorn's full-sized avatar

Highlights

  • Pro

Organizations

@racket @plum-umd @CCIS-2510H @nuprl @cmsc430

Block or report dvanhorn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@mrb
Michael Bernstein mrb
Actual human being.

Reify Takoma Park, MD

@LeifAndersen
Leif Andersen LeifAndersen

PLT @ Northeastern University Boston, MA

@luisggpina
Luís Pina luisggpina
I'm an Assistant Professor of Computer Science at the University of Illinois Chicago

University of Illinois at Chicago (UIC) Chicago

@jmid
Jan Midtgaard jmid
Hacks on FP and property-based testing. Former academic. Open to work.

Independent Denmark

@leepike
Lee Pike leepike

Portland, Oregon, USA

@mbutterick
Matthew Butterick mbutterick
Adversarial prompt

Los Angeles

@Javran
Javran Cheng Javran
preservation and progress.

@google Sunnyvale, USA

@pfrazee
Paul Frazee pfrazee
Developer at Bluesky

Bluesky Austin, TX

@creationix
Tim Caswell creationix
Making the world better and more free, one technology at a time.

@luvit Mountainburg, AR, USA

@ravichugh
Ravi Chugh ravichugh
CS Professor

UChicago

@rpless
Ryan Plessner rpless

Granted Health Boston, MA

@fogus
Fogus fogus

Cognitect / Nubank DC

@awodey
Steve Awodey awodey

CMU Pittsburgh PA

@carl-eastlund
Carl Eastlund carl-eastlund

Northeastern University (alumnus) New York, NY

@sstrickl
Tess Strickland sstrickl
Recovering academic. Current Googler.

@google Aarhus, Denmark

@MatthewFluet
Matthew Fluet MatthewFluet
Associate Professor; Dept. of Computer Science; Rochester Institute of Technology

Rochester Institute of Technology Rochester, NY

@ashawley
Aaron S. Hawley ashawley
Middlebury Interactive Languages, Inc

https://www.stridelearning.com/ Middlebury, VT

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@barak
Barak A. Pearlmutter barak

Dept of Computer Science, Maynooth University Ireland

@jpolitz
Joe Politz jpolitz
Most of my Github activity is related to my courses (see my website for details), the Pyret programming language, and various research efforts.

UC San Diego CA

@greghendershott
Greg Hendershott greghendershott
Maker of things for Emacs and Racket.

Boston, USA

@sunshowers
Rain sunshowers
Rust developer, @nextest-rs maintainer

@oxidecomputer Oakland, CA, US

@deeglaze
Dionna Amalie Glaze deeglaze
I work in Google Cloud Security on confidential computing technology.

Google Seattle, WA

@asajeffrey
Alan Jeffrey asajeffrey
Alan passed away in July. Software Engineer at Roblox, focusing on the Luau scripting language.

Roblox Chicago, IL

@webyrd
William E. Byrd webyrd

University of Alabama at Birmingham Cambridge, MA

@tov
Jesse A. Tov tov

Brooklyn, NY, USA

@aturon
Aaron Turon aturon
Engineer at Fastly, working on Compute

Fastly Portland, OR, USA

@jdanbrown
Dan Brown jdanbrown

Taking a break Boulder

@rfindler
Robby Findler rfindler
Professor of Computer Science at Northwestern and a core developer of @racket.

Northwestern University, PLT

@jhellerstein
Joe Hellerstein jhellerstein

UC Berkeley Berkeley, CA

@schwers-zz
Ryan Schwers schwers-zz

Reddit San Francisco

0