my blog. for you.

Let’s talk digital.

I’m an independent IT consultant and entrepreneur in the Internet and software business. I’m interested in design, enterprise applications, web apps and SaaS products. I design and develop business solutions and applications. I help companies in terms of software quality and knowledge transfer, e.g. with Angular and Spring Boot.

My name is Björn …

Looks like my name's broken. Perhaps next time I'll check in under a non-Unicode, strictly ASCII charset one. Does that count as a @KevlinHenney? — Björn Wilmsmann (@bwilmsmann) October 2, 2019 Read more

Tracking Down Software Bugs, Automatically!

Last week MIT researchers published an article about an automatic bug-repair system called Prophet. Prophet is a machine-learning system that learns general properties and patterns of successful error corrections in software and applies those patterns to making new error corrections in other programs. While the possibility of having software track down and fix bugs automatically (which effectively would mean creating self-correcting computer programs) is exciting enough in its own right, Prophet possibly has far-reaching implications for verifying the general correctness of code ... Read more