Cryptography, formalization, and the mathematics of freedom.https://samuelschlesinger.com/en-ushttps://samuelschlesinger.com/writing/freedom-as-a-protocol-property/https://samuelschlesinger.com/writing/freedom-as-a-protocol-property/A meditation on privacy, accountability, and why freedom should be designed as a protocol invariant.Thu, 30 Apr 2026 00:00:00 GMTcryptographyprivacysystemshttps://samuelschlesinger.com/writing/birthday-paradox/https://samuelschlesinger.com/writing/birthday-paradox/Why twenty-three people are enough, and what that means for hash function security.Wed, 29 Apr 2026 00:00:00 GMTcryptographyprobabilityhttps://samuelschlesinger.com/writing/rate-limits-without-identity/https://samuelschlesinger.com/writing/rate-limits-without-identity/How anonymous tokens separate eligibility, spending, and surveillance.Mon, 27 Apr 2026 00:00:00 GMTcryptographyprivacystandardshttps://samuelschlesinger.com/writing/proofs-as-infrastructure/https://samuelschlesinger.com/writing/proofs-as-infrastructure/Why mechanized proofs matter for cryptography, standards, and long-lived systems.Fri, 24 Apr 2026 00:00:00 GMTformalizationleanmathematicshttps://samuelschlesinger.com/writing/collatz-in-binary/https://samuelschlesinger.com/writing/collatz-in-binary/Reformulating the Collatz map as an operation on binary representations, where division disappears and only the carry chain remains.Fri, 02 May 2025 00:00:00 GMTmathematicsnumber-theoryhttps://samuelschlesinger.com/writing/demon-oriented-methodology/https://samuelschlesinger.com/writing/demon-oriented-methodology/An essay on working with large language models: what the summoning costs, how the binding works, and why the summoner bears responsibility.Tue, 15 Apr 2025 00:00:00 GMTaiessayshttps://samuelschlesinger.com/writing/privacy-and-security/https://samuelschlesinger.com/writing/privacy-and-security/Why pervasive identification is itself a security risk, and what anonymous proofs offer instead.Sat, 25 Nov 2023 00:00:00 GMTprivacysecuritycryptography