Lean

#Lean

6 articles tagged
Dev

A Practitioner’s Guide to the Lean Book Landscape

5/24/2026
Trends

Reassessing Lean's Place in the History of Formal Mathematics

4/28/2026
Mistral's new agent proofs your code on the cheap • The Register
AI

Mistral's new agent proofs your code on the cheap • The Register

3/17/2026
Dev

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match - Nathan Taylor

2/15/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
AI Achieves Mathematical Milestone with Autonomous Solution to Erdős Problem
AI

AI Achieves Mathematical Milestone with Autonomous Solution to Erdős Problem

1/10/2026

Popular Tags

#AI (3471)#Security (1221)#Open Source (910)#privacy (825)#Hardware (804)#Apple (735)#API (717)#Remote Code Execution (665)#regulation (631)#Microsoft (629)#Windows (625)#Infrastructure (612)#Reddit (609)#Trends (553)#Cloud (535)#Cybersecurity (529)#Linux (514)#Gaming (476)#Business (466)#Performance (435)#Vulnerabilities (428)#Supply Chain (396)#OpenAI (382)#Developer Tools (357)#Android (352)#Rust (348)#Samsung (347)#Automation (346)#Machine Learning (337)#Battery (320)#Authentication (311)#Nvidia (308)#LLMs (308)#Azure (303)#Anthropic (285)#China (284)#DevOps (280)#AMD (279)#Developer (274)#Productivity (266)#Patch (257)#Intel (253)#GPU (251)#Camera (251)#Linux kernel (251)#iOS (246)#LLM (245)#mobile (237)#Patch Management (232)#Funding (227)