Viewing profile — zimmski

Just announced an deep dive blog post with findings about an evaluation benchmark on software development quality. Here is a thread to the most important findings https://twitter.c…

At Symflower we do, one of us has it as its main editor and it looks extremely productive. As a former VIM hardcore user i enjoy the pair programming sessions. I guess these sessio…

Its a nice and short introduction to SAT and especially SMT with a real world example written in SMTLIB. If anybody is interested or has any questions, let me know. We are planning…

Looking forward to having even less context switches with a perfectly working GitLab plugin inside of VS Code.

As someone who is in the business of software, infrastructure and especially testing for now almost 20 years, i can underline the fact that people often still think of (automated) …

Does anybody know another Z3 online version or another SMT solver that can be used online? Rise4fun is gone for good :-( https://github.com/Z3Prover/z3/issues/5472

Just read through the article and was wondering if anybody had experience with migrating from Cypress to Playwright, or Playwright in general? Before Cypress i was used to working …

One of the funniest articles i have read in a while. Know the author's journey really well, the dailies were funny as heck. Getting rid of a "/" is really hard work, you need to di…

Yep. I have that practice too and i thought that was good enough but with git-autofixup and my posted alias i am down to under one second. So it will save you 1-14 sesconds of your…

Totally agree. I guess what i am trying to say is that learning rebase is a must and powerful tool but if you are doing the same things again and again you should think about autom…

I/we do but sometimes you just overlook something especially if there are a lot of changes. But having someone else review what you do almost completely removes that problem. I usu…

Learning rebasing is one thing but wasting hours every week on rebasing because you are doing the same thing over and over again is another. When i do a one line fixup i just do no…

git-autofixup definitely changed my daily development life.... I mostly use it with this Git alias ``` autofixup = !"autofixup origin/master --exit-code; test $? -lt 2 && GIT_SEQUE…