Skip to content
View Steven1677's full-sized avatar
🎯
Focusing
🎯
Focusing
  • UK
  • 10:47 (UTC)

Organizations

@NBFLS

Block or report Steven1677

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
@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@kitlangton
Kit Langton kitlangton
Program writer for a respectable software company.
@HuStmpHrrr
Jason Hu HuStmpHrrr
Applied scientist at AWS; PhD from McGill University; MMath from University of Waterloo; https://gitlab.com/JasonHuZS

AWS Seattle, WA

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@ekiciburak
Burak Ekici ekiciburak
Senior Research Associate at Department of Computer Science

University of Oxford Oxford

@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.

Portland State University Portland, OR

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

@runmingl
Runming Li runmingl
CS @ Carnegie Mellon University

Pittsburgh

@txa
Thorsten Altenkirch txa

The University of Nottingham Nottingham, UK

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@jk15162428
Utopia jk15162428
Game Developer - We do not bend to enjoy the happiness which is ours for the taking just at our feet.

Los Angeles

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@jfoot
Jonathan Foot jfoot
Software Engineer at @google, and MSci Computer Science graduate from the Uni of Nottingham, with expertise in C#, Java, C/ C++, Haskell, F# and Python. 🏳️‍🌈

@Google London

@EricWay1024
Yuhang "Eric" Wei EricWay1024
DPhil student in Mathematics, University of Oxford
@songkeys
songkeys
❯ ~/github/🐿 _

songkeys.eth

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@LEXUGE
Kanyang Ying LEXUGE
Physics, Quantum, NixOS, Rust
@laike9m
laike9m laike9m
@logseq user

Google Earth

@yizirui
Yizirui Fang yizirui
Seeking for PhD 25 Spring/Fall opportunity | MSE CS Graduate at Johns Hopkins University

United States

@BILLXZY1215
Zeyu Xiong BILLXZY1215

ETH Zurich Zurich, Switzerland

@Sengxian
Aohan Zeng Sengxian
Scaling models just for fun

DCST, Tsinghua University Beijing, China

@himself65
Alex Yang himself65
All Good Things

@better-auth Mountain View, CA

@miloyip
Milo Yip miloyip

Tencent Hong Kong, China

@cyyself
Yangyu Chen cyyself
Ph.D. Student. Computer Architecture & Software co-design. Open-source enthusiastic.

Chongqing University (Beijing|Chongqing|Xiamen), China

@pc
Patrick Collison pc
I type things at Stripe.

Stripe San Francisco

@vfleaking
Kaifeng Lyu vfleaking
AP @ Tsinghua | DL theory | Former OIer
@nbdd0121
Gary Guo nbdd0121

Cambridge, United Kingdom

@laekov
laekov laekov

Tsnighua Univeristy Bubble Nonexist

@Menci
Menci Menci
Software Engineer @microsoft / Code Artist

Microsoft Suzhou, China

@frantic1048
Jiahao Guo frantic1048

Fantastic Rabbit House