ACM Article: from code scarcity to verification scarcity by Ahmed El-Deeb
By qaprof · 2026-10-30 · 1 points · 0 comments
https://dl.acm.org/doi/10.1145/3844691.3844693
By qaprof · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews