8000 ck76 (CHENG KUN) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ck76's full-sized avatar
🐡
Focusing
🐡
Focusing
101 followers · 517 following
  • NEUQ -> Keio University
  • China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
  • 23:21 (UTC +09:00)

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report ck76

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
@modelcontextprotocol
Model Context Protocol modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
@yminsky
Yaron Minsky yminsky

Jane Street New York, USA

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@gaocegege
Ce Gao gaocegege
AI Infrastructure / MLSys | Co-founder & CEO @tensorchord | Co-chair @kubeflow | SJTU

@TensorChord

@Vonng
Feng Ruohang Vonng
Postgres Hacker, Distribution Maker, @pgsty Founder, Cloud-Exit Han Solo

Pigsty Beijing

@msp-strath
MSP group msp-strath

Glasgow, Scotland

@google-research
Google Research google-research

Earth

@CJex
CJex

China，上海

@DmitrySoshnikov
Dmitry Soshnikov DmitrySoshnikov
@manjunath5496
Manjunath.R manjunath5496
"Science is not only a disciple of reason but, also, one of romance and passion." ― Stephen Hawking

@myw3schools.com Bangalore, India

8000
@simonpj
Simon Peyton Jones simonpj

Epic Games

@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

@waddlaw
Shinya Yamaguchi waddlaw
Haskell, TypeScript

Japan

@lynzrand
Rynco Maekawa lynzrand
"Never tried hard before, But dreamt to be special." Mainly doing compilers, but interested in everything. C++ / Rust / C# / Typescript; en_US / zh_CN.

@moonbitlang AS13-November-01

@HoTT
Homotopy Type Theory HoTT
@inariksit
Inari Listenmaa inariksit

Chalmers University of Technology Gothenburg, Sweden

@teach-plt
Programming Language Technology (DAT151 / DIT231) teach-plt
Programming Language Technology course (Chalmers DAT151 / GU DIT231)

Sweden

@codgician
codgician codgician
🌠 If I can stop one build from breaking...

@Microsoft Suzhou, Jiangsu, China

@HarrisonGrodin
Harrison Grodin HarrisonGrodin
PhD Student in PL @ CMU CSD

Carnegie Mellon University Pittsburgh, PA

@gallais
G. Allais gallais

Glasgow, Scotland

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@0xd34df00d
0xd34df00d 0xd34df00d

TX, US

@glyh
Yihang "Corvo" Liu glyh
Protocol Engineer @o1-labs; Programming Language Artist

o1Labs

@luochen1990
Luo Chen luochen1990
@mb64
Mark Barbone mb64
@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

@pe200012
pe200012
Continuation Is All You Need.

Science Tokyo Japan

@FrozenWinters
Astra Kolomatskaia FrozenWinters
Studies mathematics.

Wesleyan University

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

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

University of Pennsylvania Philadelphia

@caotic123
Tiago Campos caotic123
Trying a new way to do the same thing

UFVJM - Universidade do Vale do Jequitinhonha e Mucuri. Belo Horizonte - MG

@ShreckYe
Yongshun Shreck Ye ShreckYe
Kotlin full stack developer, programming language theory / type theory enthusiast

Chengdu

@simhu
Simon Huber simhu
@jeanqasaur
Jean Yang jeanqasaur

@akitasoftware

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@Marwes
Markus Westerlind Marwes

Stockholm

@Milky2018
Milky2018
@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@aripiprazole
gabrielle oliveira aripiprazole
atypical antipsychotic (as a software engineer)

@cloudwalk são paulo, brasil

@jacobneu
Jacob Neumann jacobneu
PhD student, Functional Programming Lab at the University of Nottingham's School of Computer Science; Former Lecturer at Carnegie Mellon University SCS

Nottingham, England, UK

@SIGPLAN
ACM Special Interest Group on Programming Languages SIGPLAN
@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@Menci
Menci Menci
Software Engineer @microsoft / Code Artist

Microsoft

@OI-wiki
OI Wiki OI-wiki
🌟 Wiki of OI / ICPC for everyone.

Beijing, China

@zxh0
zxh0

Beijing

@bennyhuo
Benny Huo bennyhuo
Google Developer Expert Kotlin & Android

@Tencent @Tencent-TDS Beijing

@wa-lang
武汉凹语言科技有限公司 wa-lang

China

@system-f
System F system-f
Aerial Operations, Functional Programming

Brisbane, Australia

0