skysight-inc/HackerNews huggingface dataset:
There is such a high demand for this product because it fulfills a great need and requirement to be competitive, but we are being held back by our providers. Our progress, held back due to lack of innovation. Google Fiber will rule the US as soon as it can get rolled out. Cable companies better be really nice and start being competitive. Please bring it to Chandler, AZ.

This article comes to mind, I recently, through normal work, started hitting Cox's 250GB max, I work on games and can easily send 4-8GB per day in assets/code to remote repos. Cringley from 2011...

http://www.cringely.com/2011/07/28/bandwidth-caps-are-rate-h...

This isn’t about capping ISP losses, but are about increasing ISP profits. The caps are a built-in revenue bump that will kick-in 2-3 years from now, circumventing any existing regulatory structure for setting rates. The regulators just haven’t realized it yet. By the time they do it may be too late.

Most U. S. broadband customers don’t get anywhere near that 250 gigabyte cap. The few who do hit those limits are big gamers or file downloaders for the most part. Maybe they do take unfair advantage of the system, but the question is whether this is the proper way to control their consumption? I don’t think it is.

In time we will all bump into these caps and our Internet bills will suddenly double as a result, circumventing competition and ending a 15 year downward broadband price trend.

ISPs win, we lose.

Unless there is competition. Bandwidth is as needed as roads, shipping, airplanes, etc to business and economies. This is an anti-competitive hostage situation we are in in the US. This is also anti-small business as many are run from home offices and co-location etc.
> This is like complaining that you need to write an application essay to get into college. "But I'm not going to be a writer..."

If my application essay was graded for spelling, grammar, sentence construction, complexity, and other features like I were writing for the AP English exam, I would agree completely with that statement. However, the purpose of such an essay is to communicate why you will succeed in your studies and why the university should admit you. Yes, it takes a minimum level of writing proficiency to do this, but that should be secondary to the message. If you are a university admissions officer who is grading essays on proficiency you should be fired for not doing your job properly.

> If the company is awesome, just suck it up for a day. Once you join you can try to change the interviewing process.

Which just perpetuates the system.

> I think the thing most people don't realize is that these traditional "interviewing" techniques (like whiteboard coding) are just what gets you in the door. Your real interview starts on day 1, and if you don't perform at the real task, you'll be asked to leave.

Then why the hell are you doing them? Just randomly choose a resume that has enough buzzwords and make that person an offer.

> Writing sorting algorithms is like tuning a guitar. It's true there exist people who are good at tuning but actually terrible at playing (ie: good at puzzles, but lousy programmers).

> But there are few, if any, amazing guitarists who can't quickly tune an instrument. It's a signal.

Writing sorting algorithms for a software developer is like tuning a guitar for a musician. Both are broad terms that cover a number of specialties. Most specialties of software developer can write efficient sorting algorithms, but some can't because they have no need to. If you want to hire a guitarist, advertise that you are looking for a guitarist; don't advertise that you are looking for a musician and reject everyone who isn't a guitarist at the interview stage.
Streaming Fuels Growth for UK Recorded Music Industry
I agree, this is completely lame until Google can serve the western tech capitol, San Francisco.

SF High Speed options:

Comcast. Max out at 100/10.

Sonic offers fiber in certain blocks of the Sunset, but are deploying painfully slow.

I have an ATT U-Verse box permitted to install on my block but it hasn't happened yet, and I'm not thrilled with ATT.

Monkeybrains requires LoS to Sutro tower, and permission from the building landlord.

Webpass requires at least 20 units in a building.

Google remains the only hope; build it, TAKE MY MONEY.
Nokia Treasure Tag: Never lose your valuables again
A CS prof I had held the position (in grading his tests - perhaps not generally) that "a proof is anything that convinces me you could write a proof". The program, along with an output saying "true", would seem to suffice under that metric.
This seems to be but a first step - it's currently limited only to calls of the form `Article.find(id)` and `Article.find_by_xxx(value)`.

e.g. `Article.where(xxx: value)` or `Article.where(xxx: value).last(3)` will not benefit from this improvement yet.
I'm not a physicist, but my understanding is that there are two ways a wireless photon-based energy transmission system loses energy in transit.

First, each molecule has a specific set of frequencies where photons are "easy" to absorb because they correspond to transitions between quantum states. Any system whose goal is to deliver energy wirelessly through the atmosphere will obviously not use those frequencies.

The other way for a photon to lose energy to the medium it's traveling through is, if the medium contains molecules like water that have different parts with positive and negative charges, the electromagnetic wave will move the differently charged parts in opposite directions. The energy to do that is lost [1].

[1] "Lost" is an application-specific notion. This mechanism is also how a microwave heats food, and in this case the energy imparted to the water molecules in the food can't be considered "lost" because it's supposed to go into the food!
Very strange to have a programmer culture that is afraid of thinking about performance.

It's treated like a hobgoblin.
I don't really think answer #2 is aimed at lurkers, but rather people who contribute edits for their own gain rather than to be helpful.

No need to get upset, move along.
"Exercising for 30 minutes a day doesn't necessarily offset the hours of sitting."

A number of articles about the dangers of sitting have made headlines since at least 2010. But none of them — as far as I can recall — have said that exercise doesn't counter the affects of sitting for hours at a time.

It will be interesting to look at the actual research and see how this notion impacts what has previously been touted and widely believed.
It might work, assuming the building can support multiple cable providers (e.g. it's not all just 1 trunk from CableCo), but it would cost more in equipment. You would need to convert the fiber to coax (maybe with an intermediate step of ethernet), and then the customer would need a modem to convert from coax to ethernet. It'd be a pricey installation and continual maintenance of hardware.
I should take a day off work, go get mis-measured and stressed out due to the poor interview style, get hired into a job I cannot do, and get fired because you mis-measured me.

No. Thank you, but no.
So how would you solve his "issue"? (Assuming that you have understood his problem at all.)
It's a certificate output by a SAT solver. More, you can't guarantee that there wasn't a bit flip caused by a cosmic ray. Verifying the hardware and software isn't enough.

And yes, the whole question is to ask to what extent we can trust this. Personally, it's just as likely that a human proof would have a subtle and hard-to-find error, missed by all the reviewers.

All the popular articles are claiming this humungous output is a proof. It's not a proof, it's a certificate from a SAT solver. There's a difference, and most comments people are making based on the popular accounts are misguided.
I guess that cancels out cities and suburbs that have underground power lines.....
Yes, HN has ruined light grey on white for me as I tend to see it as a downvote. Seriously, I'm not being funny about that - I have begun to perceive low contrast light grey on white as something suspect.
Because there's no real problem with having a 1.5MB glibc on a server or desktop OS, and glibc is quite a lot more featureful than the alternatives. Many lack locale support, nsswitch, backwards binary compatibility and various minor bits and pieces that breaks existing applications.
No they don't. Only out east. I'm on Shaw. No caps.
Great Algorithms that Revolutionized Computing
Ok, that's our disagreement then. When I buy internet service, I and 99.999% of customers are trying to buy a dumb pipe. That's what it's marketed as, that's what the provider tells us we're buying.

I'd consider a patchwork of different providers with the same problem ("well, sprint has fast netflix but comcast has fast amazon") to be just as much of a market failure. That's bringing huge distortions to internet business, whether or not there's a monopoly on the last mile.

How about if we split it like so?

* Content-neutral QoS and prioritization isn't a market failure.

* Throttling netflix because they strategically threaten NBC (owned by comcast) is a market failure.

Would you agree with that sort of categorization?

How about the following?

* Throttling whichever service your customers are using the most so that you don't have to provide the bandwidth you sold to them under a contract, also a market failure.
The steam pipes that blow up every couple years are the unexploded bombs.

http://en.wikipedia.org/wiki/New_York_City_steam_system

"At least 12 steam pipe explosions have occurred in New York City since 1987."

http://en.wikipedia.org/wiki/2007_New_York_City_steam_explos...
> Pundits tell me nobody wants that, see Windows PCs, tablets, phones are servers. Right? </sarcasm>

People don't want the same user interface for phones, tablets and PCs, but they are likely to want access to the same underlying services. Especially if that means you can share access to data between different form factors seamlessly, without going to the cloud. Write a document on keyboard, then take your phone off to proof-read it on the couch. Receive an email while you're away from home, start writing a response, when you get home finish it using a keyboard and full screen. Download a PDF on your desktop, and then a week later while you're on the bus, or at work, remember it, and be able to read it straightaway. All your documents, bookmarks, open tabs, music in one place. Only one location to back-up. And so on.

I think it'd be useful.
East Portland is wired up with Fibre backbone DSL from Century Link. Its $30 a month for a connection that's roughly 40 mbps down / 15 mbps up. I generally get 4 megabytes a sec downloads, and my friend who lives south around Holgate and 65th sees about the same. No data caps that I'm aware of either.

Its faster than Comcast's two lower tier internet packages. I've heard North Portland isn't as lucky but its certainly worth checking out.

Also various complexes around town are already offering FiOS.
Do you have any evidence for the claims in The Value of Cultural Interviews? Because, to be honest, I looked at your Careers page and it made my skin crawl. Everyone looked the same, everyone was in the same age demographic, everyone had similar hobbies, you want to be their family (I have a family, thank you, and I work for you to do something interesting and to support my real family).

More to the point (yes, I worry that I'm not being pointed enough ;) ) I have worked with plenty of people that weren't a 'cultural' fit with me, and we did great things. So, I have evidence in direct contradiction of your claims.
Hmmm ... from the features section: https://zenpayroll.com/#features "Administer medical insurance, HSA, FSA, IRA, 401(k) and other pre-tax benefits through our integrated benefit partners." and "We help you set up a workers' compensation insurance plan that works best for you."

I'm sure you could also contact them for more information ...
> More, you can't guarantee that there wasn't a bit flip caused by a cosmic ray.

Hmm. Are bit flips from cosmic rays more likely than a human making a mistake verifying a proof, or even a large number of humans making the same mistake?
Start looking, the worst thing I did in my 20's was doing the same thing over and over for years. Yes, you can learn on your own and grow - which is a must, but doing interesting things is absolutely important to keep your passion alive. At the same time, make sure that you are communicating your concerns with your manager/ceo and don't put yourself in the position where you become a volatile hire.

I was once told, a squeaking wheel always gets greased.
>We’re asking cities to ensure that we, and other providers, can access and lease existing infrastructure.

This is probably my favorite part. They're not just trying to get special privileges for themselves, they are trying to level the barriers to entry so that there is actual competition in this space.
> The more antennas the fewer spots with unwanted constructive interference.

Yes, true, but the entire system becomes more complex for a small improvement in performance. Also, most of the theoretical work in a scheme like this would focus on the least common denominator, which is three antennas.

Interestingly, for a roughly circular array of antennas, you end up with concentric rings of high signal strength as you approach the midpoint of the array. So even the thesis that you've eliminated unused hot spots breaks down in some cases.

Here's my diagram for three phase-controlled antennas (the blue dots):

http://i.imgur.com/tyyVh0j.png

The wavelengths in this diagram are longer than for a cell system, it's just to show how this idea works. Buy adjusting the phase at each antenna, you can move the high-strength lobes around to match up with the location of a given device.
I live in Tucson now and I'm paying $70/month for 50 down / 10 up, but that's for residential. Commercial lines are horrible; $99/month for 10 down / 2 up.
The Guns N Roses School Of List Building
This is just _awesome_.
With Funding From BMW And Khosla Ventures, InstantCab Rebrands As Summon
If they're really pushing for compliance, it'd be nice if they'd open the system up to some database monitoring tools like those from Imperva SecureSphere, IBM Gardium, or BeyondTrust PowerBroker. My company keeps wanting to put SOX data in Google SQL, but auditors keep slapping the idea down.
This article really creeped me out until I got to this sentence: "It’s clear that governments all over the US lock up way too many people — and have done so for decades. Having representatives from a police department visit high-risk people before those individuals have committed a crime is better than the alternative."

...and suddenly I'm questioning my knee-jerk reaction. There is a very valid point there, and I'm no longer sure what my opinion is on the matter. Interesting.
That calls bitcoin a 'virtual currency' and treats the crime as securities and mail fraud. I wouldn't call it a shining example of the government attacking bitcoin.
Gasp ☺ That was even more awesome than I thought it would be. Thank you indeed.
I'm on telus. It's 60 bucks a month for 6gb of data + phone/text ect.
ZenPayroll rocks. Grow to more states faster guys, we have a distributed team :)
I've ran two hackathons, and I keep turning back to bottle.py + mongodb on Heroku. It's the fastest to spin up and modify by a long stretch.

Give MongoDB as much gruff as you want for whatever reason you're predisposed to hate on it, but it's IDEAL for a hackathon where you just want to get stuff done.
Aww. I guess let me know when you're open in the UK.
These theorem provers receive as input a high level computer program that describes how to generate the proof and output a low level sequence of logical steps. I think looking at that high level input is going to be more helpful then trying to reconstruct it from the output.
have you seen the rent increase graphs; they're in the process.
Yes, although brute force would be "simple AI", but the basics of AI nonetheless.

One of the many "classic" problems given to students of Artificial Intelligence is the 8-Queens problem: http://en.wikipedia.org/wiki/Eight_queens_puzzle#Exercise_in...

It is a short step to go from "8-Queens Algorithm Design" to "8-Queens Logic Programming", and from there automated reasoning. After all, Logic Programming is purely based on automated reasoning using Horn Clauses. It just so happens to be one of the most optimized forms of automated logic, fast enough to be a general programming language (Prolog is one of the easiest languages to solve the 8-Queens problem)

Automated Reasoning covers new tricks, like tree pruning, different logic systems or methodologies (Tableau Logic)... but no matter how complicated it gets, it all comes back to the same methodology. Its simply a glorified search algorithm, defined over some space. (Prolog at its core is nothing more than a depth first search over the horn clauses specified by the programmer)

For an example that clearly demonstrates the search, here's a Wikipedia link to Tableau type automated reasoning:

http://en.wikipedia.org/wiki/Method_of_analytic_tableaux#Sea...

And of course, the Automated Conference on the Tableaux Automated Reasoning methodology:

http://en.wikipedia.org/wiki/International_Conference_on_Aut...

The "Art" of Automated Reasoning is not in the search methodology (which is almost always just depth-first search + heuristics), but in how to define those spaces. Horn Logic, Tableaux, First Order Logic / Resolution Rule, etc. etc.

So whenever a new "search space" is defined to solve a practical problem, it is always of great interest to the Automated Reasoning community.
I don’t see how you have inferred a fat controller and skinny model from my description. In fact I use the terminology of interfacing to describe what others here have interrupted back into MVC terms as a controller. That should be an indication as to the extent of its role i.e. not that large

My action layer is definitely fatter than the usual model because it does all the real work (that which persists) associated with a particular request. You could argue it is equivalent to involving several of the traditional models. I think it might also be fair to state that this represent an absence of architecture in that particular area and I would agree but there is nothing to suggest that you couldn’t create models with the action layer if you felt it was useful. Strictly speaking I’m against that sort of thing until I see a good case in front of me why I should do it. Writing queries is not so bad that I want to put something in front of it to automate it
Google I/O announced for June 25-26
Only if the number of zenpayroll employees willing to live in that neighborhood > number of available apartments in that neighborhood
EBay Acquires PhiSix To Integrate 3-D Virtual Try On Technology
We have Sonic DSL as well (with significantly better customer service and uptime than AT&T or Comcast).

That said, I'd definitely be happy to 'cut the cable' with Google Fiber in Palo Alto. There's already a bunch of dark fiber spanning the city, Google Fiber is already active in adjacent Stanford property, the residents are (in general) willing to pay for quality service, and the city is not so large as to make the project untenable.

Of course, Palo Alto has a long history of community / municipal connectivity projects with mixed success, and a notoriously-fractious decision making process, so nobody here is holding their breath...
Yep, it'll never happen.

Except where it did before the State stepped in to ensure Comcast/TWC didn't have competition.

But other than that it'll never happen.
> Java 8 is basically "close enough" to "The Good Parts" of Scala

Ehh ... not really. And I honestly don't see the gap between Java and Scala closing. It's widening at a frightening rate.

Java's warts are far worse than Scala's warts. So I'm not seeing why that should be a point either.
Amazing 13 year old boy with an incredible voice
Is caching taking performance seriously? The cache everything approach keeps people from asking "What is it doing? Why is it taking so long when I'm only doing X, Y, and Z?"
Designing a responsive form, 20 inspirational solutions 
Forms are one of the most common elements on the Web, without them the conversation is only going one way. Forms are used for purchasing, contact, and so much more. It’s vital that the forms you produce are equally functional across the full range of devices, from smart phones to desktops. Mastering the art of making these types of functionalities small yet user friendly can be a task.Today, we’ve found a few responsive web sites that do a great job in keeping their forms both intact and useful not just on desktop, but on mobile too.
Serving 403s to w00tw00ts is for casuals. Face those leet haxors!
Ah, you intend to keep them photons. I had been imagining converting to electrons and running down cabling attached to the elevator cable. The other approach might very well be better, but doesn't really require a space elevator does it?
Show HN: Use email as Web Portal 
I want to do as many things as possible in email, which is simple and cross platform. So I built Snipek:

http://snipek.com

Basically, you send command to i@snipek.com, and Snipek replies to you the things you request for. It's just like browsing a web portal (e.g., reddit, yahoo, ...), where there are many channels (e.g., news, sports, tech, ...).

So, with Snipek, you can do these things right in your mailbox:

- Read Yahoo news, TechCrunch, hacker news, reddit, and re/code.

- Read well-formatted articles from any web page.

- Use twitter.

- Check stock price, and weather.

- Take notes, and mange notes.

Of course, it's not perfect. There are bugs and lack many functionalities. But I use it everyday myself and keep improving day by day. Just want to simplify life in my mailbox.
> Writing sorting algorithms is like tuning a guitar....
I know it's not meant literally but, I play guitar and write code. I couldn't play the guitar without having to tune it, so yeah, I can tune a guitar quickly by ear in order to play it, but I can only remember one instance of writing a sort algorithm - it's just not necessary in some domains.
Wow, I didn’t know that. Then this move by HP makes even less sense.
It is pretty well established that people will do what they think about doing. But it doesn't follow that if you consciously think more about something you will do it. That is, people who think about food all the time get fat, but people who will themselves to think about being thin don't get thin.
It's redditgifts.com. Doesn't look like they're hiring for DevOps at the moment, but they are looking for devs (among other things): http://redditgifts.com/jobs/
If one human makes the mistake, it's probably because it's a mistake that humans trained in this field are likely to make. Mistakes are not independent in this sense. Also, the number of humans capable of an in-depth analysis of the result is small, and they've mostly all got the same training, so if there's a subtle mistake, it's one to which they are all susceptible.
I agree. This reminds me of an anime (Kaiji [1]) that conveys this idea in excruciating form, and in particular highlights the converse of your positive thinking: that negative thinking results in often-debilitating myopia.

[1] http://en.wikipedia.org/wiki/Kaiji_(manga)
A Positive Spin: Can Bubbles Support Tech Education?
I recently had to restore a 500GB cloud backup over Cox. I called them to ask if they could give me an exemption for one month, and not only did they refuse, but they could not honestly tell me what would happen if I went over the cap, except that I would get an email about it and my Internet "might slow down".

I work from home, and can't afford any degradation of service, so I've been doing the restore piecemeal and checking https://myaccount.cox.net/internettools/datausage/usage.cox every day. It's annoying but doable.

What happens to you when you hit the cap?
#PricelessSurprises? They'll cost you