Samuel Schlesinger

hey @grok what do you think of HashMath? github.com/SamuelSchlesin…

Going to continue to spam you all with formal verifications, now I formalized Shannon's 1948 paper on a Mathematical Theory of Communication: github.com/SamuelSchlesin…

Formally verified the sensitivity conjecture proof by Hao Huang from 2019 today using Claude and Codex: github.com/SamuelSchlesin…

experimenting with 2d forth based artificial life on a torus, been recreating arxiv.org/pdf/2406.19108 this evening

vibecoded a self-hosting programming language github.com/samuelSchlesin…

Wrote an article about privacy preserving stateful systems: samuelschlesinger.github.io/anonymous-stat…

Been working on an anonymous credits scheme for use on the web and broader internet. Web explainer: samuelschlesinger.github.io/anoncreds Incomplete Rust implementation: github.com/SamuelSchlesin…

@maceip I feel confused — did you add something or did you just fork it and post it as your own?

@PF_Jung Welcome to the Overton tunnel

Bring forth the reasonable Leftists. They will be a strong addition to our Enlightened Centrist forces.

@BartoszMilewski Macronutrients on maggots are pretty solid though, to be fair

You can't blame Europeans for not wanting to eat rat droppings or maggots. As the French say "à chacun ses goûts" (to each their taste).

Consumer protection is much weaker in the US than in Europe. For instance, the US wants Europe to buy chlorinated chicken. "Chlorine washed chicken could still carry salmonella and other bacteria, which is a clear human health risk." soilassociation.org/causes-campaig…

Built an anonymous voting library describing a large chunk of a scheme for anonymous voting using BBS based anonymous credentials. I wrote a visual explanation as well with the help of Claude’s frontend expertise: samuelschlesinger.github.io/voting/

@maceip I should mention that you can do a lot more than just selective disclosure with this! In that repository, we use range proofs on some of the fields. In general, you can run an arbitrary sigma protocol proving any predicate you want on the credential. You can also use bulletproofs

👨‍🍳🎖️=> anonymous credentials with selective disclosure, or: how to use your bank account to sign up for onlyfans, only revealing your balance. *bonus*: pairing free github.com/SamuelSchlesin…

I had an idea a while ago for something like this, wrote it down with some pretty HTML Claude helped me with: samuelschlesinger.github.io/democracy.html

What if, instead of having representatives for every topic, we chose representatives for each topic instead? There are a lot of interesting gradations between representative and direct democracy which I think remain somewhat unexplored

In this sense, they are an attack on the dollar’s role as the global reserve currency. That’s why today the DXY went down 2% even as VTI went down 5%.

It is now clear that, though these are called “reciprocal tariffs”, they are instead proportional to the trade imbalance. Thus, they are instead an attempt to put a self-correcting dynamic on American trade imbalances.

further, if you try to spend a Pay2PubKeyHash UTXO, you'll have to use a trusted miner or else they could steal your sats

my understanding is that Pay2PubKeyHash will not be broken for an address which has only been sent to and has never spent, but addresses which have been spent at least once will be vulnerable

anyone know the plan for the pre-quantum UTXOs after a cryptographically relevant quantum computer? #BTC