formal methods

#formal methods

8 articles tagged
The Spec-Code Divide: Why Specifications Are Not Implementations
LLMs

The Spec-Code Divide: Why Specifications Are Not Implementations

4/16/2026
Swift's Concurrency Type System: The Mathematics Behind Modern Async Programming
Dev

Swift's Concurrency Type System: The Mathematics Behind Modern Async Programming

4/15/2026
Dev

Tony Hoare: The Architect of Structured Thinking in Computer Science

3/9/2026
A Universal Language for Package Dependencies: The Package Calculus
DevOps

A Universal Language for Package Dependencies: The Package Calculus

3/1/2026
Monitoring Data-Dependent Temporal Patterns: A Comprehensive Survey of Formal Methods and Runtime Verification
Security

Monitoring Data-Dependent Temporal Patterns: A Comprehensive Survey of Formal Methods and Runtime Verification

2/19/2026
Bridging Lean and Python: A Practical Exploration of Cross-Language Interoperability
Python

Bridging Lean and Python: A Practical Exploration of Cross-Language Interoperability

2/5/2026
How S3 is built - by Gergely Orosz - The Pragmatic Engineer
Infrastructure

How S3 is built - by Gergely Orosz - The Pragmatic Engineer

1/21/2026
Simulate - Quint Visualizer: Mapping State Transitions for Formal Verification
Dev

Simulate - Quint Visualizer: Mapping State Transitions for Formal Verification

1/16/2026

Popular Tags

#AI (2622)#Security (863)#Open Source (665)#privacy (604)#Hardware (595)#Apple (589)#API (579)#Reddit (505)#regulation (447)#Windows (440)#Infrastructure (425)#Microsoft (422)#Trends (422)#Remote Code Execution (409)#Cybersecurity (402)#Linux (383)#Gaming (360)#Business (344)#Cloud (331)#Performance (324)#OpenAI (317)#Vulnerabilities (314)#Rust (272)#Supply Chain (265)#Automation (260)#Developer Tools (255)#Samsung (255)#Battery (250)#Authentication (248)#Nvidia (244)#Android (238)#Anthropic (234)#Machine Learning (230)#Developer (222)#Azure (219)#China (218)#LLMs (218)#AMD (206)#Productivity (206)#Funding (199)#DevOps (192)#Intel (189)#Camera (188)#GPU (186)#Linux kernel (176)#mobile (176)#Patch Management (172)#Patch (167)#iOS (167)#Malware (158)