[go: nahoru, domu]
Skip to content
View jrh13's full-sized avatar
43 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2
Block or Report

Block or report jrh13

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
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@TaviTruman
Tavi Truman TaviTruman
Developing modern semantics reasoners, rdf, rdfs, skos, owl parsers SDK/API, provers, solvers, and graph data structures. API/SDK for Semantic Reasoning

InKnowWorks, CORP & InKnowWorks Technologies Campbell, CA

@fNBU
Adam Layne fNBU
I'm a Mathematician formerly working in academia. My interests are in mathematical modeling PDE, FP, and safety assurance of software.

Oregon, USA

@booniepepper
Justin "J.R." Hill booniepepper
Programming Philologist

Furnished Finder US

@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@ccianos
Charles Cianos ccianos
Wassup friends! I'm Charlie a beautiful Homo Sapien of hominization only for peace. BLM, BIPOC, LGBTQ+, the Poor and the Homeless matter.

San Francisco Bay Area

@ilovericenoodle
ilovericenoodle
Weiyu Zhou
@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore

@doehyunbaek
Doehyun Baek doehyunbaek

Daejeon

@erikmd
Erik Martin-Dorel erikmd
Maître de Conférences en Informatique (IRIT/UT3)

Lab. IRIT, Univ. Toulouse 3 Paul Sabatier Toulouse, France

@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@f3d3r1c01
f3d3r1c01
@plumenator
Karthik Ravikanti plumenator

Singapore

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@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.
@kt3k
Yoshiya Hinosawa kt3k
A web dev in 🇯🇵. Work on @denoland. Current hobby: VSCode Custom Editor

@denoland Tokyo, Japan

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@coq-community Vietnam

@breandan
breandan breandan
Student

@mila-iqia Montréal, Québec, Canada

@richardlford
Richard L Ford richardlford
@liumingc
liuming liumingc
@orpheuslummis
Orpheus Lummis orpheuslummis
public-interest technologist
@ret
Reto Kramer ret

Seattle, WA

@witran
William witran

Singapore

@msgoff
Michael Goff msgoff
@rzs840707
AndyRen rzs840707

ISCAS BJ.CN

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

TON Foundation Dubai

@luffycodes
Shashank Sonkar luffycodes
Graduate student @ Rice University Interested in understanding, training, and optimizing Large Language Models (LLMs)

Rice University Houston

@egisatoshi
Satoshi Egi egisatoshi
The creator of the @egison programming language.

Rakuten and UTokyo Tokyo, Japan

@yukunshang
Skyler yukunshang

Suzhou

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@pgsrv
pgsrv
@alreadydone
Junyan Xu alreadydone
PhD in Math, now pursuing machine learning to facilitate and automate explorations in math and sciences.

Bethesda, MD / Shenzhen

@pennyan
Yan Peng pennyan
I'm unsound.

University of British Columbia Vancouver

@trumae
trumae trumae

Nox Bitcoin Sao Paulo - SP

@shlpu
Shengliang Pu shlpu
Lecturer - Department of RS & GIS, Faculty of Geomatics, East China University of Technology.

ECUT China

@OVlasiuk
Oleksandr Vlasiuk OVlasiuk
@ilovejs
Michael Zhuang ilovejs
Go, Python, Js engineering

Sydney

@jaanli
Jaan Lı 李 PhD jaanli
Large language models for global health care; prev. @PrincetonUniversity @Phare-Health @google @google-deepmind

University of Tartu & @onefact Brooklyn

@vdt
Vikram Dutt vdt

Singapore

@jamesturner246
James Paul Turner jamesturner246
Senior Research Software Engineer at @ImperialCollegeLondon.

@ImperialCollegeLondon Brighton, UK

@seako
Serena seako

Los Angeles

@vuphan314
Vu Phan vuphan314
Formal Verification engineer

Intel Corporation Portland, Oregon

@ylh
Yestin L. Harrison ylh