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 them.

People sometimes have important personal reasons for deleting things but this does not mean anything. It is not as if "x posted y on twitter and deleted it afterwards" or "the page was edited/deleted, here is an archive.org link" is uncommon on HN, nor it is as if a stalker would not be able to scrap HN posts of someone instantly as they were posted.

> it disappears.

In my experience they show as [deleted] but I guess this is only for posts that have replies.

> 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 owner can pretend to be you.

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 number if they so wish.

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 isn't some ride along in a consumer grade EV. They were gathering data to program the car with. The emergency braking systems were not active. The person that was supposed to be monitoring the vehicle knew this."

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 instead.

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 contribute to a C11 project.

> or because the toolchain they use elsewhere (personal projects, embedded comes to mind, or work) hasn't updated to the new standard.

gcc and clang both support it.

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 would certainly like it if the published absolutely everything that they had (in fact, I would argue that not publishing them would be unethical unless if they use said information as an insurance in order to make sure that for example Assange gets free) but I would not go as far as to claim that they did any harm.

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 unfair prosecution of people while also disagreeing with their personal opinions and beliefs. It is not like this court is trying to decide whether he is guilty of rape or not.

(note: I do not know whether Assange is pro-trump or not so I will take pjc50's word for it - seems weird though as Trump has been holding an anti-whistleblower position)

(note2: The allegations were not regarding rape but rather of intentionally breaking the condom while having an otherwise consensual sexual encounter - fun fact, this is legal in California although I personally think that it should not be)

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/Repatriation_of_Ahmed_Agiza_an...

https://en.wikipedia.org/wiki/Martin_Rasmussen_Hjelmen

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 too. You often see people hiding their real beliefs due to the fear of retaliation and public perception as well as misinterpretation regarding controversial topics, it is only natural that scientists have the same fear, especially when considering this case where we have a highly political topic.

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 order?

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.

I am waiting for them to release the google earth source.

Smalltalk and Erlang for everything except the "webapps" part. For that there was flash.

> But to what extent was it available in a polished package?

To a large extent. Both Smalltalk and Erlang were mature at that point in time.

> everything in rust was available in other languages

I am not doubting you but are you aware of any other language with affine types? I am not.

void f(size_t n, int v[n]) is valid C.

Here is a post from 2014 from someone who is in the C standard committee. https://gustedt.wordpress.com/2014/09/08/dont-use-fake-matri...

> the lack of package manager

Just use nix or even apt. Both of them are MUCH better when compared to trash like npm or cargo which do not even check for signatures.

> common build system

Such as make? There is also Ninja/Meson if you prefer.