Skip to content
View dhil's full-sized avatar
160 followers · 105 following

Organizations

@w3c @ocamllabs @links-lang @WebAssembly @hx-lang @wasmfx @mull-lang

Block or report dhil

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
@feeley
Marc Feeley feeley

Université de Montréal Montréal, Canada

@mflatt
Matthew Flatt mflatt

PLT, University of Utah Salt Lake City

@ahejlsberg
Anders Hejlsberg ahejlsberg
Microsoft Technical Fellow and lead architect of TypeScript. Original designer of C#, Delphi, and Turbo Pascal.

Microsoft Redmond, WA, USA

@Baltoli
Bruce Collie Baltoli
Compiler Engineer @ Category Labs

category.xyz Edinburgh

@andreaslyn
Andreas Lynge andreaslyn

Function Software ApS Denmark

@jhunsaker
James Hunsaker jhunsaker

New York, NY

@aletrev3
aletrev3
@rsc
Russ Cox rsc
Go Hacker. Mistake maker. (he/him)

Google Cambridge, MA

@viotr1993
viotr1993
@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@nachivpn
Nachi Valliappan nachivpn
Doing this research thing
@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@wasmfx
WasmFX wasmfx
Effect Handlers for WebAssembly
@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@Aletrever
Aletrever
@smlnj
Standard ML of New Jersey smlnj
@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@floitsch
Florian Loitsch floitsch

Toitware Aps Aarhus, Denmark

@titzer
Ben L. Titzer titzer
WebAssembly co-founder, former V8 engineer.

Carnegie Mellon University United States

@CosineP
Luna P-C CosineP
what is a programming language someone help

Northeastern University

@Yi-Zhou-01
Yi Zhou Yi-Zhou-01
@ibalazevic
Ivana Balazevic ibalazevic
Research Scientist @ Google DeepMind

DeepMind London

@robertasn
Robertas robertasn
@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania

@madsager
Mads Sig Ager madsager

Aarhus, Denmark

@stoltzstrop
Larisa Stoltzfus stoltzstrop

Edinburgh, UK

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@roger-uw
Rongxiao Fu roger-uw
@elektra85
Ornela Dardha elektra85

University of Glasgow Glasgow, UK

@SebastianClaesson
Sebastian Claesson SebastianClaesson

Sweden

@maureenjcohen
Maureen Cohen maureenjcohen
Atmospheric physicist at The Open University
@heidipi
Heidi Pi heidipi

Aalborg, Denmark

@melsman
Martin Elsman melsman
Professor at the Department of Computer Science, University of Copenhagen. Conducts research in the design and implementation of programming languages.

University of Copenhagen, Denmark Copenhagen, Denmark

@ruihuili
Rui Li ruihuili
Research Scientist at Samsung AI Center Cambridge; PhD from Informatics, Uni. of Edinburgh #ML #AI

Samsung AI Center Cambridge, United Kingdom

@dybvig
R. Kent Dybvig dybvig
@ioannad
Ioanna M Dimitriou H ioannad
logician programmer, igalian

@igalia Bonn, Germany

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@ezrakilty
Ezra elias kilty Cooper ezrakilty
@ChrisCummins
Chris Cummins ChrisCummins
Full-time geek and researcher with a passion for developing great software, often late at night.

Bay Area, California

@chitalu
Chitalu chitalu

UK

@jmid
Jan Midtgaard jmid
Hacks on FP and property-based testing. Former academic. Open to work.

Independent Denmark

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@chloestefantsova
Chloe Stefantsova chloestefantsova

Google Aarhus, Denmark

@ltratt
Laurence Tratt ltratt
Programmer, researcher. Software Development Team, King's College London

@softdevteam Somerset / London

@mgorinova
Maria Gorinova mgorinova

Something new London

@mraleph
Slava Egorov mraleph
compiling compilers @google: uber-TL for @dart-lang programming language

@Google Aarhus, Denmark

@andrewjkennedy
Andrew Kennedy andrewjkennedy
I'm a software engineer at Meta London where I work on the Hack programming language.

Meta London

@matijapretnar
Matija Pretnar matijapretnar

Faculty of Mathematics and Physics, University of Ljubljana

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@Corneliusbusch
Corneliusbusch