Viewing profile — dependenttypes

> They're a charity and a private institution, not a legal arm of the UK Just like the Internet Watch Foundation. Being a private charity does not mean much for the UK.

It would be probably be more respectful if you would not mess with my posts, now even I do not know who made said comment. Guess I should start signing my posts and keep backups of…

> why are people trusting random IRC server admins e2ee means that you do not have to trust anyone > if it's public: who cares IRC also lacks end to end authentication, the server …

What kind of attitude do you think would make Linux on desktop mainstream?

Is the passport number supposed to be secret? You show them when you buy alcohol in some countries as well to the police if they ask for it - all of these people can copy the numbe…

There are private IRC channels (password protected or invite-only) as well as private messages.

If she could not do the job then she should have resigned. Edit: there was another post by [redacted] but it disappeared, it does not even show as deleted, weird. It said: "This is…

IRC has the issue that it lacks end to end encryption (and sadly OTR is outdated garbage) If you use netcat you also do not use tls, try openssl s_client -connect server:port inste…

It certainly is free. The standards are generally backwards compatible and the changes are simple. You do not even need to be aware about the differences between C89 and C11 to con…

It seems somewhat common in cryptography.

I fail to see how focusing on the americas "it hurt democratic movements in third world countries". Are you saying that it would have been better if they never published anything? …

I do not understand. Why would him being pro-trump affect your sympathy regarding his prosecution due to revealing the Iraq war crimes? Surely it is possible to stand against unfai…

It certainly could. Countries do not have to abide by any laws, only the weak do. Sweden specifically is known to illegally extradite people. https://en.wikipedia.org/wiki/Repatria…

You are the only person in this discussion who mentioned the word conspiracy though.

How true is this? I was under the impression that all of the coronaviruses were published in a public repository even before the outbreak started.

In https://news.ycombinator.com/item?id=17938318 some of the parties involved mentioned that they disassociated from the paper in fear of being ostracized. Scientists are people to…

There is a wikipedia article about the 1st author https://en.wikipedia.org/wiki/Li-Meng_Yan

> there are more women in high status (first or last) author positions in the open science community Is this true even when excluding fields and papers where names go in alphabetic…

Remember https://en.wikipedia.org/wiki/Why_Most_Published_Research_Fi...

> and the control of the project is not given to the community. They also have private mailing lists, but I agree, it is certainly FOSS.

If only it actually worked...

Yes, we know that.

Is it? I am pretty sure that v[x] where x >= n is UB.

I never understood why mozilla decided to implement their own inferior and laggier version of developer tools when firebug existed.