AI succesfully selects antibiotics candidate

MIT researches have trained an AI system on databases of antibiotics molecules. Then they have used the system to select from a set of candidates the most promising molecules that were structurally different from existing antibiotics. The system selected 8 molecules, from which the team finally picked one. The molecule was named halicin, after the 2001 - Space odissey computer, HAL. Halicin has proved effective in the lab against multiple baceria, some of which are highly resistant against current antibiotics. Although the system only helped to narrow down the selection to concentrate efforts on some candidates, it looks like a great help to increase the efficiency of the antibiotics research.

Oracle employees run petition against their boss funding the Trump campaign

Oracle employees have started an online petition against a fund raising event for the re-election campaign of president Donald Trump by Larry Ellison, founder and CTO of Oracle.

git on Windows: HTTP basic authentication failed

I had been playing a bit with git security: SSH authentication, GPG signing, different user accounts and the like. A little later I reverted back to HTTPS, but now my gitlab push failed with
HTTP basic authentication failed.
No matter which git config i changed, I could not get this going.
Problem is that credentials were cached in the windows credential manager.
Hard to find an interface to that program. The command you have to run to get access is

> rundll32.exe keymgr.dll, KRShowKeyMgr

This gives you a window with a list of cached credentials. I Removed the gitlab entry and lo! next time I push I get a nice popup requesting my username/password. Next push, everything works without the popup, means Windows credential manager caches the right stuff from now on.

Berlin traffic jam

Streets in red indicate traffic jams on Google Maps.