Skip to content
View CYBAI's full-sized avatar
🇹🇼
λf. (λx. f (x x)) (λx. f (x x))
🇹🇼
λf. (λx. f (x x)) (λx. f (x x))
195 followers · 657 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@servo @racket-tw

Block or report CYBAI

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
@burg
Blaze Jayne burg
Software Engineer, WebKit & Safari

Apple Inc Seattle, WA

@sffc
Shane F. Carr sffc
Staff i18n engineer at Google. Standards guru at Unicode (ICU4X) and TC39 (ECMA-402). WUSTL alum. Creator of octave-online.net and more open-source projects.

Google

@Icelandjack
Icelandjack
@surapunoyousei
Ryosuke Asano surapunoyousei
Floorp Browser Founder & Developer. 8th Student of INIAD.

Faculty of Information Networking for Innovation And Design | @Ablaze-MIRAI & @Floorp-Projects 日本•神奈川

@iwiwi
Takuya Akiba iwiwi
Research Scientist at @SakanaAI. Author of Optuna and ChainerMN.

Sakana AI Tokyo, Japan

@kentookura
Kento Okura kentookura
Working on forester.
@k0kubun
Takashi Kokubun k0kubun
Optimizing Ruby's JIT compilers.

@Shopify Cupertino, CA

@kseo
Kwang Yul Seo kseo
CEO at Kodebox

Kodebox Seoul

@TerrorJack
Cheng Shao TerrorJack

@tweag Paris

@keigoi
Keigo Imai keigoi

DeNA Co., Ltd. Nagoya, Japan

@0xd34df00d
0xd34df00d 0xd34df00d

TX, US

@lemmy
Markus Alexander Kuppe lemmy

@microsoft Redmond, USA

@edolstra
Eelco Dolstra edolstra

Determinate Systems @DeterminateSystems Utrecht, Netherlands

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@moda-gov-tw
數位發展部 Ministry of Digital Affairs moda-gov-tw

Taiwan

@explainers-by-googlers
Explainers by Googlers explainers-by-googlers
This organization holds early explainers for changes to the web platform that are being developed by teams within Google.
@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

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@jfbastien
JF Bastien jfbastien
Build & scale platforms.

Tokyo, Japan

@sritchie
Sam Ritchie sritchie
@frogrocketlabs. Formerly @google AI + ML, @stripe, @twitter, co-founder @racehub. Colorado transplant.

@frogrocketlabs + @mentat-collective Boulder, CO

@uemurax
Taichi Uemura uemurax
@titzer
Ben L. Titzer titzer
WebAssembly co-founder, former V8 engineer.

Carnegie Mellon University United States

@jameshaydon
James Haydon jameshaydon

Imiron Tokyo, Japan

@mukilan
Mukilan Thiyagarajan mukilan

@Igalia

@yuezato
Yuya Uezato yuezato
Ph.D in Engineering 🦀 & Automata Theory ❤

@dwango Tokyo, Japan

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@huijing
Chen Hui Jing huijing
🇲🇾👾🏀🚲🖌👟💻🖊🎙🐈‍⬛🧗‍♀️🎹🏳️‍🌈

Singapore

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@sagudev
Sam sagudev

/dev/zero /dev/null

@orlp
Orson Peters orlp

Polars Leiden, Netherlands

@lukewagner
Luke Wagner lukewagner

Fastly United States

@LuKuangChen
KC LuKuangChen

Brown University Greater Boston, USA

@jespercockx
Jesper Cockx jespercockx

TU Delft

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@jackrusher
Jack Rusher jackrusher
Former kernel hacker and Bell Labs/AT&T Researcher, currently making art and technology in Berlin.

Applied Science Studio Berlin

@asahilina
Asahi Lina asahilina
Hello everyone, Asahi Lina here! I'm a Linux developer VTuber!

@AsahiLinux Tokyo

@luc-tielen
Luc Tielen luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium

@Hejsil
Komari Spaghetti Hejsil
Makes computers go brrrrr

Celadon City

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@timClicks
Tim McNamara timClicks
On the planet to build a better planet

@rust-in-action Wellington, New Zealand

@AutomatedTester
David Burns AutomatedTester
Chief Bacon Officer and Cat Herder

BrowserStack Bournemouth, England

@pigworker
Conor McBride pigworker

Glasgow

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

@ziglang Portland, Oregon

@stevefaulkner
Steve Faulkner stevefaulkner
Accessibility is political✊ Working for the web, anywhere and everywhere 🖖🏽

@TetraLogical London

@litherum
Myles C. Maxfield litherum
@sidvishnoi
Sid Vishnoi sidvishnoi
Web Developer/Software Engineer. Maintainer for @w3c tools: spec-prod, respec

@interledger India

@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

Télécom Paris Paris