Infra Startups
Subscribe
Sign in
Home
Archive
About
Sector Deep Dive #9: VERIFIABLE REASONING
Infra for formal verification, proof carrying systems, mathematical guarantees, and more.
Jan 10
•
Prateek Joshi
3
Latest
Top
Discussions
Sector Deep Dive #8: POST-TRAINING INFRA
Companies that are building infra products for all the post-training needs
Dec 28, 2025
•
Prateek Joshi
1
Sector Deep Dive #7: AI MATHEMATICIAN
Companies that are building AI products for mathematical reasoning
Dec 9, 2025
•
Prateek Joshi
Sector Deep Dive #6: AGENT RUNTIME
Companies that build environments that let AI agents actually do work
Nov 10, 2025
•
Prateek Joshi
2
Sector Deep Dive #5: SEARCH API PRODUCTS
Companies that build and sell search API products to developers
Oct 10, 2025
•
Prateek Joshi
1
1
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
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
1
See all
Infra Startups
Research column to track infra startups and dissect the underlying themes
Subscribe
Infra Startups
Subscribe
About
Archive
Sitemap
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts