1Show HN: Verified Deep Learning with Lean 4 (opens in new tab)(brettkoonce.github.io)6asparagui20d ago0
7Google loses appeal in antitrust battle with Fortnite maker (opens in new tab)(japantoday.com)2asparagui9mo ago0
9Trump to Rescind Chip Curbs After Debate over AI Rules (opens in new tab)(investing.businessweek.com)1asparagui1y ago0
11Trump administration can avoid a strategic misstep in the AI race (opens in new tab)(blogs.microsoft.com)3asparagui1y ago0
