Skip to content
View belumume's full-sized avatar
🎯
Focusing
🎯
Focusing
109 followers · 2.4k following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

Block or report belumume

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. 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
belumume/README.md

Ubaid

I tinker with AI, and I try not to accrue too much cognitive debt.

Projects

  • dlai-roadmap: a learning-pathway generator for DeepLearning.AI's course catalog. More than 500 learners have used it, most of them referred from the DeepLearning.AI community. Try it
  • claude-skills: a growing collection of reusable Claude Code skills (47 stars from the community).

About

CS.

I beta-test courses at DeepLearning.AI, and spend time on agentic systems and AI safety.

GitHub Stats

Total Stars

GitHub Streak

Profile Views

Pinned Loading

  1. proof-jenga proof-jenga Public

    Pull ideas out of Mathlib and see which Lean proofs of infinitely many primes fall. Every dependency is computed from kernel terms.

    Lean 1

  2. cisfalcon cisfalcon Public

    A live pre-synthesis specificity gate for AI-designed enhancers: a frozen external measured-activity model plus a multi-agent Claude verifier. Cross-lab AUROC 0.80 on 93,435 independent designs.

    Python 2

  3. zeroclaw-solana zeroclaw-solana Public

    Self-hosted deny-by-default Solana agent: device-signed DePIN feed, x402 earning-node, merchant terminal. On-chain program bounds the agent.

    Python 1