Skip to content
View James-Oswald's full-sized avatar
👾
life ← {⊃1 ⍵ ∨.∧ 3 4 = +/ +⌿ ¯1 0 1 ∘.⊖ ¯1 0 1 ⌽¨ ⊂⍵}
👾
life ← {⊃1 ⍵ ∨.∧ 3 4 = +/ +⌿ ¯1 0 1 ∘.⊖ ¯1 0 1 ⌽¨ ⊂⍵}
86 followers · 133 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@RAIRLab @NARS-team @UAlbany-IEEE-Student-Branch

Block or report James-Oswald

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@USNavalResearchLaboratory
US Naval Research Laboratory USNavalResearchLaboratory

Washington, DC

@FormalizedFormalLogic
Formalized Formal Logic FormalizedFormalLogic
Formalize Formal Logic in Lean4
@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@CaTS-laboratory
CaTS laboratory CaTS-laboratory
@R-McHenry
Rory McHenry R-McHenry
@isabelle-prover
Isabelle isabelle-prover
Isabelle is a generic proof assistant
@johnoswald529
johnoswald529
@tromp
John Tromp tromp
@CalvinPugmire
Calvin Pugmire CalvinPugmire

N/A

@compiler-explorer
Compiler Explorer compiler-explorer
Interactively explore compiler output

United States of America

@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@jthomas845
jthomas845

Ex-Publicis Sapient Boston Metro

@GregoriusT
Gregorius Techneticies GregoriusT
Just a person who likes creating Stuff. ^^

Germany

@SogoCZE
Patrik Smělý SogoCZE
Jai, Go, Rust, TypeScript. Founder @apparently-studio.

@apparently-studio Nymburk, Czechia

@rluba
Raphael Luba rluba

Vienna, Austria

@Sl3dge78
Sl3dge78

Mocaplab France

@jkadlecikova
Jitka Kadlečíková jkadlecikova
@michaelhodel
Michael Hodel michaelhodel
@hargoniX
Henrik Böving hargoniX

Lean FRO Munich, Germany

@akaric108
akaric108
@zariuq
Zar Goertzel zariuq
@coal-rock
coal coal-rock
foss enthusiast • hacker

University at Albany 127.0.0.1

@aibasel
Artificial Intelligence Group - University of Basel aibasel

Basel, Switzerland

@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Seattle, WA

@thomasferguson
Thomas Ferguson thomasferguson
@supercode1234
Haolin Wang supercode1234
@bowen-xu
Bowen Xu bowen-xu
@R3cklessC4
Josh Angulo R3cklessC4
Welcome to my domain
@xhulianoThe1
Xhuliano xhulianoThe1
Rhizome.
@leanprover
Lean leanprover
Lean Prover
@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@Jocelyn409
Jocelyn Jocelyn409
Bachelor's in Computer Science. Currently working on Full-Stack .NET and Angular projects at work.
@bj322-design
bj322-design
@Johnnykoch02
Jonathan Koch Johnnykoch02
Artificial Intellegence Researcher and Robotisist from Long Island. I love physics and calculus.

Topaz Labs Dallas, Texas

@michaelpaglia
Michael Paglia michaelpaglia

NYC/SF

@DawnTheWitch
Dawn DawnTheWitch
@Bram-Hub
Bramhub Bram-Hub
https://docs.google.com/spreadsheets/d/1uqM-Tg2GsQKJa4C5sgoPpsJ-QkIv8I0VgckpIV9nZlk/edit?usp=sharing
@jacobpclouse
Jacob Clouse jacobpclouse
B.S. Computer Information Systems from Sage College of Albany, 2017 & M.S. Computer Science from UAlbany, 2023 - My Website: www.jacobpclouse.com
@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@T-A-B
T-A-B
@lupinclaw
Rune lupinclaw
@max-solomon
Max Solomon max-solomon
University at Albany '23 B.S. in Computer Science/Mathematics

Albany, New York

@ctpelok77
Michael Katz ctpelok77
Principal Research Staff Member at IBM Research AI
@harshakokel
Harsha harshakokel
Research Scientist

IBM Research San Jose

@IMO-grand-challenge
IMO Grand Challenge IMO-grand-challenge
IMO Grand Challenge for Artificial Intelligence
@UAlbany-IEEE-Student-Branch
IEEE UAlbany Student Branch UAlbany-IEEE-Student-Branch
The UAlbany Institute of Electrical and Electronics Engineers (IEEE) Student Branch is the foremost organization for students in tech related fields at UAlbany

United States of America

@lyxal
lyxal lyxal
Hi there, hello, my name is lyxal. I like programming language design and implementation, code golf (e.g. @Vyxal), memes, and trolling AI LLMs.

@Vyxal ‏ɹ‏‏ǝ‏‏p‏‏u‏‏n ‏u‏ʍ‏‏‏o‏‏p‏ ‏p‏‏u‏‏ɐ‏‏l ‏ǝ‏‏‏ɥ‏‏‏ʇ‏ • ‏ɐ‏‏ᴉ‏‏l‏‏ɐ‏‏ɹ‏‏ʇ‏‏s‏‏n‏‏∀‏