Skip to content
View 4ad's full-sized avatar
289 followers · 272 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Organizations

@golang

Block or report 4ad

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
@GaloisInc
Galois, Inc. GaloisInc

Portland, OR

@HU90m
Hugo McNally HU90m
@the-nurk
nick the-nurk
I like to spend hours on details that I'll delete in a second.

planet brain

@ionathanch
Jonathan Chan ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn

PLClub @ UPenn Vancouver, Canada

@MarcThatcher
Marc Thatcher MarcThatcher
@danaugrs
Daniel Salvadori danaugrs
Machine Learning & Computer Graphics. Zig, Rust, Go, Python, Typescript. 🇧🇷
@gl-yziquel
gl-yziquel
@James-Oswald
James Oswald James-Oswald
Computer Science PhD student @RPI. Researcher at the @RAIRLab.

@RAIRLab Troy, New York, USA

@DKormann
kormann DKormann
🪲 Call me windshield cause I'll be smashing them bugs

Berlin

@enricozb
Enrico Borba enricozb
@Ella-Hoeppner
Ella Hoeppner Ella-Hoeppner
@githwxi
Hongwei Xi githwxi
As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.

ATS Trustful Software, Inc. Boston, Massachusetts

@roboguy13
David Young roboguy13
@xandkar
Siraaj Khandkar xandkar
λ🐫🦀

Greater Boston

@nikolaushuber
Nikolaus Huber nikolaushuber
PhD Candidate in Embedded Systems

Uppsala University Uppsala

@ericschmid-uchicago
ericschmid-uchicago
@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

@JonathanMEdwards
Jonathan Edwards JonathanMEdwards
Mad computer scientist
@veyselusta
veysel veyselusta
@alexboland
Alexander Boland alexboland
@julianhyde
Julian Hyde julianhyde
Open source database guy. Founder of @apache Calcite and @pentaho Mondrian. Architect at @looker (part of @google) and member of @apache Software Foundation

Ex @Google Berkeley, CA, USA

@colltoaction
Martin Coll colltoaction
Hyping hypergraphs

🇦🇷

@akissinger
Aleks Kissinger akissinger
@peterhorne
Peter Horne-Khan peterhorne
@hypirion
Jean Niklas L'orange hypirion
Algorist working on purely functional data structures

@Kodemaker Oslo, Norway

@paul-snively
Paul Snively paul-snively
Pure FP software architect, so far in Scala, learning Haskell. Also dabbling in OCaml for many years and Coq for some fraction of that.

Asheville, NC

@marvinborner
Marvin marvinborner

@effekt-lang @se-tuebingen

@Storyyeller
Robert Grosse Storyyeller

@drchrono

@faiface
Michal Štrba faiface
Infinity is smaller than 380012893427665492.
@tonyg
Tony Garnock-Jones tonyg

Maastricht, Netherlands

@kej715
Kevin Jordan kej715
Managing Director and Chief Curator, Nostalgic Computing Center

Nostalgic Computing Center http://www.nostalgiccomputing.org

@lucasdicioccio
dicioccio lucas lucasdicioccio
AI, Functional Programming, and Optimization
@frankpfenning
Frank Pfenning frankpfenning

Carnegie Mellon University Pittsburgh

@FranchuFranchu
FranchuFranchu
@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@taktoa
Remy Goldschmidt taktoa
Compiler guy

@MatX-inc /nix/store

@chrissiwaffler
Christoph Waffler chrissiwaffler

Munich, Germany

@danghica
Dan Ghica danghica
@tnttodda
Todd Waugh Ambridge tnttodda
Lecturer, Computer Science @ University of Birmingham

University of Birmingham

@JanBessai
Jan Bessai JanBessai

itemis

@abpy
Aaron abpy
@Protovision
Mark Swoope Protovision

California

@Champitoad
Pablo Donato Champitoad

Paris

@thelissimus
kei thelissimus
Type Theory, Compiler Engineering, Formal Verification.

Imiron

@asperti
Andrea Asperti asperti
Full Professor in Computer Science at the University of Bologna.

University of Bologna Via Mura Anteo Zamboni 7

@tjjfvi
T6 tjjfvi
@xieyuheng
Xie Yuheng xieyuheng

China

@Lorenzobattistela
Lorenzo Battistela Lorenzobattistela

Porto Alegre, Brazil

@olydis
Johannes Bader olydis
Trying to make developer tools suck less and hacking on tree calculus. Interests: PL design, formal verification, automatic program repair, education.

New York City, USA

@barry-jay-personal
Barry Jay barry-jay-personal
I've left the university to work on my book and explore other opportunities

self-employed Sydney, Australia