Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it

Theorem raises $6 million to use AI-powered formal verification to mathematically prove AI-generated code is safe before it's deployed in critical systems.
InfoWorld

GitHub Copilot SDK allows developers to build Copilot agents into apps

Available in a technical preview, the SDK for Node.js, Python, Go, and .NET provides programmatic access to the agentic power ...
InfoWorld

Go developers meh on AI coding tools – survey

Most Go developers are using AI-powered development tools, but their satisfaction has been hindered by quality concerns, ...
ZME Science

AI Is Writing Nearly a Third of All Software Code in the US as the Technology Takes Over Silicon Valley

In the United States, the share of new code written with AI assistance has skyrocketed from a mere 5% in 2022 to a staggering ...
eWeek

Palantir Helps Ukraine Turn Battlefield Data Into Drone Intercepts

Ukraine’s Brave1 is using Palantir software to run a secure ‘Dataroom’ for training military AI on real combat data to ...
EurekAlert!

Scaling up computing education in a time of AI

TACC is helping students master leading technologies such as AI through a series of academic courses aimed at thriving in a changing computational landscape. TACC's Joe Stubbs lectures on intelligent ...
eWeek

14 Ways to Use Microsoft Copilot More Effectively at Work

Try 14 Microsoft Copilot prompts that help you move past the blank prompt box and get better drafts for meetings, slides, ...