• October's Overload Journal has been published.
  10 October 2024

  The October 2024 ACCU Overload journal has been published and should arrive at members' addresses in the next few days. Overload 183 and previous issues of Overload can be accessed via the Journals menu.

• Videos from ACCU 2024 have been posted.
  23 September 2024

  Videos of keynotes, sessions, and lightning talks from the ACCU 2024 Conference have been posted to YouTube. The majority are available for viewing now, the rest have been queued for future viewing.

  Videos can be found on the ACCU YouTube channel.

  Links to the videos can be found on the ACCU website under the Videos menu drop-down; the ACCU Conference Videos page.

• September's C Vu Journal has been published.
  6 September 2024

  The September 2024 ACCU C Vu journal has been published and should arrive at members' addresses in the next few days. C Vu 36-4 and previous issues of C Vu can be accessed via the Journals menu (ACCU members only).

• August's Overload Journal has been published.
  9 August 2024

  The August 2024 ACCU Overload journal has been published and should arrive at members' addresses in the next few days. Overload 182 and previous issues of Overload can be accessed via the Journals menu.

• July's C Vu Journal has been published.
  9 July 2024

  The July 2024 ACCU C Vu journal has been published and should arrive at members' addresses in the next few days. C Vu 36-3 and previous issues of C Vu can be accessed via the Journals menu (ACCU members only).

Overload 183 · October 2024 (PDF)

Contents

• What Does It All Mean?.
  Trying to make sense of things can be a challenge. Frances Buontempo reminds us something don’t entirely make sense and that’s OK.

• Formal Verification.
  Proving code is correct is challenging. Aurelian Melinte explores verification, the most ignored area of software engineering.

• C++ Compile-Time Programming.
  Programming at compile time has been possible in C++ for a long time. Wu Yongwei considers its past, present and future.

• The Publish Pattern.
  How do you minimise locking between producers and consumers? Lucian Radu Teodorescu describes a common, but currently undocumented, design pattern.

• Modernization of Legacy Arrays: Replacing CArray with std::vector.
  Many codebases still use mature libraries, such as Microsoft Foundation Classes. Stuart Bergen explains how and why he moved to using modern standard C++ tools instead.

• Afterwood.
  Many programming books are regarded as classics. Chris Oldwood shares the joy of re-reading some of them.