नई स्टार्टअप &Truth सॉफ्टवेयर प्रूफ जांच को ऑटोमेट करना चाहती है
&Truth नाम की एक नई स्टार्टअप कंपनी formal verification को ऑटोमेट करने की होड़ में उतर रही है। यह एक धीमा और मुश्किल तरीका है, जिसमें गणित की मदद से यह जांचा जाता है कि सॉफ्टवेयर वही काम कर रहा है जो उसे करना चाहिए। कहानी के अनुसार यह vibe coding का संभावित समाधान हो सकता है, यानी AI की मदद से तेज़ी से सॉफ्टवेयर बनाने का चलन।
आसान शब्दकोश&Truth, formal verification, vibe coding
- &Truth
- &Truth: एक नई स्टार्टअप कंपनी जो बताई गई है कि सॉफ्टवेयर जांच को ऑटोमेट करने के प्रयास में शामिल हो रही है।
- formal verification
- formal verification: गणित का उपयोग करके यह साबित करने का तरीका कि कोई सॉफ्टवेयर सही तरीके से काम करता है और उसमें छिपी गलतियां नहीं हैं।
- vibe coding
- vibe coding: AI को ज़्यादातर कोड लिखने देना और इंसान का ढीले-ढाले तरीके से मार्गदर्शन करते हुए तेज़ी से सॉफ्टवेयर बनाना।
बर्निंग पोटैटो स्कोर: 69%