Software Reliability

#Software Reliability

5 articles tagged
MoonBit 0.9: First-Class Formal Verification Meets AI-Assisted Proof Generation
AI

MoonBit 0.9: First-Class Formal Verification Meets AI-Assisted Proof Generation

4/14/2026
Dev

TLA+ By Example: A Practical Guide to Formal Verification

2/24/2026
Microsoft Appoints Engineering Quality Czar as Nadella Seeks to Address Software Reliability Concerns
Business

Microsoft Appoints Engineering Quality Czar as Nadella Seeks to Address Software Reliability Concerns

2/5/2026
The AI-Driven Shift to Typed Languages: Reliability in the Age of Generated Code
Trends

The AI-Driven Shift to Typed Languages: Reliability in the Age of Generated Code

1/9/2026
AI Coding Degrades: Silent Failures Emerge
Vulnerabilities

AI Coding Degrades: Silent Failures Emerge

1/8/2026

Popular Tags

#AI (3404)#Security (1189)#Open Source (892)#privacy (804)#Hardware (781)#Apple (719)#API (706)#Remote Code Execution (646)#Microsoft (619)#regulation (617)#Windows (613)#Reddit (600)#Infrastructure (598)#Trends (535)#Cloud (515)#Cybersecurity (515)#Linux (505)#Gaming (464)#Business (456)#Performance (425)#Vulnerabilities (419)#Supply Chain (388)#OpenAI (378)#Developer Tools (349)#Rust (346)#Samsung (340)#Android (339)#Automation (336)#Machine Learning (330)#Battery (311)#Authentication (307)#Nvidia (302)#LLMs (301)#Azure (293)#Anthropic (284)#China (279)#AMD (277)#DevOps (271)#Developer (270)#Productivity (259)#Patch (248)#Intel (248)#Camera (246)#GPU (246)#Linux kernel (246)#iOS (238)#LLM (237)#mobile (231)#Patch Management (228)#Funding (225)