Skip to content
View jxu's full-sized avatar
:shipit:
if it type-checks it ships
:shipit:
if it type-checks it ships
  • Wit's End

Block or report jxu

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
@ghost
Deleted user ghost
Hi, I'm @ghost! I take the place of user accounts that have been deleted. :ghost:

Nothing to see here, move along.

@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@Hermann-SW
Hermann Stamm-Wilbrandt Hermann-SW

49.4507,8.9769 Eberbach/Germany

@RobertHarper
Robert Harper RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

Carnegie Mellon University Pittsburgh PA

@soroush
Soroush Rabiei soroush
AI Researcher - Neurosymbolic AI - Reasoning, Ontological Knowledge Representation - Explainable AI Systems Developer

Austria

@jeroen
Jeroen Ooms jeroen
Staff research engineer at @ropensci, tidyverse team member, and project lead for R-universe

Utrecht

@rhettinger
Raymond Hettinger rhettinger
Python core developer. Certified Public Accountant. Freelance programmer/consultant/trainer. Husband to Rachel. Father to Matthew.

Mutable Minds, Inc. Santa Clara, California

@vstinner
Victor Stinner vstinner
Maintain Python upstream (python.org) and downstream (RHEL and Fedora) for Red Hat. @python core developer.

@RedHatOfficial France

@glemaitre
Guillaume Lemaitre glemaitre

Chief ML Officer / OSS Engineeer @probabl-ai Paris-Saclay / France

@gvanrossum
Guido van Rossum gvanrossum

Microsoft San Francisco Bay Area

@jwakely
Jonathan Wakely jwakely
GCC developer, ISO C++ wonk.

Red Hat

@onqtam
Viktor Kirilov onqtam
The medium is the message. Building the Global Brain as the Third Attractor. Intentional Evolutionary. Cultural Infrastructuralist. Previously just stardust.

Sofia, Bulgaria

@Cyan4973
Yann Collet Cyan4973
data compression

@facebook Menlo Park, USA

@mikeNG
Michael Bestas mikeNG

@LineageOS @CalyxOS

@alpertron
Dario Alpern alpertron
Creator of many calculators that run in Web browsers. They run in desktops, laptops, tablets and smartphones with no installation required.

Buenos Aires - Argentina

@lnmangione
Luigi Mangione lnmangione
M.S.E. and B.S.E. in Computer Science @ University of Pennsylvania

AppRoar Studios

@raiguard
Caleb Heuer raiguard
I have moved over to Codeberg.

@wube United States

@johnsonjh
Jeffrey H. Johnson johnsonjh
Not RPM developer Jeffrey Johnson. Not XTree developer Jeffrey Johnson. Not Jeffrey Johnson, Google Senior Software Engineer. Not the robotic engineer, either.

BAN AI Systems https://keybase.io/trnsz

@historicalsource
Historical Source historicalsource
A collection of historical source files, for education and perusal.
@eliben
Eli Bendersky eliben

@google California

@trizen
Daniel Șuteu trizen
Interested in programming language design, computational number theory and data compression.
@tpope
Tim Pope tpope
Vim plugin artist

Brooklyn, NY

@bstarynk
Basile Starynkevitch bstarynk
born in 1959, hold PhD in AI, grandfather.

92340 Bourg La Reine, France

@zackw
Zack Weinberg zackw
I AM NOT LOOKING FOR A JOB. DO NOT CONTACT ME WITH JOB OFFERS. I do security research and misc systems coding. Please see my personal website for more detail.

Pittsburgh, PA

@skitt
Stephen Kitt skitt

@redhatofficial Lyon, France

@david-a-wheeler
David A. Wheeler david-a-wheeler
My work title is "Director of Open Source Supply Chain Security" at the Linux Foundation. Much of this isn't work though.

Linux Foundation

@saattrupdan
Dan Saattrup Smart saattrupdan
Senior AI Specialist, Mathematics PhD

Alexandra Institute Copenhagen, Denmark

@hsutter
Herb Sutter hsutter
Author, speaker, chair of ISO C++ committee. Designer or co-designer of various ISO C++ features.