- 资讯公开站Semiconductor Engineering
Tracing Hardware Design From Physical Devices to RTL (Infineon, TU Munich)
Researchers at Infineon Technologies and Technical University of Munich published a technical paper titled “From Physical Devices to RTL Models: Abstraction and Validation in Hardware Engineering.” Abstract: “This paper …
- 资讯公开站Digitimes
Elon Musk, Jensen Huang see China closing lithography gap by 2030
While ASML executives explore how to scale extreme ultraviolet (EUV) lithography output beyond 110 units by 2028, China is pursuing indigenous advanced lithography systems. ASML plans to produce at least 80 EUV tools in …
- 资讯公开站Digitimes
Synopsys reshapes EDA, IP business models as AI shifts revenue from seats to customer output
Synopsys is reshaping how it monetizes its two core businesses, electronic design automation (EDA) and semiconductor IP, as AI transforms engineering workflows. Announcements at the company's 2026 Investor Day in New Yor…
- 资讯公开站Digitimes
Interview: AI PCs reach 65% of Europe's notebook channel, but what brings buyers to the market?
The rapid iteration of AI-capable hardware, following an industry-wide push toward integrating AI-processing capabilities into PCs, is bringing renewed attention to what AI could offer as its presence extends further int…
- 资讯公开站Digitimes
Biren readies BR20X, sharpening China's AI GPU challenge to Nvidia
Biren Technology is preparing its next-generation GPU for mass production, advancing a domestic AI accelerator roadmap built around broader low-precision support and locally available manufacturing.
- 资讯公开站Semiconductor Engineering
HBF for High-Throughput LLM Serving (UC Berkeley, FuriosaAI)
Researchers at the UC Berkeley and FuriosaAI published a technical paper titled “Characterizing High Bandwidth Flash for LLM Serving.” Abstract: “Large language model (LLM) serving requires substantial memory to store mo…
- 资讯公开站Semiconductor Engineering
Formal Automotive Security Analysis Of CAN XL (Georgia Tech, QCRI, Purdue)
Researchers at Georgia Institute of Technology, Qatar Computing Research Institute, and Purdue University published a technical paper titled “A Formal Security Analysis of CAN XL.” Abstract: “For decades, the Contr…
- 资讯公开站gnews_asml_industry
ASML Gains 1.4% as EUV Capacity Chases a 110-Tool Threshold - TradingView
- 资讯公开站gnews_asml_industry
ASML raises outlook on strong orders for advanced chipmaking equipment - Yahoo Finance
- 资讯公开站rss_arxiv_cs_ai
Conflicting Supervision Moves Commitment, Not Capability: A 12.29{\sigma} arrangement effect that is exactly zero under a convention-agnostic score
arXiv:2610.00234v1 Announce Type: new Abstract: "Train a model on the same problems written under two incompatible conventions, both correct, and ask what the ordering of that data writes into the parameters. The learni…
- 资讯公开站rss_arxiv_cs_ai
Build2SPARQL: A Large-Scale Text-to-SPARQL Benchmark Dataset for Building Knowledge Graph Querying
arXiv:2610.00224v1 Announce Type: new Abstract: Building automation systems are increasingly represented as semantic knowledge graphs (KGs) using ontologies such as Brick and ASHRAE 223P, creating a machine-readable sub…
- 资讯公开站rss_arxiv_cs_ai
EviGraph: Proof-Carrying Selective Recommendation over Temporal Public-Service Knowledge Graphs
arXiv:2610.00212v1 Announce Type: new Abstract: Public-service recommendations require evidence that matches the requested service, scope, and date. Yet treating every missing detail as decisive can withhold useful reco…
- 资讯公开站rss_arxiv_cs_ai
Scientific Agents: Evaluating Profession-Specific System Prompts on Scientific Tasks
arXiv:2610.00084v1 Announce Type: new Abstract: Detailed profession-specific system prompts raise token use and estimated cost per response without a consistent accuracy gain. We evaluate Scientific Agents, an open-sour…
- 资讯公开站rss_arxiv_cs_ai
K-Dense BYOK: An Open-Source AI Research Assistant That Runs Locally and Keeps a Hash-Chained Lab Notebook
arXiv:2610.00074v1 Announce Type: new Abstract: K-Dense BYOK (bring your own keys) is a free, open-source AI research assistant for scientists in any field that runs on the researcher's own computer. The researcher supp…
- 资讯公开站rss_arxiv_cs_ai
Gradient-Aligned Pair Selection for Personalized Preference Optimization
arXiv:2610.00061v1 Announce Type: new Abstract: Personalizing large language models (LLMs) requires aligning generation behavior with user-specific preferences rather than aggregate quality. While Direct Preference Opti…
- 资讯公开站rss_arxiv_cs_ai
Characterizing a Configuration Where Inference-Time PRM-Pruned Fragment Grafting Is Inert: Evidence from Three Reasoning LMs
arXiv:2610.00047v1 Announce Type: new Abstract: Diversity collapse in parallel chain-of-thought has motivated inference-time interventions built on a natural design: when a process reward model (PRM) prunes a chain, its…
- 资讯公开站rss_robot_report
ANYbotics launches Shift to streamline robot fleet operations, scale inspections
- 资讯公开站google_news_asml
High NA EUV reaches new readiness milestone with first high-volume Logic product | Wed, 07/15/2026 - 08:00 - ASML
- 资讯公开站EE Times
AutoSens 2026: Regulation Drives Automotive Sensing Architectures
- 资讯公开站EE Times
Continuous Health Monitoring Drives Integrated Wearable System Design
- 资讯公开站Ars Technica
Patient-zero drill put health facilities to the test—40% of them failed
- 资讯公开站Ars Technica
Research roundup: 6 cool science stories we almost missed
Also: Spooky action at the LHC, Ice Age psychoactive use, yeast for building homes on Mars, and more.
- 资讯公开站Ars Technica
How I kept cool with NYC's free battery program for window AC units
- 资讯公开站Ars Technica
Cybertruck sales in free fall as Tesla reports mediocre sales for Q3
- 资讯公开站Ars Technica
Rocket Report: SpaceX completes launch triple-header; Rocket Lab nets big contract
