Skip to content
View SamuelSchlesinger's full-sized avatar
➕
math
➕
math
179 followers · 181 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report SamuelSchlesinger

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
SamuelSchlesinger/README.md

I'm Sam. I work on cryptography, computational complexity, and formal verification.

I like understanding what computers can and cannot do, building useful tools, and making mathematical arguments precise enough for a machine to check.

Here you'll find privacy protocols, complexity theory in Lean, terminal tools, and experiments that occasionally turn into games.

Pinned Loading

  1. anonymous-credit-tokens anonymous-credit-tokens Public

    Anonymous Credit Tokens implementation in Rust

    Rust 29 6

  2. tshts tshts Public

    A fast, lightweight terminal-based spreadsheet application built in Rust with full formula support, cell references, and keyboard-driven navigation.

    Rust 48 2

  3. generalist generalist Public

    A generalist AI agent

    Rust 26 3

  4. complexitylib complexitylib Public

    Formalization of complexity theory

    Lean 18 9

  5. leanlings leanlings Public

    Learn Lean 4 by fixing 70 small exercises, one at a time

    Lean 23 4

  6. boolean-mass-production boolean-mass-production Public

    Asymptotic improvements on mass production of Boolean circuit outputs.

    TeX 3 1