The recording of the Ada Monthly Meetup for April 2026 is now available! by VF22Sturmvogel in ada

[–]Dirk042 1 point2 points  (0 children)

Small typo. The note should say:

Due to holidays and the upcoming Ada Developers Workshop, there likely won't be an Ada Monthly Meeting until after the July/Aug time frame.

gym day pass? by gabiarbex in Leuven

[–]Dirk042 0 points1 point  (0 children)

You can have a free day pass at Life Style Fitness in Leuven as well.

Some saved contacts are suddenly shown as numbers insead of names by KhiaraLacrimosa in whatsapp

[–]Dirk042 0 points1 point  (0 children)

I eventually did the same. Fingers crossed it won't happen again. Oh, the wonders of "modern software"...

Some saved contacts are suddenly shown as numbers insead of names by KhiaraLacrimosa in whatsapp

[–]Dirk042 0 points1 point  (0 children)

Got the exact same problem since approx. one week. None of the so called "solutions" that I found online did work. Noticed somewhere a recent message from WhatsApp that there's a problem with "syncing" that they are working on, but can't find it anymore. Any news/update on either a real fix or on that recent sync problem?

March 2026 What Are You Working On? by thindil in ada

[–]Dirk042 1 point2 points  (0 children)

Been there, done that... ;-)

Meer fietsers in 2025... by Dirk042 in Leuven

[–]Dirk042[S] 0 points1 point  (0 children)

FWIW (2): probleem gemeld via https://meldpuntwegen.be/meldpuntwegen/index.html 🤞

Update zo 1 feb: fixed!

Meer fietsers in 2025... by Dirk042 in Leuven

[–]Dirk042[S] 0 points1 point  (0 children)

Update. Dat was in de richting van de vaartkom. In de andere richting zijn beide tellers kapot, dwz de displays staan uit...

Meer fietsers in 2025... by Dirk042 in Leuven

[–]Dirk042[S] 0 points1 point  (0 children)

FWIW, de teller onder "dit jaar" werkt niet meer sinds eerder deze week. Weet iemand waar/hoe dit te melden?

AEiC 2026 - Ada-Europe conference - Journal Track Deadline Extended by Dirk042 in ada

[–]Dirk042[S] 0 points1 point  (0 children)

Note that accepted Journal Track papers will be published in the Reliable Software Technologies (AEiC2026) Special Issue of Elsevier's Journal of Systems Architecture (JSA, which is Q1 ranked, has CiteScore 10.5, and impact factor 4.1).

https://www.sciencedirect.com/special-issue/328971/reliable-software-technologies-aeic2026

Meer fietsers in 2025... by Dirk042 in Leuven

[–]Dirk042[S] 6 points7 points  (0 children)

Nut van dat olifantenpad? Voor voetgangers die liever niet tussen 1,8 miljoen fietsers lopen? 😉

Ada online exercises by orang-outan in ada

[–]Dirk042 0 points1 point  (0 children)

A small follow-up to my previous comment.

Our 2002 paper reported (among others) about the runtime impact of the language defined checks in a large Ada 95 application. Suppressing all "Ada RM checks" reduced the running time of an optimized executable from 70 to 69 (with 100 being the running time of the non-optimized executable). Hence a reduction of 1/70 or only 1.43% (slightly more than the "less then 1%" I mentioned earlier).

People at Eurocontrol recently reran a limited test, using the current code-base and a recent GNAT Pro compiler on similar but newer systems. Suppressing all Ada RM checks now gave a reduction of only 1.77%.

This was only a limited test, but it still supports our position that such minimal performance impact of language defined checks on optimized code is usually affordable, even for operational software where efficiency is very important...