3 stories tagged by Digg
AI
A post says @spolu backed Desargues and that its author is building a public benchmark for canonical Lean, pointing to minif2f as an example of what such a benchmark can do for a field.
AI
A user points to the Desargues team’s work and argues that proving involves taste, style and “interestingness” as well as correctness.
AI
In a DotAI 2026 talk, a developer argues that code remains essential to understanding and maintaining critical business systems, even if people no longer write it themselves.
