Skip to content
View jonsterling's full-sized avatar
706 followers · 328 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Organizations

@logsem

Block or report jonsterling

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
@DarmorGamz
Darren Morrison DarmorGamz

@Darmor-Solutions Waterloo, Ontario

@yfzhe
yfzhe

Earth

@mio-19
澪 mio-19
There is nothing here

Auckland, Aotearoa New Zealand

@EarlPitts
Bendeguz Seres EarlPitts
MSc Computer Science student @ Eötvös Loránd University

Budapest

@ebresafegaga
Gaga ebresafegaga
@cxandru
Cass Alexandru cxandru
FP enthusiast. I like working with: Haskell - Emacs - Nix - LaTeX. Learning Agda. I sometimes use Bash, Python and have worked with Java, Scala, Isabelle & Coq.

Nijmegen, NL

@viospace
Violet viospace
@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@jellyterra
Jelly Terra jellyterra
HACKING FOR FUN! 18yr old. Passionate about CS, EE, CSE and automation! Learning to build a compiler. Also design circuits in SpinalHDL.

Rizhao Experimental Senior High School Shandong, China

@KonjacSource
KonjacSource KonjacSource
Major in Physics. Interested in Type Theory.

QDU

@juliofleitas
Julio Fleitas juliofleitas
@Rico1900
Rico Rico1900
I am a student from Nanjing university, and I am now studying in a 4-year PhD program at NJU SE.

Nanjing University Nanjing

@AlanLee000
AlanLee000
@SyntakticSugar
Robert Culling SyntakticSugar
Mathematics teacher interested in type theory and functional programming 👨‍💻

Christchurch, New Zealand

@jhp-1
jhp1 jhp-1

UK

@Glomzzz
Glomzzz Glomzzz
Maybe Amadeus.

Senior high school Kuala Lumpur

@remimimimimi
Rémi remimimimimi

Unikie Finland

@edwinans
Edwin Ansari edwinans
Software Engineer at @LexiFi. Interested in [programming] languages, FP, formal verification, Persian and blockchain technologies.

@Lexifi Paris

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

@NeonGamerBot

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@syedazeez337
syedazeez337
@violetcrein
Violet violetcrein
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@wkrozowski
Wojciech Rozowski wkrozowski
PhD candidate in Programming Principles, Logic and Verification group at University College London

@UCL-PPLV London

@DanielRrr
Daniel Rogozin DanielRrr
Algebraic & modal logic and category theory

Noeon Research Kingston upon Thames

@marioaguzman
Mario Guzman marioaguzman
Maker of Music Widget, Music MiniPlayer, Music Remote & QuickTune for Apple Music on macOS. Maker of PDX Transit for macOS, iOS, and watchOS.

Nike Portland, Oregon

@hu8813
hüseyin kaya aydin hu8813

Vienna, Austria

@Steven1677
Quanwen Chen Steven1677
Pastafarian

UK

@ahuoguo
ahuoguo ahuoguo
Alexander Bai

Tufts University

@birromer
Bernardo Hummes birromer
phd student at école polytechnique on formal methods for mobile robotics

Paris, France

@funny-lee
funny-lee
@jw3215
jw3215
@Zeta611
Jay Lee Zeta611
🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@jmohan57
J M jmohan57
thrives on pushing boundaries, crafting innovative solutions, and bringing a touch of swag to the world of coding.
@kxhxn
kxhxn
@utensil
Utensil utensil
@ElifUskuplu
ElifUskuplu
@xhd193694
卷卷卷designer xhd193694
@federerfanatic
Federer Fanatic federerfanatic
Can't you tell ? :-) If you want to get a developer to enhance a program you need, send them some money which is what I did to get wget2 enhanced.

The Relentless Tide

@CAIMEOX
CAIMEO CAIMEOX
More is different.

IDEA Complex Manifold

@polykernel
polykernel
X is not meant to prove old facts, it is meant to disclose new worlds!

Toronto, Canada

@agarmu
Mukul Agarwal agarmu
Math + Computer Science Honors @ Purdue

United States

@mcspud
mcspud
@michelk
Michel Kuhlmann michelk

Zürich

@FernandoChu
Fernando Chu FernandoChu
Math, logic and programming, I like them all the same.

Lima, Peru

@stschaef
Steven Schaefer stschaef
@floatshadow
ZHU Siyuan floatshadow
programming language, compiler; participated in ASC'22, ISC'23

Hangzhou, China

@hmyuuu
Huai-Ming Yu hmyuuu
homines quo plura habent, eo ampliora cupiunt
@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore