News for hackers. Stuff that matters.

Joool

> On the popularity of Haugen: I find it amusing how your government treats a whistleblower who is promoting government control over social media, vs the way your government treats a whistleblower who leaks evidence of government spying and abuse.

Well one of them leaked documents of said government, the other company secrets.

As others have stated, I do not think that people understand what they sign in the TOS of these companies.

In this case the data was actually collected and analyzed with consent (as stated in the article).

In their whitepaper [1] they mention storing cryptographic proofs on the Bitcoin blockchain (Section 3). However they do not seem to specify what proofs exactly.

[1] https://agora.vote/Agora_Whitepaper_v0.1.pdf

Re:Why is Rust difficult? on Monday January 22, 2018 @04:17AM (#16203037)
> On the proof side, Rust's built in unit testing is great, and allows for quick validation of code (proofs). But I think you mean something different.

Unit testing can only proof one instance of the input domain, e.g. the function square() returns 4 under the input 2. Languages like Coq allow you to proof that the function square returns the squared input for every possible input.

Re:Node 8.1.0 Released on Thursday June 08, 2017 @08:26AM (#14513640)
Well they do have LTS versions https://github.com/nodejs/LTS#lts-schedule1
Re:Uber Engineering Bug Bounty: The Treasure Map on Wednesday March 23, 2016 @02:05AM (#11342453)
From there hackerone-page:

Do you provide test accounts?

As of this time we do not have a good system for creating test accounts for our bug bounty submitters. Please create an account as you would normally and perform testing with that account.

https://hackerone.com/uber