skysight-inc/HackerNews huggingface dataset:
It's not miraculous at all, and doesn't need to involve generating functions :-)

Consider all sequences f(n) that fit the constraint f(n) + f(n+1) = f(n+2), with arbitrary initial values. Such sequences form a vector space, because adding them together or multiplying by a constant doesn't break the constraint. That vector space is two-dimensional, because the two initial values determine the rest of the sequence. Now we just need to find two different sequences that form a basis of that space. All other sequences can be expressed as linear combinations of these two.

How do we find the two basis sequences? Let's make a lucky guess that they are geometric progressions with some constant c. Then we have c^n + c^(n+1) = c^(n+2), or equivalently 1 + c = c^2. That equation has two solutions, phi (the golden ratio, about 1.618) and psi = -1/phi.

Going back to the original problem, we need to express the usual Fibonacci sequence (which starts with 1,1) as a linear combination of the sequences phi^n and psi^n. We just need to match the two initial values by picking the right coefficients, which turn out to be 1/sqrt(5) and -1/sqrt(5), giving you the desired closed form formula.

The above approach generalizes to any recurrence of the form a * f(n) + b * f(n+1) + c * f(n+2) + ... = f(n+k). All such sequences will form a k-dimensional vector space, and you can find k different geometric progressions by solving a polynomial equation of degree k which has k roots. All other solutions will be linear combinations of these geometric progressions. (There will be complications if some roots coincide, but it can be worked out.)

To me the whole chain of reasoning feels very natural and almost inevitable. If I didn't know anything about Fibonacci numbers but had a good grasp of popular math, that's how I would approach the problem right away. Does that make sense?
I so hope that some day there will be a widely available wide angle version or easy-to-plug-on lens of this.

Also an official multiplexer would rock so one could connect more than one camera to the Pi.
But the human brain was shaped during a time when nights were dark and full of terrors, Rattenborg says.

Lol, Game of thrones quote.
The main improvement HN has over Ars for me is simply threaded replies. It's been relatively old fashioned for a long time now, but it makes a huge difference for having actual conversations.

Although I must say, the technical content on Ars has slipped a bit in the last few years. The science content is still OK though. Hopefully that's not just a reflection of my relative ignorance.
But who has more bots following them?
Console.log() with css styles
UK government wants to punish online pirates with 10-year jail sentences
Can confirm anecdotally that this is true for me - although this seems to be specific to cases where it's somebody's home and not a hotel room.
Are you sure this is the case?

AFAIK all modern diesels are based on electronically controlled common rail which was originally designed by FIAT, even if it ended up being licensed to Bosch.

What I mean is, probably all the european auto industry invested in diesel at a time when gasoline was considered a lot worse than diesel in terms of pollution, and taxation greatly favoured diesel vs gasoline in terms of fuel price.
https://lh3.googleusercontent.com/-7hSqaTXCoMs/UHW3hRRyGcI/A...
Two solutions:

1. Make certain articles freely available. They're not stupid--they can figure out which ones will draw people in.

2. Do it LWN-style: the current week's edition requires a subscription, after that it's free. If it's well-written, people will pay to not be a week behind.
Innovation versus technical debt
>For example, the article posted the other day about suicide in Greenland wouldn't have been posted here years ago.

Really? Top articles from 2 random months in 2010:

http://www.economist.com/node/16636027?story_id=16636027

http://www.damninteresting.com/the-american-gustation-crisis...

http://archive.boston.com/bigpicture/2010/08/russia_in_color...

http://www.slate.com/articles/news_and_politics/dispatches/2...

http://www.nytimes.com/2009/05/12/science/earth/12suburb.htm...

http://mentalfloss.com/article/18692/he-took-polaroid-every-...

http://ruhlman.com/2010/09/so-you-wanna-be-a-chef%E2%80%94-b...
It also makes #2 above hard in practice. You simply don't know when to block. That's one of the reasons Linux developers are, shall we say, conservative with regards to the entropy pool.

On a recent Linux environment those problems are solved however. Use proper random drivers for your virtualized environment and use getrandom() in your application.
You are not a small man, just human.
You can use two cameras with the compute module. See https://www.raspberrypi.org/blog/real-time-depth-perception-...
Capitalism. I laughed hard when Uber left Germany because they were clashing with regalatians.
Most adults give up on maths around the level where the amount of symbols start to grow, or slightly before (to be clear, I'm not claiming notation is the only cause of this - it certainly isn't, but it does mean we really don't know whether most people would manage to pick it up; personally I think it is a major factor in making people struggle with maths).

For my part, the notation was certainly part of it. It matters. I used to love maths but I started finding it impossible to read even as the concepts were still easy enough to understand. I'd write things out as programs instead to understand it without being hampered by the notation. I learned symbolic differentiation that way, for example.

But I quickly realised that this basically closed maths off to me as a viable subject, and I opted out of all optional maths courses other than boolean logic for my CS studies.

I get that for those who find mathematical notation easy to work with, it seems indispensable, but don't underestimate the amount of people for whom the notation is the barrier that basically makes mathematics inaccessible.

I've picked up quite a bit of maths since, but always by understanding the concepts through code rather than trying to parse mathematical notation.
There's a silicon doping attack for CPUs which makes them impossible to verify with current verification techniques (as far as I understand). The idea is that if you dope the silicon in the circuit you can change the circuit and it's not possible to figure out if it's been changed through forensics (x-rays, etc) or just using it (sufficiently clever backdoor). I'm unsure if FPGAs are vulnerable to this attack (though I've heard they might not be). This is the paper: http://sharps.org/wp-content/uploads/BECKER-CHES.pdf
With 10 slaves IN the house, taking care of cleaning and everything?

At most they had to handle "administrative" tasks for their estate.

Hardly work compared to what people (slaves or not) did at the time.
Minecraft, Enhance :Using Neural Networks to Upscale and Stylize Pixel Art
Some manfs were cheating - they increased tire pressure to levels that would be dangerous on roads, for instance.

Some manfs were building to the type approval test, but not for real world driving. A car needs to accelerate from 0 kph to 100 kph over a certain time. Normal road drivers would accelerate faster than this test, and acceleration is when the vehicles emit a lot of stuff. The tests are run on engines at their normal operating temperature. So cold engines are allowed to emit more stuff to protect the engine. Many engines in real world use would be at this cold temperature.

The US has particularly stringent testing, and it might not be possible to meet those tests. They should probably have done other stuff to reduce diesel vehicles - taxes and duties on the vehicles and the fuel, with exemptions for commercial operators.

It's clear now that manfs build to the test, and that type approval testing needs to include better real world driving testing.
> If you aren't paying us then fuck you.

Every customer starts out not paying you. What a great way to attract new customers....
/r9k/ can hook you up.
Passport.
Discover used to offer this. Linked to a separate subdomain and used a Flash applet to generate the card numbers. Then after a couple of years they cancelled it without explanation.
Kept getting bills every month even though I had cancelled and I was supposed to be on the free for life plan of 200MB. The representative acknowledges it was their fault every time. They removed the item from the bill every time within fifteen minutes of me dialing.

Then I changed address. They might still be billing me for all I know.
There are plenty of smartphone apps that do this as well. I use Sleep as Android [1] and my anecdotal opinion is that it helps me wake up in a better mood and without trouble keeping awake.

[1]: https://play.google.com/store/apps/details?id=com.urbandroid...
Perfect setup for a conspiracy thriller: she appears on Bloomberg and mentions that Americas biggest problem is not health insurance but health care cost. The cronigarchie takes notice, swivels its massive canons and starts firing at her for the past six months. Epic. Even the NYTimes, who has been - ironically - somewhat at the forefront of investigating into medical billing fraud, still wonders if 'there is truth to her technology'. Let's see how this unfolds.
Have HN comments gone downhill?

Well dang, who can resist weighing in on that one? :)

The problem is that a crowd of 100K is just a different animal than a crowd of 5 or 10k. I noticed sometime in the first few years that I couldn't say much of anything without somebody misunderstanding me -- or getting offended. So then I spent a lot of wasted time either 1) writing comments the size of the Titanic, or 2) responding 43 levels down to help define what the definition of "is" is.

One of the things I used to like about the old HN was that it was startup focused, but open-minded. We'd post all kinds of stuff, but at the end of the day the conversation all came back to "And what could we do right now to help fix that?"

Now the conversations just spin off along traditional lines, the same as you'd see anywhere else on the net. (Admittedly, the mods make it much nicer than most places)

This relates directly to the "Friends" story now on the front page. I'd rather belong to a smaller, more focused group, one that shared my interests (but not my opinions, problem-solving methods, or worldviews) I find this is both better for me and for the discussion as a whole.
Is There a Ultimate Bitcoin Safe?
How would you distinguish decisions that were freely made from decisions made at random?
I certainly don't condone making it artificially difficult for people to cancel, but there are several reasonable points against accepting some random e-mail as cancellation. It's not authenticated or tamper-proof, for a start. There's no proof of whether or when it was actually delivered. It probably requires a real person to read and act on it, which may delay things like cancelling any recurring payment process, possibly beyond the point where more money has been spent.

For any subscription services I run, if someone mails us asking to cancel, we normally direct them to the on-site cancellation process. This does use all our normal security and log-in procedures, and is fully automated and can be used in moments at any time.

However, if someone did not cancel that way (or in one of the other ways we allow for in our terms) and just blocked their payment, we would be well within our legal rights to take action to recover the money they owed us. In practice we're only charging a small amount in these cases so we'd probably just cancel their service when payment didn't go through, but there is no guarantee any other business would make the same decision, so your strategy is risky.
The manufactures were required to "pass" the tests. They did. The tests were not fit for purpose. Fix the tests or GIVE UP. You will NEVER get the manufactures to act as moral entities -- they are amoral. They are profit machines and are required by law to be that way. The comparison to aircraft manufacturing only works if you are arguing aircraft manufactures and industry bodies design and implement similarly stupid tests -- they simply don't. Failing aircraft parts cause readily identifiable deaths, NOx requires large scale, organised statistical inference, which, lo, is also in the laps of the regulators. Sound, impartial, rational testing is the only way to improve the current situation -- I would argue the current situation is none of these things and was stillborn as a regime.
King under the mountain: Building Colorado’s Cold War command centre
Things to Do After Installing Ubuntu 16.04 “Xenial Xerus”
sudo curl -u USR:PWD http://kparc.com/download/k -o /bin/k;sudo chmod +x /bin/k

No. No, no, no! Bad developer, bad!
Is that sarcasm or a genuine call to action? By Poes law I have no idea.
I use Neovim, just because it works for everything and I can replicate my setup anywhere with a git-pull and ./setup.py. The real benefit of vi-like text editors is that they solve all cases where you need to edit text. They're as good for composing emails as they are for writing code. All IDEs have always fallen short for me in the general case, and I don't like having different editors for different types of text, vim works for everything I need and I can use the same bindings no matter what the text type is.
It's basically the approach Uber takes. When they enter a new market they pay drivers more and keep fares low to develop both sides of their business. As they capture that market they decrease driver compensation and increase fares.
Ah, the good folks at meclabs and their CEO, doctor Flint, phd, who lies that he has a phd.
With 10 slaves IN the house, taking care of cleaning and everything?

Exact numbers aren't easy to come by, but at least based on numbers I've found for North Carolina[0] it seems that the majority of slave owners owned less than 10 slaves in total with 2-4 being most common number of slaves slave owners owned.

Now obviously the slave owners work and working conditions was absolutely and obviously trivial compared to that of their slaves, but that is hardly the same is not working. My is working conditions are probably far more comfortable than that most of the plantation owners, but I still claim to work for a living.

[0] http://www.learnnc.org/lp/editions/nchist-antebellum/5347
On their main website they also have an overview of the used technology: http://www.eyeos.com/en/eyeos/technology#clienteweb
I'd recommend i3 if you want a window manager that you can navigate with just the keyboard. I only ever have two things open in my i3 setup: a browser and a terminal. I might have VLC open if I want to watch a movie while working, but that's all I need and you can navigate everything with the keyboard (I use vimperator).
The HN stereotype or how I see HN referred to from the outside is that we're a bit of a Silicon Valley, startup, hipster clique.

(Not necessarily agreeing with that.)
When you think about it though, it's unlikely she nominated herself for the award or asked for it. Can we really hold someone accountable for another group of persons' actions?

With that in mind, I briefly researched the 'Horatio Alger Award', it's being offered by the Horatio Alger Association of Distinguished Americans, a nonprofit organization. I checked their site and merit of any kind is only part of the story.

As I understood things, when you're awarded the title, you automatically become a member and it's not possible to gain membership otherwise. This prize ensures growth and continuity for the organization, along with potential funding.

I read the 'Become a Member' pdf document from their site and while it appears anyone can be nominated, as long as the nominee is 'on brand' with the organization's ideals of remarkable achievements, the new member/awardee will, in turn, have to support the association in as many ways as possible, either by contributing to the program (activities with an administrative or promotional purpose), AND/OR financially.

The form states that it 'must be completed and signed by the nominee and the nominator. If the nomination is confidential, the form may be completed and signed by the nominator only. By signing this form, the nominator and nominee acknowledge their understanding and acceptance of the responsibilities associated with membership in the Association.'

I think the more questionable thing here is possibly exploitation of the desirability of status and prestige.
Bitcasa pulls out of consumer cloud storage
The question is more how to make 'Have good performance' and 'good crypto'.
It's mostly a tradeoff.
Less than you might think. DC for example is on average 150 feet above sea level. Even NYC is on average 33 feet above sea level. They mostly have to deal with bacements and the subway flooding in major storms.

In general flooding is just expencive to deal with so people build there last. This is also why Katerina mostly flooded poor areas.
> There's no proof of whether or when it was actually delivered

If a real person replies to my mail, it's reasonable to expect that it has been delivered.

They're more than welcome to ask any question via mail or initiate the call in the time I specify (outside of my working hours) - which I wrote. Or they can have an online form to do it as well, just like they did when they accepted my money in the first place.

> we would be well within our legal rights to take action to recover the money they owed us

I don't owe any money, since I told company I wanted to cancel before I had to. That is enough done from my part such that the consumer laws protect me and any lawsuit would be dismissed before I even hear about it.
There is no such thing as a credit score in Denmark. I can be put in a register called RKI, but only if I acknowledge that I owe them money, or the court has ruled that I do.
> I'd argue that most of those are acting like FILO queues anyways, since you typically don't need random access to clothes in a washing machine/from the to-be-washed pile.

Except in emergencies. But I regularly need stuff from the "hanging on the clothes drier"/"in the basket ready to come upstairs"/"in a big pile on the end of the bed ready to be put in the wardrobe" ones.

> but it isn't caching as described in the article,

It's still caching. It's just a prefetch cache - using quiet time to prefetch my clothes for when they are needed very quickly.

> so excellent organization is (probably) the best way to cut down on overall time.

I'm not sure it is. Excellent organisation has quite a write-time overhead. In most cases, the amount of effort to organise everything perfectly is going to outweigh the fractional time saving I'd get on most mornings.

And in this case I'm also not looking to optimise overall time. I'm specifically looking to optimise speed to access it in the morning.

>This is _still_ not caching, since you weren't going to sit down and perform some access intensive operations on your wallet and keys in the morning,

I would be. If I had to go and get my single credit card from the filing cabinet where I keep the rest of them, then go and get my work pass from a "work" pile, my keys from the key box, my coat from the closet, my shoes from the shoe cupboard, my bus pass from my transport drawer, my daughter's school bag from her school-related pile etc, etc.

The author makes it pretty clear that he's talking about caching in exactly this way

"Caching is such an obvious thing because we do it all the time. I mean, the amount of information I get . . . certain things I have to keep track of right now, a bunch of things I have on my desk, and then other things are filed away, and then eventually filed away into the university archives system where it takes a whole day to get stuff out of it if I wanted. But we use that technique all the time to try to organize our lives."

At the end of the day, it's never going to be a cache in the true computer sense of the work - there's not a separate copy being made (except in the case of my keys, where I've got exactly that, but that's more for failover than for caching) - but the idea of grouping things by speed of access in a given scenario rather than by category is analogous enough to caching to be worth discussing.

If you want to call it "locality of reference", that's fine (and the link even talks about caching as one form of it). But one critical factor of an analogy is that it's a reasonably well understood term, and I strongly suspect that a lot more people would understand cache than locality of reference.
Expert C Programming: Deep C Secrets bu Peter Van Der Linden is a classic and must see.(Highly recommended)

C Interfaces and Implementations: Techniques for Creating Reusable Software by David R Handon is another must check out.
"minimum sustainable level" and "absolute marginal cost" are two very different things, particularly in the digital contnt world.
1000-year-old mosque in Kerala allows women to enter its portals
What Game of Thrones shows us about handling criticism
Elixir is trendy because its powerful concurrency model, a lot of experts think that Elixir is the best fit for future multi-core software arquitecture.
We don't have Uber here in my country.

But I find it interesting that almost everything I read about Uber's customer experience is positive. People seem to like Uber rides. Meanwhile, every other news about the company itself implies that it's a tasteless company with shitty tactics. I wonder if it's the ultimate capitalist success path.

Just a complete outsiders observation. I don't personally have a single experience with them.
I don't see how that's shorter than using my dotfiles repo. Plus my dotfiles repo also has my zsh, window manager, tmux and terminal configs: % git clone --recursive https://github.com/cyphar/dotfiles.git && cd dotfiles && ./install.py.
Programming blogs
Agricultural robotics in Japan
The DEF tank is a global thing – ever heard of AdBlue etc?

But yes, the issue is that the US requires dealers to refill them. And also sets a limit for how often refill cycles may happen. And the weight of the tank sets a limit on how large it may be.

The result is simple: Small Diesel cars can’t exist legally in the US.
This page from Land Rover has a good overview, apparently it's a new requirement in Europe (I've also never heard of it before):

http://www.landrover.co.uk/ownership/euro-6-emissions-standa...
It's affinity fraud. She's part of the tribe who invested in her. Not only did they not vet her in any way (because as fellow tribe members, they assumed they knew everything necessary about her already), but she knew exactly what they needed to hear.

edit: and right now, she's clearly frantically trying to come up with what they need to hear to give her even more money. I give her a 75/25 chance of succeeding if she avoids any direct mention of sexism (although slathering on heavy implication), and combines it with an Icarus narrative, a born-again redemptionist narrative (a Jimmy Swaggart speech), and tries to recast Theranos as a charity that was swinging for the fences to reduce the costs of health care to help the poor and our economy. Then, she should show a new, mostly unrealistic medical device concept that if successfully created could reduce the costs of some expensive area of health care 10x. It can't be related to diagnostics in any way, because she'll have to not contest the proposed ban, but instead embrace it.

She can keep that con going long enough to get out of the ban, and go back into diagnostics, hopefully after buying a viable idea (or more than one) from someone who actually knows what they're doing. Going forward, she could still end up running the biggest company in the U.S.. It's super-awesome to be white and rich.

A good partner for her would be Bill Gates, a similarly ethically empty person who has elevated themselves into secular saint status by writing checks.
Ubuntu 16.04 LTS: critical security related package not supported
Top 5 New Flying Inventions