DEV Community

#lean

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Where machine-checked mathematics pays: prizes, bounties and registries for Lean proofs (October 2026)
munimv2 profile

Where machine-checked mathematics pays: prizes, bounties and registries for Lean proofs (October 2026)

#math #lean #ai #opensource
Comments
8 min read
Matemáticos vs openai: razonamiento formal y demostraciones
henryramireztech profile

Matemáticos vs openai: razonamiento formal y demostraciones

#ciencia #inteligenciaartificial #lean #matemáticas
Comments 1
4 min read
Lean Software Development in Practice: Finding Muda in Four PHP Projects
alkin profile

Lean Software Development in Practice: Finding Muda in Four PHP Projects

#lean #muda #php #symfony
Comments 1
8 min read
Lean and how it relate to IT
milkyway66 profile

Lean and how it relate to IT

#lean #devops #productivity
Comments
3 min read
Applying Kaizen Thinking to Symfony Debugging
alkin profile

Applying Kaizen Thinking to Symfony Debugging

#symfony #php #kaizen #lean
2
Comments 1
5 min read
From Lean 4 to ClickHouse: Architecting Verifiable AI Infrastructure with Formal Methods and Real-Time Analytics
tamizuddin profile

From Lean 4 to ClickHouse: Architecting Verifiable AI Infrastructure with Formal Methods and Real-Time Analytics

#ai #machine #learning #lean
Comments
9 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.