Skip to content
View Chobbes's full-sized avatar
95 followers · 146 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Organizations

@vellvm @HaskellEmbedded @ExEditor @HaskellAmbiguity

Block or report Chobbes

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

Jobleap.cn Japan

@seckinyasar
Seckin Yasar seckinyasar

@Metakorteks Turkey

@helallao
Ali Yaşar helallao

@Metakorteks Adana, Turkey

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@saulshanabrook
Saul Shanabrook saulshanabrook
PhD student at @uwplse advised by @gilbo. Previously worked at @Quansight / @Quansight-Labs, @LineaLabs, @jupyterlab and @burke-software.

University of Washington Seattle, WA

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@clairew
Claire Wang clairew

UPenn

@elefthei
Lef Ioannidis elefthei
Making AI write proofs about programs @ MSR

University of Pennsylvania Philadelphia, PA

@kennyballou
Kenny Ballou kennyballou
☕ :(){ :|:& };:

+[>+]

@Grahp
Grahp Grahp
Find me on https://grahp.dev :p

@Bowmap

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@erikmd
Erik Martin-Dorel erikmd
Software developer, ex-academic

Toulouse, France

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@diasbruno
Bruno Dias diasbruno
☕ 🛹 🎾 🎼 λ

Brazil

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@juanmvsa
Juan Vásquez juanmvsa
PhD student in CS at CU Boulder

@blast-cu USA

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@npe9
Noah Evans npe9

Draper Laboratories Cambridge Massachusetts

@Neustradamus
Neustradamus Neustradamus
@ashasoroushpoor
ashasoroushpoor

Iran, Tehran

@uncomfyhalomacro
Soc Virnyl S. Estela uncomfyhalomacro
I just want to code and code and build stuff in @rust-lang and @JuliaLang 🫂

@openSUSE Philippines

@alberdingk-thijm
Tim Alberdingk Thijm alberdingk-thijm

@PrincetonUniversity

@akilegaspi
Adrian Legaspi akilegaspi
Software Detective at @evolution-gaming

@evolution-gaming

@SequentialDesign
Daniel Alejandro Tapia SequentialDesign
LEM is the best program EVER !!
@dirambora
Diram dirambora
Software Engineer | Java | SpringBoot | Flutter | Digital Creator | Google Women TechMakers Ambasaddor.

Nairobi,Kenya

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@J0HN50N133
JohnsonLee J0HN50N133
@salimp2009
Salim Pamukcu salimp2009
C++ , Rust , Haskell, Back to C++ Lord of the Rings 🚀🚀

life time student

@yiyunliu
Yiyun Liu yiyunliu
PhD Student studying Programming Language Theory

University of Pennsylvania

@intoverflow
Tim Carstens intoverflow

Seattle, WA

@reikdas
Pratyush Das reikdas
PhD student, working on compilers.

Purdue University West Lafayette, Indiana

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@ahmadsafirun
ahmadsafirun
@Honkenbonkers
Reed Elenz Honkenbonkers
#honeknbonkers

ATX

@PalindromeLeung
Hannah Leung PalindromeLeung

San Mateo, CA

@rvf0068
Rafael Villarroel rvf0068
Mathematician

UAEH Pachuca, Mexico

@fessehaye
Simon Fessehaye fessehaye
Front End Developer

Vancouver, British Columbia, Canada

@j-hui
John Hui j-hui
programming languages, compilers, systems, computer music

@apple Cupertino, CA

@tarberd
Bernardo Ferrari tarberd
@askurihin
Skurikhin Alexandr askurihin
Long time python user

Russia

@jakeisnt
Jake Chvatal jakeisnt

@improvin Stockholm, Sweden

@ayo-dele-akin
Ayodele ayo-dele-akin
Human
@mplscorwin
Corwin mplscorwin
Buckaroo Banzai but it's hand-drums, Perl and Emacs instead of brain surgery, cars, and mountains; now specializing in having many children and being married-up

A Not-So-Big Company Minneapolis, MN

@Liby99
Ziyang Li Liby99
No Code No Life | Assistant Professor in CS at Johns Hopkins University

Johns Hopkins University Baltimore, MD

@quewean
quewean
@plaidfinch
finch plaidfinch
control plane engineer @oxidecomputer; founder & cryptography consultant @starlingcyber; previously: @penumbra-zone, @boltlabs-inc, @GaloisInc, @plclub

@oxidecomputer

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@juanbono
Juan Bono juanbono

@lambdaclass Buenos Aires, Argentina

@graydon
Graydon Hoare graydon

Vancouver, BC