नवीन स्टार्टअप &Truth सॉफ्टवेअर पडताळणी आपोआप करण्याच्या प्रयत्नात आहे
&Truth नावाचा एक नवीन स्टार्टअप formal verification ही प्रक्रिया स्वयंचलित करण्याच्या शर्यतीत उतरला आहे. ही पद्धत संथ आणि कठीण असते. यात गणिताचा वापर करून सॉफ्टवेअर त्याला अपेक्षित असलेलेच काम करते की नाही हे तपासले जाते. या बातमीनुसार, हे vibe coding वर उपाय ठरू शकते. vibe coding म्हणजे AI च्या मदतीने सॉफ्टवेअर झपाट्याने बनवण्याचा ट्रेंड.
सोपा शब्दकोश&Truth, formal verification, vibe coding
- &Truth
- &Truth — ही एक नवीन स्टार्टअप कंपनी आहे, जी सॉफ्टवेअर तपासणी स्वयंचलित करण्याच्या प्रयत्नात सामील होत असल्याचे बातमी सांगते.
- formal verification
- formal verification — गणिताचा वापर करून सॉफ्टवेअर योग्यरित्या काम करते हे सिद्ध करण्याची पद्धत, ज्यात लपलेल्या चुका नसतात.
- vibe coding
- vibe coding — बहुतांश कोड AI ने लिहिणे आणि व्यक्तीने सैलपणे मार्गदर्शन करत सॉफ्टवेअर झपाट्याने बनवणे.
बर्निंग पोटॅटो स्कोअर: 69%