Four short links: 29 August 2019

Debugging a Scale Problem, Verifying Cryptographic Protocols, Remote Team Stress, and PAC-MAN Source

1. 6 Lessons we Learned When Debugging a Scaling Problem on GitLab.com -- When you choose specific non-default settings, leave a comment or link to documentation/issues as to why; future people will thank you. This.
2. Verifpal -- software for verifying the security of cryptographic protocols. Building upon contemporary research in symbolic formal verification, Verifpal’s main aim is to appeal more to real-world practitioners, students, and engineers without sacrificing comprehensive formal verification features.
3. Stress in Remote Teams -- features a good list of the causes of stress in remote teams. The section on work-family conflict struck close to home (so to speak).
4. Atari PAC-MAN Source Code -- original Atari 8-bit PAC-MAN source code. You can even compare versions with and without use of the macro assembler.

Continue reading Four short links: 29 August 2019.

from All - O'Reilly Media https://ift.tt/2UcefUf