Infra Startups

Sector Deep Dive #9: VERIFIABLE REASONING

Infra for formal verification, proof carrying systems, mathematical guarantees, and more.

Jan 10 • Prateek Joshi

December 2025

Sector Deep Dive #8: POST-TRAINING INFRA

Companies that are building infra products for all the post-training needs

Dec 28, 2025 • Prateek Joshi

Sector Deep Dive #7: AI MATHEMATICIAN

Companies that are building AI products for mathematical reasoning

Dec 9, 2025 • Prateek Joshi

November 2025

Sector Deep Dive #6: AGENT RUNTIME

Companies that build environments that let AI agents actually do work

Nov 10, 2025 • Prateek Joshi

October 2025

Sector Deep Dive #5: SEARCH API PRODUCTS

Companies that build and sell search API products to developers

Oct 10, 2025 • Prateek Joshi

RLenvironment.com - Tracking live signals from RL Repos

Built an agent + website to track 49 RL repos on Github and extract signals from them

Oct 6, 2025 • Prateek Joshi

September 2025

Sector Deep Dive #4: OPEN SOURCE INFRA

Built an agent to analyze 236 open source infra repos. Graphs, charts, and trends.

Sep 24, 2025 • Prateek Joshi

Sector Deep Dive #3: INFERENCE CLOUD PLATFORMS

Companies to build, enable, and sell inference platforms for AI applications

Sep 17, 2025 • Prateek Joshi

Sector Deep Dive #2: AI BROWSERS

Companies that build, enable, and sell AI-native browsers

Sep 4, 2025 • Prateek Joshi

Startup Tracker #5 - Signals, Links, and What They Mean for the Stack

Compute, model serving, orchestration, identity, agents

Sep 1, 2025 • Prateek Joshi

August 2025

Sector Deep Dive #1: REINFORCEMENT LEARNING

Companies that build and sell Reinforcement Learning products

Aug 28, 2025 • Prateek Joshi

1

Startup Tracker #4 - What moved, why it matters

Multimodal features, agent workflow tooling, and model quality evaluation utilities

Aug 25, 2025 • Prateek Joshi