Overload Journal 188 - August 2025

  • Overload 188 PDF

  • Overload 188 ePub

  • What’s THIS for?  WEB  PDF
    By Frances Buontempo
    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  WEB  PDF
    By Lucian Radu Teodorescu and Sean Parent
    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++  WEB  PDF
    By Andrew Drakeford
    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  WEB  PDF
    By Seb Rose
    Testing with confidence. Seb Rose shows a way to approach UI testing.

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

  • AI Powered Healthcare Application  WEB  PDF
    By Hassan Farooq
    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  WEB  PDF
    By Chris Oldwood
    Debuggers have been around for a long time. Chris Oldwood ponders this typically under-appreciated tool.






Your Privacy

By clicking "Accept Non-Essential Cookies" you agree ACCU can store non-essential cookies on your device and disclose information in accordance with our Privacy Policy and Cookie Policy.

Current Setting: Non-Essential Cookies REJECTED


By clicking "Include Third Party Content" you agree ACCU can forward your IP address to third-party sites (such as YouTube) to enhance the information presented on this site, and that third-party sites may store cookies on your device.

Current Setting: Third Party Content EXCLUDED



Settings can be changed at any time from the Cookie Policy page.