skysight-inc/HackerNews huggingface dataset:
Hello, I'm not the one who made it, just found the idea great and felt like sharing it here. you can contact the "maker" on Twitter if you want to share your thoughts: @jeremyrieunier
Well, if/when such a battery exists it's likely the producers will use them to store energy at that time rather than offering the electricity at a negative price.

The whole reason of this negative pricing is that today, the grid can't store energy. When the tech becomes available, I don't see why the grid wouldn't use it.
If the no lower prices thing is true, how come comparison engines like triage have such wildly varying prices? Are different bookers taking hits on their margins to drive business?
We do p2p communications. A big issue is network interruption. Somebody walks around with a laptop or mobile device, roams, link broken and a gap in your experience as it scrambles to reroute. Or somebody else in the house starts to use the network, and your negotiated link drops available bandwidth/congests.

If its free or just for fun, then yes you can go this route. But people paying for an experience are, in our experience, intolerant of any interrupt or quality drop.
Algorithmic correctness is probably less interesting than the presence of side-channels nowadays, and that's far, far, far harder to model.
Raintank looks really cool, do you have any early details about when it will launch or the price ranges?
Who/what exactly is a futurist?
The main difference with the solution the article describes and Popcorn time is that the former can be used by the online broadcaster for their own videos and integrates seamlessly in their webpage, whereas for Popcorn time you need to install the soft, and can only download torrents.
Hey, utilities are often run by public-spirited folk with no greedy agenda. They make decisions that are aimed to balance the needs of the many, which can appear to be against the wants of the few.
According to Forbes, hotels represent 97% of Priceline's revenue with 23% margins. Car rentals and cruises represented 9% margins and airlines at 3% margins.

Assuming Expedia and Orbitz have similar profiles, then this is really a market share fight to capture the largest pool of hotel transactions.

http://www.forbes.com/sites/greatspeculations/2013/01/10/bre...
"What might really suck though is if everyone has one of these in their homes, then the price advantage will go away. Not a bad problem to have,"

I like that because we could really use some more resiliency in our infrastructures. A legacy of the 20th-century love affair with centralization is that it involves mass-creating single points of failure. Having large-scale, distributed, significantly-sized, low-maintenance energy stores is good for all sorts of corner-case scenarios.
I think it's worth giving Elon Musk the benefit of the doubt. It seems pretty likely that he'd consider these problems before moving forward with a product.
Possible unconventional computing techniques of the future
> -- residential/mobile internet service has asymmetric upload/download speeds.

> -- ISPs are suspicious of heavy uploads originating from residential homes and could be flagged as "servers" in violation of ISP's TOS or reclassified as "business tier pricing" thereby increasing the billing amount.

Yes, but ISPs would love to join with p2p to reduce their upstream bills. There are 2 problems currently. First, there is no single protocol or system so maintaining one cache box for each system is crazy (YouTube/Google, Netflix, HBO, Amazon, Hulu... all proprietary). Second, even though there could be a payoff in the long run with savings, there's no immediate payoff for setup.

This could all be solved with a standardized protocol and system. But sadly the big bodies, in particular IEEE, are a bureaucratic mess and filled with industry sponsored members.

Internet is going backwards. Something's gotta give.
Who uses Priceline? Do they have any other brands besides their main one? I always thinking of them as that "name your own price" thing, the mechanics of which never appealed to me.
How long will that $1,500 battery power my house? It's still not possible to beat hydrocarbons in terms of energy density, and if you are looking to weather a multi-day outage, it's energy density you care about...
LinkedIn tightens grip on developers
As of this time last year, they were slowly migrating from a P2P platform, to only using centralized servers.

However, I do not see much information on this topic other than what was posted nearly a year ago.
Absolutely. People have been installing batteries like these in their homes for quite a while now. Southern California Edison has been rejecting and even threatening to disconnect people with battery backups [0]. Their argument is that people with batteries can charge them during low load periods (normally night) and then push that energy back on to the grid at high load times (evening/morning) to make money. The article says Tesla is in talks with many utilities so hopefully they can get a good deal worked out.

This could really help wind and solar if these battery packs are cheap and utilities allow them to help regulate the power grid.

[0]: http://www.renewableenergyworld.com/rea/news/article/2013/08...
An employer-employee relationship is inherently authoritative. It is literally an arrangement wherein the employee agrees to do as the employer commands, in exchange for an agreed-upon amount of money.

The non-authoritative equivalent would be offering a bounty for the desired work, or granting a patronage gift to members of a development team, in the hopes that they produce something pleasing to the patron, and gift it in return.

Such arrangements are practically nonexistent, because most businesses prefer to be authoritative.

The modal corporate structure is a command hierarchy, wherein the board of directors selects a chief executive, who commands the other C-level executives, who command their middle managers, who command their floor managers, who command the workers. This is so common that I don't even know what sort of business structure is next when ordered by frequency. Per-unit payments to qualified independent contractors? Employee-owned co-op? Municipal utility managed by elected citizens' board? I have no idea. Practically every company I do business with is a corporation with a command hierarchy, where every command potentially comes with an expected value calculation including the cost to issue it and the expected revenue if it is obeyed.

I uncertain as to what confusion of ideas led you to believe that an employer-employee relationship is non-authoritative, but I think that you may be presuming that having choices is the same as having freedom. It is not.
Or, in comic format http://www.stuartmcmillen.com/comics_en/rat-park/
I imagine generation and transmission rates will certainly be adjusted to cope with changes in demand and grid topology.
Ah! thank you =)
disclaimer: outside of a quick understanding of what "formal proof system" is, I have no deep understanding of how it works.

It is written there's a Coq->OCaml compilation step. Would it be easily possible to have any Coq->other language (I'm mostly thinking about Rust) compiler ? Or do some properties of OCaml make it much easier (I mean "several order of magnitude") to implement than more 'common' dynamic languages like Php/Python/ruby ?
He is. I was fortunate enough to have him as an advisor in college.
Networks interruptions happen a lot, this is why our system is hybrid: if you didn't have time to get the segment from the peer-to-peer, you dynamically switch back to the CDN to get the missing parts of your video segments, so in practice the quality can't be worse than what you have with the CDN only.
Understanding Qualcomm's Snapdragon 810: Performance Preview
> "1. Review, review, review the presentation"

Not just review, but give it. Talk to the mirror or a chair, and picture yourself actually giving the talk. Reading it to yourself is not as good as actually saying it out loud.

Practice good body language. It's been well studied that having confident body language will actually improve your confidence. When you arrive early: Stand tall, walk around with your hands clasped behind you (a very confident position) and get to know the space. I used to do this before interviews, while other candidates sat frozen in the reception room.

Think of 1-3 main points you want the listeners to come away with. No matter how good your presentation, nobody will remember the entire thing, so be realistic... Focus on a few central points that you want to get across.

Consider acknowledging in the very beginning that it's your first talk and you're a bit nervous. This has the dual benefit of making the crowd less critical and relieving you of some stress.

If you can arrange it somehow, film the talk. (Ask a friend in the audience or the organizer.) Then you'll be able to watch yourself present (it'll be unbearable, but do it!) and learn from your mistakes.

After the talk, approach a few people from the audience (or the organizer) and ask for some constructive criticism. "This was my first talk, actually. What do you think I could do better next time?"
I think people under-estimate the capacity of car batteries, or over-estimate their home power usage. I used about 300 kWh last month, or about 10 kWh per day. A Model S has an 85 kWh battery. I could run my entire house on it for 4 days and still have 150 miles of driving range.
I see. You said "you can prove many functions in Coq terminate", so it seemed you were talking about functions written in Coq.
Is there a legitimate concern for maintenance of the grid? Don't current utility costs partially go back into standard maintenance and improvement?
InterviewJet Raises $750K to Provide Curated Introductions to Top Tech Talent
Chromebook Pixel 2
I've only skimmed the article so far, and flipped through a few other pages on the site. What bothers me here is that they're spending a lot of words and brainpower on a particular drive system for a theoretical starship - Fusion - and I don't see anything demonstrating how, even if they can build a fusion drive with the specified power output that can run for 15 years at full power and meet various other engineering criteria, this will actually be good enough to propel a reasonable-sized starship to another star system.

I found this[0] chart at a NASA site a while ago purporting to say that, given the limitations of reaction-based rockets, a fusion rocket is still nowhere near good enough to reach even the closest star system in a reasonable time. The mass to drive a Shuttle cargo bay sized canister past Alpha Centauri in 900 years using Fusion power is supposedly 1000 supertankers of propellant. That's the closest star system, and doesn't count stopping, much less getting there in under a millennium. Even anti-matter, the best reaction-based rocket we can conceive of, is supposedly wildly impractical.

Given that, I'd like to see some quality calculations on exactly how they plan to get around the reaction mass problem before it makes sense to worry about stuff like materials in high radiation environments, and I don't see anything like that on their site. They seem to just kinda hand-wave it away, as far as I can tell. It seems likely that to build a practical starship, we'll need a propulsion system far beyond anything we can imagine today. Well, more realistically, calculations by people who seem to be qualified to perform them, since I'm probably not smart or well-versed enough to really understand it.

[0] http://www.nasa.gov/centers/glenn/images/content/84509main_w...
This sure looks like pure PR to deflect from the bad earnings announcement yesterday.

I'm sure they'll build it some day, but call me when you can buy it.
I like the idea of having solar cells that charge up a bank of batteries that could power my house at night. I was recently talking to a Solar City rep and they are thinking along those lines.

I wonder if this would be a good time to define a standard low voltage plug for house hold use. An awful lot of modern electrical devices don't need 110VAC and end up wasting a lot of power converting AC to DC. I've seen replacements for wall sockets that combine a single AC socket with a few USB power ports. That's convenient, but USB wasn't designed as a power plug, it's just been co-opted for it. A well designed system of 24VDC or 48VDC would be a nice thing to have. Bonus points if it's a world standard. I'd also like a pony.
I think they'll build them so they make economic sense to customers. I think that would probably mean having more than 1000 cycles, but it could mean being really cheap, or some sort of lease/periodic replacement deal, or something like that.
There are schemes to "unroll" conses, too. CDR-coding, Appel's paper (although IIRC that requires immutable conses), etc.
Ojoo!

25638 phone. I'm slightly saddened that 0hh1 only includes some of the possible deductions. I generally play 8x8 and I've not found a case where a RBR----R type of row requires a deduction about where the R can not be because it would match an existing row. These come up where you have three unknowns in a row, but I think never for four.
The advice I heard was to eat a mars bar. That ain't too difficult.
> What might really suck though is if everyone has one of these in their homes, then the price advantage will go away.

The price advantage may go away. But you would still benefit from it by overall more consistent/lower prices because inflexible (baseline) demand wouldn't drive up prices as much. And there are indirect benefits too. Baseline is mostly supplied by coal and nuclear. Needing less of those has health and environmental benefits which, when translated into $$$ are also non-negligible even if they're not really priced into the system.

Indeed not a bad problem to have.
I suspect this market will be captured by folks not in homes, but in neighborhoods buying things like Sadoway's liquid metal batteries* and either participating in the bulk electricity market directly (fun fact: the markets run by New England ISO and NYISO are run as linear programming problems to minimize total cost over a bunch of supply curves bid in by suppliers and nuclear plants usually bid negative cost to make sure they get scheduled) or providing reliability-boosting service to utilities.

* http://www.ambri.com/technology/
Tesla cars are popular in northern European countries and I imagine these will work along the same lines: active heating of the battery. In the cars the capacity sacrifice is minimal and I imagine stationary batteries will be even better as (like you say) you can wrap them in a ton of insulation without having to worry too much about bulk and weight.
MockupsJar: Beautiful product shots for your projects using our selected mockups
How much money do you want to sink into your power generation / storage / usage rig? You can increase the efficiency at which you do these things, sure, but that doesn't mean it will be economical.
it cannot help that GM has announced they will built the Chevrolet Bolt, a 200 mile range EV. Combined with other articles this car will start building in mid to late 2016.

http://media.chevrolet.com/media/us/en/chevrolet/news.detail...
Not only will the batteries need to get cheaper, but the available arbitrage opportunity will need to account for the necessary upgrades to utility distribution systems to accommodate large amounts of distributed energy storage (DES). DES, particularly at high penetrations, generally violates the design assumptions of distribution protection systems and requires non-trivial upgrades to protective relaying and SCADA systems to maintain adequate real-time control.
Ghostwriting, Content Farms and Google’s 2014 Update
Changes to LinkedIn's Developer Program
Dear LinkedIn developer,

Today we announced some significant changes to our Developer Program that will likely affect your LinkedIn API access.
In an effort to provide the most value to our members, developers and to LinkedIn, we’re restricting our open APIs and providing further clarity about the specific use cases we’ll support. Starting on May 12, 2015, the following uses will be supported:
Allowing members to represent their professional identity via their LinkedIn profile using our Profile API.
Enabling members to post certifications directly to their LinkedIn profile with our Add to Profile tools.
Enabling members to share professional content to their LinkedIn network from across the web leveraging our Share API.
Enabling companies to share professional content to LinkedIn with our Company API.
By May 12, all new and existing applications must focus on at least one of the use cases above and adhere to our updated API Terms of Use in order to access our open APIs. All other APIs will require developers to become a member of one of our partnership programs. For more information about these programs and to apply, go here.

The developer community continues to be a priority for LinkedIn. We want to continue providing tools needed to create great products around the use cases we support. So today, we’re releasing a new Mobile SDK for Android that allows developers to build applications that make it easy for members to log in with their LinkedIn credentials and deep link to view member profiles within the LinkedIn app.

Have questions? You can learn more about these changes on our blog post. A more technical breakdown of exactly what’s changing at the API level can be found in our transition guide and our updated API Terms of Use. We encourage you to review both documents to ensure your applications are supported and to ensure a smooth transition.

Thanks for being part of our developer community,
The LinkedIn Platform Team
Read some of the Chronicle of Higher Ed forums and then come back to reaffirm that statement. For fun, start here: http://chronicle.com/forums/index.php/topic,168931.0.html You can also go down the rabbithole of leaving-academia stories starting with http://leavingacademia.blogspot.com/2014/03/what-you-can-do-... . Maybe academics leaving academia are objectively in a good position to transition to other jobs, but they are in general so psychologically wound up in academia that instead they are desperate and disturbed.
I'm in Chicago, the primary utility offers the real-time plan as an option:

https://rrtp.comed.com/live-prices/

(For reference, the local fixed price default option is around 7.5c/kWh)

Granted, our latitude and climate doesn't offer the best location for solar generation so other things that hang off the grid aren't a huge problem for us at the moment.
What makes random binaries uploaded to GitHub releases more trusthworthy? You still only have a random online identity linked to it. All trust still comes from the context of the announcement posts.
I very much doubt those iOS devices are hooked up to Chinese credit cards. In fact, I bet that they are set up to cycle through a series of credit cards.
NASA JPL and Apache Foundation Explore Space
thanks so much for the feedback! We are actually in the process of optimizing the website, so your comments are right on time. We recently realized we need screenshots ourselves, so, great minds :)

We are always looking for people to try out our solutions and it sounds like you have the right mindset for it. How would you feel about beta-testing the calculator?
When you count in the cost of benefits, retirement, overhead, etc., I can easily imagine a full-time janitorial position costing the university 70k.
Tempo Shifts
Most large hotel chains have a best price guarantee which states the hotel's official website will have the lowest advertised price you can get anywhere else (e.g. expedia).

But, non advertised prices can be lower such as on Hotwire, where you don't know which hotel you are reserving, you only get to choose the price and have to stay wherever Hotwire makes the greatest margin.

If you do find a lower advertised price for a specific hotel, you can usually call their 800# and get it price matched and something extra.

http://www.marriott.com/hotel-prices/travel.mi

http://www.starwoodhotels.com/bestrate/index.html

http://hiltonworldwide.hilton.com/en/ww/ourbestrates/guarant...

http://www.hyatt.com/hyatt/specials/offers/offer-details_hot...

https://www.ihg.com/hotels/us/en/customer-care/lowest-intern...
The huge problem is that outsourced designers almost never "own" the product -- compensation is almost never structured based on long-term conversion rates or future value that the website earns. Even if they do partially own the future results, their up-front payment is far more compelling from their perspective. They have a pre-agreed price, and then they just optimize for portfolio beauty so that they can up their prices on other future projects.

The whole designer outsourcing structure has terribly aligned incentives. You'd be surprised at the percentage of professional designers that have absolutely no clue about conversion optimization [edit: I mean designing for optimum conversions], for the business they're in it's "beauty" above all.
Your Facebook's Power of Attorney
But buying one share of a publically traded company makes it worth number of shares * value of share?
Hey, what you describe what clearly the case with old peer-to-peer systems, but things changed a lot.
With webRTC and ICE/STUN, the p2p connection takes less than 5s on average and goes through NATs in 95% of the cases.
As for the bandwidht issues, it is not a problem as the solution is hybrid and doen't need every peer to be a full seeder.

If you don't beleive me you can always try by yourself, with a Chrome/Firefox/Opera browser : http://demo.streamroot.io
I work for a company that deals with public records data in Florida. The "Government in the Sunshine" laws[1] that deal with access to public records are clear:

>"E-mail" messages made or received by agency employees in connection with official business are public records and subject to disclosure in the absence of an exemption.

and

>Section 668.6076, F.S., requires that any agency as defined in s. 119.011(1), F.S., or legislative entity that operates a website and uses electronic mail must post the following statement in a conspicuous location on its website:

>Under Florida law, e-mail addresses are public records.

>If you do not want your e-mail address released in response to a public records request, do not send electronic mail to this entity. Instead, contact this office by phone or in writing.

That said, there is an exemption for social security numbers, but just because something is exempt doesn't mean that it must be withheld. The body holding the requested data generally has discretion:

>Social security numbers included in an official record may be made available as part of the official records available for public inspection and copying unless redaction is requested by the holder of such number or the holder’s attorney or legal guardian; however, if such record is in electronic format, on or after January 1, 2011, the county recorder must use his or her best effort to keep the social security number confidential and exempt as provided for in s. 119.071(5)(a), F.S. Section 119.0714(3)(b), F.S.

[1] http://www.myflsunshine.com/sun.nsf/manual/5a60474cbfb8dbf48...
People Are Awesome
Only for short periods of time. If you live in an area subject to natural disasters, you'd still want a generator (either diesel, propane, or natural gas) to get you enough power during extended outages to run a refrigerator, a TV, a few lights, and charge a phone or laptop. I was without power during Hurricane Hugo for almost 10 days. Cold showers suck, but what sucked more was not getting any news.
Anyone know of a version that starts with Monday instead of Sunday (on the weeks) ?
The problem is that Linkedin is the best source of data about edges and nodes of professional networks. There was and there is no mass-market alternative. So if you wanted to make an application using professional graph data there was no alternative.

As a long-term linkedin member, I never liked the company. They simply don't care about their users.