Skip to content
View benknoble's full-sized avatar
💚
reproductive rights are human rights
💚
reproductive rights are human rights
133 followers · 111 following

Achievements

Achievement: Galaxy Brainx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Galaxy Brainx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@dracula

Block or report benknoble

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
@Tookmund
Jacob Adams Tookmund
@travbale
Travis Bale travbale
@wrslatz
Will Slattum wrslatz
Software engineer in the OSPO @capitalone ☕ 💻 ⛰️

Capital One Asheville, NC

@MCotter92
Mason Cotter MCotter92
Data Engineer @ Pike Engineering. BS in Applied Mathematics. Avid reader, gamer, and programmer.

Pike Engineering Southern Pines, NC

@fasterthanlime
Amos Wenger fasterthanlime
hi, I'm amos! 🐿️ co-host of self-directed research podcast 🫐 teacher, video maker, software mercenary ✨ be kind, be curious

@bearcove Lyon, France

@smlnj
Standard ML of New Jersey smlnj
@capfredf
Fred Fu capfredf
Yet another typed racketeer who writes untyped code a lot

PLT @ where Dan-scheme was taught

@bradschwartz
Brad Schwartz bradschwartz

@podium

@Bogdanp
Bogdan Popa Bogdanp

Cluj-Napoca, Romania

@HeladoDeBrownie
suno lili So HeladoDeBrownie
@galaxykate
Kate Compton galaxykate
Mad scientist, artist, entrepreneur, and prof at Northwestern Specializing in generative art and creativity tools for casual users
@sorawee
sorawee
@pmatos
Paulo Matos pmatos
Igalian working on FEX-Emu, Proud Father of 2, AWA IRONMAN Triathlete. Uke Player - Aspiring Pianist.

@igalia Somewhere beautiful, Germany

@winny-
Winston (Winny) Weinert winny-

USA

@jackfirth
Jacqueline Firth jackfirth

@google Sunnyvale, CA

@samth
Sam Tobin-Hochstadt samth
I'm an associate professor at Indiana University, and a core developer of @racket.

PLT @ Indiana University Bloomington, IN

@thesephist
Linus Lee thesephist
Languages and interfaces, interpreters and compilers. Building tools and interfaces to help us think and create.

@thoughtandcraft nyc

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@ganelson
Graham Nelson ganelson
@TrueQueenBee
Cassandra Rudig TrueQueenBee
@iHinks
Isabella (Izzi) Hinks iHinks
I teach Computer Science at UNC Chapel Hill | PhD @ncsuSEAL

UNC Chapel Hill Computer Science Department Durham, NC

@rocketnia
Ross Angle rocketnia
A programming language designer, working on @era-platform and the @lathe libraries to support it.
@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@msagarpatel
Sagar Patel msagarpatel
@jbclements
John Clements jbclements

Cal Poly San Luis Obispo

@countvajhula
Siddhartha Kasivajhula countvajhula

Oakland, CA

@zyrolasting
Sage Gerard zyrolasting
I'm a computer scientist with an extensive commercial background and a recovering inner-child. Racket is my language of choice.

Gerard Systems, LLC Atlanta, GA

@willcrichton
Will Crichton willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.

Brown University Providence, RI

@mflatt
Matthew Flatt mflatt

PLT, University of Utah Salt Lake City

@samdphillips
Sam Phillips samdphillips

Oakland, California

@ralsei
Tulip Amalie ralsei

Philadelphia, PA

@LunarWatcher
Olivia (Zoe) LunarWatcher

Norway

@lojic
Brian Adkins lojic

Lojic Technologies, LLC Research Triangle Park, NC

@cgbur
Chris Burgess cgbur
Enthusiast, Data Compression
@bolt12
Armando Santos bolt12

@well-typed Portugal - Braga

@3noch
Elliot Cameron 3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕

Indiana

@ichistmeinname
Sandra Dylus ichistmeinname
holds PhD in PL; likes functional programming languages

@Cap3 Germany, Kiel

@justinleedo
Justin Do justinleedo

UNC Chapel Hill Chapel Hill, NC

@mdeboute
Martin Debouté mdeboute
French engineer consultant in Operations Research @Artelys

Artelys Paris, France

@filbranden
Filipe Brandenburger filbranden
Linux Plumber 👨‍🔧

@facebook Greater Seattle Area

@wincent
Greg Hurrell wincent
Staff Engineer at @DataDog, Ex-@github, Ex-@facebook

@DataDog

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

Boston, USA

@JustusAdam
Justus Adam JustusAdam
PhD student working on systems for privacy and security.

@brownsys Providence, RI

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@jam1garner
jam1garner
Security, modding, and Rust. Mostly Rust.

he/him

@tkapous
Tristan Kapous tkapous
@LightAndLight
Isaac Elliott LightAndLight

Australia

@liquidev
riki liquidev
a cute little ragdoll! = –w– =

the treehouse

@b-layer
b-layer

Silicon Valley

@jez
Jake Zimmerman jez
Working on @sorbet at Stripe.

@stripe San Francisco