The post discusses intriguing developments in the field of logic that emerged in 2016. It highlights unexpected findings and challenges to established logical frameworks, which can impact various areas including computer science, mathematics, and even AI. The comments suggest a mix of interest and skepticism among readers, questioning the implications these surprises might have on current logical theories and practices.