2 ms·Formal Methods and the Future of Programming3 points by dcre 4mo agoJtsummers 4mo agohttps://news.ycombinator.com/item?id=48526633 https://news.ycombinator.com/item?id=48526633 - Discussion here, still active.dcre 4mo agoThanks, missed it!