[Перевод] Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?
Несмотря на все усилия Бурбаки, Коши и Вейерштрасса, подлинно формальные доказательства всегда оставались предметом теории, а не практики. Некоторые м…
Latest News
⚑ Report a ProblemTech news from the best sources
All topics
- игры
AI
Gear
News
Tech
agents
ai
api
architecture
automation
beginners
career
claude
devchallenge
devops
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
react
security
showdev
tutorial
typescript
webdev
Автоматизация хаоса: почему IT‑проекты на производстве не дают результата, даже когда сданы в срок
Производственник, который пришёл в IT. О том, почему до кода надо идти в цех. Несколько лет назад наблюдал проект на одном производственном предприяти…
Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163
This article is a re-publication of Rei-AIOS Paper 164 for the dev.to community. The canonical version with full reference list is in the permanent ar…
When Lean Proved My Durability Definition Too Easily
TL;DR I tried to formalize a small ACID-like model in Lean 4. Consistency became invariant preservation. Isolation became a deliberately strong commut…