Skip to content
View vain0x's full-sized avatar
🐧
safe and sound, well-typed
🐧
safe and sound, well-typed
78 followers · 94 following

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Block or report vain0x

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
@ksrky
R.Kashiwagi ksrky

Kyoto, Japan

@dtolnay
David Tolnay dtolnay

0xF9BA143B95FF6D82 Redwood City, California

@LambdaNote
Lambda Note Ltd LambdaNote

Lambda Note Ltd Tokyo

@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@k16shikano
keiichiro shikano k16shikano

Tokyo

@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@Midoliy
T.Midorikawa Midoliy

Osaka/Japan

@skeeto
Christopher Wellons skeeto

Maryland

@WinterTC55
WinterTC WinterTC55
Technical Committee on Web-interoperable Server Runtimes
@rust-analyzer
rust-analyzer
Building next-generation IDE tooling for Rust
@karino2
karino2
@graydon
Graydon Hoare graydon

Vancouver, BC

@sheredom
Neil Henning sheredom
Verse @ Epic, Ex-Burster @ Unity, Ex-RTG @ AMD, Ex-Vulkanite @ Codeplay

@EpicGames Scotland

@qnighy
Masaki Hara qnighy
Loves programming languages. I do not receive scouts via email. Use Wantedly or AtCoder Jobs.

@wantedly Tokyo

@minoki
ARATA Mizuki minoki
a Haskell enthusiast, a GHC contributor, the author of LunarML

Japan

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@takoeight0821
Yuya Kono takoeight0821
@raviqqe
Yota Toyama raviqqe

On the Internet

@neverRare
Koko neverRare
aka neverRare aka Koko - computer science student and artist

Philippines

@yubrot
yubrot yubrot

STORES, Inc. Japan

@fffsharp
fffsharp fffsharp

Japan

@eliza0x
Sohei Yamaga eliza0x
Interested in Haskell, Electricity Circuit, Math, Computer Architecture.

Japan/Nara

@shqld
shqld
Seal never throws the ax but smiles at you.

Tokyo

@nobishino
nobishii nobishino
Software engineer
@monaqa
monaqa monaqa
Vim (Neovim) / Rust / Typst

Tokyo, Japan

@ikorin24
ikorin24 ikorin24
今すぐ瞬間を感じて

Japan

@tsufeki
tsufeki
@usm-takl
usm-takl
@rtfeldman
Richard Feldman rtfeldman
Creator of the Roc programming language. Author of Elm in Action.

@zed-industries Philadelphia, PA

@naasking
Sandro Magi naasking

Software Consultant Canada

@RDambrosio016
Riccardo D'Ambrosio RDambrosio016
Senior Computer Graphics & GPGPU Engineer. If it can do parallel work, i can make it run anything.

Foresight Spatial Labs

@0yoyoyo
Sato Yoshiki 0yoyoyo

Japan

@raphlinus
Raph Levien raphlinus
@yutopp
yutopp yutopp

Japan

@uchan-nos
Kota UCHIDA uchan-nos
Cybozu Labs, Inc. / Hobby OS/CPU/Compiler developer

Cybozu Labs, Inc. Tokyo

@RustyYato
RustyYato
@sozysozbot
sozysozbot / hsjoihs sozysozbot
https://twitter.com/sosoBOTpi https://twitter.com/hsjoihs Identical to @hsjoihs

Tokyo

@lambdataro
Naoki Takashima lambdataro

@dwango Tokyo

@gunyarakun
Tasuku SUENAGA a.k.a. gunyarakun gunyarakun

wktk / Reazon Holdings / Enactic Tokyo, Japan

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@zehnpaard
zehnpaard
@Drumato
drumato Drumato
interests -> Network/Kubernetes/Infra software/etc

Japan

@kazatsuyu
白山風露 kazatsuyu
C++, Rust, TypeScript
@typesanitizer
Varun Gandhi typesanitizer
PL enthusiast.
@rchaser53
rChaser53 rchaser53
Web Developer

LY Corporation Tokyo

@gfngfn
Takashi Suwa gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer

Kyoto, Japan

@Mima-q
Mi_kyuu Mima-q
@kvpt
Kevin Petit kvpt

Hacksis Toulouse, France

@pandaman64
pandaman pandaman64

Japan

@wraikny
wraikny wraikny
I write F#, C#, OCaml. I dev 2D game as a hobby. icon by higumasyake

@amusementcreators, @Altseed Tokyo