Try the O’Reilly learning platform

With the O’Reilly learning platform, you get the resources and guidance to keep your skills sharp and stay ahead. Try it free for up to 14 days.

Try a course for free

Join a live online event on the O’Reilly platform to learn from the experts shaping tech.

Your email

Country

Please read our privacy policy.

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

By Nat Torkington August 29, 2019 • 1 minute read

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.
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.
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).
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.