Skip to content
View tlringer's full-sized avatar
286 followers · 48 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Block or report tlringer

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@mbostock
Mike Bostock mbostock
Building a better computational medium. Co-founder @observablehq. Creator @d3. Former @nytgraphics. Pronounced BOSS-tock.

@observablehq San Francisco, CA

@ezyang
Edward Z. Yang ezyang

New York, NY

@halfaya
John Leo halfaya

Halfaya Research Bellevue, Washington

@jmitchell
jmitchell

Seattle

@themattchan
themattchan

@awakesecurity

@Dimitreee
DD Dimitreee
@smondet
Seb Mondet smondet

New York, NY

@binaryflesh
binaryflesh binaryflesh
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@sirikid
Ivan sirikid
@PyroLagus
Mia Jasmin Bautista Sanchez PyroLagus
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai

@AD1024
Mike He AD1024
Ph.D. student @PrincetonUniversity; Working on formal methods for distributed systems

@PrincetonUniversity Princeton, NJ

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@scott-fleischman
Scott Fleischman scott-fleischman
@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@vyorkin
Vasiliy Yorkin vyorkin
neurodivergent neurodegenerate

happy goose farmer ::1/128

@Lysxia
Xia Li-yao Lysxia
@erikmd
Erik Martin-Dorel erikmd
Software developer, ex-academic

Toulouse, France

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@frankymacster
frankymacster
@annenkov
Danil Annenkov annenkov

Concordium Aarhus

@smorimoto
Sora Morimoto smorimoto
Occasional OCaml Programmer @ocaml @tarides @ocsigen @mirage @Solo5 @tc39

@ocaml @tc39 Tokyo, Japan

@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

Télécom Paris Paris

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@dannypsnl
Lîm Tsú-thuàn dannypsnl
巫術 • 展開

Taiwan

@danielcieslinski
Daniel Cieśliński danielcieslinski
Creating AI for material physics and some other stuff

National Centre for Nuclear Research Warsaw

@dtpeters
Daniel Peters dtpeters
a palimpest of unheard sound

Freelance Chicago IL

@typesAreSpaces
Jose Abel Castellanos Joo typesAreSpaces
@sofia-rose
Sofia Rose sofia-rose
@qishen
qishen qishen

Earth

@dkrustev
Dimitur Krustev dkrustev
@potan
Mike Potanin potan
@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@codyroux
Cody Roux codyroux
@satnam6502
Satnam Singh satnam6502
Functional programming, hardware design and formal specification and verification.

Los Altos, California, United States

@limemloh
Emil Holm Gjørup limemloh

Thisted, Denmark

@justinklchan
Justin Chan justinklchan
CS/ECE Assistant Professor at CMU Director @semanticsignals

Carnegie Mellon University Pittsburgh

@bkushigian
Ben A Kushigian bkushigian
4th year PhD at University of Washington

Seattle, WA

@yforster
Yannick Forster yforster
Researcher in the Cambium Team at Inria Paris

Inria Paris

@jtranoleary
Jasper Tran O'Leary jtranoleary
Software Engineer in Google Cloud. PhD in Computer Science from the University of Washington.

@google Seattle, WA

@mikolmogorov
Mikhail Kolmogorov mikolmogorov
Tenure-track Investigator at NCI. I work on building algorithms for computational genomics.

National Cancer Institute Bethesda

@sorawee
sorawee
@yurug
Yann Régis Gianas yurug

paris, france

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@dredozubov
Denis Redozubov dredozubov
@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@SimonBoulier
SimonBoulier