Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
Today, Mistral AI released Leanstral 1.5. It is a code agent model built for Lean 4. The release targets automated…
Category: Business
Ukrainian suspect hunted by police after Monaco bomb attack was ‘disguised as a man’
Officials believe the suspect may not have acted alone and spent days casing out the scene of the attack.
France records 2,025 excess deaths at peak of heatwave as Europe braces for more extreme weather
Forecasters are warning of further extreme temperatures on the continent in the next few days.
Oman walks a diplomatic tightrope over Strait of Hormuz fees, creating a ‘blind spot’ for markets
Oman is using strategic ambiguity as talks over possible Strait of Hormuz fees raise legal, diplomatic and oil market concerns.
Meet WebBrain: An Open-Source, Local-First AI Browser Agent That Reads Pages and Automates Tasks in Chrome and Firefox
WebBrain is a free, open-source browser agent for Chrome and Firefox. It reads pages, extracts data, and automates multi-step tasks.…
On the Strait of Hormuz, BBC finds seized ships and shark fishermen as uneasy calm returns
The BBC visits Bandar Abbas to see how the US-Israeli war with Iran has affected everyday life in the port…
Venezuela quake toll climbs to 2,595 as damage estimates mount after strongest tremor in a century
Death toll from twin earthquakes that struck Venezuela jumped to 2,595, as rescue operations continued after the country’s strongest tremors…
Interfaze Ships diffusion-gemma-asr-small, an Open-Source Diffusion ASR Model Transcribing Six Languages via DiffusionGemma’s Parallel Denoising Decoder
Interfaze, a young YC’s startup, has open-sourced a new speech recognition model. It is called diffusion-gemma-asr-small. The model transcribes audio…
RAG-Anything Tutorial: Build a Multimodal Retrieval Pipeline for Text, Tables, Equations, and Images in Colab
In this tutorial, we build a RAG-Anything workflow and use it to explore how multimodal retrieval works across text, tables,…
How Amazon Bedrock catches AI-generated phishing
Social engineering through phishing remains one of the most common tactics for launching cyberattacks. AI-generated phishing email messages now pose…
Job seekers giving up: Labor force participation rate falls to lowest in 50 years, outside of Covid era
A drop in the unemployment rate helped provide some upside to what was an otherwise downbeat jobs report — but…
Venezuela quake survivor pulled out alive after eight days
Hernán Gil was trapped under a collapsed multi-storey car park, and cheered rescuers on as they inched closer to him.
U.S. job creation cools in June with payrolls growth of just 57,000; unemployment rate at 4.2%
Nonfarm payrolls were expected to rise by 115,000 in June and the unemployment rate to hold steady at 4.3%.
AI agents will soon be able to match human traders, Robinhood CEO tells CNBC
Vlad Tenev spoke about the potential of AI agents in trading in an interview with CNBC.
The Google Health API Got a CLI: ghealth is an Open-Source Tool for Your Fitbit Air Data
The Google Health API is the official successor to the Fitbit Web API. It targets the Google Health API v4…
Google loses fight over record $4.7 billion EU antitrust fine
In 2018, the European Commission slapped Google with the record-breaking penalty on the grounds that it abused Android’s mobile dominance.
Volkswagen braces for boardroom showdown over historic cost-cutting plan
Volkswagen is poised for a boardroom showdown following reports that the auto giant is weighing up shutting four factories and…
At least eight killed in major missile and drone strikes on Kyiv
Russia launched its biggest strikes on the city in weeks with children among the “significant number” of casualties, Ukrainian officials…
Samsung Electronics, SK Hynix shares tumble over 7% as chip rout spreads from Wall Street
Shares of Samsung Electronics and SK Hynix plummeted more than 7% in early Thursday trading.
Aunt of Venezuelan boy pulled from rubble tells BBC she will give him ‘mother’s warmth’
Kleiber Moran, 2, was rescued on Wednesday, six days after last week’s deadly earthquakes.
Using Lift to Turn Research PDFs into Structured JSON with Controlled, Schema-Guided Field-Level Evaluation
In this tutorial, we build a complete PDF-to-structured-data extraction workflow around Lift, with a focus on controlled evaluation rather than…
Ukrainian charged in Germany over Nord Stream blasts
Ukraine denies involvement in the case which may have serious implications for its relationship with Germany.
Run NVIDIA Nemotron and OpenAI GPT OSS models on Amazon Bedrock in AWS GovCloud (US)
Government agencies running workloads in AWS GovCloud (US) need AI capabilities that keep pace with the commercial sector. At the…
‘Time for him to pay’ – Carroll calls on Trump to pay $5m after president’s appeal fails
The writer’s lawyers say Trump wants to delay paying the damages awarded by a jury that found the president liable…
Three die in Mexico City World Cup celebrations
More than one million people took to the streets of Mexico City on Tuesday to mark the country’s win over…
Tech leads first half stock gains — but the biggest winners weren’t in the U.S.
U.S. Big Tech stocks enjoyed strong gains — despite a sharp sell-off at the end of June — but were…
Europe’s defense boom faces a new test: Can it actually deliver weapons?
Europe’s defense boom faces a test as investors weigh whether budgets and backlogs can become weapons, factories and returns.
NVIDIA Releases Nemotron-Labs-TwoTower: an Open-Weight Diffusion Language Model Built on a Frozen Autoregressive Nemotron-3-Nano-30B-A3B Backbone
NVIDIA has released Nemotron-Labs-TwoTower, a diffusion language model built on a pretrained autoregressive backbone. It ships as open weights under…
CUP (Common Useful Python): Building Reliable Python Workflows with Baidu’s Utility Toolkit
In this tutorial, we explore CUP, Baidu’s Common Useful Python library, as a practical utility toolkit for building stronger Python…
Trump made more than $1bn from crypto in first year back in office
The president’s crypto income far outpaces his earnings from real estate and Trump-themed items such as watches.
Iran says it is selling oil at 20% premium as end of U.S. blockade sees 40 million barrels exported
The ceasefire prompted a surge in crude shipments through the Strait of Hormuz, where traffic had largely ground to a…
Safely Releasing Frontier Models to Customers
It’s our goal for AWS to be the most secure place to run any workload, and in support of that…
US Supreme Court upholds birthright citizenship in blow to Trump
The ruling is a major setback for Donald Trump’s immigration agenda, and has been welcomed by civil rights groups.
Trump’s annual financial disclosure shows more than $580M in crypto-related income
Trump’s 927-page financial disclosure report for 2025 totals more than 900 pages detailing holdings in cryptocurrency and stocks.
Linq’s iMessage Apps Bring Payments, Tickets, Flights, and Games Into the iMessage Bubble Through the imessage_app Part
Linq developers can now build iMessage Apps. These are interactive mini-apps that run inside a iMessages conversation. A user can…
Americans react to Supreme Court upholding birthright citizenship
The BBC asked Americans how they felt after the Supreme Court’s ruling on citizenship for babies born in the US.
Introducing Claude Sonnet 5 on AWS: Anthropic’s most capable Sonnet model
Today, we’re excited to announce the availability of Anthropic’s most advanced Sonnet model, Claude Sonnet 5, on Amazon Bedrock and…
Nike is set to report earnings after the bell. Here’s what to expect
Nike is expected to report another quarter of declining sales as the sneaker giant struggles to regain strength under its…
Build generative UI for AI agents on Amazon Bedrock AgentCore with the AG-UI protocol
AI agents can do more than chat. With the right protocol, an agent can render an interactive chart inline in…
Supreme Court’s birthright ruling is major blow to Trump
The BBC’s Gary O’Donoghue explains what the court’s landmark ruling means for the US president.
Small-cap stocks enjoy their best first half in 35 years. Here’s what’s driving it
The advance marks a sharp turnaround after years of underperformance versus large-cap peers.
Mag 7 value shrinks by $2.3 trillion amid AI spending jitters — but investors are still backing chipmakers
Investors are growing jittery about massive AI spending by the Mag 7 and when these companies will produce a return…
Inflation likely to stay ‘significantly above target,’ top European central banker warns
Joachim Nagel, president of Germany’s Bundesbank, spoke to CNBC on the sidelines of an ECB conference in Portugal.
Meta AI Releases Brain2Qwerty v2: A Non-Invasive MEG Brain-to-Text Pipeline Decoding Typed Sentences at 61% Word Accuracy
Meta AI just introduced Brain2Qwerty v2. It decodes natural sentences from non-invasive brain recordings in real time. The system reads…
Angry Venezuelans accuse government of negligence and apathy
People in areas devastated by twin earthquakes say they need more support from the government.
Japanese yen sinks to 40-year low, keeping intervention risks in focus
The Japanese yen weakened to its lowest level against the U.S. dollar since 1986 on Tuesday, keeping investors on alert…
OpenClaw Releases iOS and Android Companion Node Apps That Connect a Phone to a Self-Hosted AI Agent Gateway
OpenClaw just released native companion apps for iOS and Android. The iOS app is listed as ‘OpenClaw – AI that…
PyGraphistry Implementation Workflow for Interactive Graph Intelligence Pipelines in Security Analytics and Risk Investigation
In this tutorial, we build an advanced, Colab-ready workflow around PyGraphistry for interactive graph analytics and visualization. We start by…
Aftershock frays nerves as many Venezuelans left to fend for themselves
In areas devastated by the twin earthquakes, people are using crowbars, pickaxes and their bare hands to try to reach…