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))
205 followers · 660 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

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@ranger-ross
Ross Sullivan ranger-ross

Tokyo, Japan

@xldenis
Xavier Denis xldenis
databases, verification & rust @ turbopuffer

turbopuffer

@pandaman64
pandaman pandaman64

Japan

@burg
Blaze Jayne burg
Software Engineer, WebKit & Safari

Apple Inc Seattle, WA

@sffc
Shane F. Carr sffc
Staff engineer @google. Standards guru at Unicode (ICU4X) and TC39 (ECMA-402). WUSTL alum. Creator of octave-online.net and more OSS. AI usage always disclosed.

Google

@Icelandjack
Icelandjack
@Ryosuke-Asano
Ryosuke Asano Ryosuke-Asano
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
@keigoi
Keigo Imai keigoi

DeNA Co., Ltd. Nagoya, Japan

@0xd34df00d
0xd34df00d 0xd34df00d

TX, US

@lemmy
Markus Alexander Kuppe lemmy

@NVIDIA 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
Postdoc at Reykjavik University, studying category theory and semantics of type theory Formerly at University of Nottingham, Carnegie Mellon University

Reykjavik, Iceland

@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
@flyonspeed. Formerly @google AI + ML, @stripe, @twitter, co-founder @racehub + @perceptual-ai. Colorado transplant.

@flyonspeed 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

London, UK

@mukilan
Mukilan Thiyagarajan mukilan

@Igalia

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

@cyberagent 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

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
@jackrusher
Jack Rusher jackrusher
Former kernel hacker and Bell Labs/AT&T Researcher, currently making art and technology in Berlin.

Applied Science Studio Berlin

@hoshinolina
Hoshino Lina hoshinolina
Hello everyone, Hoshino Lina here! I'm a developer VTuber!

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 Titania 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