quazar

Why is this not on the front page? Are people flagging this? Why?

Formal specification of LLVM and compile semantics to Z3, I would guess.

The idea that we should, to some extent, organize society around neurotics to the detriment of young boys is disturbing.

This is not Reddit.

magnet link?

time correlation between the isp and the authentication system

Why? These are two very common commands known by every programmer and used very often, why would having short mnemonics for them be confusing?

It's much less than I expected.

Do these people have really have nothing better to do than doing "high-tech investigations" of such matters?

This site is completely broken without JavaScript.

They are famous for the required specific printed document style which includes wide margins. When you argue before them you have to physically print everything you mention in full in this specific style. And this is per judge. Steve Letho on his podcast once said that for larger cases, the printing cost goes into hundreds of thousands of dollars which stuck in my memory.

They already made peace: https://nitter.lacontrevoie.fr/RWApodcast/status/16726544795...

This was not a total ban, but might be a beginning of one. Not all apps were included.

Do you still have that resource list? The links in https://news.ycombinator.com/item?id=32260345 are expired.

Who is going to stop me?

I think there are some multi-key schemes but they are much more expensive and very rarely used, I don't know much about them

In one-key scheme you, the encryptor, would also have to encrypt the naughty word list, allowing you to cheat, so it will not be allowed.

Did the other anti privacy laws and customs backfire? Did big tech which is in bed with the goverment censoring you while the goverment pretends you have your 1st ammendment rights backfire? Did mass metadata collection backfire? Did KYC backfire? Did banning open wifi networks backfire? Did banning face coverings in public backfire? Did indefinite contempt for refusing encryption keys backfire? Did Patriot Act backfire? Did judges signing every warrant without reading backfire? Did that FBI raid on anonymous vault storage for people, where they admitted to laying on the warrant backfire? Did civil asset forfeiture backfire? Will the soon introduced kybc (know your business customer) forcing hosting and cloud providers to identify their customers before allowing them a Vps backfire?

Well yes, if you're not using encryption and it's a one off thing, the judge will probably find you not guilty.

The OP seemed to suggest that when you ban encryption, random people will randomly get in trouble, therefore banning encryption is a bad idea. But judges have common sense and law enforcement has limited resources (prioritization) therefore random people will probably not randomly get in trouble. Therefore strong encryption ban is very realistic and very easy to sell to the population, and not like the OP claimed something that will backfire. This is why his comment is naive. He likes encryption and doesn't want for it to be banned therefore he deludes himself with some alternative reality where doing something he doesn't like backfires and is reversed.

Strong encryption ban will not backfire.

So what's the point of sending random static over the network and looking for trouble like that then? Complying in a way that you find slightly less humiliating but still complying?