Claude formally proved security properties in 123 open-source libraries, discovering long-undetected bugs and making large-scale formal verification feasible.
Anthropic added the beta 'Personal Finance' feature to Claude, allowing users to link bank accounts via Plaid to perform natural language spending analysis.
The new Personal Finance tool in Claude allows users to connect bank and card accounts via Plaid and ask questions about their finances.
A Hacker News thread soliciting user input on their current daily AI agentic setups, including the specific AI subscriptions they pay for, their usage tiers, and whether they utilize models outside of those subscriptions.
Anthropic renamed Claude plans from 'Max 5x' to 'Max' and 'Max 20x' to 'Ultra', sparking claims that limits were halved.
The article argues that the main barrier to Linux is not the OS complexity but the effort of researching and typing commands, suggesting that delegating these tasks to Claude can simplify desktop environment setup.