8000 gipsyh (Yuheng Su) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View gipsyh's full-sized avatar
48 followers · 171 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: Quickdraw

Highlights

  • Pro

Block or report gipsyh

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
@Ascend
Ascend
昇腾万里，让智能无所不及
@linux-rdma
linux-rdma
Linux RDMA
@xinhjBrant
Huajian Xin xinhjBrant

the University of Edinburgh

@ff-0xff
Fanfeng Luo ff-0xff
student of University of Chinese Academy of Science

University of Chinese Academy of Science

@TimeExceed
Taoda TimeExceed

Shanghai, China

@KatCe
Katharina KatCe
Hardware Security Researcher @comsec-group ETH Zurich, Ex-CERN Embedded Software Developer / Digital Electronics Verification Engineer

ETH Zurich Zurich

@Jiahui17
Jiahui Xu Jiahui17
PhD Student at ETH Zurich

ETH Zurich Zurich

@ByteDance-Seed
ByteDance-Seed
@filyouzicha
Yi Chu filyouzicha
@tile-ai
tile-ai tile-ai
Enabling Lightning-Fast AI Workloads Development via Tiling
@TaoBi22
Bea Healy TaoBi22
PhD Student at the University of Cambridge (Previously at University of Manchester and University of Edinburgh)

Cambridge, UK

@gklqmul
Kailu Guo gklqmul

Queen Mary University of London 327 Mile End Rd, Bethnal Green, London E1 4NS

@iscas-tis
Trustworthy Intelligent Systems Team @ ISCAS iscas-tis
This is TIS team led by Professors Lijun Zhang

Beijing

@sustcsonglin
Songlin Yang sustcsonglin
An INTP 🐱. PhD student @ MIT CSAIL. she/her/hers

MIT Cambridge

@SiriusNEO
Chaofan Lin SiriusNEO
Ph.D. @ IIIS, Tsinghua; Prev @ ACM Class, SJTU; MLSys

@tsinghua-ideal, Tsinghua University Beijing, China

@chengyupku
Yu Cheng chengyupku

Peking University

@songfu1983
Fu Song songfu1983
Fu Song, research professor at State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences

State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences China

@AD1024
Mike He AD1024
Ph.D. student @PrincetonUniversity Applied Scientist Intern @aws; Working on formal methods for distributed systems

@PrincetonUniversity @aws Santa Clara, CA

@SeddonShen
Seddon SeddonShen
Coding!

Homedwen University(ISCAS & UCAS) Beijing

@deepseek-ai
DeepSeek deepseek-ai
@LyricZhao
Chenggang Zhao LyricZhao
@deepseek-ai infra; previously at NVIDIA | SenseTime | Tsinghua University.

DeepSeek AI Hangzhou, China

@TobiasFaller
Tobias Faller TobiasFaller
I am a PhD student at the University Freiburg researching on SBST generation for RISC-V.
@ahmed-irfan
Ahmed Irfan ahmed-irfan

SRI International

@fengwz17
Wz Feng fengwz17
formal method

Institute of Software, CAS Beijing

@hailinzeng
Hailin, Zeng hailinzeng
Formal Verification

Beijing, China

@tzzht
Hongtai Zhu tzzht
Ph.D. candidate at ECNU.
@uenoku
Hideto Ueno uenoku

@sifive Milpitas, CA

@mlir-rs
mlir-rs mlir-rs
Rust crates related to the MLIR ecosystem
@dobios
Amelia Dobis dobios
PhD Student at Princeton Universtiy | PL for Hardware | MSc ETHZ, BSc EPFL

Princeton University Philadelphia, PA, USA

@fuqi-jia
Fuqi Jia fuqi-jia

Institute of Software Chinese Academy of Sciences Beijing, China

@OSCC-Project
OSCC OSCC-Project
Open Source Chip Community

China

@MikePopoloski
Michael Popoloski MikePopoloski

United States

@model-checking
model-checking
@bzhan
Bohua Zhan bzhan
Associate Research Professor. Institute of Software, Chinese Academy of Sciences.
@xysmlx
Lingxiao Ma xysmlx
Working on systems for machine learning.

Microsoft Research Asia Beijing, China

@zhen8838
郑启航 zhen8838
learning probabilistic
@violetDelia
violetDelia
@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@chiemon
chiemon chiemon
@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@leanprover
Lean leanprover
Lean Prover
@ptillet
Philippe Tillet ptillet

OpenAI San Diego / San Francisco

@sethbrin
zengping sethbrin

中科院计算所

@maerhart
Martin Erhart maerhart

@SiFive | ETH Zurich Cambridge, UK

@lattner
Chris Lattner lattner

Bay Area, California, USA

@PyO3
PyO3 PyO3
Pythonium Trioxide
@lee-man
Lee Man lee-man
Hardware formal verification

HUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D. Shenzhen

@Rw1nd
Jian Fang Rw1nd
I'm interesting in software verification.

Peking University Beijing, China

@tianrui-wei
Tianrui Wei tianrui-wei
tempus fugit

@ucb-bar Berkeley, California

0