Brutkey

Leon P Smith
@leon_p_smith@ioc.exchange

Communications engineer and mathematician. Longtime functional programming and Haskell enthusiast, occasional Schemer. Inventor of corecursive queues, postgresql-simple, an aggregate theory of concrete mathematics, and self-documenting cryptography. Currently aspiring to become an Epistemic Frame Engineer.


Notes
2556
Following
0
Followers
0
Pronouns
he/him
Leon P Smith
@leon_p_smith@ioc.exchange

My most recent project has been self-documenting cryptography, which seeks to make password hashes traceable or useless.

The basic idea is to add "this password is for Acme Corporation, Inc." onto the end of every password, automatically and outside the control of the user, before it is hashed.

The goal is to adversarially embed an organization's name and contact information into their password hash function, so that in order to be able to crack a password hash, you must know where to report it as stolen.

https://github.com/auth-global/self-documenting-cryptography/blob/prerelease/design-documents/g3pb2.md

#cybersecurity #password #security #e2ee

Leon P Smith
@leon_p_smith@ioc.exchange

I've been intensely interested in the math curriculum for the youngest of children, ever since I've been a young child myself.

I finally wrote down my philosophy of math education down over the pandemic. The biggest idea is to apply iterative deepening to the Stern-Brocot tree, Pascal's Triangle, and the Symmetry Group of the Square.

I've tried to answer why this answer is heuristically so very interesting in my essay "Kevin Bacon and the Stern-Brocot Tree", which I intend to eventually turn into a video lecture with some animations.

I have tried to expand on that answer somewhat with my essay "Tools of Math Construction: an Aggregate Theory of Concrete Mathematics", which is kind of a combination of study guide, literature review, and brain-dump on topics I find particularly interesting and relevant.

This project is somewhat rough and certainly incomplete in many ways, but for the curious you can take a sneak peek here:

https://github.com/constructive-symmetry/constructive-symmetry


Leon P Smith
@leon_p_smith@ioc.exchange

My most recent project has been self-documenting cryptography, which seeks to make password hashes traceable or useless.

The basic idea is to add "this password is for Acme Corporation, Inc." onto the end of every password, automatically and outside the control of the user, before it is hashed.

The goal is to adversarially embed an organization's name and contact information into their password hash function, so that in order to be able to crack a password hash, you must know where to report it as stolen.

https://github.com/auth-global/self-documenting-cryptography/blob/prerelease/design-documents/g3pb2.md

#cybersecurity #password #security #e2ee

Leon P Smith
@leon_p_smith@ioc.exchange

I've been intensely interested in the math curriculum for the youngest of children, ever since I've been a young child myself.

I finally wrote down my philosophy of math education down over the pandemic. The biggest idea is to apply iterative deepening to the Stern-Brocot tree, Pascal's Triangle, and the Symmetry Group of the Square.

I've tried to answer why this answer is heuristically so very interesting in my essay "Kevin Bacon and the Stern-Brocot Tree", which I intend to eventually turn into a video lecture with some animations.

I have tried to expand on that answer somewhat with my essay "Tools of Math Construction: an Aggregate Theory of Concrete Mathematics", which is kind of a combination of study guide, literature review, and brain-dump on topics I find particularly interesting and relevant.

This project is somewhat rough and certainly incomplete in many ways, but for the curious you can take a sneak peek here:

https://github.com/constructive-symmetry/constructive-symmetry