3 ms·
As you might infer from the domain (ADA core), this is about SPARK the a formally defined computer programming language based on the Ada programming language,
by fnord123 5y ago
As you might infer from the domain (ADA core), this is about SPARK the a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential.
This is not about Spark, the data processing system written in Scala.
- SAI_Peregrinus 5y agoAlso the title in the article uses "SPARK", while on HN it's "Spark". Those are different spellings, with different characters. It's not safe to assume case can be changed without altering meaning in general.
- pjmlp 5y agoHN autocorrects capitals, so one always needs to re-edit the title after submission, and I forgot to do it.