Skip to content
View Ash-the-practical-programmer's full-sized avatar
🎯
Focusing
🎯
Focusing
17 followers · 84 following
  • Barakar, West Bengal
  • 10:10 (UTC -12:00)

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLO

Organizations

@eduspace-ai

Block or report Ash-the-practical-programmer

Report abuse

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

Report abuse
Ash-the-practical-programmer/README.md

Hi there, I'm Ash 👋

About Me

  • 👀 I’m interested in learning new technology especially AGI and widely used algorithms
  • 🌱 I’m currently learning Lean, PyTorch and a bit AI/ML.
  • 💞 I’m looking to collaborate on projects related to machine learning, deep learning and theorem proving in lean
  • 📫 How to reach me : ab9168293@gmail.com

trophy

Ash's GitHub stats

GitHub Streak

Top Langs

Pinned Loading

  1. socials socials Public

    Vue 1 1