S sophiajt.com The search for easier safe systems programming 194 points praseodym 2 years ago 250 comments