About the Pitfalls of Merge Conflicts

Posted on Sat 31 December 2016 in misc • Tagged with Ada, Software Engineering, Source Control

I do not consider myself a novice software developer. And yet I still have not exceeded the list of things I can learn "the hard way".

Last month I had chance to learn about the dangers of resolving merge conflicts as well as how important is it to do a …


Continue reading

Writing Linux Modules in Ada - Part 3

Posted on Fri 25 November 2016 in misc • Tagged with ada, linux, kernel, os

View on Github Star on Github Download Pt-3

In this part, I will continue porting capabilities to the run-time

Image

The 'Image attribute is used to return the string representation of a value. This value can be integer, boolean, enumeration etc.

The run-time have a separate implementation of the attribute …


Continue reading

Writing Linux Modules in Ada - Part 2

Posted on Sat 05 November 2016 in misc • Tagged with ada, linux, kernel, os

View on Github Star on Github Download Pt-2

In the previous post I demonstrated that writing Linux kernel modules in Linux is not science fiction.

Yet, the produced module was extremely simple. Before improving it, some foundation needs to be added. Today I want to introduce the secondary stack.

Secondary …


Continue reading

Writing Linux Modules in Ada - Part 1

Posted on Sun 23 October 2016 in misc • Tagged with ada, linux, kernel, os

View on Github Star on Github

In the following series of blog posts I will document my attempts to write Linux modules using the Ada language.

I am not a professional and my knowledge of the Linux kernel and gnat is not comprehensive. Please pardon me for any inaccuracies I …


Continue reading

Trying Ada Bindings for X11

Posted on Tue 01 September 2015 in misc • Tagged with Ada, X11

Ada bindings for X11 were written Intermentics company and sponsored by Ada Joint Program Office (AJPO).

While intemetics has long been gone (looks like the it's domain is owned by L3 now), and AJPO was closed in 1998, the bindings are still around.

The "latest" version can be downloaded from …


Continue reading

Range Constrained Types in C++

Posted on Fri 05 September 2014 in misc • Tagged with C++, Ada

One of the first things a new Ada programmer will learn is the ability to define constrained type. Which means that one can restrict the values that can be assigned to a variable of this specific type.

For example:

subtype Positive is Integer range 1 .. Integer'Last;

Being a subtype …


Continue reading