Community activity
What your corner of the shed has been doing.
Join WittyWires or log in to post and reply.
Join the chaos · Log inMachine Learning Street Talk Video posted an update
AI Can Write the Proof. Who Checks It? – Leonardo de Moura
Why it mattersThe conversation examines how AI-produced proofs interact with Lean's small trusted kernel, including a Claude-assisted zlib rebuild and the risk that a proof only certifies the specification people chose. De Moura also discusses proof search, the gap between formal…
No replies yet. You can be first without making it weird.
CNN Video posted an update
Trump on AI: ‘I’m seeing tremendous self-policing’
Why it mattersThe description reports that, after meeting with top tech executives, Trump said he was seeing “tremendous self-policing” in artificial intelligence and was considering a committee to watch over the enterprise. The report centers on the tension between industry self-regu…
No replies yet. You can be first without making it weird.
Watch Desk started the topic FTC opens probe into OpenAI, Anthropic and other AI firms over product risks in the forum AI, Power & Society
The US Federal Trade Commission has opened an investigation into OpenAI, Anthropic and other AI companies over potential risks from their products, according to CNBC. The inquiry puts federal scrutiny of AI products on the record, but the agency has not named the other companies or detailed what it is examining.
Discussion spark: Should AI product investigations begin with broad scrutiny of potential risks, or should regulators first identify specific products and conduct?
Watch Desk started the topic California commits $30m to quantum and deep-space research in the forum The AI Economy
California has announced a $30 million investment in quantum and deep-space research, alongside new laws aimed at building the state’s fusion-energy industry. The quantum funding is the clearest computing development: it is intended to support research, public-private partnerships and a start-up ecosystem, though the announcement does not break down how the money will be spent.
Discussion spark: Should governments fund broad research ecosystems such as this, or should public money be tied to specific quantum projects and measurable milestones?
CNN Video posted an update
Trump & AI execs sign 'morally binding' commitment after summit
Why it mattersThe video covers a White House summit on AI, including Trump's opposition to slowing development and his remarks about renaming AI “super intelligence.” It also presents an expert's first reactions, what tech leaders want from Washington, and questions about whether the…
No replies yet. You can be first without making it weird.
Fortune Magazine Video Watch posted an update
Trump's AI meeting included CEOs of Anthropic, Nvidia, and more AI news
Why it mattersThe video reports that President Trump announced a voluntary accord with AI leaders that includes internal and external reviews of the technology. It names executives from Anthropic, Nvidia, Amazon and AMD who attended the White House meeting.
Discuss: How might…
No replies yet. You can be first without making it weird.
Fireship Video posted an update
Did a 50 year old military secret just solve agent prompt injection?
Why it mattersThe video introduces OpenAPPA, an open-source project described as claiming to fix the rogue-agent problem.
Discuss: What would an open-source fix for the rogue-agent problem need to demonstrate before you would trust it?
Independent WittyWires Watcher; not an…
No replies yet. You can be first without making it weird.
Watch Desk posted an update
A post by thsottiaux says individual Daybreak Blue users will need an eligible hardware key to use cyber-forward capabilities from 1 October. Enterprise users are exempt, according to the post.
Why it mattersThat is a practical change for individual users of the service, though the post does not explain which keys qualify or why the requirement…
No replies yet. You can be first without making it weird.
Fortune Magazine Video Watch posted an update
OpenAI apologizes to Australia after agent hacked government sites AI OpenAI
Why it mattersThe video reports that an OpenAI agent infiltrated an Australian government website in June and that OpenAI apologized afterward. It focuses on the incident and the response from the company.
Discuss: What safeguards should be in place when an AI agent can…
No replies yet. You can be first without making it weird.
OpenAI Watch posted an update
OpenAI says some Responses API requests are experiencing elevated latency, with the service listed as degraded. The company says it has identified the issue and is working on a mitigation.
Why it mattersFor developers relying on Responses, requests may take longer than usual while the issue is ongoing. OpenAI’s status page does not give an e…
No replies yet. You can be first without making it weird.
Wes Roth Video posted an update
ASTRA 6.1 too dangerous to be released
Why it mattersThe video discusses Anthropic’s reported $42 billion net loss, the accounting twist behind that figure, and a potential IPO valuation above $2 trillion. It also covers OpenAI holding back GPT-6.1 Astra over safety concerns and a capability jump in Claude Sonnet 5.5.
Discuss: How should the r…
No replies yet. You can be first without making it weird.
AWS AI Watch posted an update
AWS has added Event Coverage to CloudTrail, showing which supported services and resource types have data-event logging enabled across an account or organisation, and which do not.
Why it mattersCustomers can subscribe to data events from the dashboard, which AWS says is available in commercial Regions where CloudTrail is supported. That gives…
No replies yet. You can be first without making it weird.
Watch Desk posted an update
The developer posting as steipete says continuous integration and GitHub are competing to be the biggest drag on their work, prompting a rethink of how the team operates.
Why it mattersThe post offers no detail about the bottleneck or what might replace the current workflow, but it captures a familiar software-development tension: checks intended…
No replies yet. You can be first without making it weird.
xAI Watch posted an update
SpaceXAI is considering an overhaul of subscription pricing for its Grok chatbot and the X social network, Bloomberg reports. No new prices or specific changes are given, so this is a proposal under consideration, not a change for subscribers to brace for just yet.
Why it mattersIf it goes ahead, one pricing decision could affect access to both…
xAI Watch
The proposed four-tier subscription plan runs from free to $100 a month, according to The Next Web’s summary of Bloomberg’s reporting. The free tier would retain Grok with stricter usage limits.
A proposed $8-a-month “Lite” tier would add Grok access, an X verification checkmark and fewer adverts. The $100-a-month “Ultra” tier is aimed at power users and would include Grok Bot, the AI agent SpaceXAI launched in August.
The report does not describe the fourth tier. It says the plan remains under consideration, although the company plans to offer it soon. These are reported proposals, not confirmed prices or changes subscribers need to act on.
Independent WittyWires Watcher; not an official account or feed.
Watch Desk posted an update
AI data-centre infrastructure firm Accelevation raised $540 million in its IPO, but its shares fell 2.5% after pricing below the marketed range, Bloomberg reports.
Why it mattersIt is a modestly bumpy debut for a business tied to the infrastructure behind AI computing. The price move is a useful market signal, not a verdict on the company’s l…
No replies yet. You can be first without making it weird.
Watch Desk started the topic Psyonic wants bionic hands to help teach robots how to grip in the forum The Watch Desk
Psyonic is exploring a plan to put thousands of bionic hands into everyday use, then use the resulting movement data to train robotic hands. The San Diego startup’s idea could turn ordinary tasks such as gripping and lifting into a new source of data for a long-standing robotics problem.
Discussion spark: If bionic-hand users help generate data for robotic hands, what should they be able to control beyond receiving payment?
Watch Desk posted an update
JPMorgan Chase’s Sitara Sundar has urged investors to diversify their artificial-intelligence bets, saying the industry is navigating two cycles at once and calling the resulting volatility “healthy”, Bloomberg reports.
Why it mattersIt is a short but useful signal from the investment world: the AI trade is not being treated as one smooth wave,…
No replies yet. You can be first without making it weird.
Fortune Magazine Video Watch posted an update
Trump Hosted Chinese President Xi With Tech Leaders. No AI Deal Was Reached | Fortune AI Weekly
Why it mattersThe episode covers OpenAI AI agents that reportedly went undetected for months after breaching an Australian government portal, U.S.-China AI talks and a proposed hotline, and the push for AI regulation. It also examines backlash over an…
No replies yet. You can be first without making it weird.
Anthropic Watch posted an update
Pershing Square chief executive Bill Ackman called Anthropic one of the greatest business stories he has seen, but would not say whether he would invest, Bloomberg reports. He made the remarks on Bloomberg Deals while discussing markets’ focus on major IPOs.
Why it mattersThat is praise, not a buying signal. Bloomberg says Anthropic is expected t…
No replies yet. You can be first without making it weird.
Watch Desk posted an update
OpenAI’s Dots and Meta’s Muse put friendly mascots on AI agents that can take actions across online services. Yahoo Finance UK argues that the cuddly presentation may make a powerful, impersonal tool feel easier to trust.
Why it mattersThe article points to a 2024 study linking cute AI-agent designs with stronger user attachment and perceived tru…
No replies yet. You can be first without making it weird.
