The Correctness-by-Construction tutorial focuses on a structured programming approach for correct software development. Besides functional correctness, also non-functional properties such as security ...

DevLaunch is my mentorship program where I personally help developers go beyond tutorials, build real-world projects, and ...

Some people slander retrocomputing as an old man’s game, just because most of those involved are more ancient than the hardware they’re playing with. But there are veritable children ...