Riccardo Bernardini articles - 12 total
Announcement: Ada Developer Room at FOSDEM 2025
If on Sunday 2nd of February 2025 you are at Brussels, it could be an interesting idea to spend the...
Attaching notes to git branches
The problem Beside my coding activity for work, I have several personal projects active. ...
YaCaC (Yet another Comment about Comments)
Recently I read few commentaries about comments in code, the most recent one just here on dev.to, so...
FOSDEM 2022
FOSDEM 2022 (Free and Open Source Developer European Meeting) is coming (5 & 6 February 2022)...
Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)
This tutorial talks about a powerful bug trap that was introduced in Ada 2012: the Type_invariant att...
Proving the correctness of a binary search procedure with SPARK/Ada
Introduction SPARK/Ada is a language derived from Ada that allows for a formal checking (i...
Watchdoging in Ada
A watchdog library in Ada
Safer set-uid programs in Ada with the suid-helper library
Set-uid programs: the good, the bad and the risky In *nix systems access control is tradit...
Ada for Webassembly
A very, very fast post that I guess can be of interest to many (or at least raise some curiosity):...
My first experience with SPARK-Ada
Sharing my first experience with formal checking
Reasons for loving Ada. #1: strong typing
Yes, yes, I know... I am kind of an oddball for programming in Ada. When the matter comes out in con...
Which programming language should you learn?
This question turns out now and then on forums, Facebook, and so on. Since I go...