Skip to content
View tel's full-sized avatar
✍️
✍️
228 followers · 143 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

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
@inkandswitch
Ink & Switch inkandswitch
@inconvergent
ncnvrgnt inconvergent
play my new browser game for free at: https://boxtype.app

norway

@thelilypad
thelilypad
@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

@johncarlosbaez
johncarlosbaez
@S11001001
Stephen Compall S11001001

New York, NY

@adamwalker
Adam Walker adamwalker

Sydney, Australia

@jonschoning
Jon Schoning jonschoning

@3CloudSolutions Chicago, IL

@Risto-Stevcev
Risto Stevcev Risto-Stevcev

Skopje, North Macedonia

@adelbertc
Adelbert Chang adelbertc

Seattle

@dickwall
Dick Wall dickwall

Escalate Software, LLC United States

@jdonaghue
James Donaghue jdonaghue

James Donaghue

@khiemlam
Khiem Lam khiemlam

Reify Health Boston, MA

@kliph
Cliff Rodgers kliph

Philadelphia, PA

@spinningtopsofdoom
spinningtopsofdoom
@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

@smondet
Seb Mondet smondet

New York, NY

@hammer
Jeff Hammerbacher hammer
@robotlolita
Quil robotlolita
PL designer ● Artist ● Writer ● I like cute things and cats
@joneshf
Hardy Jones joneshf
@cscherrer
Chad Scherrer cscherrer
Probabilistic programming in Rust and Julia

Redpoll Seattle, WA

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

Germany

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

Stanford

@ccasin
Chris Casinghino ccasin
I write programs.
@yomimono
yomimono yomimono

Wisconsin, USA

@astorije
Jérémie Astori astorije

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

@alandipert
Alan Dipert alandipert

Southern California

@micha
Micha Niskin micha

@adzerk-oss USA

@jferris
Joe Ferris jferris

Somerville, MA

@jordwalke
Jordan W jordwalke

Facebook, ReactJS

@rgrinberg
Rudi Grinberg rgrinberg

Toronto

@samoht
Thomas Gazagnaire samoht

@tarides Paris, FR

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

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
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@amirmc
Amir Chaudhry amirmc

@leantechnologies Cambridge, UK

@pqwy
dkm pqwy
@gcross
Gregory Crosswhite gcross
@gallais
G. Allais gallais

Glasgow, Scotland

@avibryant
Avi Bryant avibryant

Galiano Island, BC

@lubelski
William Lubelski lubelski

San Francisco, CA

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://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