Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of adacore.com: Ada and SPARK enter the automotive ISO-26262 market with Nvidia

First screen, captured 1 year ago.

Looks similar

Screenshot of adacore.com: AdaCore Announces Gnat Pro for Rust

AdaCore Announces Gnat Pro for Rust (adacore.com)

100 points by pjmlp 3 years ago | 33 comments

Screenshot of adaptivesupport.amd.com: Adding Linux support back for the BASIC (free) version of Vivado

Adding Linux support back for the BASIC (free) version of Vivado (adaptivesupport.amd.com)

33 points by hasheddan 4 months ago | 7 comments

Screenshot of graphcore.ai: Graphcore unveils GC200 and M2000 IPU Machine–1 petaFLOP "pizza box" AI server

Graphcore unveils GC200 and M2000 IPU Machine–1 petaFLOP "pizza box" AI server (graphcore.ai)

15 points by bit_qntum 1 year ago | 2 comments

Screenshot of arpa-e.energy.gov: Phytomining – Extracting Minerals via Plants

Phytomining – Extracting Minerals via Plants (arpa-e.energy.gov)

116 points by Gaishan 2 years ago | 48 comments

Screenshot of nvidia.com: Nvidia DGX Spark

Nvidia DGX Spark (nvidia.com)

175 points by janandonly 1 year ago | 180 comments

Screenshot of blog.adacore.com: Open-Source Ada: From Gateware to Application

Open-Source Ada: From Gateware to Application (blog.adacore.com)

50 points by Bogdanp 11 months ago | 9 comments