нояб. 11, 2026
ЖИ бағдарламалардың дұрыстығын дәлелдеуді үйреніп жатыр. Біз НМУ-де бұл мәселемен 1990 жылы айналыстық.
Robinhood бас директоры Влад Тенев екі жыл ішінде барлық кодты формалды верификациядан өткізетінін мәлімдеді. Harmonic компаниясының Aristotle жүйесі ЖИ-мен бағдарламалардың дұрыстығын қалай дәлелдейді және бұл авторды 1990 жылғы НМУ уақыттарына неге ерткені туралы....
окт. 23, 2026
Банктер ескі кодпен жұмыс істейді. ЖИ-ді COBOL тілінде бағдарламалауға не үшін үйретіп жатыр?
Банк секторы әлі де COBOL тілінде жұмыс істейді. ЖИ-ді неге бұл ескі кодты оқуға және жазуға үйретіп жатыр....
окт. 22, 2026
Сүйекті қалпына келтіруге арналған пластилин: iHEÄLS сынақтары нені көрсетті
iHEÄLS — Гонконг университеті мен Гарвард әзірлеген, сүйек ақауына қалыптастырылатын гидрогель. Клиникаға дейінгі сынақтарда қан кетуді тоқтатып, сынықтарды ұстап тұрды және жаңа тін түзілуіне көмектесті....
окт. 20, 2026
Қытай CO₂-ден авиациялық керосин өндіру технологиясын сынақтан өткізді. Оның бағасын не анықтайды?
Өнеркәсіптік шығарындылардан алынатын көмірқышқыл газы авиациялық отын өндіруге арналған шикізатқа айналуы мүмкін. Цинхуа...
окт. 17, 2026
Астаналық оқушылар SafeMuseum жобасымен WRO әлемдік финалына шықты
Астанадағы TechSpace командасы SafeMuseum жүйесімен WRO 2026 ұлттық кезеңін жеңіп, әлемдік финалға барады....
окт. 13, 2026
Microsoft неге DeepSeek-ті Windows-қа жібереді: гибридті интеллект және локалды модельдер
Microsoft Windows үшін hybrid intelligence тұжырымдамасын таныстырды. DeepSeek модельдерін экожүйеге қосты және Surface Laptop Ultra-ды шығарды — бірақ мұндағы негізгісі жабдық емес, ОС рөлінің өзгеруі....
