• August's Overload Journal has been published.
  8 August 2025

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

• Upcoming ACCU Local Groups Events
  24 July 2025

  6 August 2025

  · Oxford ACCU / Rust Meetup - "Short Talks and Social"
  https://www.meetup.com/oxford-rust-meetup-group/events/310101048

  6 August 2025

  · ACCU York - "Summer Social"
  https://www.meetup.com/accu-york/events/308549168

  3 September 2025

  · ACCU York - "Lightning Talks"
  https://www.meetup.com/accu-york/events/308549489

  1 October 2025

  · ACCU York - "Time Travel Debugging" (Greg Law)
  https://www.meetup.com/accu-york/events/308549105

  5 November 2025

  · ACCU York - "From Zero to Deployed" (Paul Grenyer)
  https://www.meetup.com/accu-york/events/308548806

• July's C Vu Journal has been published.
  10 July 2025

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

• June's Overload Journal has been published.
  7 June 2025

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

• Upcoming ACCU Cambridge Meeting, 9 June 2025.
  4 June 2025

  The next ACCU Cambridge is Monday, 9 June 2025!

  https://www.meetup.com/accu-cambridge/events/308062486

  We'd love to see as many people come along as possible. There will be free drinks and pizza, again.

Overload 188 · August 2025 (PDF)

Contents

• What’s THIS for?.
  Sometimes we ignore details to get a task done. Frances Buontempo considers how much more there is to programming than just code.

• Local Reasoning Can Help Prove Correctness.
  Making sense of software is challenging. Lucian Radu Teodorescu and Sean Parent show how local reasoning can help.

• Simple Compile-Time Dynamic Programming in Modern C++.
  Compile time code can be very efficient. Andrew Drakeford demonstrates how to write efficient chains of matrix multiplication.

• UI Development with BDD and Approval Testing.
  Testing with confidence. Seb Rose shows a way to approach UI testing.

• Trip report: C++ On Sea 2025.
  Another year, another trip report from C++ On Sea! Sándor Dargó shares what he learned.

• AI Powered Healthcare Application.
  Many people are raving about AI. Hassan Farooq describes how he used it in a project so you can learn how to build an AI model.

• Afterwood.
  Debuggers have been around for a long time. Chris Oldwood ponders this typically under-appreciated tool.