Author: stefan

Why each TODO needs a Ticket

Post author By stefan
Post date 22. February 2023
No Comments on Why each TODO needs a Ticket

Everyone is aware that code with comments is a bad thing. It will inevitably decay, and future developers will be wondering if there is any need for it at all.

Every developer is aware of this. So they often remind themselves to follow up the commented out code with a TODO comment, to see that something needs to be done. Many IDEs support this idea and can show you all TODO comments in your current project.

However, I think using TODO comments to remind yourself of work that needs to be done is a very bad idea. Here is why.

Tags Learning Programming

Blog Engineering

On AI and Art

One of my first tries for art with AI - generated with Midjourney.

The hype about ChatGPT brings AI to the attention of a wider audience. It might even seem that AI has now reached a level in which many tasks that we originally thought to be in the human domain and not in the machine domain might be taken away from us. But is that really true?

Tags AI, Art, Artificial Intelligence

Blog Engineering Software Development

Train Sidings – A TLA+ Example

Post author By stefan
Post date 8. December 2019
No Comments on Train Sidings – A TLA+ Example

What is TLA+?

TLA+ is a modeling language in which one can model technical systems with discrete states. It has been used to describe many things, from the jugs problem in Die Hard 3 over a diverse array of algorithms up to Amazon Storage Services. The power of TLA+ comes from the TLC Model Checker, which checks your model for certain properties. These properties could be invariants — statements that are true of every possible state, like there are no buffer overruns. And it can check temporal properties — e.g., that an algorithm eventually finishes.