Skip to content
View stites's full-sized avatar
234 followers · 217 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx3

Highlights

Organizations

@NixOS @DemandCube @satellite-game @nuprl @informall @DataHaskell @hasktorch @probtorch @neu-pml @neuppl

Block or report stites

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
@kisonecat
Jim Fowler kisonecat

Columbus, OH

@Ericson2314
John Ericson Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.

@ObsidianSystems New York

@logiccomp
logiccomp
@gallais
G. Allais gallais

Glasgow, Scotland

@JeffreyBenjaminBrown
Jeffrey Benjamin Brown JeffreyBenjaminBrown
I am the CTO for ofiscal.org. I like nature, knowledge graphs, music, and math.

Observatorio Fiscal (ofiscal.org) Bogota

@sarajuhosova
Sára Juhošová sarajuhosova
PhD Candidate @ Programming Languages | TU Delft

Delft

@mattxwang
Matt Wang mattxwang
Some mix of teaching and beep-bop-booping to empower people. Maintaining @just-the-docs and @stylelint; retired @neuppl @uclaacm.

teaching prof at university of washington seattle

@PoorvaGarg
Poorva Garg PoorvaGarg
Ph.D. Student at UCLA
@CeleritasCelery
Troy Hinckley CeleritasCelery
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@rmculpepper
Ryan Culpepper rmculpepper

PLT Prague, CZ; Boston, MA, USA

@alhassy
Musa Al-hassy alhassy
Engineering Manager & JS Team Lead ;; Programming language enthusiast ;; Emacs & Org-mode Promoter ;; Computing Science PhD ;; Previously a Sessional Lecturer

Canada

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@dtolnay
David Tolnay dtolnay

0xF9BA143B95FF6D82 Redwood City, California

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@Eskapp
eepaillard Eskapp
@ellieyhcheng
Ellie Y Cheng ellieyhcheng
@ulysses4ever
Artem Pelenitsyn ulysses4ever
Purely Fictional

Lafayette, IN

@JohnGouwar
John Gouwar JohnGouwar
PhD Student in Programming Languages at Northeastern University. Programming about programming brings me joy.

@nuprl

@inanna-malick
Inanna Malick inanna-malick
Rust, Haskell, various recursion schemes shenanigans. she/her. 🏳️‍⚧️ twitter.com/inanna_malick

Cloudflare Oakland

@bobbbay
Bob bobbbay

Canada

@BurntSushi
Andrew Gallant BurntSushi
I love to code.

@astral-sh Marlborough, MA

@xAndreiLi
Andrei Li xAndreiLi

@amex-eng

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@bkmi
Benjamin Kurt Miller bkmi

Meta

@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

@slindley
Sam Lindley slindley
@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@zenna
Zenna Tavares zenna

Basis New York

@dirmeier
Simon Dirmeier dirmeier

@SwissDataScienceCenter Zurich, Switzerland

@GeometryCollective
Geometry Collective GeometryCollective
The Geometry Collective is a group of researchers at Carnegie Mellon University focusing broadly on the interaction between geometry and computation.

Pittsburgh, PA

@ddvk
ddvk ddvk
an average nerd

Zurich

@YugeTen
Yuge Shi (Jimmy) YugeTen

University of Oxford Oxford, United Kingdom

@iffsid
iffsid iffsid
@breandan
breandan breandan
@dselsam
Daniel Selsam dselsam
@jethrokuan
Jethro Kuan jethrokuan
Author of Org-roam. previously: bytedance, twitter, carousell

@abnormal-security San Francisco

@jtristan
John Tristan jtristan

Amazon United States

@ColCarroll
Colin Carroll ColCarroll
@hao-w
Hao Wu hao-w
AL/ML Research Scientist | GenAI | Bayesian Inference | Probabilistic Programming

AWS Seattle, WA

@adamwespiser
Adam Wespiser adamwespiser
Software Engineer.

Boston, MA

@twgr
Tom Rainforth twgr
Senior Research Fellow in Machine Learning at the University of Oxford
@mmurakowski
mmurakowski
@tfc
Jacek Galowicz tfc
@tfc:matrix.org at Matrix

@applicative-systems Braunschweig, Germany

@esennesh
Eli Sennesh esennesh

@BastosLab Vanderbilt University

@jwvdm
Jan-Willem van de Meent jwvdm

University of Amsterdam, Northeastern University Amsterdam, NL

@whanhee
whanhee
@bgavran
Bruno Gavranović bgavran
Categorical Deep Learning

London, United Kingdom