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.comWhen you choose specific non-default settings, leave a comment or link to documentation/issues as to why; future people will thank you. This.
  2. Verifpalsoftware 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.





Source link

WP Twitter Auto Publish Powered By : XYZScripts.com
Exit mobile version