Skip to content
View lastland's full-sized avatar
298 followers · 70 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@sjtu-outsight

Block or report lastland

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
@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@saulshanabrook
Saul Shanabrook saulshanabrook
PhD student at @uwplse advised by @gilbo. Previously worked at @Quansight / @Quansight-Labs, @LineaLabs, @jupyterlab and @burke-software.

University of Washington Seattle, WA

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@elefthei
Lef Ioannidis elefthei
Making AI write proofs about programs @ MSR

University of Pennsylvania Philadelphia, PA

@nikswamy
nikswamy
@Chris-Hawblitzel
Chris Hawblitzel (Microsoft) Chris-Hawblitzel

Microsoft

@Lysxia
Xia Li-yao Lysxia
@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@XujieSi
Xujie Si XujieSi

University of Toronto Toronto

@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

@antalsz
Antal Spector-Zabusky antalsz
I use GitHub for work and collaboration, but my personal projects have moved to GitLab (same username) because GitHub is contracting with ICE.

@rigetti Brooklyn, NY

@lemonidas
Leonidas Lampropoulos lemonidas

Greece

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@izgzhen
Zhen Zhang izgzhen
Build stuff
@azzamalthagafi
Azzam azzamalthagafi

NYC

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@bixuanzju
Xuan Bi bixuanzju
Developer

Hong Kong

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.

@PingCAP Shanghai Hongkou

@gatoWololo
Omar Navarro Leija gatoWololo
Time for Crab 🦀

San Francisco

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@titanxxh
Xinhao Xu titanxxh
a boardgamer, a programmer, a football fan

Shanghai, China

@SatanWoo
SatanWoo SatanWoo
https://satanwoo.github.io

Alibaba Hangzhou

@fangyizhu
Fangyi Zhu fangyizhu
Researcher @ Stanford Precision Neurotherapeutics Lab

SF Bay Area

@wong2
wong2 wong2
I love reading user manuals.
@kingFighter
Kaiyang Lyu(Kevin Lui) kingFighter
Work hard, Enjoy life.

Shanghai Jiao Tong University Shanghai, China

@timshen91
Tim Shen timshen91
@antonyjzp
Sniperjzp antonyjzp
@EpsilonX
EpsilonX EpsilonX

Shanghai,PRC

@huanghaihui
Alex_Huang huanghaihui

SJTU SE,SJTU

@yinwang0
Yin Wang yinwang0
@bbatsov
Bozhidar Batsov bbatsov
Hacker. Emacs fanatic. Author of RuboCop, CIDER, Projectile and others. I'm not the best, but I'm pretty good. ;-)

Toptal (@toptal) Bulgaria

@0x333333
Zhipeng Jiang 0x333333
@tiktok, XGoogler | XUber. I'm Hiring!!

TikTok SF

@styxyang
Yang Hong styxyang
@sky1young
sky1young
@xyzhu1120
XYZ xyzhu1120
さん

Shanghai Jiao Tong University Shanghai

@RudoIf
Haonan Zheng RudoIf

Shanghai Jiao Tong University Shanghai,China

@wweic
Wei Chen wweic
Senior PE @ Unity, Apache TVM

Seattle

@hongxuchen
h0n9xu hongxuchen
Keep It Simple, Stupid!

Shenzhen, Guangdong, China

@zhuth
ZTH zhuth
@chapter09
Hao Wang chapter09
An 🍎 a day keeps a 👨🏻‍🎓 away

Stevens Institute of Technology Hoboken

@xjia1
Xiao Jia xjia1

@naivesystems

@wujayway
Wu Jayway wujayway

@alipay Shanghai

@halida
Halida halida

http://www.focussi.com/ Shangrao, China

@lmmsoft
Mingming Lou lmmsoft
Programer working on DevOps, CICD and Engineering Efficiency fields.

Hong Kong SAR, China

@formulahendry
Jun Han formulahendry
Author of Code Runner for VS Code, Author of the book of 'Visual Studio Code 权威指南', Speaker in QCon, PyCon, JSConf, .NET Conf, COSCon and so on

@Microsoft Shanghai, China

@liwenhaosuper
LiWenhao liwenhaosuper

Shanghai Jiao Tong University

@more-more-tea
QIU Shuang more-more-tea

SJTU Shanghai, China

@wideasyu
DS Yu wideasyu