CompuTruthing

Correctness properties of programs are traditionally decomposed into safety (“nothing bad happens”) and liveness (“something good eventually happens”).

On June 29th, in St.

In this talk I make a critique of Inheritance as it is present in mainstream OOP.

Based on Language Unlimited: The Science Behind Our Most Creative Power book by David Adger, in this Overload article I tried to explore how programming languages should be built, taking a linguistic perspective.

In my last Overload article, I was arguing that the senders/receivers models may be a bit too complex.

Executors are one of the most expected features for the upcoming C++ standards.

C++, like most imperative languages, have a bad tradition in writing multi-threaded applications.

Lately, we often compare the time spent reading code versus the time spent in writing code.

Composition and decomposition are probably the most important tools we have as software engineers.

Similar to gotos, raw threads and locks should be banished from day-to-day programming.