Skip to content
View arthuraa's full-sized avatar
131 followers · 21 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Highlights

  • Pro

Block or report arthuraa

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
@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

uhaka japan

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

The edge of knowing

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@guilhermeolivsilva
Guilherme Silva guilhermeolivsilva
Computer Science MSc student @ UFMG. Economics B.A. (UFMG).

Belo Horizonte

@o-santi
Leonardo Santiago o-santi
@AbooMinister25
Rayyan Cyclegar AbooMinister25
A high schooler and programming enthusiast. Staff at @python-discord.

@python-discord @vipyrsec

@bernborgess
bernborgess
@philip-peterson
Philip Peterson philip-peterson
Contributor to Open Source Software. Building declarative systems, UIs, and global health.

Anchorage, AK

@dirceuBarquette
Dirceu Barquette dirceuBarquette

Brazil

@yqyq-w
yqyq-w
PL+Systems
@hiroki-chen
Hiroki Chen hiroki-chen
CS Ph.D. @ IUB "Algorithms are the computational content of proofs." (Robert Harper)

Unemployed Saratoga, CA

@Vincent-lau
Shuntian Liu Vincent-lau

Cambridge, United Kingdom

@benmandrew
Ben Andrew benmandrew
PhD Researcher at the University of Manchester

University of Manchester United Kingdom

@adolfont
Adolfo Neto adolfont
Associate Professor at UTFPR Curitiba

DAINF - UTFPR Curitiba, PR, Brazil

@WinterDawn
Dongyu Wu WinterDawn
@soraros
soraros
@euisuny
Irene Yoon euisuny
@decrn
Denis Carnier decrn

KU Leuven Leuven, Belgium

@ghuysmans
ghuysmans

Belgium

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formally verified formal methods.

CISPA Helmholtz Center for Information Security Saarbrücken

@whentojump
Wentao Zhang whentojump
Ph.D. student @xlab-uiuc. Prev SJTU. Intern @efeslab. Computer science, systems.

Urbana, IL

@Kraks
Guannan Wei Kraks
Postdoc at INRIA/ENS; Incoming Asst Prof at Tufts; PL/FM/Compilers

INRIA/ENS; Tufts

@MilleniumSpark
MilleniumSpark
@patrick-nicodemus
Patrick Nicodemus patrick-nicodemus
Computational biology in Python and R. Formally verified mathematics in Coq.

University of Pennsylvania Philadelphia, Pennsylvania

@SeshatCZ
SeshatCZ

Czech republic

@melwyn95
Melwyn Saldanha melwyn95
OCaml | Compilers | Functional Programming

Rochester, NY

@vrindisbacher
Vivien Rindisbacher vrindisbacher
CS PhD @ UCSD ProgSys

University of California, San Diego San Diego, CA

@soumyadsanyal
Soumya D. Sanyal soumyadsanyal
Engineering and Data Leader.

New York, NY

@kmirzavaziri
Kamyar Mirzavaziri kmirzavaziri
Software Engineer

Dubizzle Dubai, UAE

@LeoNero
Leo LeoNero

Somewhere

@majabbour
majabbour
@samir0c
samir0c
@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@AdrianoII
AdrianoII AdrianoII
Types are 🧊.
@qcfu-bu
Qiancheng Fu qcfu-bu
PhD candidate @ Boston University

Boston, MA

@wrongbyte
wrongbyte
they see me rollin

Brazil

@jiawenliu
jiawenliu jiawenliu

Boston University Boston

@beike-zh
beike-zh
@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@lichengtao1989
mycodelct lichengtao1989
@4y8
Aghilas Y. Boussaa 4y8

École normale supérieure - PSL Marseille/Paris

@toum120
Follow自动机 toum120
@mvr
Mitchell Riley mvr

NYUAD Abu Dhabi

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@nobrowser
Ian Zimmerman nobrowser
Any of my real projects now are on gitlab or sr.ht. This started even before #GiveUpGitHub when I realized github was turning into another "social" site.
@xu3kev
Wen-Ding Li xu3kev