
Data Science & AI @Deloitte | Technical Blogger | Building LLM & Agentic AI Solutions | Cloud & AI | Ex-Gold Microsoft SA | Azure | Databricks
Joined February 2025
- Tweets1.3K
- Following1K
- Followers46
- Likes3.4K
Pinned Tweet
🚀 Open to AI/Data Science roles!
Check out my work:
LinkedIn : linkedin.com/in/dhanushkumar…
GitHub :github.com/Idk507
Medium : medium.com/@danushidk507
#OpenToWork #AI #DataScience #ML
Dhanushkumar R retweeted
Nine engineers. 1,211 pull requests in a day.
Go behind the scenes of building Copilot Cowork for six lessons on engineering with agents, including how the team moved its runtime from Python to Rust while the product was live.
commandline.microsoft.com/ho…
Dhanushkumar R retweeted
Thrilled to announce that our @GoogleDeepMind team has cracked a major challenge in software engineering and cybersecurity: formally verifying a real-world implementation of the #Signal cryptographic protocol at the machine-code level. This proof was done using AlphaProof Code, our new AI framework for formal specification and verification.
* Paper: deepmind.google/documents/36…
* Lean code: github.com/google-deepmind/c…
* DeepMind blog post: deepmind.google/blog/introdu…
A huge shoutout to my amazing teammates: @tchajed,
@FerrousAndrew, Jonathan Katz, @pushmeet, @antonkovsharov, Karn Seth, Sam Schlesinger, @RandomlyWalking.
I started working on formal software verification 20+ years ago as a grad student. I was persuaded by Dijkstra and other computer science pioneers’ vision of programming backed up by mathematical theorems. At that time, we had to choose between automated code analysis algorithms that scaled but could only prove shallow properties, and deep manual verification that took decades of expert human work.
Thanks to progress in AI for mathematical reasoning, we don’t have to make that choice any more. Over four weeks in October 2026, AlphaProof Code agents generated more than 6 million lines of machine-checked Lean proof. We proved deep computational and symbolic security properties of the entire protocol core of Signal, all the way down to the ARM machine-code level.
This is just the first step, of course, because our goal is nothing short of verifying the world’s software infrastructure. Most cyberattacks, including the AI-powered ones recently in the news, happen because of preventable code bugs. I expect that agents for formal code analysis will eliminate these bugs one category at a time.
As our paper explains in more detail, this doesn’t at all mean humans are out of the picture! Proofs are now largely automated, but human experts will need to decide what is proved with AI assistance. AlphaProof Code offers an early glimpse of what such human-AI collaboration could look like, but many other proposals of this nature will emerge.
We have released all our Lean specs and proofs and plan to work with the open-source community on improving them. If you are building critical software and would like to apply these ideas, come talk to us!
Anthropic CEO:
“If today we look at things like cancer, Alzheimer’s, heart disease, mental illness. These will be relics of the past in. I think, less than a decade.
I believe that the company which gets the risks right will also be the company that has the license to operate that society trusts and society believes can build the benefits in the right way.
I think if we do this right, we can create an age of miracles where humanity is able to solve problems that have eluded us for millennia.
We have to make sure that all the risks, all the ways that things can go wrong with this technology, we very carefully address those risks as we bring the benefits, and as we have a viable business at the same time”.
Ilya Sutskever and Sam Altman explain the exact state of AI right now
AI is getting more expensive to build and easier to copy at the same time. here’s how they break it down:
• “the effort it takes to produce one such neural net keeps increasing”
• “the gap between open source and private models may even increase”
• “it’s easy to copy something once you know it can be done”
and the line that explains every AI company today:
“the moat is figuring out what comes next”
watch this before your next AI take ↓
OpenShell is joining @CloudNativeFdn 💚
Help shape how AI agents access data, use credentials, and execute code. If you’re building agents, we’d love your input!
Check out the project and contribute 👇
Securing AI agents starts at the runtime layer, not just in prompts.
OpenShell is now in the CNCF Sandbox, bringing policy isolation, network controls, and credential management to autonomous agents.
Read more: cncf.io/announcements/2026/1…
#OpenSource #AI
Dhanushkumar R retweeted
Try MAI-Transcribe-2 the fastest, cheapest and most accurate transcription model in the world!
10x faster than GPT‑Transcribe
5x faster than Gemini 3.5
$0.10 per hour of audio
Dhanushkumar R retweeted
New research from Microsoft Research demonstrates that reprogramming just a few dormant neurons in an AI agent can create a backdoor that leaves the agent behaving normally until it hits a specific trigger.
While the specifics of this threat are novel, the mitigation is not: Know where your model came from, and be smart about its permissions. Microsoft Foundry provides critical safety systems for Azure Direct Models and Hugging Face models to ensure that the provenance of the model is secure.
Microsoft researcher @DimitrisPapail explains the measures that model hubs and vendors should take as well as mitigation strategies for enterprises and users. msft.it/6014ahp6e
Dhanushkumar R retweeted
NVIDIA released a new RL framework:
Your entire setup is one Python file:
- write a class with a step() function
- return a reward from it
- the framework handles the rest, up to 1T-class MoE training
In a typical RL framework, the environment and reward logic are added inside the trainer's codebase.
Adding a new task requires writing framework code, registering it, and wiring up config for it.
The reward usually comes from a separately trained reward model, which needs its own GPUs and placement next to the actor and critic.
NVIDIA's Molt framework drops both these requirements.
Every run takes an agent_path flag pointing to one Python module, and the trainer code never changes.
The module gives you two ways to plug in an agent.
> The first is an Env class where you write a step() function that receives the model's output and returns a reward, and the framework handles everything else, i.e., calling the model, tokenizing, and looping turn after turn until the episode ends.
> The second is a ChatAgent class, for agents that already exist as their own loop. Here, you write the loop yourself, calling the model through a standard OpenAI or Anthropic client, and the framework spins up a local server so those calls hit its vLLM engines instead of an external API.
Either way, the trainer sees the same thing, i.e., a trajectory of tokens and a reward at the end.
That reward can come from a string-match grader, code executed in a sandboxed subprocess, or an LLM-as-judge call.
So there is no reward model to train or place, and no environment code living inside the framework.
Under the hood, Molt runs a single trainable actor (plus an optional critic for PPO) on FSDP2, vLLM engines for rollout, and Ray queues between them, so generation, training, and weight sync overlap instead of running in lockstep.
Scaling just requires setting some flags on the same command.
The framework also splits the model across GPUs for you, so the script that trains an 8B model on one node can also train DeepSeek-V3-scale MoE models on a cluster by raising the parallelism flags.
Here's the repo: github.com/NVIDIA-NeMo/labs-…
Since the framework is new, I am still experimenting with it and will share more about my learnings soon.
To dive deeper into how top AI labs are building RL Agents in 2026, I wrote a full article about it.
It covers the evolution from RLHF to GRPO with verifiable rewards and using an LLM-as-judge reward function. This idea extends RL training to non-verifiable agentic tasks without writing custom reward functions.
Read it below.
Dhanushkumar R retweeted
Ever thought about building your own games? The Codex edition @modretro Chromatic is now on Supply Co.
With the ModRetro Chromatic plugin in Codex, you can design levels, animate sprites, and playtest on your handheld.
Speedrun checkout while Codex builds your ROM 😉
AI models vs. real life 💀
Just spent a fortune on cloud compute but this $5 avocado? Too rich for my blood.
#DevLife #AI #CloudComputing #TechMeme
1
36
Ranking based on my experience
Claude code
Codex
Cursor and GitHub copilot
Antigravity
Muse code ...
Codex is good when it comes to computer use but bad as it has catastrophic forgetting and eats my token and money ...
1
49
Dhanushkumar R retweeted
6.1 Terra is here! It is good at a lot of things, but we are especially excited for this new era of computer use.
The Elephant-Goldfish Model (EGM) by Google :
🐘 The Elephant: A long session with full memory to brainstorm and draft the spec.
🐟 The Goldfish: Fresh, zero-context subagents that brutally review your plan.
Design first. Code last.
lnkd.in/p/d57f6sQS
1
24
Dhanushkumar R retweeted
today we released our smallest model yet: Muse Ember 🔥
Muse Ember offers nearly Muse Spark 1.3 (max) intelligence at a 17x cheaper price point (per AA)
Muse Ember is the first model we’ve released trained using Muse Wonder Full
excited for y’all to try on API and muse code!
Dhanushkumar R retweeted
Claude Fable 5.2 and Claude Mythos 5.2 are available now:
Introducing Claude Fable 5.2 and Claude Mythos 5.2, designed to tackle the most daunting technical challenges.
They’re capable collaborators on ambitious projects in many fields, and show improvements in areas like coding, reasoning, and vision.




























