I am a software developer with a deep background in formal methods. I like to play with new tools and programming languages. In this blog I share some of my experiences and projects.
14 Feb 2020 1 minute read 0 comments pSub
Some companies in finance and insurance use Oracle PL/SQL to implement business logic in their Oracle database. This is not everyone's cup of tea, because this language has some unexpected pitfalls. Today I stumbled upon a new pitfall. What might be...
14 Feb 2020 1 minute read 0 comments pSub
When you are working on applications running on the JBoss Application Server you will, sooner or later, encounter problems that require analyzing logfiles. JBoss uses Logfile-Codes (Is that the correct word?) that make it easy to search for specific...
