Skip to content
View Kera24's full-sized avatar
1 follower · 8 following
  • New Delhi

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: YOLO

Block or report Kera24

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
@tsenta
Tsenta tsenta
@pitmonticone
Pietro Monticone pitmonticone
AI ⇌ Formal Verification @harmonic-ai || Formalising Mathematics and Software in @leanprover || Developing FOSS in @leanprover, @JuliaLang and @python.

Harmonic Italy, United Kingdom, United States

@udlbook
udlbook
@nedwill
Ned Williamson nedwill
Fuzzing research, formerly iOS/3DS/Chrome Hacking

Sunnyvale, CA

@geohot
George Hotz geohot
We will commoditize the petaflop.

@commaai @tinygrad San Diego, CA

@jeffheaton
Jeff Heaton jeffheaton
Computer scientist working in AI, software, and simulation. VP, AI Innovation at RGA. Adjunct instructor at WashU.

Reinsurance Group of America (@rgare) St. Louis, MO, USA

@Ridhwanluthra
Ridhwan Luthra Ridhwanluthra
@getsanjeev
Sanjeev Dubey getsanjeev
Simplicity is the key to brilliance.

New Delhi