1Show HN: Verified Deep Learning with Lean 4 (opens in new tab)(brettkoonce.github.io)6asparagui2mo ago0Save
4DJI is >96% of RemoteID usage in the US [video] (opens in new tab)(youtube.com)Video4asparagui3mo ago0Save
5Towards Robust Mathematical Reasoning [pdf] (opens in new tab)(aclanthology.org)PDF1asparagui7mo ago0Save
7Google loses appeal in antitrust battle with Fortnite maker (opens in new tab)(japantoday.com)2asparagui10mo ago0Save
8A Search for Planet Nine with IRAS and Akari Data (opens in new tab)(arxiv.org)arXiv3asparagui1y ago0Save
9Trump to Rescind Chip Curbs After Debate over AI Rules (opens in new tab)(investing.businessweek.com)1asparagui1y ago0Save
11Trump administration can avoid a strategic misstep in the AI race (opens in new tab)(blogs.microsoft.com)3asparagui1y ago0Save
13A neuroscientist who taught rats to drive (opens in new tab)(theconversation.com)3asparagui1y ago0Save
