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___! https://t.co/hqZJINedRj
9
23
168
Replies
0
1
1
@ycombinator @theoremlabs @diagram_chaser @___rajashree___ @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
1
0
0
@ycombinator @theoremlabs @diagram_chaser @___rajashree___ Congratulations!! You two make an awesome team!!
0
0
3
@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?
0
0
2
0
0
0
@ycombinator @theoremlabs @diagram_chaser @___rajashree___ Im looking forward to applying to YC, as it offers the ideal environment to support impactful startups in emerging markets. Im pleased to introduce Massrofi the first and only platform in Algeria that combines digital commerce, instant payments, and Buy Now, Pay Later services
0
0
0
@ycombinator @theoremlabs @diagram_chaser @___rajashree___ Congrats @diagram_chaser, I had a quick question?
0
0
0
@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.
0
0
3