B blog.kolen.dev Progressive disclosure for mathematical proofs: The parallel with cybersecurity 5 points KolenCh 1 month ago 1 comments
