(Go: >> BACK << -|- >> HOME <<)

Skip to content
View sp1ff's full-sized avatar
Block or Report

Block or report sp1ff

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
@stepchowfun
Stephan Boyer stepchowfun
real numbers are horrifying

Notion Labs, Inc. San Francisco, CA

@pittma
dan pittman pittma
Mediocre programmer and mathematics dilettante.

Portland, USA

@pedrominicz
Pedro Minicz pedrominicz
Human/programming language enthusiast.
@bishboria
Stuart Gaλe bishboria
Former mathematician. Glaikit type theory phd student

Glasgow

@withtwoemms
Emmanuel I. Obi withtwoemms
Software Engineer interested in scalability and fault-tolerance

Chicago, IL

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

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

Brown University Providence, RI

@skidoo23
skidoo23

Western Germany

@dani-garcia
Daniel García dani-garcia

Bitwarden, Inc. Asturias, Spain

@drmingdrmer
张炎泼 drmingdrmer
have a bit of fun with bits.

openacid Beijing China

@seblemaguer
Sébastien Le Maguer seblemaguer

University of Helsinki Helsinki

@qingshuizheng
Qingshui Zheng qingshuizheng
Anesthesiologist, setting up AnesWiki.com, very alpha version.

Wildomar, CA

@dtolnay
David Tolnay dtolnay

0xF9BA143B95FF6D82 Redwood City, California

@BurntSushi
Andrew Gallant BurntSushi
I love to code.

@astral-sh Marlborough, MA

@politicalmath
PoliMath politicalmath
Software developer, data visualization artist, writer of Marginally Compelling

Cranston McGee's Karaoke Speakeasy

@lockcp
lockcp
媒体人
@regehr
John Regehr regehr
CS professor at the University of Utah

University of Utah Salt Lake City, UT, USA

@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

@raidgar98
Krzysztof raidgar98
I am a student with huge passion to programming, especially for C++

BlockchainWares /home/raidg/

@djcb
Dirk-Jan C. Binnema djcb

DJCBSoftware Helsinki, Finland

@hudson-ayers
Hudson Ayers hudson-ayers
Stanford University EE PhD Student
@cdisselkoen
Craig Disselkoen cdisselkoen
Sr. Applied Scientist at AWS. PhD '22 from UC San Diego

AWS

@C-J-Cundy
Chris Cundy C-J-Cundy
PhD Student at the Stanford University AI Lab

Palo Alto, USA

@withoutboats
srrrse withoutboats
In civilizations without boats, dreams dry up, espionage takes the place of adventure, and police take the place of pirates.

Berlin

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn