This week in #dev (Aug 4, 2023) A guide on web security, DeMorgan Laws, force-pushing without losing your work, and more!