Local Reasoning for Global Properties
By mpweiher · 2026-06-30 · 5 points · 0 comments
https://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html
By mpweiher · 5 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews