The Register on MSN

Ironclad OS project popping out Unix-like kernel in a unique mix of languages

There's more to safer systems languages than Rust If you're looking for a Unix-like, POSIX-compatible, real-time kernel, ...
Business Wire

AdaCore Announces Winners of Fourth Annual “Make with Ada” Competition

NEW YORK & PARIS--(BUSINESS WIRE)--AdaCore today announced the winners of its fourth annual Make with Ada programming competition for embedded projects. Make with Ada aims to show how the Ada and ...
Electronic Design

The Many Ways You Can “Make with Ada”

I’ve been a fan of Ada and SPARK for a while now, and really wished I had it available when I was programming full time. It’s been used in military and avionic applications where secure and safety ...
SD Times

SD Times news digest: Make with Ada programming competition, ARCore updates, and Element AI raises $151 million for operationalizing

Value stream management involves people in the organization to examine workflows and other processes to ensure they are deriving the maximum value from their efforts while eliminating waste — of ...
Electronic Specifier

Lauterbach supports AdaCore Ada development platform

Lauterbach's TRACE32 development tool suite fully supports the AdaCore GNAT Pro Ada compiler, designed for safety-critical ...
Electronic Design

Real-Time and Ada Programming

Like C, Ada is a compiled language. This means that the compiler will parse the source code and emit machine code native to the target hardware. The Ada compiler we’ll be discussing in this course is ...