Formal Methods
NVIDIA Expands Edge Compute and Workstation Portfolios with RTX Spark and Grace Blackwell-Powered DGX Spark SystemsNVIDIA has introduced the RTX Spark client lineup alongside the DGX Spark workstation, a desktop-class AI supercomputer built on the Grace Blackwell architecture. These new systems bridge localized hardware development with NVIDIA’s enterprise software stack, facilitating local-to-cloud deployment pipelines.