Skip to content
View tel's full-sized avatar
✍️
✍️

Block or report tel

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
@bob-carpenter
Bob Carpenter bob-carpenter
I work in computational and applied statistics, largely on the Stan probabilistic programming language, autodiff library, and Bayesian inference algorithms.

Flatiron Institute New York

@jonschoning
Jon Schoning jonschoning

@3CloudSolutions Chicago, IL

@Risto-Stevcev
Risto Stevcev Risto-Stevcev

Skopje, North Macedonia

@dickwall
Dick Wall dickwall

Escalate Software, LLC United States

@khiemlam
Khiem Lam khiemlam

Reify Health Boston, MA

@kliph
Cliff Rodgers kliph

Philadelphia, PA

@ChrisCoffey
Chris Coffey ChrisCoffey

CollegeVine Cambridge

@leebyron
Lee Byron leebyron

@watershed-climate San Francisco

@sylvanc
Sylvan Clebsch sylvanc

@Microsoft Austin, TX

@ianthehenry
Ian Henry ianthehenry
OCamls by day, Janets by night

Los Angeles

@neagle
Nate Eagle neagle
I'm a front-end developer, go player, and father.

greymatter.io Washington, DC

@jkarni
Julian Arni jkarni

garnix Berlin, Germany and Basel, Switzerland

@robotlolita
Quil robotlolita
PL designer ● Artist ● Writer ● I like cute things and cats
@cscherrer
Chad Scherrer cscherrer
Probabilistic programming in Rust and Julia

Seattle, WA

@kritzcreek
Christoph Hegemann kritzcreek
Passionate typed functional programmer. Member of the church of Emacs.

@Sourcegraph Germany

@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@astorije
Jérémie Astori astorije

@analogdevicesinc, ex-@CloudHealth by @vmware, ex-@w3c Boston, MA, USA

@alandipert
Alan Dipert alandipert

Southern California

@jferris
Joe Ferris jferris

thoughtbot, inc. Cambridge, MA

@jordwalke
Jordan W jordwalke

Facebook, ReactJS

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.

Imandra (@imandra-ai) washington DC

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@avsm
Anil Madhavapeddy avsm

University of Cambridge Cambridge, UK

@amirmc
Amir Chaudhry amirmc

@leantechnologies Cambridge, UK

@gallais
G. Allais gallais

Glasgow, Scotland

@avibryant
Avi Bryant avibryant

Galiano Island, BC

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of https://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@silentbicycle
Scott Vokes silentbicycle

Fastly (@fastly) Grand Rapids, MI

@adamgundry
Adam Gundry adamgundry

Well-Typed LLP @well-typed

@nwf
Nathaniel Wesley Filardo nwf
Computer security and architecture researcher. Employed by MSR Cambridge. Nomadic developer in my own time. Employed by Microsoft Research, Cambridge.

Microsoft UK