Kanıtlar artık ucuz. Sıradaki ise özellikler.

Yazılım geliştirmede kanıtların ucuzlaması ve bunun özelliklerin önemini artırması üzerine bir yazı.

Hacker News paylaşan: torutofu

Hacker News paylaşım tarihi: 2026-11-04