Hacker News: dependenttypes

New comment by dependenttypes in "Amnesty International denied access to court in the Assange extradition hearing"

dependenttypes — Wed, 16 Sep 2020 18:12:50 +0000

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

New comment by dependenttypes in "Uber backup driver indicted in 2018 self-driving crash that killed woman"

dependenttypes — Wed, 16 Sep 2020 18:10:14 +0000

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.

New comment by dependenttypes in "Kirc – A tiny IRC client written in POSIX C99"

dependenttypes — Wed, 16 Sep 2020 17:59:45 +0000

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

New comment by dependenttypes in "Microsoft submits Linux kernel patches to enable complete Hyper-V on Linux"

dependenttypes — Wed, 16 Sep 2020 17:59:00 +0000

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

New comment by dependenttypes in "When you browse Instagram and find Tony Abbott's passport number"

dependenttypes — Wed, 16 Sep 2020 14:06:39 +0000

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.

New comment by dependenttypes in "Kirc – A tiny IRC client written in POSIX C99"

dependenttypes — Wed, 16 Sep 2020 14:03:56 +0000

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

New comment by dependenttypes in "Uber backup driver indicted in 2018 self-driving crash that killed woman"

dependenttypes — Wed, 16 Sep 2020 14:00:50 +0000

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

New comment by dependenttypes in "Kirc – A tiny IRC client written in POSIX C99"

dependenttypes — Wed, 16 Sep 2020 13:49:52 +0000

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.

New comment by dependenttypes in "Kirc – A tiny IRC client written in POSIX C99"

dependenttypes — Wed, 16 Sep 2020 13:38:38 +0000

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.

New comment by dependenttypes in "Differences between open science and reproducability"

dependenttypes — Tue, 15 Sep 2020 16:55:32 +0000

It seems somewhat common in cryptography.

New comment by dependenttypes in "The Stalinist Trial of Julian Assange"

dependenttypes — Tue, 15 Sep 2020 16:46:30 +0000

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.

New comment by dependenttypes in "Assange Hearing Day 9"

dependenttypes — Tue, 15 Sep 2020 16:34:16 +0000

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)

New comment by dependenttypes in "Assange Hearing Day 9"

dependenttypes — Tue, 15 Sep 2020 16:23:24 +0000

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

New comment by dependenttypes in "Unusual Features of SARS-CoV-2 Genome Suggesting Sophisticated Lab Modification"

dependenttypes — Tue, 15 Sep 2020 16:07:28 +0000

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

New comment by dependenttypes in "Unusual Features of SARS-CoV-2 Genome Suggesting Sophisticated Lab Modification"

dependenttypes — Tue, 15 Sep 2020 10:22:51 +0000

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.

New comment by dependenttypes in "Unusual Features of SARS-CoV-2 Genome Suggesting Sophisticated Lab Modification"

dependenttypes — Tue, 15 Sep 2020 10:13:25 +0000

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.

New comment by dependenttypes in "Unusual Features of SARS-CoV-2 Genome Suggesting Sophisticated Lab Modification"

dependenttypes — Tue, 15 Sep 2020 09:55:10 +0000

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

New comment by dependenttypes in "Differences between open science and reproducability"

dependenttypes — Tue, 15 Sep 2020 08:14:47 +0000

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

New comment by dependenttypes in "Differences between open science and reproducability"

dependenttypes — Tue, 15 Sep 2020 07:52:32 +0000

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

New comment by dependenttypes in "Riding the RISC-V wave"

dependenttypes — Mon, 14 Sep 2020 17:48:32 +0000

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