skysight-inc/HackerNews huggingface dataset:
I think a major issue with math problems in school is that they're obvious.

By that I don't mean it's easy. But when you're grappling with some problem, whatever it is, eg find some angle or integrate some function, if you don't find the answer, someone will show you, and you'll think "OMG why didn't I think of that?"

And you won't have any excuses for why you didn't think of it. Because math is a bunch of little logical steps. If you'd followed them, you'd have gotten everything right.

Which is a good reason to feel stupid.

But don't worry. There are things that mathematicians, real ones with PhDs, will discover in the future. By taking a number of little logical steps that haven't been taken yet. They could have gone that way towards the next big theorem, but they haven't done it yet for whatever reason (eg there's a LOT of connections to be made).
Found a presentation on this technique on youtube:

https://www.youtube.com/watch?v=yHvyPnkuAiw
How to become a Back-end Web Developer in 2017 from scratch
By dipping from various different angles
Slightly off-topic, but the pushback against brain training owes a huge debt of thanks to Randy Engle (and others), for loudly questioning the methods and rational of the early "become smarter by the magic of dual n-back" research.

Here's an article where he compares it to cold fusion: http://www.nytimes.com/2012/04/22/magazine/can-you-make-your...
Instead of up votes, I prefer Forum style threads. New replies = bump to top. If those replies are spammy or not contributing, moderation can flag/ban those accounts.
Please look at my post again, I said GFW _helped_ to create the recent economic development. Of course the economy of a country like China can not be improved single-handedly by a system or by a single sector.

I further pointed out that GFW ensured that all core Internet infrastructures used in China is designed/developed in China, that led to the creation of a Dev community with millions of experienced engineers. Do you believe that such a professional community is a huge asset for a developing country?
Which is sensible since only one of the sides actually has victims.
Out of curiosity, I checked our policy. The people who can get monetary awards at my company are:

- active employees, and

- retired employees who retire with eligibility for retiree health benefits (my understanding is that this is, approximately, people who worked for the company for 20 years or more), if they provide requested assistance to the company to get the patent issued after their retirement.

So at my company, if you just left without having been here for a long time, they wouldn't give you the money after you left. (This is what I thought, and good to know in my case since I have a few patents in the pipeline myself...)

Furthermore, there is no mention that "this is different in California". We employ people all over the country including in California, and a lot of our policies do call out California specifically because it does have different laws, so I suspect there's nothing special about California here. (I am not a lawyer.)
Volatility over 1 month is vastly more harmful than volatility over a decade. To the point where they are not meaningfully comparable.

Further, showing that the actual price is between 200-2500 over 500 years is awesome demonstration of Gold's stability. If I buy 20 million in gold I might not make money over the next 50 years, but I will still be 'wealthy'. Cryptocurrency's have a nasty habit of simply disappearing much like individual stocks they could be around in 50 years and might be worth significantly more, but that does not mean they are worth storing in a giant vault.
That's a weekend project and it turned out better than I expected. Thanks to nikic's php-parser, astexplorer.net and Babel infrastructure handling the gnarly bits (e.g. source maps just worked).

I started it because I hoped it would speed up rewrites of projects from PHP to JS, but now that I've actually seen the results, I realised that bad PHP code makes only worse JS (and there's no point rewriting good PHP code).

Still, I think it could be useful for sharing some logic between client and the server, without replacing server-side with Node. This isn't a VM, so it has zero overhead at the cost of being loose with semantic edge cases.

And I find it funny that it now takes 1 line of config to make JS tools work with PHP syntax instead.
It's not a government takeover of health care - only of pricing. The Japanese model is largely private providers, and private, employer-provided insurance.

Standardized pricing gets rid of the problem of charging different customers (slightly) different pricing, and having massive negotiations on a per-carrier basis. This sort of thing isn't a matter of "competition drives down cost". It's just stupid and inefficient.
Thanks. Video in the article kept timing out.

Edit: it looks like it's the same video (same length and intro).
The irony is that Reddit's founders faked accounts to make the site look popular.

https://arstechnica.com/business/2012/06/reddit-founders-mad...
OMNI Magazine Back in Print This Fall
> you would always be able to sell your cryptocurrency to someone in a stable economic market somewhere in the world

That's a pretty bold assertion without any evidence or real theoretical justification.
The science fiction magazine OMNI is coming back to print. Browse all past issues from 1978 to 1995 here: https://omni.media/collections/omni-archive
Introducing Microsoft 365
AWS has pricing alerts so you can set limits to specific resources and it will notify you when it tips over. Not that it cuts off the service, you'll still be incurring charges, but at least you can know straight away that something happened.

There's free tier as well if you want to just try out without commitment
Packing for College? 5 Must Reads
Ah, yes, Medicare Part D. That's what happened the last time the GOP got to write a health care bill.
A panda and a cabana: How to get started car hacking with comma.ai
In their presentation they have a bit more info. For the elephant model they show the results at 100, 500 and 1000 dips.

https://youtu.be/yHvyPnkuAiw?t=1m30s
No images, but doesn't hang on them like the Google cache: http://web.archive.org/web/20170711133251/http://irc.cs.sdu....
I think Arkham Asylum has a wing for non CSS-in-JS nutcases ;)
Was it possibly /r/android_* with some other word? I saw a profile that fit the latte part of that (only talking about 1 app)
Here’s a node example that demonstrates the same concept.

https://codefresh.io/blog/node_docker_multistage/
Paragraph advice is great. I got into the habits of writing a few conversational comment lines at the top of modules and each function as a message from designer-self to implementer-self.

It functions a lot like BDD, or at least my version of it, of keeping me on track for the problem I'm trying to solve at the moment and felt like it led to generally better code quality once I started doing it.
On Reddit?
So, kinda like: "Adding a two mile walk every morning was found to have no health benefits[1]

[1] we only studied marathon runners"
Actually, I think we do.

This is a free-rider problem where imposing a cost on yourself (such as using more expensive, greener alternatives, reducing consumption, etc) make almost no difference to the overall problem. We need to ensure that the vast majority make these changes.

The (simplified) payoff matrix is something like this:

----

I am green: I win

Society is green: We all win a lot

----

I am green: I lose a lot

Society is not green: We all lose a lot

----

I am not green: I win a lot

Society is green: We all win a lot

----

I am not green: I lose, but at least I have a big car

Society is not green: We all lose a lot

----

There are two ways out of the trap:

1. Innovation makes green solutions cheaper and better, such that going green is a win for the individual and for society.

2. Governments force green solutions to be the cheaper option, using laws and taxation.
Show HN: Shorty – A dead simple URL shortener service (with analytics)
Reminds me of this quote:

"The view that machines cannot give rise to surprises is due, I believe, to a fallacy to which philosophers and mathematicians are particularly subject. This is the assumption that as soon as a fact is presented to a mind all consequences of that fact spring into the mind simultaneously with it. It is a very useful assumption under many circumstances, but one too easily forgets that it is false. A natural consequence of doing so is that one then assumes that there is no virtue in the mere working out of consequences from data and general principles."

Alan Turing
Texas girl electrocuted while using cellphone in bathtub
I work for a Fortune 500 and we don't like it either.
That might get them in trouble with their followers but nothing's stopping Reddit officials from running side-businesses

/tinfoil hat
I think the ancient aliens theories are fun little 'what if' dips into scifi, but treating them seriously like History does is just stupid. And people who buy into that are equally stupid, if not more so.
The Sense of Smell Impacts Metabolic Health and Obesity
It is considered poor practice on Linux to set a password for the root account. This is not the case on OpenBSD.

You can usually login by editing the grub kernel command line, and setting init=/bin/sh

Disk encryption may or may not make account recovery more complicated.
https://en.wikipedia.org/wiki/Simultaneous_localization_and_...
Cradle to Cradle: Remaking the Way We Make Things

Very thought provoking look at recycling and design for eventual recycling.
Though the article is 2 years all, it is still relevant good thorough read and a great piece of knowledge, thank you for sharing.
Having a talk with our PR manager recently about newsworthy events interesting for media like launch, update, new cool features etc and what to do between them to stay on top, we came to confusion (again) that content like research, analytics, tests, content cards etc should cover those gaps and the questions we still have is whether to pitch it to media as an exclusive content for them or put in on your blog, create dedicated landing page designed for this content and share it with media? I know that it works both ways for different companies, but as a marketer I am more interested in the second option, while PR likes the exclusivity of course.
What are your best practices to stay on top while there are no real product news in-between?
The Rise of Indie Gaming Studios
Every solar eclipse in your lifetime
If you watch enough WW2 documentaries, you start to see the same clips across multiple documentaries. A lot of them don't seem to put much care into matching the visuals with the audio, but the ones that do seem to do a really good job.
Patent reform supergroup HTIA formed
You can't run trusted software on untrusted hardware. If someone has a backdoor in your ME, you can't protect yourself from it.
I miss Apple's iWeb. Wish they would bring it back.
One interesting use case for this would be to benchmark functions. How much faster/slower do various functions perform in PHP vs. NodeJS?

It wouldn't be a perfect comparison since the generated JS code might be less optimized. But it could give one a ballpark estimate.
* I can buy a new Dell laptop with Bitcoin (https://blog.dell.com/en-us/we-re-now-accepting-bitcoin-on-d...).

* For that laptop I can buy Windows with Bitcoin (https://support.microsoft.com/en-us/help/13942/microsoft-acc...).

* I can book my holiday with Bitcoin (https://www.cheapair.com/help/payment-and-billing/what-is-bi...).

* I can donate to Wikimedia with Bitcoin (https://wikimediafoundation.org/wiki/Ways_to_Give#bitcoin).

Can't really do any of those things with tulips or gold. This is just a small set of places where I can do purchases with Bitcoin.

As for currency, sure a tulip has practical value. But does a $100 bill? You can roll it for a cigarette or it can give you 5 seconds of warmth if you burn it. But that's about it. The reason you have all your savings in $ or € or something else, is because we all as a society say "this piece of paper (worth less than a cent in materials) is worth $5, and this one $50, and this slightly bigger one is $100". Same with crypto-currencies.
Let women decide on women issues #HappyToBleed http://menstrupedia.com/
> Im not saying its humane, or just, or right. Its business.

I'm sure the same was said about slavery too.

Society had some tolerance for unethical behaviour, but you'd want to hope that it improves overtime. One such way is when a business does the uneconomical thing, but gains good will and recognition.
Have you tried TLP? It was originally written specifically with Thinkpads in mind, but can be used on any laptop now:
http://linrunner.de/en/tlp/docs/tlp-linux-advanced-power-man...
> “Our purpose is not to name and shame firms, our purpose is to provide transparency and call attention to the quite extraordinary fact that just 100 companies played a crucial role in the problem,” said Pedro Faria, technical director of the Carbon Majors Database, which collected the information for the report. “It’s obvious they have a share of responsibility in the solution.”

You made a list of the top 100 companies.. that is literally naming names.

Then you say they're responsible for 71% of the problem and need to improve.. that is literally shaming them.

For a supposedly-intelligent person, it's disappointing he doesn't know the definitions of the words he uses.
Hey, I think you're mistaking static site generator === Jekyll. My favorite is Hugo[1]. Just grab the binary and it can run everywhere. I mean everywhere. No need to setup the build tools, environment

[1]: https://gohugo.io/
They did. Apple laptops have no ME, and Chromebooks are safe (e.g., the source is open to Google!)
Rather than trying to drive down costs, how about trying to increase revenue per click? Maybe just charge users coming from google shopping more? Or offer them some discount if they spend more than X, or give them a discount for referring friends? I'm just spit-balling though, I've never run an e-commerce business.
How to Grow 3000% a Year Without Making a Mess
I don't respect any article about the future of economy that does not take into consideration climate change, sustainability and the anthropocene. Capitalism will have to change dramatically soon, our world is collapsing. But sure. let's talk about apple vs google. I am not a fan of capitalism, but I'm not even criticizing capitalism per se, only that all big companies nowadays are existing in a world and way of producing that will for sure destroy itself in at max 100 years. So that is the future. Not Apple way of managing. I feel like saying wake up sheepele, because that's how it feels reading an article like that. I have no idea what will happen and hope for the best, but let's start accepting that we know major changes are needed and are going to happen whether we plan them or not. Climate change/mass extinction/deforestation/etc is not just about polar bears, is about our energy and ways of consumption and production of goods.
And let's not forget a handful of American masturbatory documentaries. Like America: Story of Us or that one inventors series that did a really bad job of exaggerating events.
"Google is, like Apple, making loads of money. From 2013 to March 2017, it generated $114 billion in operating cash flow. How much has the company distributed to shareholders? In contrast to Apple’s 72 percent payout rate, Google has only distributed 6 percent of that money to shareholders."

Apple is way older than Google, maybe this has an influence in both diff. approaches...
When I read the title I thought about the difference that Apple is selling to users and Google to advertisers. These are two different ways of capitalisms, too.
You might want to edit that to fix the name. It's "Turing", not "Turning".
80 columns is the wrong width. Should be 81
I wonder just how likely this was to end in disaster. It feels overstated. The pilot in question seemed to think something was wrong, he just hadn't figured it out yet. I imagine he would have seen the aircraft on the taxiway in time to go around on his own if he hadn't been warned off.

I'm having trouble figuring out the timeline. The recording in the article makes it sound like this all happened in a matter of seconds, but it's edited down to the highlights so that's misleading. LiveATC has an archived recording of the event (http://archive-server.liveatc.net/ksfo/KSFO-Twr2-Jul-08-2017..., relevant part starts at about 14:45) but even those appear to have silent parts edited out. (That recording covers a 30 minute period but is only about 18 minutes long.) In the archived recording, about 40 seconds elapse between the plane being told to go around and the "flew directly over us" call, but I don't know how much silence was edited out in between.

Certainly this shouldn't have happened, but I wonder just how bad it actually was.
I switched to Hugo too. I haven't really dug deeply enough into it, though.
spoiler alert: They have not given a damn about history in a looong time.
I don't get a lot.

So today i own a 64 room hotel in Maine. Booking.com works great for me. Res are connected

Now a blockchain salesman visits and sells me a pitch to ditch booking.com

What will change. Tonight i have 5 rooms left. How will a customer find me?
I saw loads of accusations of that, but very little evidence to suggest that these were shills, rather than real people who like VS Code. We all get very passionate about our editors, and lots of people use and like VS Code so it's not surprising people comment about it when the discussion is about editors. I like VS Code. I can't remember if I've ever commented to this effect. I'm not a MS shill.
I did it for speed.
I don't remember, but looking at the thread there were like 30 comments and like 80% of them were positive. It was a really weird experience.

Like a week after that the account was deleted. I'm not sure if it was done by the admins or by them, but the comment remained posted by [deleted].

This was all a year or 2 ago, so I don't remember the exact situation any more.
There's Aurora which has scalable read replicas.
واتس اب بلس
This was address very well by a video posted on the Piper Alpha story yesterday.

https://news.ycombinator.com/item?id=14732404

https://www.youtube.com/watch?v=S9h8MKG88_U
I don't even care about their political leanings if they were just a tiny bit more diverse. But when the whole first page is filled with exactly the same story just posted from different newsoutlets, you know that the moderators are activley promoting an agenda and don't care about news.
> Ah yes, what's better than trying to shift the blame from the actual people and groups doing this, to individuals, who often don't even know better?

This isn't a situation where you're blaming someone who buys an iPhone for all the pollution Apple creates in making them. Here, the actual person "doing" the pollution is you and me, when we buy a gas-powered car and drive it dozens of miles through suburban gridlock to get to work, or leave the thermostat at 68 on a hot summer day.

And while it might be reasonable to say that an iPhone consumer has no idea what toxic crap is involved in making that seemingly innocuous product, that's absolutely not reasonable when it comes to the products made by Exxon, etc. Everyone "knows better."
Millennials are broke because they're making choices out of order
Ah, now we can run HN's least favorite language on top of HN's second least favorite language.
My experience is that you need a competent person in each case - whether the data is stored in S3 or on a dedicated server, whether you use EC2 instances or doing the job on your own server.
For something like 40€/month you get Core i7, 32 GB RAM, 2x4TB HDDs, 1 GBps port and 30 TB included. In this 40€ the cost of storing the server, cooling it, power, etc. is included:
https://www.hetzner.com/dedicated-rootserver/ex41
When things break, they repair it.
In my case, they usually break once a year - sometimes the PSU, sometimes a hard drive (no a problem with RAID 1 already in place). It all depends on your needs.
Ah, perfect. Thanks!
> My method of testing is rather simple - for 64G card generate a file of 63864569856 bytes of random data, dd it onto a card dd result off the card, fingerprint both. If they match the card is probably good.

One optimization:

dd bs=1M count=N if=/dev/urandom | tee /dev/mmcblk0 | md5sum
md5sum /dev/mmcblk0
It's ironic that I have to ask which of the two languages you'd be trying to benchmark.
More people needs to understand that fighting sexism isn't to give females a "better"deal or consideration. It's to ensure there's no discernable difference in treatment. It could be taken to far with unisex toilets, but i don't affirmative action is going to help fight sexism at all.
I guess that would be possible, but one has to do some trickery to find false data.

Maybe correlating the exact oposite dip works:
Dipping a bowl shows a negative volume then the bowl begins to fill. A dome (reversed bowl) will show additional volume of trapped air at the same point.
Yes. But they don't know it. They just know that their site is faster than their competitors.

I've got a smallish piece of JS that gives the client a WYSIWYG editor, which speaks to Firebase.

When Firebase gets an update, it triggers a rebuild.

Best of both worlds.
When creating a logo for your business, be sure to pick the right font
Ethereum traded around $380 three weeks ago and is now hovering around $200, which is quite a loss in value.

Ethereum makes up 44% of the total market cap of altcoins, but does anyone know what percentage of the remaining altcoins are just ERC20 tokens ? My gut tells me those ERC20 tokens are vulnerable to ETH price declines since miners get paid in ETH. A token may lose value, for example, as transaction times start increasing especially during a sell-off. When trading volume goes up but network capacity goes down that can cause even more panic selling.

Note, ETH mining is done with GPUs so it is really easy to just mine another currency. Mining CAP is about 7X more profitable than mining ETH at the moment [1].

[1] Coinwarz.com
"Unless said crises is global and the internet is dead world wide you would always be able to sell your cryptocurrency to someone in a stable economic market somewhere in the world."
Its not true.

Dogecoin is an example.
That's what it looks like to me. Just new tech for middlemen. That's happened several times already and changed nothing...other than maybe higher margins for middlemen.
ITTs like Lean are more expressive as logics than HOL, but I doubt that Certigrad needs even a fraction of HOL's power. So anything you need that you express as types in Lean you should be able to express as theorem in HOL. Presumably that is inconvenient (= technical debt), but why?
Imho the most intuitive user interface for bot creation software: http://wstaw.org/m/2017/07/11/Screen_Shot_2017-07-11_at_16.2...
LiteCloud: User management system for the server
Interpreting requirements is usually the hardest part of programing. Not the coding part.
Yeah, I wonder if they'll say aliens aren't real and it's embarrassing for grown men to be endlessly fascinated with Hitler when they don't know who their state representative is.
Technology and Fake News Are Being Used to Influence Kenya's 2017 Elections
tldr: Google founders have more voting rights than Apple executives. In case you didn't know, this impacts corporate behavior, especially dividends.

I thought this would be about the way each interacted with customers, which is far more interesting.
You did a great job with this, I started something really similar about 6 months ago because I wanted to port SabreDAV to js (I didn't quite get to the stage of self hosting PHP parser) but eventually came to the same conclusions, even with a good codebase idiomatic PHP does not map cleanly to idiomatic JS
Californians: Demand That Your Legislature Restore Your Broadband Privacy Rights
Stalemate Continues in Negotiations Over European Copyright Filters