▲ 1 pointsLocal Reasoning for Global Propertiestratt.netby surprisetalk·1mo ago·0 comments·view on hn ↗