Skip to content
View luaartist's full-sized avatar
đź’­
Preping for Twitch.TV repo update streaming and Archiving
đź’­
Preping for Twitch.TV repo update streaming and Archiving
  • USA

Block or report luaartist

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.

Content in all repositories owned by your account will be closed.
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

Pinned Loading

  1. Yang-Mills-Lean-4-Scaffold-Archive Yang-Mills-Lean-4-Scaffold-Archive Public

    Lean 4 scaffold for formalizing the Yang–Mills existence and mass gap problem, with checked finite-dimensional certificates and a staged continuum-lift program.

    Lean 3 1

  2. pytorch/pytorch pytorch/pytorch Public

    Tensors and Dynamic neural networks in Python with strong GPU acceleration

    Python 103k 29.8k

  3. ai_self_learning_toy_experiment ai_self_learning_toy_experiment Public

    grok_self_learning.md