Hoare Logic + Dijkstra's weakest precondition + Meyer's Design-by-Contract is what should be used to get LLMs to generate proof with code in a correctness-by-construction approach to implementation.
The proxy is part of our platform so the source isn't public, but the concept is straightforward and the blog post covers the core logic. Happy to answer questions about the approach if you're building something similar!
This is exactly what I am feeling (the title, didn't read). I can't see why I would give a copy of my official id card or a picture of my face to a basic service on the Internet. Seriously ? They do not deserve it. Even my phone number is too much but well Google has it now.
Steam thinks I was born Jan 1, 1970. Not that I needed to lie when I did my age verification back 15 years ago, I just randomly scrolled the year down and selected one.
As the years have marched on, though, that "birthdate" becomes significantly closer to my real birthday.
Only when chatting in a large channel at work, did I realise nearly 1/3 of the people there also set theirs as 1/1/1970. Which I presume is the first date that phisers will try to enter to reset people's accounts.
I am fully aware that my standard fake birthday is now used by me in some many places, that I have started to have a fake fake birhday. I should really just randomise and store it in my password manager.
But obviously the context of this OP story ruins all that.
When you're 10, a year is a long time, when you're 60 it is not. There's an implicit "relatively" here, which is unusual but not unknown in English. Almost poetic, I like it.
Thanks now I understand. I am "only" 26, but I remember being 20 like yesterday. I can't believe I'm on the second half of the way to 50. COVID lockdowns and responsibilities didn't help.
I feel time has gone faster since I got a job, if that makes sense. Every day yearning for it to be 5o clock so I can check out, every week yearning for the weekend, every month yearning for the last day to get paid. Doing this is just asking for time to be over sooner.
When a 10-year-old registers for an adult website, they pretend they're 100 years old. Their age is 90 years different from the stated birthday. Eighty years later, the birth date is just as far off—but the implied age is now only 10 years off.
We're keeping the same date here. 80 years later, the site thinks they're 180 years old. So it's still 90 years off, but now it's only 2x off instead of 10x off.
The age verification proposal of the EU tries to do that, the government knows you used age verification (and I think the rough number of times you used it), but they don't know when or where you used it.
I can't imagine countries with such strict speech laws, for example, would be willing to build a system that is technically incapable of linking the person visiting a sire and the site requesting verification.
This proposal may have been updated since I read it previously, so I could be wrong now, but it didn't read as a true zero-knowledge proof as key steps in the flow still required a level of trusting the government as the central authority to do the right thing and not track requests, both today and in the future.
Seems like anywhere in the EU, something draconian only needs to be popular for like 5 years for it to get implemented, for better or for worse. They don't have robust constitutions like the US.
I wish the US constitution was robust, or at least could be held to such robustness today. As it stands congress has ceded much of their power to the executive branch and the public is barely represented when rules/regulations/laws are passed.
It's a proposal, so you can check out how it would work.
Anonymous age verification is technically possible, but it is as pointless as any other age verification system, it could easily be circumvented if someone older willing to help.
Though not quite the EU anymore, the UK arrests people based only on speech in a social media post. Why should I expect they would be interested in building a truly private, zero knowledge age verification system?
Maybe for a more direct example I could point to the discussions related to the EU wanting direct access to all private messages, pushing Signal to leave the EU if that were to pass?
I think they arrested (or just fined?) someone for calling to burn down a hotel with migrants. For you this is an oppressive dictatorship, but it doesn’t match reality.
It also has no bearing on willingness to implement proof of age without additional disclosure.
But yeah not EU, one country in Europe is unlike another, etc.
They are arguably over policing because of vague laws and proactive enforcement. Most cases don’t lead to convictions. But all cases I’ve ever seen were for something bad like calling for violence, making fun of someone’s death. For free speech absolutists this is unacceptable, but it’s not arbitrary tyranny.
The EU has more freedom of speech than the US, the US has just a different way of punishment.
It’s much easier in the US to lose your job for what you say as in the EU and in the US the consequences of losing your job are more severe if you don’t have enough money so you can afford to lose it.
US freedom of speech comes with a price tag that puts the censor inside your brain.
This is really an example of "formal rights and material conditions."
You make a case that EU has better social safety nets and employee protection not that the US has weaker free speech laws. While you can't ignore the effect having wealth can insulate you from consequences, it still doesn't support your statement as written.
Is it true that someone who is retired on a pension in US can say more hateful things without government action vs a similar retiree in EU?
See eg. BBS+[1]. Proofs that preserve anonymity are generated locally and neither the verifier nor issuer can determine the user based on these (in scenarios of non PII signals like age thresholds), while still allowing the verifier to validate it's issuer approved.
I realized this when I was on vacation in the french alps in summer time and saw a place dedicated for snow storage and labeled as such. I was "what ???" and then the penny dropped and I was impressed by that notion of having to store the snow somewhere since it does not disappear by itself. Funny
Yes, I do not trust TM. That's why I have both a backup with TM for convenience and also to have all the files (including system files), and a mirror of the important files (basically my home directory) with `rsync`.
"(...) maybe growing vegetables or using a Haskell package for the first time, and being frustrated by how many annoying snags there were." Haha this is funny. Interesting reading.
reply