skysight-inc/HackerNews huggingface dataset:
I don't know about other people but since I have to pay for heating I am deeply interested in this topic. The article provides a conclusion, but what are solution options? How to exactly use the classic principles with modern technology for more efficiency?

And the second point is that I am a lot more comfortable in an air heated system than a radiator system. Having a radiator warming me means one side of me is too warm and the other too cold, also eyes and breathing pathways get dried out a lot more, and I still need more clothing. Wearing less and having no dried eyes is a clear advantage of air heating.
Show HN: Team Tracker App – WhatsApp + FourSquare for Business
Dear Friends,

I have spent almost 15 years in Media with internet media companies like Rediff.com, MSN (Microsoft) and this is my first SaaS App with my partner in crime, Dharmesh Kothari @ Gray Matrix, Inc.

We have build this app with communication and location tracking in mind. http://www.teamtrackerapp.com

Organizations spend lot of time on phone and other methods just to know the location of their mobile workforce, pass on important messages based on their team's locations and things like that.

You can use this app for any kind of application where the team is always on the move, right from safety of employee point of view, to the very standard logistics and supply management personnels on field, to very diverse and dynamic situations like disaster management,

We are offering a 14 day free trial. Please give it a try and let us know your valuable feedback.

You can even use this for your family or personal use while travelling abroad or any other safety requirements.

http://www.teamtrackerapp.com
It's worth bearing in mind that coal is the most environmentally destructive of all energy sources, by a hefty margin. Wood is renewable, but most people don't live in places with the kind of big surplus of wood you would need for everyone to use it as fuel.
I think you get at a great point that the onky way to solve the right problems is to be committed to learning about an industry through all available information channels. To be comfortable spending that much time on one specific industry though I think means you need to come in with a thesis to begin with, which to avoid circular idea justification means you probably need to come into it with a broader, more abstract thesis independent of industry knowledge.
NASA ISS 2015 Calendar [pdf]
White House Announces Creation of New Cyber Threat Agency – Expert Comments
Holy cows, I got a very strong sense of Deja Vu, just after reading the first few paragraphs. I immediately jumped to the "posted" field and realized that I had already read it earlier, most likely through the same link that you have posted.
Good for you. Stay that way. Many years ago, I was in my early twenties and being a non-drinker served me well. I have various other regrets about life, but not drinking as a young adult was, in retrospect, a wise choice--the opposite of a regret. You won't regret being your "sober self".
> The university believes - wrongly, as it happens - that people like Prof Robinson are easy to replace. So it sees no need to treat him any better.

Are you using "wrongly" in the sense of "what they're doing is wrong" or "their belief is incorrect"? Because the latter is absolutely not true. There is a near endless supply of freshly-minted PhDs willing the take the author's place.
It is the statistical reality for most American homeschooled kids, according to the secular homeschooling parents who find themselves a minority in the homeschooling community.
Lawyers neither make nor enforce the laws. If you want to blame someone, blame the lawmakers...
-1,000,000 points for being a communication app for business, with mobile users, and not having SSL support.
“I'm a VC, what Nordic startups should I be looking at?”
Easily create your own Email Marketing Platform
The name dark pattern is a dark pattern.
How long has the EFF been using that "Take Action" strategy? I just did it with a little customized message and am happily surprised at how easy it was.

On the other hand, I almost missed the button at the bottom of the article. I assume they've run some tests but the font on the button just reads "ignore me" to my eyes.
> that doesn't seem an unreasonable assumption to make in this case

Not that I don't agree with you but I find it a common failure mode of HDs to just never reply to things. I guess it's also a common failure mode of network systems too.

Can Coq detect that you are enforcing I/O timeouts in a way that guarantees finite time?
In 2010, Brazil mandated that carriers had to unlock phones at customers' request for free. In 2012, it was mandated they stop selling locked phones altogether.
Capital goes on:

People
Machinery and infrastructure (which may or may not include office space)
Sales and marketing

It would be very interesting to see if there's a difference in the way successful and failed startups prioritise these different areas.

I suspect for tech people dev spend is overrated and marketing spend is underrated - but that's just a hunch with no numbers to support it.
German spies hand-feed data to the NSA
YouTube – In It’s 10th Year YouTube Has Redefined Celebrity and Marketing
Zig Zigler says, "Always Be Prospecting."

The problem with making a sale is you lose your best prospect.

Build a reputation on Q&A sites, participate with relevant LinkedIn groups, promote your content with Facebook ads (check out jonloomer.com for help with this.) StumbleUpon ads and content amplification networks like taboola & outbrain.

Always be prospecting.
How Bad Product Managing Failed Our Startup
I remember the day this broke on the record collector forum http://www.soulstrut.com/

I wonder if that thread is still online someplace?
Is there any work being done to formally prove GnuPG' algorithms correctness? Just curious since there are other topic around Coq in the front page and I couldn't find much by searching.
Amusingly, that page is not visible within the UK... -_-
"A remarkable number of the major technological developments—far in excess of our share of the world’s population—have come from the US in the last century."

For the most part those technological developments were due to the import (or plundering, if you're judging it as a non-American nationalist) of minds and entrepreneurial resource from elsewhere, and less because America actually forged its own bright people. That kind of affair was the easiest thing to do when America was the only place reasonably safe and developed (after WW2). Things change.
> "I cannot say that getting upset over people using jokey memes to communicate ideas (Haskell is more likely to be correct after a successful type-check than other langs) is likely to do you much good."

You have, evidently, taken the least-charitable interpretation of GP's post yourself. And, right in the context of a discussion where you were the person to introduce that phrase!
And to my delight, the article was written by Julia Angwin whose book

[1] J. Angwin. Dragnet Nation: A Quest for Privacy, Security, and Freedom in a World of Relentless Surveillance. Times Books, 2014.

I recently finished and recommend. It's one of those few "books" written these days (quotation marks because they`re really more like stretched-out magazine articles) that actually make sense, come from the right place in terms of sentiment and tone, and most important are logical or coherent. I was curious about the author because I was so surprised and saw in her bio that she studied mathematics in college. Go figure ;-)
You can’t hire away your quality issues
Show HN: Browser, WS, Excel and PDF Automation with JavaScript
Yes, that was my intent: the manual entry used the term "bad spectral characteristics" condescendingly, instead of actually admitting that rand was a terrible mistake and nobody should ever use it. The effort the manual writer put into rationalizing the bug would have been better put into fixing it.

I looked up "mansplaining" on the urban dictionary while writing that, and was disgusted to see that it was full of sexist definitions written by obviously butt-hurt men's rights advocates, literally blaming angry misandrist pseudo-intellectual ugly insecure radical fat women for using it as a get-out-of-jail-free card against daring opinionated oppressed men. http://www.urbandictionary.com/define.php?term=mansplaining

So it's possible the downvotes came from red pill poppers reflexively reacting to my use of the word "mansplaining", and if so, I suffer those fools gladly, and hope to earn their downvotes again. http://www.salon.com/2014/07/01/feminism_is_a_sexual_strateg...

Here's a Unix manual entry that I wrote, which made it into Solaris and SVR4, whose BUGS section is now obsolete thanks to technological advances based on high quality pseudo random number generators, like https and PayPal: https://stuff.mit.edu/afs/net/system/sun4c_41/rsp.01/usr/ope...
Musk says market cap could match Apple's $700B by 2025!
Hello HN!

I just uploaded our first website. So... what do you think about it?

For scripting samples, you can have a look at https://42elements.com/automation-suite/scripting-examples.

Thanks,
Phil
Your software is broken, test it
Nice, although I'd hardly call this a complex challenge to solve with a bit of code! The only really challenging part of this was what you briefly touched on towards the end:

> If I were more clever, I would have updated the script to not include words that fit certain criteria, or I would have done something more absurd like using natural language processing to see if the word pertains to writing. (that sounds possible, right?) Rather, I went through the 501 words manually and picked out the 49 that seemed arguably relevant to writing

In other words, you've solved the simple case perfectly well, but your solution is not yet scalable: How would you deal with a 100x100 grid? You'd probably need to optimise your search code (e.g. abandon looking for stupidly long words, or better yet once there are no possible longer words in the dictionary), and you'd definitely need to do some sort of dictionary definition search to help decide which answers are correct!

This almost looks like the sort of question Google would ask job applicants to answer, but they'd almost certainly extend the challenge to something like this 100x100 scenario!
Google Analytics widget for iOS Today view
> At present, Quora doesn't mess around with opt-ins or questions of any kind. They just opt you in as part of the terms of service.

What a surprise to see the "?share=1" people in an article on dark patterns. I don't understand how that site exists.
Thing you need to know in tech today
yes, but only for the import process that will read them from influxdb and save them into the grafana database (either embedded sqlite3 or external mysql, postgres).

InfluxDB is not really suitable as a general purpose data source (storing dashboards as influxdb metric series was more a temporary solution so influxdb users did not need to install elasticsearch, and influxdb dashboard storage did not support tag filtering).

With Grafana 2.0 needs to store a lot more, users, accounts, user starred dashboards & preferences. So a more general purpose database was needed.
What is the benefit to using your site instead of healthcare.gov? I just ran a search (I'm in Florida) and it looks like the same options I have on healthcare.gov.
Both are correct (unrelated). MAC address is randomized when scanning for wifi networks, and if you ask iOS for the device MAC address, the SDK will return a fake MAC.
Even more than that, the class was a contract job and it's over. How much free work is it reasonable to do for a client after the job is finished and you're no longer being paid?
Tune in next week to find out!
It has been happening since the iPhone 4s: http://www.engadget.com/2011/11/11/apples-us-online-store-be...
I'm certain you can use travis-ci for that purpose.
Interesting to see that OpenBSD recently went the other way: break the standard and make rand() a good random generator by default. Even to the point of making srand(time(0)) a no-op.

https://news.ycombinator.com/item?id=8719593
http://www.pcengines.ch/apu.htm
Full Lifecycle Software Testing
Hackers target Forbes visitors through chained Flash, IE Zero-days vulnerability
Except: fat people and thin people
Ask HN: Do you white-sell webapps
I'm wondering if any of us white-sell webapplications and resell them to their own customers.

What has your experience been and which app do you resell/rebrand?
Whitebooklet
How-to: Modify CoreOS instance metadata after initial boot
Most common finance myth: there's one "true" gold standard valuation method. People who are negotiating against you will like to spread this myth, and of course they say their valuation is the true one.

Finance Reality: There are nearly infinite valuation methods, none are the true one. Total future cumulative value of an asset is always, by definition, a prediction of the future, regardless how much bullshitting VCs may tell you that "they're not trying to predict the future."

Nuance: It is fair to say that market value, in retrospect, was the true value at a particular past time. How far into the past you have to go to escape all associated legal risks of making a trade and all possible clawback situations, is an open question that complicates this though. Further, these days it's getting harder to say which of the many parallel trading markets was the real one, even for past market value. There are near infinite ways to coalesce multiple parallel past market price histories into one price history, as well.
A video preview auf our new question and answer app. Feedback appreciated
I didn't read the article but by reading your comment, The movie "Gone Girl" comes to my mind.
Reminds me of Xoom [1]. It's very hard to pivot a legit business when you're basically know as the best place to download pirated software/music/games.

[1] -http://web.archive.org/web/19990515000000*/http://xoom.com/h...
"most pleasantly" - that is also very subjective.
Contract programming parallels much of what he says about contract teaching, with the added difficulty of having to track down and find projects to work on.

"Learn to code in order to generate side income" isn't as simple as it sounds. I wish people would stop perpetuating this myth.
I think the point is that, though there are plenty of other PhDs to take his place at low cost, it may be hard to find one who is able to create as much value (for students, and by extention the university) a Prof Robinson.
Dynamic Linker for Android Native ELF
Would you look at that! It wasn't there when I posted the original comment.

Not much better now though. Now the bottom half of the screen is covered by "continue/login" overlay and the top third is covered by fixed toolbars, leaving a sliver of peephole for the actual content. They really go out of their way to annoy the hell out of anyone without an account, don't they? You'd think they'd learn a thing or two from Quora's ill-fated experiments.
BBC Worldwide are really starting to piss me off.
50 shades of grey (NSFW)
A large premium? Outright, an iPhone is the same price as a Galaxy S5/Note. The Lumia on the other hand is much cheaper, which is one of the reasons my girlfriend wanted a 930 for Christmas (which I got her), the other being that she really likes Windows Phone. I personally prefer the iPhone, but I use Apple everything.
Vincent Reynouard Condemned to Two Years Prison for “Denial”
If you actually read the code you will see that it's true.

The parsing is dead simple and written in a way that mistakes are very unlikely.
5 Mistakes Startups Make with SEM and How You Can Avoid Them
I immediately thought of about.me. It'd be nice if the difference were made explicit.
Sugar: spinning a web of influence
#bermuda-triangle * {
display: none;
}

would be funnier...
I was wondering if the core of the Ubuntu phone is also based on Android, like the FirefoxOS phone. As much as I like FirefoxOS, being a component-based linux OS phone makes it terrible. The best phone I have ever had is the Nokia N900.
if only the root cause of these issues could be solved. The domain squatting problem is a real one. My understanding is that 15 years ago when it became obvious to some that this internet thing might take off, many shady characters (oops i mean entrepreneurs!) set up shell companies as registrars for the sole purpose of bulk registering domains as quickly as possible.

I don't know what the solution could have been and the point is moot any way since we cant go back in time to fix things :(
Why don't you blame the private sector companies who complain about unfair competition from the BBC instead?
It's good that they did that, as a safety net for old code, but none of the standards which define rand() guarantee or even suggest uniform randomness, so the bell has still certainly tolled.
Back to BBSs?
Hi Felix, Azure SQL is very, very different from a regular MS SQL Server environment.

It is a lot more restrictive and thus many tools (such as your own SQL Management Studio) do not work well with it.

Is there any plan to make these two siblings more compatible with eachother?

Furthermore, Azure SQL is very unclear about its performance guarantees. Your DTU's have no mapping to anything in the real world which we can compare. Are there any plans of addressing that?
can you explain the joke please! =)
it flew right over my head
HTML5 Pong implementation in GO
I agree on its usefulness. On a couple of recent occasions I've read about an interesting Android app while at work, logged into my Google account, gone to the Play Store web interface and told it to install the apps on my tablet at home. When I got home the apps were already installed and there were notifications reminding me to try them.

I'm surprised that the App Store doesn't have a similar feature.
I don't know whether this particular proof models IO timeouts - might have a poke at it and see what it's doing if I have time later.

More generally, Coq is "just" a well integrated proof tool & I can't see any reason why you couldn't include such features but at some point you have to draw the line and be explicit about what it is that you're actually proving: if your proof assumes data store responsiveness then it's OK for it to do that so long as you're explicit about the resulting limitations IMO. The goal of ever increasing model fidelity is a rabbit hole from which the programmer/prover might never return otherwise :)
Guerilla Public Service
Is This the America I Love? (2001)
very cool! I've been thinking of going down the automated home path. Seems like this would be a good way to dip my toes into the water without investing tons of money.
Where can I buy or print this? I live in Canada.
DigitalOcean droplet admin app for iPhone
Our video is a bit outdated but we are building an HVAC solution to make at least room level control a reality as well as seamless.

www.flair.zone
It is no different from any other market.

In any shop I go to, there are endless equivalent products to choose from.

The one I end up buying depends on price, marketing, visibility in media, word of mouth and so on.

Selling stuff is hard.
> Yet few people consider the purchase of insurance to be intrinsically irrational by the same argument.

I don't really know to many people who think this?

Skipping some small attempts at loopholes for insurance ($300,000 of medical might return infinite benefit to oneself), yes it's stupid. Most intelligent people know this.

Your argument goes all the way, want to spend 'all' your money on gambling (or insurance), more power to them? People can do as they wish, but I'm not big on perpetuating bad memes.

The opposing argument is pretty simple, by not creating a false happiness through gambling people might create real happiness.

By not waiting on that big win, people might work towards their happiness. IE save for that big trip and get something of long term value imagination could never give.
This is such a terribly badly named language for anyone in the UK!
And on Linux you can pass the string "/dev/urandom" to the constructor
Chip and PIN
Practo raises $30M
That's certainly true if you mix accesses to the same object via volatile and non-volatile pointers. It's even explicitly undefined in the standard. (C99 §6.7.3/5). [while in practice it will work most of the time]

But if you always access a certain object through casts to ((volatile )&x), I don't see how this should be different than accesses to a globally declared "volatile x" variable, as pointers are guaranteed to not change if casted hence-and-forth (§6.3.2.3/7).
A habit I have created recently is to watch lectures/webinars/talks in the background when I find myself idling in the internet. I usually play them on my TV via Youtube. You will miss things, but this takes the pressure off. This is how I watched all the 'How to start a startup' lectures. You can shift your focus as you need and if you find something particularly informative then you can pause what your doing and focus solely on the lecture.

Here are some good sources to get you started.

Amazon Web Service Webinars - https://www.youtube.com/channel/UCT-nPlVzJI-ccQXlxjSvJmw

Caltech - https://www.youtube.com/channel/UClGTZDyz3CSl92TgDqIr0nw

Said Business School - https://www.youtube.com/channel/UCHIqMEje_NFJ2u24CVaNQvg

Yale - https://www.youtube.com/channel/UC-EnprmCZ3OXyAoG7vjVNCA

Stanford - https://www.youtube.com/channel/UC-EnprmCZ3OXyAoG7vjVNCA

And of course: Ycombinator How To Start A Start Up https://www.youtube.com/channel/UCxIJaCMEptJjxmmQgGFsnCg

There are so many great sources of education out on the web today. For example: who are the thought leaders of your industry? You can probably find video of talks they have given. What conferences serve your industry? They likely have video of talks given.

My Company: http://www.makemassive.com
only the guy on the first slide seems incredibly stupid
Designers: Start Coding with uilang
12 Must Have HTML5 Text Editors – Code Geekz
Alexa Rank and the increase in Alexa traffic rank
Regarding the circulation problem, you might want to look at the 'ecofan':

http://www.ecofan.co.uk/woodstove-ecofans.html

It's a heatsink with a peltier sandwiched in the middle that drives a fan. Works pretty well for wood burners. Also it's just fun to get electrical energy from your stove :)
Thanks for the insight, that's kind of what I expected. Do you know of any tools/products that can perform this kind of analysis? I looked at the whole range of web analytics tools/platforms (Google Analytics, Mixpanel, Piwiki and others), but these are very much focused on web analytics, not so much user behavior inside a (web) application and offer very limited customization. And they usually do not work offline anyway.
Samsung Smart TVs Inject Ads into Movies – Code Jar
Nordic.js 3D EDITION – Call for proposals ^__^
Very weird (in a good way) to see an article about Sri Lanka here
He is already doing job B, while on paper it still says A. (fulltime work without benefits for an hourly wage comparable to an intern). That's the problem.
Automated Marketing Tools – Free 3 Day Trial
Immediate mode UI is quite similar to pull based FRP.
I personally think the ending was an important contrast to the beginning from a traditional story perspective. Has he succeeded would it have been a movie....

I do agree the beginning was a great story about being free and what I enjoyed most.
And how do I pay for that?
I don't care about "real world workloads" when measure a programming language. There network latency or disk/database i/o would dominate in most cases.

I'm interested in the raw language speed/memory use in its native form, which is a good indicator of what you can do with it (e.g. "can you do number crunching? is it good for 3d rendering? can it tackle writing a fast compiler in it?" etc).
I find it really interesting that they site the internet as a source of their intellectual capital. Really shows how humanity is progressing.