skysight-inc/HackerNews huggingface dataset:
No. The trust you need for a central curator is trivial compared to what's needed toward fundees. Anonymity aggravates problems with accountability. Thus, I don't find crowdsourcing to be a particular good example where blockchain-ideas help to create and coordinate collective action. Yet, I think there are two areas where value can be added to kickstarter: 1) scheduled payouts where funders vote to cut project funds in absence of progress and 2) make the curation process more transparent.

However, I figured that what's holding all the blockchain collaboration platforms back are not only scalability and cost issues. More importantly, people don't want to broadcast their data for very uncertain returns. You can see that in haggling parties for when and who gets access to aggregate data in the connected car, health care and scientific research.

Therefore, I focus to find meaningful ways around data-sharing tensions, specifically in battery R&D [1]. One way is to align academic and commercial interests better. The other way is to objectively measure what a data donor's synergistic effect was on the platform as a whole. This kind of computable attribution is hard, but I think doable at some point and in some narrow domains earlier.

Some infrastructure that allows to selectively reveal and collaborate on data is put forward by guys at MIT [2].

[1] http://openbatt.org
[2] http://www.enigma.co
Doesn't surprise me. I had some friends in college, men and women, that rowed, and universally they were put through hellish, body-destroying workout regimens that the football team would have looked cross-eyed at.

It still seems weird to me that rowing is a competitive sport. Rowing is something you do with a six-pack of beer in the cooler and a tacklebox and reel by your side, rather than as an end in itself. But I have decidedly plebeian tastes.
>And you do realize it was Father David LeMaitre - a Catholic Priest and Physicist, who conceived of the 'big bang'?

*Georges Lemaitre, and note that he was Catholic, not Evangelical. It's the latter that has a strong cohort of anti-evolution, arguably anti-science-as-a-whole types.
Could you expand on that? I did not think bcrypt was responsible for storing the resultant hash. The limit appears to be in calculating the hash.
Sadly the mobile support is pretty bad. It's on my list to fix at some point but requires a bunch of changes in the underlying window library (golden-layout.com), plus some work to reconfigure the layout for mobile.
>Who said anything about "all men"?

So you're talking about "some men"? Who cares then. "Some men" do lots of things, most men do not.
You're assuming political preferences of the reader.

The author's attacking both Clinton and Trump without offering substantive reasons.
One reason for thinking that Trump would be worse is precisely because Hillary and Obama's propaganda machine is good at painting them in a better light.

Trump doesn't have to pretend to care about human rights, or war crimes or civil liberties - he outright came out in favour of torture, the killing of innocent people, racial profiling, and said a whole bunch of other heinous things during the campaign.

At least with the previous politicians, bad publicity can act as some sort of brake on the violence and the repression and the surveillance, because you have some leverage against a politician's public image. When the next Abu Ghraib-type scandal comes out, Trump can legitimately say 'So what? I said I as going to torture suspects during the campaign, didn't I?'; if it came out under Hillary, she'd be under immediate pressure to shut down whatever happened.

Having an openly lawless politician is a shitton worse than having a closet lawbreaker with a good PR machine.
Parent Maven POM, 0.48.1 released
Note that you don't need or want those during totality. They would ruin the view. When the eclipse is total, it's perfectly safe to look directly at it, and even use binoculars. It's only the partial phases where there is any danger.

When I went to Oregon for the 1979 total eclipse, an amazing thing happened. The hillside we found ourselves on had people all around with sunglasses on, looking away from the sun, so our eyes would be more adapted to the dark. I didn't see many people looking at the partial phases with "eclipse glasses".

The interesting stuff as it nears totality isn't on the sun anyway, it's on the ground. You see the ripples on the ground, and if you have a view to the west you can see the shadow rushing toward you.

Then when it entered totality, everyone took their sunglasses off and looked right at the sun. Many of us used binoculars. Truly an awesome sight.

The only danger is that as soon as the sun peeks through the first valleys on the moon, you need to stop looking, no matter how tempting it may be.
The Talk
Cold Email Templates: Are You Still Using These Stale Tactics?
That, and the earlier part where he states (emphasis mine):

> That alternative narrative would stress business as usual, and continue to obscure the deep social problems in our society. Those problems won't go away on their own, and in this alternative future they would continue to fester under the surface, getting steadily worse. This election exposed those problems for everyone to see.
Simplified, you pay someone (in another, probably more anonymous currency) to pay the recipient in the less anonymous currency.

A less technical way would be paying someone in cash to do it.
Apparently he had all his fun in 2 months.
>* It is time consuming and boring (of course this is subjective)*

Very very subjective...

> and very inefficient at improving fitness

Depends on what your fitness goals are. It is pretty effective at maintaining cardiovascular capability but doesn't do much for overall strength or, on its own, weight management. Anecdotal data point: as a regular runner, 10K in <42m, half marathon in <1h50, I have a cracking set of legs and lungs but my upper body is pretty weak, my core strength "fair-to-middling", and I still carry a little more than I might like around the waist.

The trick to overall fitness, and something I could benefit from addressing, is to not concentrate on just one thing. Mixing running with body-weight exercises (push-ups, pull-ups, crunches, dips, ...) is generally considered a good minimal-equipment combination. For "bulking" or faster muscle strength gains add in some weights. For weight loss: eat less (or, for a more nuanced approach, eat better).
LuxRender: physically based and unbiased rendering engine
From reading your story it seems to me like you have plenty of aptitude towards programming. Getting a degree is definitely not a requirement to get a job in this sector, so that should not be an issue.

The most valuable thing is experience, and not the 'x years' kind, but the 'x projects' kind. If you can demonstrate that you have an ability to build things, you have value to an employer. (Or you can employ yourself and just sell things you make)

There are tons of great courses online that teach you all the things you would learn in a traditional CS course, but I would suggest a big focus on building things. In the end the best (most employable) programmers are the ones who build things, and getting a CS degree from reading books doesn't make you a good programmer.

Build some projects of your own, or build things for others in your surroundings. If you get confident enough you can even charge people money for the things you make. If you don't have any inspiration on what sort of things to make, there's lots of online resources that can help you with this as well. Things like https://javascript30.com/ are great to get you just building things.

Another bit of advice is to try and find a mentor with some experience working in the field, just for advice on day-to-day things. It's hard to find a book on 'how to be a programmer', things like how to set up your work environment, what tools people use, all the meta-things. By far the most effective way to get into this is having someone experienced around who can show you some of the chops.

Good luck on your journey! Nothing is impossible if you believe in it

Feel free to contact me with any questions you may have
It's funny that you think supporting 3 platforms is "portable".
Check this out:

http://sbcl.org/platform-table.html

http://www.rebol.com/release-archive.html
7 SEO trends that will give you the edge in 2017
Why would you want wood in a car? It's heavy and a pain in the ass to manufacture. Also... it's the 21st century and Tesla aren't trying to compete with Bentley.
Alternative answer: anything else you see being used.

Learning a bit of JS means I can now make interactive reports that run anywhere.

Learning some HTML and CSS means I can throw together an OK website.

Learning some ruby and rails means I can now make certain types of websites really bloody quickly.

Learning some erlang meant I solved an annoying problem very quickly because it was just a set of message queues.

Learning some haskell wasn't all that useful directly, but was interesting. Not everything has to be some huge productive benefit for me.

Learning some GPU coding stuff back in the day let me build what I think might have been the fastest 'deep learning' thing at the time (certainly I was able to train in minutes what was taking Hinton days) and let me perform experiments remarkably faster.

Learning R recently has opened up a lot more avenues for analysis for me.

Learning some shell scripting has had obvious benefits on a daily basis.

---

I wouldn't argue for not learning other things too, but learning new languages can help because it can give you access to a huge toolkit not currently available to you. If you do sciency stuff or data analysis and you don't know any python, you're missing out on a wide range of very advanced tools that can make your life easier. Similarly with statistics and R, and I'm sure a whole host of other similar things are true for other languages.
Globalizeit
Quantum Machine Learning at Perimeter
I thought ovh was French
Reading through the Webpack2 release tags I came across the v2.1.0-beta28 changelog, which mentions:

> * add `import()` as Code Splitting construct. It should be used instead of `System.import` when possible. `System.import` will be deprecated in webpack 2 release (removed in webpack 3) as it's behavior is incorrect according to the spec.

I was under the impression `System.import` would be the new way to do code splitting and hence supersede `require.ensure()`. After further checking, now it seems like the function-like `import()` will be used instead [1], which is better accepted in browsers than `System.import()`.

[0] https://github.com/webpack/webpack/releases/tag/v2.1.0-beta....
[1] https://github.com/webpack/webpack/issues/3098
I'm curious as to why. Firefox has made a lot of improvements and is now much better than chrome when it comes to memory usage.
About a year or so from now there will be a "Hollywood-based-on-a-true-story"-Adaptation of this.
React.js plugin for building animated draggable and customizable charts
Do you enjoy seeing dead horses beaten?
Tell that to your National Object File.
Flashback 1996: Man sues Pepsi for not giving him a Harrier Jet
Show HN: Godb is a simple Go ORM for PostgreSQL, MySQL, SQLite and SQL Server
There are many who view contacts as a holy right but would also allow you to sign away anything in a contract – so if you accepted a EULA which makes it hard to sue, it's your fault. There's a certain consistency to that position but it completely ignores the scale of the power differential.
My first thought upon seeing this is that I was not aware that Firefox sends this kind of data to Mozilla.

Under "how is the report created" [1] it says that "Firefox automatically collects information [...] unless users disable this collection". This seems to be in conflict with Mozilla Telemetry FAQ [2] that says that data collection is disabled by default for release builds.

In fact, on Firefox 50.1.0 on Debian I no longer see the "Share additional data" setting mentioned in [3] - see screenshot in [4]. Does this mean that Telemetry is now enabled by default and can't be disabled?

[1] https://metrics.mozilla.com/firefox-hardware-report/

[2] https://wiki.mozilla.org/Telemetry/FAQ#Is_Telemetry_enabled_...

[3] https://support.mozilla.org/en-US/kb/share-telemetry-data-mo...

[4] https://www.tablix.org/~avian/stuff/firefox_data_choices.png
Traits are also OOP, not all OOP == Java.

In fact, traits related OO research goes back to Smalltalk variants and Lisp Object Systems.
Indeed, but they are implemented worldwide: https://www.ovh.com/us/about-us/network.xml
Or, you know, "do something". Throwing a bunch of complexity and equipment cost at someone who doesn't currently exercise at all isn't likely to help anything much. Pushups and situps require only a clear stretch of floor.
>The reason it matters in this particular context is because, in general, women do not think men are safe and dating apps must address this.

If you're a woman and worried about that, maybe you shouldn't be randomly meeting men on the internet?

>As they say, the "crazy ex-girlfriend" will key your car, but the crazy ex-boyfriend will murder you.

Who says?

Do you stereotype other people in the same manner? Or just men?

>The murder of Kitty Genovese[1] comes to mind

You're going to use a brutal murder that occurred 50 years ago as an example of what women face today?

>here are some stories from reddit

Okay..now go read us some /r/MensRights stories.
Putin reportedly oversaw Clinton email dump and election hacks personally
This is neat. I bet if you use a hypercircle technique then you could project wikipedia articles into a GiST or BallTree or similar n dimensional tree structure. Then search can be done by projecting a query into the hypercircle and returning results close by.
The governments of more and more countries are forcing people to start using Tails. If you have a problem with censorship in your country (because for example you're living in United Kingdom), check out this operating system!
Trump names Uber and Tesla CEOs as strategic advisors
that's the Best perspective
> [Update (12/14/16): Reuters has specified that the rootkit was implemented as a Linux kernel module. Wow.]

Hm.. One more proof to avoid using non-free binary blobs in Linux kernel. Be safe. Use Debian GNU/Linux without non-free repo or any better[0] one.

[0] https://www.gnu.org/distros/free-distros.html
Am I reading this right? Linux usage is 0.20%?
>Wrong data point. Look at assault, harassment, and rape.

The OP was about murder, so, no.
App Onboarding Signup Signin – Construction App
Ask HN: Which is the most investible cryptocurrency right now? Why?
If that function is really supposed to return the square of a number, you took a wrong turn somewhere. Because it says the square of 16 is 56.

Now here's a more efficient algorithm which does produce the currect result:

int square(int num) {
int a = 0;
for (int x = 1, n = num; x <= num; x+=x, n+=n) {
if( num & x) {
a += n;
}
}
return a;
}

It would be nice if this site allowed us to run/step through the code, to see exactly what it is doing.
Remembering the start of it and seeing the US pressuring enough to alter Galileo to be US-blockable[1] makes me feel old.
Really excited though to see it finally getting usable.

[1] https://en.wikipedia.org/wiki/Galileo_(satellite_navigation)...
Thank you for formalising into words what I have felt for quite some time. This comment resonates with my core beliefs. Virtual high five!
A Dark Reflection
MD5 hash? Jesus...
List of Top Rated Vacuum Cleaner You Can Buy
Oh no! All of those free offers could be stolen from me!
Engage Your Customers on Media Channels They Actually Use
I'd like to see more complex topics explained this way. Imagine an organic chemistry comic novel!

I think people make a lot of topics seem way more complicated than they need to be, probably to make themselves feel important.
It's not that simple for old machines. How about playing a video? Any new video player uses a 3D API for displaying/blitting. Guess what? This kind of machine has terrible OGL/DX performance and can barely play even the simplest of .avi. Winxp and it's typical software still has support for overlay video and whatever crap was used back then, so video performance is acceptable for non HD stuff.

What about Office? Wine is doable for older Office versions, but the performance hit is a lot more apparent on such pentium 4 era single core machine.

I've also found that lightweight distros are not enough in the cpu department. Their ram usage is great, you can easily find something that uses only 100MB after logon, which might be even less than winxp, but since it's all based on modern software you will quickly find out that even the simplest of tasks, like navigating with the file browser is a lot laggyer and more cpu intensive than that software for winxp that was designed for pentium 4 era cpus...

Sure you could go deeper with more barebones distros and/or only use the terminal, but then that machine is nearly useless for a common user, and may require a lot of setup and tweaking.
Only for the UK apparently?
Nice to see the turnaround from strippers and cocaine to attending law school and helping other people out.
Thank you for sharing :)
dupe: https://news.ycombinator.com/item?id=13178946
If clients can pick from servers to store, or use something decentralized similiar to https://storj.io , even better. Thank you for working on this.
> also doesn't handle nearly as well as a comparably priced M5 vs p85d, for example

M5: 4288 lbs, 550 bhp, 400 mm six-piston fixed-caliper compound disc brakes, custom Bavarian elastokinematic suspension honed on German race tracks for decades.

P85D: 4936 lbs, 557 bhp, 355 mm four-piston fixed-calliper regular disc brakes, standard suspension setup you find in a Ford Crown Victoria.

It's not a surprise that a heavier car with the same power and significantly worse brakes and suspension handles significantly worse.

But as you say, no-one is buying a Model S to go play on racetracks. Especially since we know it can't do a full lap of the Nürburgring Nordschliefe without overheating and reducing power output.
I tried to change it to a 64 character random 1Password string with numbers, characters and symbols. It complained it was too easy to guess. I submitted the exact same password and it accepted it.
Do any consumer phones already have support for Galileo?
Donating five percent of revenue to charity for the last five years
I don't understand. Can you explain?
What? There were self-driving vehicles in San Francisco? I'll spend the next hour of my life getting up to speed with this. Good stuff!
> Clojure brought clarity to the JVM on issues of concurrency, state, mutability, object orientation and persistence

Hyperbole much?
I never gave them a phone number...
Radio 80 por hora
a radio que toca mais musicas
http://radio80porhora.com.br/
Well it's due to the GBP devaluation after the referendum, so it makes sense.
>What I mean is subsidies for the fossil fuel industry.

The nature of fossil fuel subsidies are tax breaks and unpaid externalities.

As far as the former, basically irrelevant: global oil companies (and their employees) pay BILLIONS in taxes annually. We aren't handing them free money. There's a big difference between handing people money to burn, and giving a tax break to companies that, let's face it, are fundamental to national security infrastructure.

Regarding the latter: we're working on it. The externalities aren't easy to pin down, and there is much argument over what the values should be.
You're right on the first count. It wasn't sarcasm, it was a question.

On the storing of hashes though the standard protocol has been to pass the hash in as if it were a password.
Your "Learn More" link does nothing, just FYI.
Save it for the MBAs instead, or even as an onboarding requirement along with other training for new management hires. It's not generally the engineers making these decisions.

Sometimes it's an active issue and at the end of the day someone must implement something terrible (knowingly or not -- direct a junior engineer to do some complex task with the expectation they'll leave behind security vulnerabilities, just as good as getting someone to intentionally leave an issue). Ethical engineers can and probably should quit -- who knows how much a required, dull ethics course would influence that though?

Other times at the end of the day it's just lack of engineers doing something -- typically due to management not signing off/budgeting. Ethical management won't even necessarily help here, the incentives don't change. Some sort of stronger corporate liability for negligence is needed, probably, but the problem is not generally the engineers -- engineers, with an ethics course or not, are typically the only people who care about these sorts of things in the first place! What's the largest dip in stock price due to a password leak? How about shady government collusion? Have any groups of shareholders demanded more care to avoid such issues at any company?

I'll wrap up with a joke: "It should be noted that no ethically-trained software engineer would ever consent to write a "DestroyBaghdad" procedure. Basic professional ethics would instead require him to write a "DestroyCity" procedure, to which "Baghdad" could be given as a parameter." --Nathaniel Borenstein
Price List of Micromax Mobile Phones in India
I'm a ultra distance runner and fairly regularly run for over 12 hours.
One of the first things people normally ask is "don't you get bored", but honestly the concentration needed to maintain good form, eat, drink, not get lost, doesn't leave much room for much else.
I've been running for over ten years, and I'd say it's only in the last year that I've realised how important that concentration is, to do it well that is, it's easy to trundle along allowing ones mind to wander...
Some clarifications, because I think we use terms like "proof", "formal methods", and "easy" with different meanings:

> proving what you need proving most -- the non-trivial stuff -- is never quick and easy

The OP asked for proving "many things" quickly. You can prove many things in Isabelle by writing something like "by induction n. sledgehammer" and waiting for the automated machinery to do the rest. This doesn't suffice for everything, of course. But it's good enough for "many things", including stuff that would take a lot more work in Coq.

> seL4 and CompCert -- while great achievements -- are neither good examples of formal methods

The OP said they are not aware of any "formal proofs for programs". These are some examples. Many of the other things you mention use formal models, but not necessarily formal end-to-end proofs.

> "end-to-end", namely global correctness properties are proven all the way down to machine code. This level of correctness is unnecessary for 99.99% of software; perhaps even for no software at all.

Compiler bugs are a thing. At Airbus, the generated assembly code is inspected manually for bugs introduced by the compiler (which is untrusted, and takes input C code generated by SCADE's untrusted code generator). You think that's useless voodoo?

> formal methods in industry include the use of SCADE

SCADE is great, and it's "formal methods" in the sense that you write your program as a formal model with clear semantics that can be reasoned about. But it's not the kind of proof the OP asked about, I think.
This is a gross misrepresentation of what happened. Thousands of WF employees engaged in fraud that harmed Wells Fargo in order to make themselves appear more productive than they actually were and take money from WF. WF explicitly instructed employees not to do this.

Matt Levine, as usual, has a very coherent summary of it:

https://www.bloomberg.com/view/articles/2016-09-09/wells-far... https://www.bloomberg.com/view/articles/2016-09-19/tough-tar...

RICO is used to target criminal organizations. There is no evidence whatsoever that the employees who were ripping off WF conspired with each other.

You are literally blaming the victim here.
How does the paid system work? Do they broadcast more precise data in an encrypted format?