புதிய ஸ்டார்ட்அப் &Truth மென்பொருள் சரிபார்ப்பை தானியங்கமாக்க முயல்கிறது
&Truth என்ற புதிய ஸ்டார்ட்அப் formal verification-ஐ தானியங்கமாக்கும் போட்டியில் நுழைகிறது. இது மெதுவான மற்றும் கடினமான முறை. கணிதத்தைப் பயன்படுத்தி மென்பொருள் எதிர்பார்த்தபடி வேலை செய்கிறதா என்று சரிபார்ப்பதே இதன் நோக்கம். இது vibe coding-க்கு ஒரு தீர்வாக இருக்கலாம் என்று கதை கூறுகிறது. vibe coding என்பது AI உதவியுடன் மென்பொருளை வேகமாக உருவாக்கும் போக்கு.
சொல் விளக்கம்&Truth, formal verification, vibe coding
- &Truth
- தானியங்கி மென்பொருள் சரிபார்ப்பு முயற்சியில் சேரும் ஒரு புதிய ஸ்டார்ட்அப் நிறுவனம் என்று கதை கூறுகிறது.
- formal verification
- கணிதத்தைப் பயன்படுத்தி ஒரு மென்பொருள் சரியாக வேலை செய்கிறது, மறைந்த பிழைகள் எதுவும் இல்லை என்பதை நிரூபிக்கும் முறை.
- vibe coding
- AI பெரும்பாலான குறியீட்டை எழுத, ஒருவர் தளர்வாக வழிகாட்டும் நிலையில் மென்பொருளை வேகமாக உருவாக்கும் முறை.
பர்னிங் பொட்டேட்டோ ஸ்கோர்: 69%