Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

Theorem (Theorem) is an AI-coding IDE for mission-critical software. They're making program verification 10,000 times faster, so your systems code does exactly what you asked for. Congrats on the launch, Jason Gross and !

ycombinator's profile picture

Y Combinator

1,609,437 subscribers

35,806 Aufrufe • vor 1 Jahr •via X (Twitter)

Wissenschaft & Technologie
LIVE

Anya Rossi• Live Now

Private livecam show

5 Kommentare

Profilbild von AI Capital
AI Capitalvor 1 Jahr

@theoremlabs @diagram_chaser @___rajashree___ Theorem is redefining code reliability at AI speed. 10,000x faster verification is how tomorrow gets built. Following this closely.

Profilbild von ksminnovation
ksminnovationvor 1 Jahr

AI is transforming healthcare! A KSM-led study shows AI can detect Celiac disease 4 years earlier @TalPatalon @MedPredict

Profilbild von Henrik Hansson
Henrik Hanssonvor 1 Jahr

@theoremlabs @diagram_chaser @___rajashree___ these guys show that you can vibe code even the most complex and difficult tasks! vibe coding at jane street soon?

Profilbild von DALNK ʕ •ᴥ•ʔつ━☆
DALNK ʕ •ᴥ•ʔつ━☆vor 1 Jahr

@theoremlabs @diagram_chaser @___rajashree___ love this

Profilbild von Jonas Templestein
Jonas Templesteinvor 1 Jahr

are there any efforts to apply such techniques to database applications? Assuming it doesn't use third party APIs, could a web application with requests/responses that modify state in a database based on SQL queries be shown to e.g. "never get into a state that violates certain invariants"? (Sorry, noob question)

Ähnliche Videos

AI coding without systems thinking is just tech debt on speedrun. Delty (@delty_ai) is an AI Staff Engineer for your team. With deep expertise, it designs software systems, evaluates tradeoffs and makes AI coding agents smarter with your engineering context. Congrats on the launch, Lalit Kundu and Catherine!
1:09

AI coding without systems thinking is just tech debt on speedrun. Delty (@delty_ai) is an AI Staff Engineer for your team. With deep expertise, it designs software systems, evaluates tradeoffs and makes AI coding agents smarter with your engineering context. Congrats on the launch, Lalit Kundu and Catherine!

Y Combinator

73,297 Aufrufe • vor 1 Jahr

Zenbu (Zenbu) is an extensible IDE for coding agents. Run agents in parallel, manage their work, and customize the IDE with plugins. Congrats on the launch, Rob Pruzan!
1:54

Zenbu (Zenbu) is an extensible IDE for coding agents. Run agents in parallel, manage their work, and customize the IDE with plugins. Congrats on the launch, Rob Pruzan!

Y Combinator

17,495 Aufrufe • vor 11 Tagen

cubic (cubic) is Cursor for code review. An AI-native platform that helps teams like n8n, and the Linux Foundation ship code 28% faster. Congrats on the launch, @NeuralPaul and Allis Yao!
1:06

cubic (cubic) is Cursor for code review. An AI-native platform that helps teams like n8n, and the Linux Foundation ship code 28% faster. Congrats on the launch, @NeuralPaul and Allis Yao!

Y Combinator

51,695 Aufrufe • vor 1 Jahr

Memoir (Memoir) is an autonomous marketing system for software companies, letting builders focus on building. It turns your code into demo videos and makes social posts in your own voice, automatically. Congrats on the launch, Maanav Agrawal & Jason Zhan!
0:49

Memoir (Memoir) is an autonomous marketing system for software companies, letting builders focus on building. It turns your code into demo videos and makes social posts in your own voice, automatically. Congrats on the launch, Maanav Agrawal & Jason Zhan!

Y Combinator

23,471 Aufrufe • vor 14 Tagen

Hypercubic (Hypercubic) is building an agentic AI platform to maintain and modernize COBOL, supporting enterprises with their mission-critical legacy systems from the 1960s. Congrats on the launch Schrödinger & Aayush Naik!
0:48

Hypercubic (Hypercubic) is building an agentic AI platform to maintain and modernize COBOL, supporting enterprises with their mission-critical legacy systems from the 1960s. Congrats on the launch Schrödinger & Aayush Naik!

Y Combinator

48,553 Aufrufe • vor 5 Monaten

Operative (Operative) is an AI website creation agent that writes and tests code in your browser — so anyone can build and launch a working web app in minutes. No coding knowledge required. Congrats on the launch, Christopher Settles & Erik Quintanilla!
1:25

Operative (Operative) is an AI website creation agent that writes and tests code in your browser — so anyone can build and launch a working web app in minutes. No coding knowledge required. Congrats on the launch, Christopher Settles & Erik Quintanilla!

Y Combinator

40,738 Aufrufe • vor 1 Jahr

“Math is code. And code is math.” Carina Hong CEO Axiom on why that idea matters for AI: “For centuries, mathematicians reasoned in natural language. But because of the Curry–Howard correspondence, a proof can also be a program.” “You can translate natural-language math into formal code using systems like Lean. Lean is both a theorem-proving language and a programming language.” “That means you can generate solutions as code and then formally verify them. You can even use the same system to verify programs themselves.” “This creates a flywheel of generation and verification, where AI can both write solutions and prove that they’re correct.”
2:25

“Math is code. And code is math.” Carina Hong CEO Axiom on why that idea matters for AI: “For centuries, mathematicians reasoned in natural language. But because of the Curry–Howard correspondence, a proof can also be a program.” “You can translate natural-language math into formal code using systems like Lean. Lean is both a theorem-proving language and a programming language.” “That means you can generate solutions as code and then formally verify them. You can even use the same system to verify programs themselves.” “This creates a flywheel of generation and verification, where AI can both write solutions and prove that they’re correct.”

Forward Future

23,748 Aufrufe • vor 4 Monaten

AI has completely changed coding. Bytedance has just launched an IDE called Trae AI, a powerful new AI coding assistant that helps you code faster and smarter. It's 100% free... 🤯 Here's how it works:
1:24

AI has completely changed coding. Bytedance has just launched an IDE called Trae AI, a powerful new AI coding assistant that helps you code faster and smarter. It's 100% free... 🤯 Here's how it works:

Angry Tom

297,480 Aufrufe • vor 1 Jahr

Scott AI (Scott AI) is building coding agent plan mode with superpowers. Run multi-agent swarms to find your best spec faster. Congrats on the launch David Maulick (tryscott.ai) and Devin Cintron tryscott.ai!
0:57

Scott AI (Scott AI) is building coding agent plan mode with superpowers. Run multi-agent swarms to find your best spec faster. Congrats on the launch David Maulick (tryscott.ai) and Devin Cintron tryscott.ai!

Y Combinator

38,152 Aufrufe • vor 7 Monaten

🚀Excited to announce Superblocks AI – the AI coding assistant for internal apps! ⚡ Superblocks AI combines the power of the Superblocks drag-and-drop App Builder, with the speed of AI code generation, performance optimization, code explanation, mock data generation, and API call generation across SQL, Python, JavaScript, JSON and HTML. 🐨Our goal at Superblocks has always been to help developers ship mission-critical apps faster to elevate internal operations, and our deeply integrated AI coding assistant does exactly that! Blog:
1:11

🚀Excited to announce Superblocks AI – the AI coding assistant for internal apps! ⚡ Superblocks AI combines the power of the Superblocks drag-and-drop App Builder, with the speed of AI code generation, performance optimization, code explanation, mock data generation, and API call generation across SQL, Python, JavaScript, JSON and HTML. 🐨Our goal at Superblocks has always been to help developers ship mission-critical apps faster to elevate internal operations, and our deeply integrated AI coding assistant does exactly that! Blog:

Brad Menezes

73,213 Aufrufe • vor 3 Jahren

Fulcrum (Muzafar Bhai) is an agentic debugger for AI systems. It helps developers fix their RL environments and improve their agents. Congrats on the launch, Uzay and @kaivuhariharan!
0:36

Fulcrum (Muzafar Bhai) is an agentic debugger for AI systems. It helps developers fix their RL environments and improve their agents. Congrats on the launch, Uzay and @kaivuhariharan!

Y Combinator

14,839 Aufrufe • vor 9 Monaten

Vesence is Cursor for Transactional Lawyers. They're building Agentic AI inside of Microsoft Office, turning Word into an IDE for contracts. Vesence is already live firm-wide with their first enterprise client, loved by both associates and partners. Congrats on the launch, Henrik Hansson and Ludvig Swanstrom!
0:46

Vesence is Cursor for Transactional Lawyers. They're building Agentic AI inside of Microsoft Office, turning Word into an IDE for contracts. Vesence is already live firm-wide with their first enterprise client, loved by both associates and partners. Congrats on the launch, Henrik Hansson and Ludvig Swanstrom!

Y Combinator

70,125 Aufrufe • vor 1 Jahr

Stage is a code review platform designed to help engineers understand AI-generated code. Your team is drowning in an endless backlog of PRs. Stage turns code review into a guided process and enables you to review changes faster than using GitHub. Congrats on the launch, Charles Pan and Dean Stratakos!
0:50

Stage is a code review platform designed to help engineers understand AI-generated code. Your team is drowning in an endless backlog of PRs. Stage turns code review into a guided process and enables you to review changes faster than using GitHub. Congrats on the launch, Charles Pan and Dean Stratakos!

Y Combinator

1,062,908 Aufrufe • vor 26 Tagen

Rubric AI (Rubric AI (YC W26)) converts expert judgment into training signals for AI models and agents. The human + computational layer for AI reasoning and verification. Congrats on the launch, Pragya Saboo!
1:09

Rubric AI (Rubric AI (YC W26)) converts expert judgment into training signals for AI models and agents. The human + computational layer for AI reasoning and verification. Congrats on the launch, Pragya Saboo!

Y Combinator

16,157 Aufrufe • vor 3 Monaten

AgentMail () is building an API to give your agents their own email inboxes. It’s not AI for your email, it’s email for your AI. Congrats on the launch, , Michael Kim, and Haakam Aujla!
1:05

AgentMail () is building an API to give your agents their own email inboxes. It’s not AI for your email, it’s email for your AI. Congrats on the launch, , Michael Kim, and Haakam Aujla!

Y Combinator

44,994 Aufrufe • vor 10 Monaten

21st (21stdev) is the production layer for frontier AI agents. 1.4M developers already use their platform to build AI apps, 15K+ GitHub stars - now they're making it dead simple to deploy Claude Code, Codex, and other agents to production. Congrats on the launch, sergey bunas & serafim!
0:54

21st (21stdev) is the production layer for frontier AI agents. 1.4M developers already use their platform to build AI apps, 15K+ GitHub stars - now they're making it dead simple to deploy Claude Code, Codex, and other agents to production. Congrats on the launch, sergey bunas & serafim!

Y Combinator

33,400 Aufrufe • vor 3 Monaten

Pops (Pops) lets anyone create and play AI games. Describe your idea, and Pops turns it into a fun mini game to remix, share, and play with friends. No code required. All you need is an idea. Short-form software. Congrats on the launch, alon!
1:01

Pops (Pops) lets anyone create and play AI games. Describe your idea, and Pops turns it into a fun mini game to remix, share, and play with friends. No code required. All you need is an idea. Short-form software. Congrats on the launch, alon!

Y Combinator

118,921 Aufrufe • vor 26 Tagen

If AI can code 100x faster, why aren't you shipping 100x faster? Because AI code is not production-ready code, and definitely not code where you understand and can vouch for every line Introducing the Command Center alpha. Support our Product Hunt launch!
0:22

If AI can code 100x faster, why aren't you shipping 100x faster? Because AI code is not production-ready code, and definitely not code where you understand and can vouch for every line Introducing the Command Center alpha. Support our Product Hunt launch!

Jimmy Koppel

72,252 Aufrufe • vor 7 Monaten