formal methods

#formal methods

11 articles tagged
Why Every Programmer Needs a Blueprint: Reflections on Specification
Dev

Why Every Programmer Needs a Blueprint: Reflections on Specification

5/20/2026
How Quint Helped Uncover Over 10 SQLite Bugs While Hardening Turto
Vulnerabilities

How Quint Helped Uncover Over 10 SQLite Bugs While Hardening Turto

5/19/2026
Trends

Reassessing Lean's Place in the History of Formal Mathematics

4/28/2026
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 (3646)#Security (1326)#Open Source (963)#privacy (863)#Hardware (852)#Apple (761)#Remote Code Execution (755)#API (742)#Microsoft (689)#Windows (688)#regulation (656)#Infrastructure (651)#Reddit (622)#Cloud (581)#Trends (575)#Cybersecurity (553)#Linux (541)#Gaming (500)#Business (482)#Performance (462)#Vulnerabilities (448)#Supply Chain (427)#OpenAI (392)#Android (370)#Machine Learning (367)#Developer Tools (367)#Automation (364)#Rust (362)#Samsung (360)#Battery (335)#Nvidia (332)#Azure (332)#LLMs (327)#Authentication (319)#DevOps (307)#Patch (296)#Anthropic (296)#China (294)#Developer (293)#Productivity (289)#AMD (289)#GPU (274)#LLM (272)#Camera (270)#Intel (265)#iOS (264)#Linux kernel (262)#Cloudflare (250)#mobile (249)#Patch Management (248)