Specula, an agentic system developed by researchers, automates software bug finding by deriving TLA+ specifications from code, model-checking them for concurrency bugs, and reproducing bugs at the cod…
At the AMD Advancing AI 2026 event, AMD heavily emphasized open-source, open ecosystems, and open standards, with executives repeatedly stating "Our model at AMD is really on openness." The company an…
Xsight Labs is developing networking gear for AI and SpaceX satellites, with a focus on full switch programmability, on-path cores in DPUs, and open-sourcing the ISA. The company's 12.8T power-optimiz…
Cisco is making its SONiC (Software for Open Networking in the Cloud) operating system available to all customers, expanding access beyond the hyperscale cloud providers that originally developed the …