The agentic-skills framework quietly running the serious Claude Code setups — including the one that typeset this very page.
Jesse Vincent’s Superpowers hit version six. If your sessions already open with a skills check — and yours do — this release sits upstream of your entire workflow: read the changelog before your tools change shape under you. 178 points, 72 comments of field reports from people who run it daily.
A declaration that the models you depend on should be able to live on hardware you own — not rented from a cloud that can reprice, retrain, or repossess them. HN spent the day arguing about what that right actually costs.
A new Virginia law bars the sale of precise geolocation data — a state-level move that pulled 917 points of national attention. It lands in your backyard: if your site-selection comps and foot-traffic dashboards lean on location-data brokers, the supply chain behind them just changed in your home market. Worth twenty minutes to know exactly what’s restricted.
Read the full dossier →The WebKit team shipped an official MCP server for Safari — your agent can drive and inspect the browser over the same protocol that already wires the rest of your stack together. This one comes straight from the browser vendor, not a weekend repo. Point a config at it and Safari becomes one more tool in the loop.
The Model Context Protocol — accepted wherever fine tools are called. Ask your terminal if MCP is right for you.
A public-service announcement from the house · no purchase necessary · side effects may include automation
For centuries mathematics has run on scarcity: theorems were expensive to produce, so careers, journals, and prestige were all priced in proved results. Bessis argues machine provers are about to make theorems cheap — and asks what mathematicians are for once the artifact they’re paid in stops being scarce. The provocative part isn’t the automation; it’s the suggestion that understanding, not proof, was the real product all along. Swap “theorem” for your own deliverable and the essay gets uncomfortably general.
Valve open-sourced the Steam Machine’s e-ink status display so you can build your own. Shipping-hardware pedigree, weekend-project scope — the good kind of actionable.
Close the lid, keys leave memory. That was the LUKS suspend deal — and it quietly held for years.
Flagged on Mathstodon and confirmed up-thread: since kernel 6.9, suspending a LUKS-encrypted laptop can leave the keys resident in RAM. If your threat model includes a stolen sleeping machine — whose doesn’t? — go see which setups are affected. 513 points, 217 comments.
Read on HN →From Nature Communications: researchers fit an insect with an air-trapping “diving suit” and steer it as a cyborg across land and water — terra-aqua travel, in the paper’s own words. Pure weird science; the figures alone are worth the click.
F-Droid calls Android’s developer-verification plan a threat masquerading as protection.
Google’s coming requirement that Android developers verify their identity threatens the ecosystem sideloading depends on, F-Droid argues — and at 1,654 points and 713 comments this is the week’s runaway story. If you care who decides what your own phone may run, read this one end to end.
Read on HN →