Hosted on MSN

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

If you're looking for a Unix-like, POSIX-compatible, real-time kernel, there's no shortage of projects trying to build one. Ironclad stands out for using the Ada programming language and its formally ...
Hackaday

Ada Lovelace

The Ada programming language was born in the mid-1970s, when the US Department of Defense (DoD) and the UK’s Ministry Of Defence sought to replace the hundreds of specialized programming languages ...
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 ...
Hackaday

Programming Ada: Implementing The Lock-Free Ring Buffer

In the previous article we looked at designing a lock-free ring buffer (LFRB) in Ada, contrasting and comparing it with the C++-based version which it is based on, and highlighting the Ada way of ...