Skip to content
View Steven1677's full-sized avatar
🎯
Focusing
🎯
Focusing
19 followers · 41 following
  • UK
  • 09:26 (UTC +01:00)

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

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.

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
@HuStmpHrrr
Jason Hu HuStmpHrrr
PhD student at McGill University https://gitlab.com/JasonHuZS

McGill University Montreal, QC

@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

@Mic92
Jörg Thalheim Mic92

no ::1

@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/Coq.

Portland State University Portland, OR

@LightAndLight
Isaac Elliott LightAndLight

Australia

@SEIAROTg
Archimedes Smith SEIAROTg

London, UK

@L-as
Las Safin L-as
@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.

Vancouver, BC

@anka-213
Andreas Källberg anka-213

Sweden

@jk15162428
Utopia jk15162428
Computer Science & Game Development. We do not bend to enjoy the happiness which is ours for the taking just at our feet.

Los Angeles

@forked-from-1kasper
Siegmentation Fault forked-from-1kasper
Unskilled

Milky Way, Solar System, Earth

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

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

@experiandataquality London

@EricWay1024
Yuhang "Eric" Wei EricWay1024
MSc Mathematical Sciences graduate @ University of Oxford. Former competitive programming participant. Self-taught full-stack web developer.
@songkeys
songkeys
❯ ~/github/🐿 _

@NaturalSelectionLabs songkeys.eth

@sdiehl
Stephen Diehl sdiehl
Software Engineer

London

@LEXUGE
Kanyang Ying LEXUGE
Physics Student. Interested & Learning: Rust and networking. Using: NixOS, GNOME.
@laike9m
laike9m laike9m
Author of Cyberbrain and pdir2, @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
PhD student @ ETH Zurich.

ETH Zurich Zurich, Switzerland

@Sengxian
Aohan Zeng Sengxian

DCST, Tsinghua University Beijing, China

@axiomofchoice-hjt
Axiomofchoice axiomofchoice-hjt
@gaearon
dan gaearon

@bluesky-social

@himself65
Alex Yang himself65
Coding for fun.

@run-llama Mountain View, CA

@miloyip
Milo Yip miloyip

Tencent Hong Kong, China

@nanpuyue
南浦月 nanpuyue
@cyyself
Yangyu Chen cyyself

Chongqing University Beijing / Chongqing / Xiamen, China

@pc
Patrick Collison pc
I type things at Stripe.

Stripe San Francisco

@vfleaking
Kaifeng Lyu vfleaking
final-year Princeton CS PhD student / Graduated from Yao Class, Tsinghua University / OIer
@BYVoid
Carbo Kuo BYVoid

New York

@nbdd0121
Gary Guo nbdd0121

Cambridge, United Kingdom

@laekov
laekov laekov

Tsnighua Univeristy Bubble Nonexist

@Menci
Menci Menci
Software Engineer @microsoft

Microsoft Suzhou, China

@frantic1048
Jiahao Guo frantic1048

Fantastic Rabbit House

@chugle
chugle