logoalt Hacker News

levocardia • yesterday at 1:28 PM • 0 replies • view on HN

But have you formalized every single one of your results? And if you haven't what odds would you put on one of them not working out, if formalized?