17, NeurIPS '26, @TJHSST_Official, prev @architectlabs
San Francisco, CA
Joined August 2023
- Tweets26
- Following137
- Followers118
- Likes2.8K
Big things 馃殌
My younger brother @_rithvikr_ is looking for 8xH200s.
He's a highschool senior who has already published in NeurIPS (main conference) with multiple industry AI internships.
This is his biggest project yet - who can I connect him to?
Rithvik Redrouthu retweeted
We鈥檙e sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Rithvik Redrouthu retweeted
We partnered with @AnthropicAI @OpenAI
to host the world's first math hackathon.
40 hours, $2M compute - solve, understand, and present an open problem.
Applications are live: mathathonchallenge.com
Rithvik Redrouthu retweeted
Our @ycombinator cofounder video!
In 6 weeks, we built state-of-the-art (SOTA) chip design agents, and caught 5 bugs in a certain company's next AI chip (saving an estimated $5M)
Check us out: getinstachip.com
Rithvik Redrouthu retweeted
you've heard of software agents, but have you ever seen a hardware agent?
at @getinstachip, our hardware agents can design complex circuits autonomously.
on a whim, I asked one of our agents to solve Problem 155 from HDLBits 馃憞
Rithvik Redrouthu retweeted
Recently, @evanlin designed an open-source TPU (from scratch).
With @getinstachip, YOU can "pip install" Evan's TinyTPU into your own project!
How? Check it out 馃憞
Rithvik Redrouthu retweeted
The future is software for hardware.
饾棪饾椉饾椉饾椈, 饾椂饾椈 饾椉饾椈饾棽 饾棸饾椉饾椇饾椇饾棶饾椈饾棻, 饾槅饾椉饾槀'饾椆饾椆 饾棷饾棽 饾棶饾棷饾椆饾棽 饾榿饾椉...
- pip install a RISC-V core
- automatically connect ports and synthesize onto Xilinx
- Generate your bitstream
@getinstachip 馃憖
Rithvik Redrouthu retweeted
The Verilog community's module registry.
Over 5000 modules in under a day! Thanks to everyone that's publishing circuit components to the registry.
verilogmodules.org/modules
May or may not have taken inspiration from Rust crates.io
just built and launched a global Verilog module registry
1. search for any open-source Verilog module
2. click to open the module's info
3. copy + paste the module's "pip install" command
4. run in your terminal and auto-install :)
verilogmodules.org
Rithvik Redrouthu retweeted
wanna contribute? we've got people ranging from @intel ROHD lead to a whiz kid building open-source TPUs (@evannlinn 馃檲)
join server: discord.gg/u89HhRGd
repo link: github.com/getinstachip/vpm
Our @ycombinator product demo!
tldr: pip install components into your circuit design
Rithvik Redrouthu retweeted
try it for free: github.com/getinstachip/vpm
Our @ycombinator product demo!
tldr: pip install components into your circuit design
Rithvik Redrouthu retweeted
just built and launched a global Verilog module registry
1. search for any open-source Verilog module
2. click to open the module's info
3. copy + paste the module's "pip install" command
4. run in your terminal and auto-install :)
verilogmodules.org
Rithvik Redrouthu retweeted
Our @ycombinator product demo!
tldr: pip install components into your circuit design
