Search “AWS”

English translation is being prepared.

AI startup Vectorial raises $3 million to use AI to simulate human behavior for consumer research

AI startup Vectorial has closed a $3 million seed round co-led by Smilegate and SenseAI Ventures to launch its consumer research platform that simulates human behavior. The platform is based on the behavioral model SAPIENS, whose training data covers more than 2.5 million real consumers; it predicts consumer behavior 30% more accurately than general-purpose models and achieves about 86% accuracy compared with real user research. Customers including GoodRx, Boat, Everkind and Concrete Software run an average of 600 simulations per month, and the company will use the new funding to build SAPIENS 2.0.

English translation is being prepared.

SmartBear's BearQ adds Sources to find coverage gaps, Workflows to automate test runs

SmartBear has added two capabilities, Sources and Workflows, to its BearQ agentic quality assurance system: Sources pulls requirements and bug reports from Jira and, combined with existing tests in Reflect and Zephyr, identifies coverage gaps to reduce duplicate testing; Workflows supports chaining tasks under a single trigger, for example automatically creating a test environment and running regression tests once a build enters CI/CD. SmartBear said that in a September 30 survey of 1,436 respondents in the US and UK, 23% cited trust as the top barrier to adopting autonomous testing.

English translation is being prepared.

Firefly raises $20 million Series A to use AI to improve safety in the physical world

AI startup Firefly Technology has raised a $20 million Series A round led by Definition Capital, with participation from BoxGroup and Susa Ventures. The funds will be used to bring AI into the physical world and improve workplace safety. Its Ember Safety Management platform can integrate existing equipment such as cameras, sensors and radios, and comes with hardware including wearable emergency buttons, AI beacons and network gateways. The platform has been deployed across three campuses of Front Range Community College, the largest community college in Colorado.

Scaled Cognition Launches Customer Service Voice Model Voice

Scaled Cognition has released Voice, a text-to-speech model that supports more than 25 languages and voice cloning, and can be accessed via API or deployed self-hosted. It focuses on accurately reading aloud details such as account numbers and addresses. Managed API pricing is $9 per million characters, while self-hosting costs $1 per million characters (excluding infrastructure). The company says that at a scale of 5 million characters, including infrastructure, the cost is about $13 per million characters, and it claims a speech generation latency of 70 milliseconds. Voice's Smart Pronunciation capability first determines the meaning of abbreviations and numbers before generating audio—for example, reading "Pay 1/2 by 1/2" as "pay half by January second"—and it can run without relying on APT or other large language models.

English translation is being prepared.

English translation is being prepared.

English translation is being prepared.

English translation is being prepared.

The U.S. Department of Homeland Security requires civilian agencies to remove DeepSeek and its derivative products

The U.S. Department of Homeland Security, pursuant to the 2018 Federal Acquisition Supply Chain Security Act, requires U.S. civilian agencies to remove DeepSeek and DeepSeek-related products, as well as third-party products and services developed using DeepSeek, from information technology systems. DHS states that DeepSeek's hosted models store data on servers in China, with every prompt and response passing through that service, and that the data may be combined with public information to form actionable intelligence targeting U.S. personnel and government programs; for model weights running on U.S. servers, the ban relies on warnings that the models may contain malware or other vulnerabilities. Exceptions require an application submitted 60 days in advance with sufficient justification, and systems in national security systems and secure isolated information systems are outside the scope of the order; the only Chinese model named in the order is DeepSeek, while Kimi and Qwen face similar distillation allegations.

Ant Group's inclusionAI publishes the sglang_ling_v3 repository on GitHub

Ant Group's inclusionAI launches the sglang_ling_v3 repository on GitHub. Its contents are based on the open-source inference framework SGLang, which targets large language models, vision-language models, and diffusion models, and is optimized for agent workloads, large-scale serving, and RL rollout. The repository README shows that SGLang supports GPU, TPU, NPU, CPU, and Apple Silicon, and includes the built-in image and video generation engine SGLang Diffusion.

English translation is being prepared.

pstack adds a formal verification meta-skill

pstack v0.15.27 adds /create-formal-verification-skill, a meta-skill that automatically generates a customized verification skill and a matching verification suite based on the characteristics of the system to be verified. For example, it generates a TLA+-based approach for state machines and concurrent behavior, and a Kani-based approach for Rust undefined behavior. The feature is still in beta, and the author has already found several bugs while using it to model their own code with TLA+. poteto believes that the two historical bottlenecks of modeling and spec synchronization are well suited to being taken over by LLMs, and that formal verification can give agents strong feedback that is "mathematically impossible to violate."

English translation is being prepared.

English translation is being prepared.

English translation is being prepared.

SemiAnalysis predicts 50GW of new global data center capacity in 2027

SemiAnalysis predicts that global data center new capacity will reach 50GW in 2027, equivalent to the entire cumulative global market before 2024 being built within a single year. Its data center industry model shows that 60GW is currently under construction, of which more than 24GW is in the late stages of construction, with most to be delivered in 2027; so far in 2026, just under $1 trillion in data center leases have been signed, providing funding support for construction in 2027 to 2028. The report also mentions that prefabricated modular design has compressed the construction cycle to under 10 months, and holds that the power problem has been largely solved through means such as self-built generation, with the new bottleneck in 2027 to 2028 potentially shifting to memory and logic chips.

English translation is being prepared.