Observational Equivalence and Unsafe Code | Dark Hacker News