skysight-inc/HackerNews huggingface dataset:
> It's to the point where they're charging people for being hooked up at all

That's a completely reasonable thing to do... You're saying you would expect them to be ready to provide electrical service at a moment's notice, 24/7, but you should only pay for the actual power you use, but not for the standby capacity?
One could bootstrap by using 12V RV appliances, with the exception of big items like the refrigerator, range, and washing/drying machines.
Behind the Scenes: Design Sprint with Gimlet Media
Massively so, but that is a losing game.

http://insideenergy.org/2014/08/20/the-solar-challenge-part-...

http://www.midwestenergynews.com/2014/09/02/survey-finds-cus...

But they are unlikely to prevent it. It just means their existing monopolies won't be as profitable in the future.
Is it fair to rely on the fact that there is only a single solution to make deductions?
Top Monitoring Tools That Every DevOps Needs
OTP: The Fun and Frustration of C
Pricelist Gold4 .pdf – PDF Archive
Why not just use one iTerm window for each and minimize the inactive ones or use a separate virtual desktop for each project?
People still have scrapbooks, and for lots of reasons more than that, including simply as a hobby.

It's also very similar to vision boards (actually, I think the similarity is stronger, and may be where the "pin" metaphor comes from).
Nothing else explains ... what about "culture"? "Services" is a bit of a curse-word at Apple. The cool kids at Apple are in product design & UI. If you are top-notch backend/services talent, who you gonna join? Google? Or Apple?
Modern switching transformers are pretty darn efficient. I think it's very unlikely that the losses from converting AC to DC would outweigh the transmission losses you'd get from using low voltage DC (even over the short distances inside a house).
You are probably right. But let me put my "free capital markets" hat on, and I'm specially refering to:

I have tried to have my job turned into a permanent one. The University has turned me down, and told me that giving me a permanent job is against “the strategic direction of the University, Faculty of Science and the Department”. The permanent faculty in the department will not support me because I am a teacher now, not an active scientific researcher.

The University, above anything is a place to teach. Yes, research is important, but above anything a place to teach. Striking the right teaching/research balance, specially in the sciences is difficult. But in my opinion most of the university budgets should go to teaching, and research should be secondary.

If lack of public funding is really the issue for not paying teachers, in my opinion, it's then when public universities should think like private institutons. Sure you can't compete with endowments like Hardvard, MIT or Stanford, but I think that the future of higher education is by finding the right private sector partners to carry out research.
It's not just maintenance. The system as a whole was architected to take advantage of the economies of scale you get when you assume that your customers remain consumers and you control the production. Nobody foresaw back then that each house could be a potential power plant. When you start to change that, you're still having to maintain the current infrastructure, which is steadily becoming obsolete, while also building new infrastructure to handle random power spikes and draws in arbitrary locations. You have to do this across the whole grid, everywhere in the country. This has the utilities very very nervous.
The new USB standard supports up to 100 watts per port, which is sufficient to many applications.

If we accepted 20 amps as the current rating, a 12v ride-on system would offer 100 / 5 * 12 -> 240 watts, which seems low, except that DC, especially if well filtered, stacks in parallel and series much more composably than AC.

The cigarette charger standard plug sucks though, and there's a limited window of opportunity to replace it.
Theoretically? Sure. Practically, when compared to underground Chinese mines full of equipment? No.

The negative price situation only happens maybe 0.5% of the year. Your expensive equipment will sit idle the rest of the time.
PerfKit open-source cloud-benchmarking tool by Google
First X-ray Pictures of Living Bacteria Taken
Nope. They are lending you money (normaly with a huge interest), and taking your privacy and freedom away for free.
The idea that literally wrote history
Gaps in Google Play Store XFO Allow Attackers to Install Malware on Android
> Will the following call still be permitted? https://api.linkedin.com/v1/companies?is-company-admin=true

It's in the new docs, so I guess it's going to stay at least for a while...

https://developer.linkedin.com/docs/company-pages#list_compa...
Wow! Way to go!
In one of William Gibson's books (the first trilogy I believe), there was this idea of companies running algorithms on new product names to check if translated in other languages, the name would mean something NSFW. Just imagine how limiting that would be for marketing people, with so many existing human languages.
Hey, founder of the p2p service described in the article here (www.streamroot.io)

This is exactly what we are doing :) We have have a hybrid p2p model that fetches video segments from others peers as long as it can, and switches back to CDN on urgency cases. And our tracker uses geoIp data, ISP and some network topology elements to connect the best candidates together
As the post I linked labors over, "type" and "type safety" have particular, well-defined technical definitions. There are other meanings, in particular the one you suggest "type as Perl means it" is one, but they don't have a consistent formal definition and don't have a consistent notion of "type safety" so it's difficult to use them except in the regime of a single language.

Now, if we take "type" to mean this formal meaning I suggest then dynamic languages have exactly one type. This is a meaningful, if degenerate, analysis. Within this analysis, Perl has one type and trivially satisfies type safety because type safety essentially means "things don't randomly change types" plus "programs continue to evaluate until they reach pre-defined evaluation stopping points". Both of these hold trivially in a language with one type.

The system you refer to, given again that we're sticking with the "formal type" terminology, is called a "tag system". It exists "below" or "after" the static system which ensures type safety and can indeed induce interesting behavior. But, in particular, it is not an analysis which can be considered complete (in any turing compete language) because it depends upon running the program which can lead to non-termination.

So really the distinction is not "deduction" versus "declaration" but instead "static" versus "dynamic". In general, static types are less powerful but more complete and dynamic tags are more powerful but highly incomplete. To confuse the two is to create a tremendous headache all around.
Miami cops are falsely reporting their locations on Waze to trick drivers
Yeah, that's what I do. I just use a separate virtual desktop for each project I'm working on. I've thought about writing scripts to pull everything up, but I've never taken the time.
Running off-grid solar cell systems has been quite popular in the hobbyist space for a while. There are tons of products and examples out there for DIY installations. These generally use lead-acid batteries and inverters to convert DC up to 110 VAC for your house.

There are already DC power standards used for electronics, too. Telecom equipment commonly uses -48 VDC. However, I expect that you will find that the majority of your electricity is used by motors and other appliances that run directly off of 110 VAC.
You are thinking from a large scale, profit-driven perspective.

The early adopters for this, at least in residences, will be people living off-grid, focused on self-sufficiency, and who are willing to take a financial hit to achieve that goal.
Software Foundations
http://www.cis.upenn.edu/~bcpierce/sf/current/index.html

To my knowledge it's the most accessible book/class/tutorial on Coq. Starts off slowly and has a lot of interactive examples. Suitable for self-study. Comparing with what else is out there, really shows how refined and well-tested it is.

Highly recommend.
One question: How are you securing the Oauth connection? Oauth2 is nervous-making.

Ok, one more question: If I deprovision someone in GApps, will they automatically deprovision elsewhere? Vice versa? Where's the source of truth?
Could you please elaborate on time speed up or slow down? Or if you could refer me to some reading material? It's an interesting problem and I'd love to deep dive into it.
Verified Trader
> You have proved the original (deductive) claim "if it compiles, it works" for that one specific example, but that does not hold in general.

Are you sure it does not hold in general? Upon repeating mightybytes example with all Haskell functions vs another language I feel like you'd get similar results due to pervasive purity and the type system.
I would love to see a Fermi estimate of this, I'm afraid it's outside my bailiwick.

The proposal would be 48VDC (pretty standard for panels) to 120VAC 50Hz, back to 5 and 12 volt at the application, versus sending 12 and 5 volt around a house, call it 10x10 meter perimeter and pessimize the layout (some outlets go all the way around the house).

My strong sense is that the single-step conversion beats the three-step, but losses transmitting low voltage DC are substantial.
Yup, we saw this coming years ago, and have taken a number of steps to move away from them and leverage other networks more (Github, Twitter, Crunchbase, AngelList, etc.). If you're interested in chatting about this, shoot me a note.
Yes, the SO works for one of them. The employee discount can go up to 50% for hotels and pretty much nothing on flights.
Betting on Bitcoin: Visualizing Trends in Bitcoin and VC
And this is why I, a sort-of confirmed desperate academic (ok, I know how to code so not really!) finally stepped off the hamster wheel of looking for a tenure-track job: my friends who got the golden ring still had sucky jobs that involved 60 hours minimum work per week, and so much of it was NOT RESEARCH! Move across the country four times, move the family, leave my support systems, all to do a job that in the end isn't even what you thought it would be?

No.
> I get the point, but I still feel like the problem surface is not really reduced that much by static typing it away

Ok, that's a valid point, which means that we need to precisely characterize what is meant by "problem surface". Let's continue with our IpAddress example. Imagine you are the author of the IpAddress package. Imagine we have an IpAddress type accompanied by an API of say 15 functions that take an IpAddress and do something with it. How many of those functions need to have tests that cover the case of passing None? I believe that number represents our problem surface.

If you agree that this is the problem surface, then I can confidently say the reduction is dramatic. (If you don' agree, then I refer you to the previous point about Maybe making it very clear what needs None tests.) The Python IpAddress package has to have None tests on every single function that takes an IpAddress. The Haskell package has to have None tests on zero. It only needs the equivalent of a None test on the functions that return a Maybe IpAddress. This is going to be a very small number. This brings us to your other point.

> Additionally - it might just be my python bias talking - but I tend to find that most useful "real-life" libraries need to have an opinion about what happens when a variable is None, because it is almost always meaningful. I guess if I were writing haskell my code would end up looking like a bad carly rae jephsen song :)

I'm pretty sure this is indeed largely caused by your Python bias. In my experience, Haskell code does not end up littered with Maybes. I think you don't appreciate the full weight of the statement that when you have an IpAddress, you never need to worry about the None case. Never ever. Period. There are cases where you need to deal with a Maybe IpAddress. Those cases don't end up polluting all your code, contrary to what you seem to think. In fact, it's the other way around. The pure cases tend to be the ones that are the most common, making the Maybe cases clearly visible.

Even in the situation where they do start to pollute some things, Haskell gives you dramatically better tools for dealing with the problem. Yes, you'll still have to have a test for it, but the code you're testing will have been much more concise and less prone to error. Furthermore, Haskell can make it so you don't even have to think about testing that case. You write an Arbitrary instance for IpAddress and the Arbitrary instance for "Maybe IpAddress" comes for free! This means that your QuickCheck test for the Maybe IpAddress function will automatically be sure to try it with Nothing.

From what you've said it is clear to me that your python bias is somehow making it hard for you to see/believe the benefits that we're talking about. I'm concerned that this gap seems to be so big and we seem to be having such a hard time crossing it. Give Haskell a try and see for yourself. But don't go off into a cave and play with it alone. There are abstractions and best practices for dealing with some of these things that took awhile to emerge. So you should be sure to talk to people who have experience using them while you're learning.
Apple, Google, Microsoft, etc. compete in the smartphone world but all are privacy disasters in one way or another. I don't expect things like self-driving cars to buck that trend.
Free Wifi available to foreigners visiting North Korea
To me, the article is mostly just
trying to fool people into
aiming their eyeballs at
the NYT's ads.

For the future of Google:

(1) Right, Google gets competition
for eyeballs and, thus, ad revenue
from Facebook, PInterest, Twitter,
SnapChat, and any popular Web
site/service that is ad supported.
No surprise here.

(2) What the article misses is that search
is a super big problem, issue,
opportunity, and business. Why?
Because (A) now there is a lot of content
on the Internet, (B)
due both to
desktop and laptop computing and
now due to smartphones that can
generate content as text,
audio, still images, video,
and other data,
the total amount of content is
growing quickly, (C)
finding the content really want
is often super tough to do,
and (D) so far Google is one of
the best tools for finding content.
So, Google gets lots of eyeballs
and, as the content grows and,
if Google's search technology improves,
stands to get a lot more eyeballs
and, thus, revenue.

For Web sites/services that
can get a larger chunk of the
ad revenue, in the larger scheme
of things, the Internet is a
better bet than anything like
TV, and for that future Google
has about the best opportunity
and they seem to be trying to
take it. And if some start up
has something close to that future
Google wants, then Google
has plenty of cash to buy
the start up, make it an
offer it definitely will not
refuse.

Google's doing fine and
still looks like one of the
best bets for the future.

The OP is standing on traditional
formula fiction that
tries to deliver an experience,
vicarious, escapist,
fantasy, emotional experience
entertainment (VEFEEE), both as the
content and the ads. Okay,
that's their 1000 year old
drama hammer
that has a very long history
from current TV shows,
movies, novels,
Dickens, Shakespeare,
Chaucer, the Greek dramas,
etc. Okay. That's
long been the 900 pound
Gorilla in media and
remains the main hammer
of the NYT and maybe most of the
NYC ad industry and its $155
billion a year in ad revenue.
Okay. But with that one
hammer, the OP sees
the Internet and Google
as an appropriate nail --
it's not just such a nail,
and that hammer is not all there
is that is important or will
be important in the future.

E.g., a lot that is there in
mobile now is teenage girls,
from the US, and especially in
Japan, using their smartphones
for what apparently teenage
girls commonly have done for centuries,
likely millennia -- gossip.

But, even if VEFEEE
is the content someone wants,
mostly they still need a
search engine to find it.

For the OP and yet another
NYT story, the main
question I would ask is,
where do they get that really
strong funny stuff they've
been smoking?
I wonder if you feel that you ought to be at your desk for at least the bulk of the traditional working day... Other people are working 8+ hours a day, so I should be too.

What I learned as a writer is, focus on output, not time-spent or schedules met.

Set yourself a daily goal, but from there, be flexible in how you achieve it. When I was still writing, I'd try and aim for about 2k words a day, usually done off and on, but if I had an off day I just let it happen and took whatever break I needed to let the creativity come back in its time.

The thing is, the traditional work day is lousy for creative professions (and I count programming among these). It is a construct born of factory work, and you can't produce a quality creative process under factory conditions.

Give yourself a break, and let the mind take the respite it needs to get spinning again. I recommend taking a look out for John Cleese's insights on creativity and the creative process, he has done some lectures and videos on the subject that should be findable on Youtube, and they're very valuable insight into the different pressures of a creative field versus a 'production' one.
(I find it tremendously amusing when people think that computer languages invented types instead of participated in a late-set convergent evolution with type theory.)
This is basically a dupe of https://news.ycombinator.com/item?id=9038922.
The Empathetic Product Manager – Building Better Products
http://blog.sonatype.com/2009/04/nexus-133-introduces-automa...
The added reliability should be a plus. And convenience in not having to keep it fueled up. Also you can use these in places where there's not enough ventilation to run a generator, and it's quieter.
This just further demonstrates the need for an open data platform that is not specific to some specific set of data. That is; a generic system that is user driven, allowing for varying complex views of standardized data sets.

Such a system would put all of these generic "social sites" out of business because it could be maintained by the users rather than the greedy data hoarding companies.

One nitpick: The title on this is not accurate because they are not closing to individual developers for general API usage, just for specific parts of their data.
Valentine's Day Prank
Very addictive! Reminds me almost of a reversed minesweeper.
An excellent example of Betteridge's law of headlines there.
OT: For electric cars to succeed someone really needs to step-up and standardise the plug. It's ridiculous to have charging stations that are tied to a particular brand of cars.
Off-topic, but what is up with those zig-zag arrows that point down as you scroll the page?
Whenever Solar/Battery power comes up I like to link back to this [0]. There was a HN discussion about it [1] when the article in question [3] referenced that PDF.

My favorite quote is probably:

> To put this into perspective, who would have believed 10 years ago that traditional wire line telephone customers could economically “cut the cord?”

[0] Disruptive Challenges: Financial Implications and Strategic Responses to a Changing Retail Electric Business (http://www.eei.org/ourissues/finance/Documents/disruptivecha...)

[1] Solar panels could destroy U.S. utilities, according to U.S. utilities (http://grist.org/article/solar-panels-could-destroy-u-s-util...)

[2] HN Discussion 261 points, 670 days ago, 139 comments (https://news.ycombinator.com/item?id=5543603)
And that justifies $16B?! There were strategies during the Dot-com bubble as. Facebook's leading strategy for acquisitions is insecurity.
I'm preparing a post about it, will be up tonight if everything goes well :)
That really isn't the current model. The current model is to buy solar panels today, thereby locking in your long-term electrical cost at the price of today's solar panels, with the expectation that conventional electricity will continue to rise, with a point 7-10 years in the future where you have "paid off" the panels, followed by 15 years of free/cheap power, avoiding the future high costs of electricity from a utility company, finally ending 25-30 years from now when you need a new system, but hopefully renewable technology will have greatly improved by then.
PySpark does not run Python code on the JVM. It uses py4j and it is slow as molasses. This has the benefit of supporting native Python libraries like NumPy. If you're not using such libraries you'd be better off using a JVM language, including Jython.
I've used `logrus` in a couple projects and been pretty happy with it.

Easy to get rolling, easy to make chained loggers, and can do JSON in production or pretty colors when in dev environment.
The car tech has to worry about density and being charged really quickly. A big home battery should be able to make different tradeoffs including more cycles. Also, it lasts a lot longer if you're not discharging it all the way.
If the utility is paying a market rate (instead of an inflated rate to get people to invest in alternative energy), why couldn't we all sell power to the grid? Eventually if the home units get efficient enough, what would be the problem with power being supplied entirely peer-to-peer?

Granted, I think we're a very long way away from that, but I don't see anything wrong with the funding mechanism.
Can grafana be used as aa alternative for cacti? Does it support snmp?
Coq is essentially a verification system and functional programming language all in one. The functional programming language that the proofs are based on has similar (identical in some places) semantics to OCaml. Remaining faithful to these semantics, especially in a verifiable way, quickly becomes herculean. Even formalizing the semantics of a language is a process that takes months.
Using Ruby instead of sed and awk
If you flatten the demand peaks wouldn't the baseline go up? At the limit where demand fluctuation is taken care of by arbitrage central generation could be constant.
A Bolt and a Volt? Someone flunked high-school Spanish.
I agree. I don't think interaction should be necessary in a good visualization for most questions. It should add usability on top of an already usable graphic. This graphic would not be usable if published in a paper.
The thing about "the outside world" is that it is just one form of interpretation of a chunk of code. Inarguably, it is the most important one, but once you recognize that it is not alone in that regard you get a very new appreciation for "internal consistency".

Ultimately, this becomes an issue of "minimize your interfaces" which is widely known to be close to vital for writing successful code. If you can "purify" most of your code base then use types to ensure that it has internal consistency then the remaining task is to write (at least) one valid, trusty "interpreter" from your pure/trusted codebase into the real world.

This is undoubtedly the most fragile piece of your application!

But it's also eminently library-able and it places the risk-burden over a tiny fraction of your code. It's also the place where you want to property/unit/integration test the hell out of the world.

So all of the standard CS adages apply again, but thanks to purity/type-checking you've reduced the risk exposure to a tiny fraction of what it is while using other tools.
Great questions.

I think that OAuth2 is all that Google supports right now for Google Apps authentication, at least according to https://developers.google.com/accounts/docs/OAuth2.

And yes, if a user is deprovisioned in GApps then their LDAP credentials are suspended until they are re-activated. The goal of Foxpass is to make GApps the source of truth.
Rein in administrative staff costs. If they were how they were even 15 years ago...