skysight-inc/HackerNews huggingface dataset:
Can someone explain give an introductory run down on model checking vs theorem proving and why someone wouldn't just want to write these systems/algorithms in a dependently typed language?
TL;DR (Spoilers): Amish families were duped into investing into a Florida RV park (which is still basically just vacant land), and lost $15-$20 million. The man responsible, Tim Moffitt, has not yet been held accountable for his crimes.

It sounds like there is a huge opportunity for real justice here - the "records" say that $15-$20 million was almost all spent on the project, but clearly it was not. That type of money does not disappear and must be somewhere - perhaps in other houses/property that Tim bought.
Automatic chords transcription web app
The place for Humans Behind APIs
What if you usually don't eat breakfast? Even when I get up at 6 am, I normally don't feel like eating before 11 am.
The problem with the term "binge drinking" is that it's a political term rather than a medical one. It's used almost exclusively to push an agenda - and gets redefined to meet the needs of the user.
its rain season now, that makes the clouds unstable.
If Nationality=British then Status="Binge Drinker"

Apologies if my pseudo-code isn't sufficiently C/Scala/JS like.
What happens when you travel to somewhere (closer to poles) that have very large variations between summer and winter?

For example, here in Scotland at this time of year (which isn't that far North) sunrise is 4:30 or so, sunset is past 10pm and it really doesn't get that dark - so keeping curtains/shutters tightly closed is necessary to get a decent nights sleep. Similarly, in winter we get fairly short days (~6 hours) so we'd need to have a 4 hour work day!
How about just asking them to code something - anything - in say, a couple of hours?
Gary Harrington, Oregon Resident, Sentenced To Jail For Stockpiling Rainwater
Independent Scotland 'could be bitcoin testbed'
Junkies and other addicts have smartphones. It's a thing. Source: Oh, let's just not go there.
I'd be happy to live as long as the Sun, longer if we start colonising new planets. As long as I can die before the heat death of the Universe.
Yeah. Why wouldn't you?
They've missed the elephant in the room. From having once been a teenager I can say with confidence that peer pressure and general social expectations about what is or is not normal to be doing on Fri/Sat nights is a huge factor (or at least it is in the north of England). Adults are doing it and so when you're in the 16-20 age range there's a lot of social pressure to "be a man", to be able to drink more pints than your friends, "build up your drinking stamina" and so on.
The Wikipedia article mentions further study showing that in some important disability cases, yes, indeed, the "happiness baseline" could move.

> In his archival data analysis, Lucas found evidence that it is possible for someone’s subjective well-being set point to change drastically, such as in the case of individuals who acquire a severe, long term disability.[15] However, as Diener, Lucas, and Scollon point out, the amount of fluctuation a person experiences around their set point is largely dependent on the individual’s ability to adapt

But what I find interesting is the overall underlying argument that for most people, we have a happiness baseline that is only slightly moved by external events.
Does https://pcworld.com/ work for anyone else? I think it stopped working for me around Heartbleed. Doesn't work in neither Chrome nor Firefox. I'm using Google DNS now, but I think I used a different one a while ago, and had same problem.

http://pcworld.com/ works.
Even if you imagine just a small risk of an AI being hostile or indifferent toward us, is it worth gambling our future on that risk? Where is your evidence that a vastly greater intelligence would have a moral that is perfectly aligned with ours, unless we programmed it perfectly for that purpose and made sure any self-modification by the AI preserved those moral invariants?

http://kajsotala.fi/2007/10/14-objections-against-aifriendly...
The ideas exposed in the article aren't new. Now we just use all these hipsterish technologies that we hope to magically solve our problems by just sticking one's output into another's input. If we think about what happens in a single machine while processing data we have had exactly the same problems for decades. How do you process 2 CDs worth of data when you only have a 486 with 4/8/16Mb of ram ?

- Historically, the data rarely (never) fitted into memory and was at least 100x larger than it.

- If we want to have it for the long run we need to store it on disk. Smarter, dumber, compact or verbose .. you have to do it.

- We have to make sure we spend the little CPU time we have on processing data not jiggling with it. Map-Reduce jobs takes ages to initialize and burn CPU just to read and write to file partitions.

- If you have a long processing pipeline there are two major concepts that we use: buffers and pumps. Files, cache, DBs act as buffers. Kafka is a essentially a pump with a buffer;

- When you process data, depending on what you compute, you need or need not multiple passes through the data. ML and AI most of the time needs such things. Descriptive stats with some smart math tricks avoids two passes. This variable number of passes is the party pooper in stream analytics. In cryptography they solved the problem by breaking down the stream into blocks of equal size. That makes sense for raw data because it is being assemble back using some buffers and pumps at some upper layers. Data wise, mathematically and statistically wise, it doesn't make sense to randomly split data into chunks and apply your choice of algos.

- I still don't understand why so many of us rely on out-of-the-box solutions instead trying to solve the problems, they have specifically, on their own. Why wouldn't a developer stick his java code directly into the pipeline to suck data from Kafka and do his bespoke magic. It will be super fast because it is very specific and does exactly one single job. Yes, there will be maintenance time but all solutions require that time. Instead of debugging apache hadoop/spark/Tez code you debug your own.

What is mentioned above just scratches the surface of the knobs and tuning points of a processing pipeline. These are decisions we need to take and expecting fast-food solutions to do it for us are completely unrealistic expectations.
yes what have the IEEE BCS EFF et all done for us as professionals "bugger all since Brunel died"

Why are organisations like these not lobbying to remove the laws that discriminate against IT professions when compared to others I am thinking of IR35 in the UK and the equivalent laws in the USA.
Some of the money went to the relative he brought the land off of at an inflated price...
A "statistical analysis" with one sample product is certainly enough to tell you what platform is most effective to launch it. /s
Awaiting the arrival of self-driving cars in India.
3. Boğaz Köprüsü ve Kuzey Marmara Otoyolu;
[That increasing overall production doesn't necessarily do anything for the lot of the median person] is contradictory to the past 100 years of civilization.

Perhaps, but if you consider the past 35 years in the US (and Britain, to a lesser extent), that's exactly what's been happening. It is quite counterintuitive and hard to fathom, but in fact median incomes and wages today have not risen at all since 1980 (!) despite all these years of GDP growth and a steady rise in productivity, which has tripled since then and previously moved in tandem with [1,2].

Put in another way: simplistically, if US household income had risen along with productivity (as it did ever since modern records began), today the national median wage ought to be around $80,000 and median family income around $150,000 (in today's dollars!); and the still ongoing personal computer revolution would have seen people's wages nearly double within a decade.

Sounds preposterous, but that is what robust economic growth typically looks like.

[1] http://stateofworkingamerica.org/charts/productivity-and-rea...

[2] http://stateofworkingamerica.org/charts/real-income-growth-f...
http://explainshell.com/
Today https://github.com/google/traceur-compiler
Responsive News
You are correct, there is no forEach, a lot of libraries implement their own, but no native version.
I don't want to be immortal. Constant conscious state . It would be so boring.
It's more like saying a masseur doesn't have a deep knowledge of anatomy. For most healthy people it wouldn't be an issue if the masseur just did what they were taught, but they'll consistently be suboptimal and will occasionally do some real damage. See the recent high profile errors with economists using excel.
Expedia Exec Says Bitcoin Spending Has Exceeded Estimates
This is an American company - we should be suspicious of their intent with all of this data on their network, as it'll likely end up in the hands of the NSA.
making a link https://gist.github.com/
The best shampoo advice!
Many thanks for this! This has been a thorn in my side for a while but never got round to doing anything about it...
I'm curious to know how ``binge drinking'' is defined for the purposes of this study. According to them, it seems that some people as ``binge drinkers'' and some are not. I've always thought of binge drinking as an event rather than a personality type. When I was in college, I used to engage in binge drinking quite regularly on weekends, but I would not have described myself as a binge drinker. Actually I'm not so sure of that, because I have no idea what the term ``binge drinker'' even means. Perhaps it means something like ``alcoholic?''
How Cause Of Death Has Evolved With Medical Advances
Tina Seelig of Stanford Technology Ventures Program on Entrepreneurship
Software Developer - useMango Software - London - Full time

We design and build test automation software that enables test engineers to construct automated business process tests without the need to write code. We strive to create a highly usable native client UI within a distributed system using the best technologies and practices that we can find.

Our product is young and rapidly developing and so offers great scope for new ideas to make a high impact. We develop primarily in C# supplemented with a significant element of scripting. Development activities encompass WPF UI, domain modelling, client-server integration, database design and query, automation APIs and components, DSLs for configuration, reactive programming, continuous integration, etc.

Our agile team employs SCRUM and has multi-disciplined developers and experienced testers working co-operatively in a positive, open environment. We are self-managing and dedicated to continuous improvement in our processes and outputs.

If you love creating great software, have a solid couple of years' experience, know .NET and are proficient and interested in learning new technologies then please get in touch via http://usemango.co.uk/about/careers/
Meet Del Harvey, Twitter's Troll Patrol
I get what you're saying but given that there has yet to be a fine issued under this scheme what you are describing is also wagering. I am doubtful about any commercial entity's good intentions when it comes to an opportunity to exploit a system to their benefit.
Pawel Kuczynski Satirical Illustrations
Yes, this is also my primary confusion. What does the term ``binge drinker'' mean? I've never heard of this term so I have no idea what it means or how it should be used. I'm guessing it refers to someone who is addicted to binge drinking, but in that case they might as well use the term ``alcoholic'' which would be far less confusing.
Writer does not want to tax people. Writer wants more page views so a bit of controversy helps.

Is it really 44%? What about sales tax/VAT, Social Security, Property Tax, Quantitative easing. In perfect world gov would take 5% of my income. I'm not against helping people - far from that - but the State is very bad at allocating resources.
A Large-Scale Field Study of Browser Security Warning Effectiveness [pdf]
Hey Madaxe. Helium never has to know the contents of a payload. We encrypt it to keep the information secure, but you can further encrypt that payload via your own requirements with very little effort.
Awesome! Most of these things works under Firefox if you want to play.
> You know what else I hate? Typing in long commands in the Mac OS X terminal and then them wrapping weirdly.

Yeah, keeping ctrl pressed in and pressing x followed by e (CTRL + x e) will open up the current line in $EDITOR and when you edit and save, replaces the current line with what you entered in your editor. Really a killer feature.
I assume they're just referring to how React works under the hood - you just change the data and that cascades down through the components rewriting (ie. changing) only the parts of the virtual DOM that changing, which then get applied to the real DOM.
Is ``binge drinker'' a synonym for ``alcoholic''? If not, what's the difference?
Wow, people on HN have gotten a lot nastier about moderating since I joined.
Not counting what vitamin E may do to skin (it supposedly helps it), it keeps other oils from going rancid. So, it's a kind of a preservation measure.
Love the cartoon on your front page!
Whilst most of the larger EU countries have some civil spying program, the UK operates on a much wider scale throughout the world. It is also particularly concerning for me in Ireland as a large portion of Irish internet traffic must flow through the UK, and there are specific monitoring stations setup to intercept this fibre.
Why does cryptographic software fail? A case study and open problems [pdf]
I do. But it depends how long you can remain young.
One of the best examples of a 'skunkworks' project I can think of is the original Xbox and Xbox Live team (http://www.polygon.com/features/2013/11/11/4849940/xbox-live...).

The article describes quite well how successful this approach can be if you do it right. A company like Microsoft has such a massive amount of talent and resources, that even allowing a sliver of that to work on a project in isolation and freedom can lead to huge success.

I've personally experienced a 'startup in a big company' situation, and that also seemed to work quite well at first. Sadly, the whole thing fell apart once the big company started trying to take control back. In fact, I think the resulting situation was worse than if the 'startup' had never had a taste of independence.
The birth of xbox live (2013)
Why is labor income taxed so much more than capital gains? Effectively those with large fortunes are paying a way lower effective tax rate than most salaried employees.
Don't forget the auto-playing trailer for the new Transformers movie, complete with audio.
I'm not sure I completely understand the criticism of the negative results. All of the supposed biases seem to apply equally to the control group (more healthy to start with, different baseline intake, not completing the course of pills) and to other studies in different areas.
Absolutely, ideally way longer than that too.
Great summary. Any breaking changes?
That would be prejudice or sexism anyway. I'm with derefr; please explain how PH's processes are characterized by the hared of women. That's a rather strong claim to be tossing around flippantly.
Researchers Find Scorpions To Be Master Architects
There is also http://en.wikipedia.org/wiki/Sweat_of_the_brow
Next please teach us how to launch and make TC, the front page of HN and the top of PH.

Most people struggle to get even get one of those. The trifecta is quit impressive.
Atom editor from Github
Background: Did my Bachelor's in EECS at Berkeley, and I've lived in Japan for longer periods of time (including startup-related stuff). I would claim to understand the Japanese culture and work environment pretty well.

I a huge advocate of taking time off (whenever, before college, after college, during college), and I believe that starting a company or building a product is one of the best ways to spend that time. I have taken time off multiple times and looking back it has always been the best decision/experience. HOWEVER, I would be wary of this particular opportunity as, from what it sounds like, it probably won't pan out as you imagine. It sounds a bit fishy.

Just some thoughts:

- Take a very good look at the exact terms and make sure they are not using you as cheap labor. "Get some equity" sounds as if you will be working 80h/week (typical for a founder), not getting paid very much, and not even receiving a large portion of equity. Do they want you to recruit other people? How so?

- This is a generalization (but still applicable in 98% of all cases): Japanese companies are extremely bureaucratic, very old-fashioned, and you will most likely have much less freedom that you currently think you will. A lot of your work will consist of doing fake work (reports, spreadsheets, etc) to fulfill some bureaucratic requirements (typical for all Japanese companies) as opposed to being actually productive.

I'm also happy to talk offline, see profile.
Smart light bulb by General Electric.
This tech looks interesting, but at the same time, kinda underwhelming for certain aspects that aren't talked about. For example, one of the things I'd like to use something like this for is for creating adhoc meshes in areas that may or may not have good internet access, so anything that requires internet access to set up things like multicast is a no go for me. While I realize part of the business model for products like this is running the network, at the same time, there are lots of uses for products that can talk to each other in a manner easier than you can currently do.
>JIT'ed java code will run at native C performance... because it essentially is native C once it's been JIT'ed

No way. It may be native C, but it's not native C you've hand-coded yourself.
6 Reading Tools for Busy e-Commerce Professionals
Firstly, thank you so much for taking the time to browse through our site, Coryl and thank you for providing the critique. As hard as it is to read such a damning verdict, this is exactly the reason for this question.

I think we will stick with OvaFlow as the name and therefore OvaFlow Agents and Environment are necessary. I can understand how 'An OvaView' etc can become grating though and will probably ease off with this puns.

We fully agree with the fact that there is too much text and needs to be simplified down. Bulletpoints, simple sentences and images/diagrams will take precedence.

This has always been our worry with the site, the fact that the product isn't fully explained. Hopefully we can address this.

We are looking to make changes and hopefully get improved feedback next time!

In the meantime, any more feedback from other users will be hugely appreciated. Even if you 100% agree with this critique, please share your opinion.
Because having Bitcoin deposited doesn't net you interest?
How do you argue that running a TOR exit node is not compatible with Austrian law while running an ISP is?
Play Android Games on Pc Without Bluestacks
I vote for quality, clarity and objectivity, regardless of match to my opinion.

Unfortunately sometimes the first come - first claim creates biases as you might have something very good to say, but I starts with 1, far below the other numbers. Other biases - like the majority not agreeing with you, regardless of your argumentation, are effective as well.

Yet, such voting systems are generally effective.
It also depends on the meaning of "value." In the US it looks like "value" is interchangeable with "cash-able goods," which as you point out is quite restrictive. And, on the other hand, it goes straight against most of companies' "visions" (which are usually non-monetizable).
All drugs are prescribed to cure diseases. Feeling or performing "better than well" is not considered an acceptable reason to take any vitamin, supplement or drug according to traditional medicine.
This is a commuter time project I've been working on. It uses nodejs (on Azure) and backbone on the frontend. I've really tried to make the UI work well across screen sizes.

Let me know what you think!
No way! Give me then a few mirrors and I'll start trapping far-red photons to restart the Universe again.
Show HN: Convenely - A simple way to schedule meeting up with friends
I am thinking of renting a larger flat that can fit 10-12 people for the weekend. Anyone interested in sharing the flat with me?

We could also run small sessions with flatmates presenting a topic or whatever they're currently working on.
From wikipedia: "Binge drinking or heavy episodic drinking is a modern epithet for drinking alcoholic beverages with the primary intention of becoming intoxicated by heavy consumption of alcohol over a short period of time."

So there's some difference.
Because I don't want to live so long that I spend a large portion of my life in ever increasing pain and feeling my mind slip away from me. Just give me a short sharp shock around 80, if you can please.

Of course, that's what I think now at 36. Maybe by the time I'm 80 I'll be thinking, "reckon I can handle a few more years...."
man hier

is pretty cool. It explains the root directory structure of the system.
Hey Sanddancer, Helium can run without direct access to the internet. It's designed to be a small portable stack. Shoot us a message. Would love to hear about some of your use cases. hello@helium.co

-sean
> That bothered me, but I didn’t have the space to tell the whole story in the magazine.

It seems like the reporter was aware that something was off, but only discovered the new details through Munoz (who might not be entirely objective as a source either?).

I can't tell whether it was shoddy journalism or just something that, at the point of the first article, wasn't too relevant.

Either way it reminds me once again of how factually incorrect many articles I read might actually be.
I think I saw some proposal to replace the function composition from prelude (.) with some other symbol, and presumably making it illegal to define operators named (.). This would of course break a lot of code, but it seems simple enough to make a largely automated transition.

The reason for the proposal was that (.) for function composition made the grammar more complex or problematic because of the accessing 'operator' (.), and/or something that had to do with more fancy accessing and such (lenses?).
Tor users are selected and monitored by the NSA as extremists
> Why is labor income taxed so much more than capital gains?

Like most of the regressive taxes, I think it's because of power imbalances. The vast majority of people paying 40% on labor taxes do not have the same power influence as those with far greater fortunes who benefit from capital gains.

The same thing held true in "Ancien Régime" France in the 18th century and even in my small East-European country, where, according to a book which I'm just reading, the local rulers used to "absolve" rich people from paying taxes because they "had been helpful" to said rulers in the past (mostly they had lent money in times of distress to those rulers), while most of the taxation felt on the poor people.

As for a solution to all this, I honestly don't know which one might be best. Right now democracy and universal suffrage seems like the best we can do, but IMHO we're always just a couple of steps away from reverting to other solutions which we tried in the past, the ones that involved people like the Jacobins or those that started the October Revolution. Time will tell.
You're going to have to construct your mirrors from far-red photons, that's sort of the problem. Without stable matter you're not going to be doing much of anything (or even be much of anything).
I don't see a single argument why the life spans of the less wealthy should shorten further, even though this is claimed several times in the article. Did they just take two data points and extrapolate from there?