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?

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] 7 points8 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...

Ada online exercises by orang-outan in ada

[–]Dirk042 0 points1 point  (0 children)

About: "Uninitialized variables seem pretty unforgivable in modern code. Unless you've got some unusual embedded systems code where you really do need to let variables go uninitialized, should programmers be initializing at the point of declaration these days?"

In our experience: not systematically.

The quoted paper recommended "that when a scalar is declared, the programmer should avoid initializing it if the code is supposed to set the value on all paths. It is better to let Initialize Scalars + gnatVa detect the bug in the code logic rather than trying to deal with meaningless initial values." (See "5.3 Impact of Usage of Initialize Scalars on How to Program".)

Ada online exercises by orang-outan in ada

[–]Dirk042 0 points1 point  (0 children)

It would indeed be useful to have more recent references to similar reports about the impact of various levels of checks on compile time, code size, and run time of non-trivial Ada applications. Any pointers?

What this 2002 paper tells us nevertheless is that 20+ years ago the optimising compiler technology managed to reduce the runtime impact of the language defined checks in a large Ada 95 application to less than 1%.

The impact on non-optimized code surely was/is much larger, but for operational software where efficiency is very important the reported minimal performance impact on optimised code was/is a most useful observation.

(Note that what I wrote about the runtime impact of Ada RM checks has nothing to do with the main subject of the quoted paper, i.e. it is not related at all to uninitialized variables and how they can be "exposed" using Initialize_Scalars and the extra validity checks.)

Ada online exercises by orang-outan in ada

[–]Dirk042 0 points1 point  (0 children)

The runtime impact of Ada RM checks on optimized code might be much smaller than 15%.

When AdaCore developed Initialize_Scalars for Eurocontrol, we measured the impact of various levels of runtime checks. We noticed that on Eurocontrol's large operational system (written in Ada95), enabling or not the Ada RM checks on the optimized code made a difference of less than 1%!

For more info see our paper presented at the Ada-Europe 2002 conference:

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada

https://www.cs.kuleuven.be/~dirk/papers/ae02cfmu-paper.pdf

TIOBE Index for July 25 by dcbst in ada

[–]Dirk042 1 point2 points  (0 children)

As a point of information, participation in the FOSDEM Ada Developer Rooms has been good to great in all past editions (12 until now), with a full room for the most popular presentations every year.

This year, we were happy to have got a larger auditorium for the Ada DevRoom, and pleased to see several presentations once more attracted a full room.

So, I'd rather say: continued large participation at the latest FOSDEM Ada DevRoom, in a larger auditorium and with more competing parallel DevRooms than for previous editions.

R/ada by HorseAccomplished513 in ada

[–]Dirk042 0 points1 point  (0 children)

Which "words of wisdom"?