Skip to content
View linusboyle's full-sized avatar
🎯
Focusing
🎯
Focusing
43 followers · 53 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report linusboyle

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
@zfhuang99
Cheng Huang zfhuang99
@MephistoSatanDevil
MephistoSatanDevil
@Obsidian-TTRPG-Community
Obsidian TTRPG Community Obsidian-TTRPG-Community
The Obsidian TTRPG Community is a space intended to become the One Stop Shop for all TTRPG Players and Appreciators alike who use Obsidian.
@kagangtuya-star
SilverDragon kagangtuya-star
学习中
@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@uci-plrg
Programming Languages Research Group uci-plrg
Research lab of professor Brian Demsky at the University of California, Irvine, Department of Computer Science

University of California, Irvine

@xurongchen
Xu Rongchen xurongchen
Devoted to producing more bugs for the world

HUAWEI Shanghai, China

@jiangyy
Yanyan Jiang jiangyy
Associate Professor, Nanjing University

Nanjing University Nanjing, China

@zkincaid
Zak Kincaid zkincaid

Princeton University Princeton, NJ

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@pruemmer
Philipp Ruemmer pruemmer

Uppsala University

@DimLight1998
Zhang Yang DimLight1998

Tsinghua University Beijing

@chansonyhu
chansonyhu
Formal verification / Program analysis / Regression verification

Tsinghua University

@fanhy2114
Felix fanhy2114
you are here, welcome

TsingHua University HaiDian Beijing

@3tothe6
YANG Qi 3tothe6

Beijing

@amandasystems
Amanda Stjerna amandasystems
PhD student in ”web security”. .i mi na se bangu la lojban. Ask me about Polonius!

Uppsala university Sweden

@rainoftime
rainoftime rainoftime

China

@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@MicahElliott
Micah Elliott MicahElliott
Clojure Developer at Dividend Fifth-Third

@dividendsolar Tucson, AZ, USA

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

MIT Cambridge, MA

@hwayne
Hillel Wayne hwayne

Chicago

@namasikanam
Xingyu Xie namasikanam
Dream to find rigorousness and meaning in the messy world. Learning how to interact with people.

Max Planck Institute for Security & Privacy Bochum, Germany

@chyyuu
chyyuu chyyuu
I'm teaching & researching OS/Compiler in Dept. of Computer Sci. & Tech., Tsinghua Univ.

Tsinghua Unviersity Beijing, China

@h-yu16
Han Yu h-yu16
I'm a PhD student in the Department of Computer Science and Technology in Tsinghua University.

Tsinghua University

@paulzfm
Paul paulzfm
Coq & Cocktail

Saarland University & CISPA Saarbrücken, Germany

@RecursionSheep
Recursion RecursionSheep
We never stop reading, although every book comes to an end, just as we never stop living, although death is certain.

Tsinghua University

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@abruzzi
Juntao Qiu abruzzi
I help people write better code. I'm the author of "Test-Driven Development with React" and some other technical books. Entry-level UX designer.

Atlassian Melbourne, Australia

@hsutter
Herb Sutter hsutter
Author, speaker, chair of ISO C++ committee. Designer or co-designer of various ISO C++ features.
@996icu
996icu
@da-liii
Darcy Shen da-liii
Making Mogan STEM Suite | Work days from Monday to Thursday

Hangzhou

@adah1972
Wu Yongwei adah1972
C++ programmer, consultant, and trainer

Shanghai, China

@andralex
Andrei Alexandrescu andralex
Researcher, software engineer, and author.

@NVIDIA Boston Greater Area

@changkun
Changkun Ou changkun
Science and art, life in between.

Researcher @mimuc and Engineer @Sixt Munich, Germany

@yegappan
Yegappan Lakshmanan yegappan
@jiangxin
Jiang Xin jiangxin

@alibaba Beijing, China

@wsdjeg
Eric Wong wsdjeg
@abcyzj
Zijie Ye abcyzj

Tsinghua University Beijing

@robertmeta
Robert Melton robertmeta

Intelligrit Southern Maryland

@shlomif
Shlomi Fish shlomif
I'm an Israeli software developer, writer and humorist. You can learn more about me from the pages of my home site (link below).

Tel Aviv, Israel

@BYVoid
Carbo Kuo BYVoid

New York

@tpope
Tim Pope tpope
Vim plugin artist

Brooklyn, NY

@CryFeiFei
zhangpf CryFeiFei
公众号:张小飞那些事儿

kingsoft office beijing

@AndrewRadev
Andrew Radev AndrewRadev
"Nooooo, you can't keep solving your problems by writing Vim plugins, use a real programming language" Haha vimscript go brrrrr

Leuven, Belgium

@sillybun
Yiteng Zhang. sillybun
Fudan University Bachelor of Mathematics and Applied Mathematics.

Shanghai

@sbwtw
石博文 sbwtw
PLC Compiler engineer. Using Rust/C#/Qt.

Inovance Technology Co., Ltd. Shannxi, xi'an

@brammool
Bram Moolenaar brammool
@skywind3000
Linwei skywind3000
Coding since 1991

PRC

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@manateelazycat
Andy Stewart manateelazycat
Linux, Emacs开源社区从业二十余载 懒猫微服CEO， 不端不装， 仗剑走天涯 客官喜欢， 欢迎买我家的懒猫微服 https://lazycat.cloud/

http://www.linakesi.com China