Tag: RISC-V
-
The Register: Nvidia extends CUDA support to RISC-V just in time for next wave of Chinese CPUs
Source URL: https://www.theregister.com/2025/07/21/nvidia_cuda_riscv/ Source: The Register Title: Nvidia extends CUDA support to RISC-V just in time for next wave of Chinese CPUs Feedly Summary: The prime beneficiary of the AI boom has global ambitions Nvidia is officially bringing its CUDA software stack to RISC-V CPUs.… AI Summary and Description: Yes Summary: The text discusses Nvidia’s…
-
Hacker News: Clean, a formal verification DSL for ZK circuits in Lean4
Source URL: https://blog.zksecurity.xyz/posts/clean/ Source: Hacker News Title: Clean, a formal verification DSL for ZK circuits in Lean4 Feedly Summary: Comments AI Summary and Description: Yes **Summary:** The provided text discusses the development of an embedded Domain-Specific Language (DSL) and formal verification framework for Zero-Knowledge (ZK) circuits using Lean4. The project aims to enhance the correctness…
-
Hacker News: Do you DARE? Europe bets once again on RISC-V for supercomputing sovereignty
Source URL: https://www.theregister.com/2025/03/07/dare_europe_risc_v_project/ Source: Hacker News Title: Do you DARE? Europe bets once again on RISC-V for supercomputing sovereignty Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses the formation of the Digital Autonomy with RISC-V in Europe (DARE) project aimed at developing processor units for high-performance computing, particularly supercomputers. This initiative…
-
The Register: Do you DARE? Europe bets once again on RISC-V for supercomputing sovereignty
Source URL: https://www.theregister.com/2025/03/07/dare_europe_risc_v_project/ Source: The Register Title: Do you DARE? Europe bets once again on RISC-V for supercomputing sovereignty Feedly Summary: €240M found for three-year sprint to develop three chiplets for HPC, AI A 38-strong group of tech players have founded a project with the snappy name Digital Autonomy with RISC-V in Europe, aka DARE,…
-
The Register: Xen Project delivers solid hypervisor update and keeps working on RISC-V port
Source URL: https://www.theregister.com/2025/03/06/xen_seapath_open_source_hypervisors/ Source: The Register Title: Xen Project delivers solid hypervisor update and keeps working on RISC-V port Feedly Summary: While we’re talking open source V12N, meet SEAPATH: A new hypervisor for electricity grids backed by Red Hat The Xen Project has delivered an update to its flagship hypervisor.… AI Summary and Description: Yes…
-
The Register: US adds Chinese RISC-V player that TSMC suspected of helping build Huawei GPUs to risky company register
Source URL: https://www.theregister.com/2025/01/16/entity_list_chinese_expansion/ Source: The Register Title: US adds Chinese RISC-V player that TSMC suspected of helping build Huawei GPUs to risky company register Feedly Summary: Sophgo scores a place on Entity List, Indian nuclear boffins taken off Chinese chip designer Sophgo, a suspected supplier of AI silicon to Huawei, has been added to the…