信息流
Canada averts fresh wave of US tariffs after Trump extends deadline - BBC
Canada averts fresh wave of US tariffs after Trump extends deadline BBC Trump pauses 50% scheduled tariffs ...
Show HN: Automatically detect and patch walking-dead states in Sierra games
Hi HN, I've become lazier in my old age and struggle to replay my favorite Sierra games from the 80s and 90s because I k...
Trump to tap Heidi Overton as FDA commissioner - Axios
Trump to tap Heidi Overton as FDA commissioner Axios Trump to Nominate Heidi Overton, a Top Domestic Policy...
Trump administration moves ahead to end roadless rule on national forests - AP News
Trump administration moves ahead to end roadless rule on national forests AP News Trump Administration Move...
Election Live Updates: Florida Chooses Donalds and Jolly as Nominees to Replace DeSantis as Governor - The New York Times
Election Live Updates: Florida Chooses Donalds and Jolly as Nominees to Replace DeSantis as Governor The Ne...
Palomar: A registry of Lean verified mathematics
Article URL: https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/ Comments URL: ht...
Trump hits pause on Canada tariffs threat, and hints at revival of Keystone XL oil pipeline project
US president delays 50% tariffs by three days, and says contentious oil project ...
Rep. Cory Mills loses Florida primary amid Ethics probe - Axios
Rep. Cory Mills loses Florida primary amid Ethics probe Axios Trump...