Theorem (@theoremlabs) 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, @diagram_chaser and @___rajashree___! ycombinator.com/launches/NZA-t…
@diagram_chaser 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)
@ycombinator @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?
@ycombinator @theoremlabs @diagram_chaser @___rajashree___ Congrats @diagram_chaser, I had a quick question?
@ycombinator @theoremlabs @diagram_chaser @___rajashree___ Congratulations!! You two make an awesome team!!
@ycombinator @theoremlabs @diagram_chaser @___rajashree___ Theorem is redefining code reliability at AI speed. 10,000x faster verification is how tomorrow gets built. Following this closely.