Skip to content
View sun-jacobi's full-sized avatar
🐈
🐈
23 followers · 86 following
  • Kyoto University
  • Japan

Achievements

Achievement: Pull Sharkx2Achievement: Pair Extraordinaire

Achievements

Achievement: Pull Sharkx2Achievement: Pair Extraordinaire

Highlights

  • Pro

Organizations

@llvm

Block or report sun-jacobi

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
@jserv
Jim Huang jserv

@BiiLabs Taipei City, Taiwan

@yiyuan-cao
Yiyuan Cao yiyuan-cao
PhD student in Programming Languages

Peking University Beijing, China

@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@jeehoonkang
Jeehoon Kang jeehoonkang
Searching for the "right" abstraction for concurrency and parallelism. Associate Professor of Computing at KAIST.

@kaist-cp, @kaist-pl, @furiosa-ai Daejeon, Korea

@jasonyu1996
Jason Yu jasonyu1996

National University of Singapore Singapore

@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@utaal
Andrea Lattuada utaal

Zürich, Switzerland

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@x14ngch3n
Xiang Chen x14ngch3n
Program Analysis | CTFer in Ph0t1n1a | Ph.D. student at HKUST

Hong Kong University of Sci and Tech HongKong

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.

@Alibaba Shanghai Xuhui

@zqy1018
Qiyuan Zhao zqy1018
A beginner. A low-level programmer.

Singapore

@Hua-hana
Jinhua Wu Hua-hana
PL | Formal Verification | Working on Rust verified compiler

Shanghai Jiao Tong University

@tobiasgrosser
Tobias Grosser tobiasgrosser

University of Cambridge Cambridge

@Yvan-xy
Yvan Yvan-xy
Compiler Engineer

Aarhus University Moon

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@math-fehr
Fehr Mathieu math-fehr
PhD student at the University of Edinburgh. Currently visiting at the University of Cambridge.

University of Edinburgh Edinburgh, UK

@zhezhouzz
Zhe Zhou zhezhouzz

Purdue University

@pca006132
pca006132 pca006132
Premature optimization is my passion

Hong Kong

@manasij7479
Manasij Mukherjee manasij7479
@chengniansun
Chengnian Sun chengniansun
Associate Professor in Software Engineering and Programming Languages

University of Waterloo

@jiangyy
Yanyan Jiang jiangyy
Associate Professor, Nanjing University

Nanjing University Nanjing, China

@zhengyang92
Zhengyang Liu zhengyang92

Kirkland, WA

@conrad-watt
Conrad Watt conrad-watt
Assistant Professor, NTU - see my website for open positions in Singapore. Co-chair of the WebAssembly Community Group.

Nanyang Technological University

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@thetheodor
Theodoros Theodoridis thetheodor

ETH Zurich Zurich

@Vanille-N
Neven Villani Vanille-N

ENS Paris-Saclay

@regehr
John Regehr regehr
CS professor at the University of Utah

University of Utah Salt Lake City, UT, USA

@shiatsumat
Yusuke Matsushita shiatsumat
A Rust researcher.

Tokyo, Japan

@pavpanchekha
Pavel Panchekha pavpanchekha
University of Utah professor building new web browsers using programming languages techniques.

University of Utah School of Computing Salt Lake City, UT

@xuzijian629
Joe xuzijian629
NO WAR

Tokyo, Japan

@ivanradanov
Ivan R. Ivanov ivanradanov
@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@laurmaedje
Laurenz laurmaedje

@typst Berlin

@topperc
Craig Topper topperc
@plctlab
PLCT Lab plctlab
Compilers, Simulators, Runtimes

China

@WukLab
WukLab WukLab
WukLab: Building Next-Generation Datacenter Systems

UC San Diego

@connglli
connglli
@lattner
Chris Lattner lattner

Bay Area, California, USA

@j2kun
Jeremy Kun j2kun
Author of Math ∩ Programming and pimbook.org, currently at Google. Currently writing pmfpbook.org

@googlers Portland, OR

@hikalium
hikalium hikalium

Google Everywhere on the Internet

@m-ou-se
Mara Bos m-ou-se
Rust leadership council member, Rust library team lead, Author of Rust Atomics and Locks, Founder of Fusion Engineering and Hexcat

Netherlands

@ojeda
Miguel Ojeda ojeda
@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@HidenoriMatsubayashi
Hidenori HidenoriMatsubayashi
Software Engineer @NVIDIA / ❤️ Linux, @flutter, Embedded systems, System software, Graphics

@NVIDIA, @flutter, @sony Japan

@dlsyscourse
Deep Learning Systems: Algorithms and Implementation dlsyscourse
This organization contains the content for CMU's Deep Learning Systems: Algorithms and Implementation course.
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@YouyouCong
Youyou Cong YouyouCong
I am a native speaker of delimited continuations.

Institute of Science Tokyo Tokyo, Japan

@mityu
mityu mityu

Japan

@tqchen
Tianqi Chen tqchen
Large scale Machine Learning

CMU, OctoML

@yvt
yvt yvt
Ph.D. in Information Science, does game/embedded system/web/desktop application development.

Japan