skysight-inc/HackerNews huggingface dataset:
A year ago I asked about real-world use cases for Prolog, there were a couple of interesting ones: https://www.linkedin.com/groups/Examples-current-realworld-u...

People might not be aware that the JVM (Java Virtual Machine) specification includes a class verifier written in Prolog, see http://docs.oracle.com/javase/specs/jvms/se7/jvms7.pdf

Clementine -- a data mining application purchased by SPSS

SPARK toolset -- a rigorously defined Ada subset used for developing software correct by construction. This approach is used in areas like
aviation, transportation, medicine, energy, etc. where failure is not an option.

ECLIPSE-CLP -- an open source constraint logic programming library used to solve various resource allocation problems. Think of it as a poor man's
Operation Research expert.

Experian, the credit rating company, bought out Colmerauer's Prologia company: http://www.experianplc.com/news/company-news/2005/25-10-2005...

ContractExpress/DealBuilder from Business Integrity Ltd
http://www.business-integrity.com/

InFlow from OrgNet
http://www.orgnet.com/

GridMind tool - a for modelling and simulation new technologies implementation into energy grids (smart grids, smart metering etc.). They have to generate detailed complex models satisfying lot of rules which to make models realistic. Prolog together with CLP is excellent tool for that. Fast development, small code, elegant solutions.
www.mycroftmind.com

David Warren (Leading Professor at Stony Brook University): "We at XSB, Inc. use Prolog and Java. We use Prolog for knowledge extraction and standardization and for ontology representation. We have (to me, somewhat surprisingly) found that our Prolog code is more stable and we spend less on maintaining it than we do our Java code. It may be programmer skills, but I think it is also due to the much more succinct expression of similar functionality."

The Nokia N900 phone used prolog to do ui state management .... prolog in a smartphone!

London-based startup Texrazor performs text analysis via API and the engine behind it is coded in Prolog http://www.textrazor.com/technology

Prolog does social and organizational network analysis for clients around the world. http://orgnet.com/inflow3.html

Orgnet, LLC also uses LPA Prolog to do data analysis, especially for hidden relationships and patterns in business data... for examples, see: http://thenetworkthinkers.com

etc., see the discussion on LinkedIn
A union will remove any ability for you to stand out. You will be paid the same as the worst or best worker, on the basis of some kind of seniority/job description parameters worked out by the union leadership and the company management. It may get you a little more than you get now, but it also removes any reward for excellence. You will be unable to negotiate a raise or promotion directly with your managers.

If you're unhappy with your compensation, move to someplace where you get a better deal. You are worth whatever you agree to work for. If you want a union, fine. I don't suggest that you shouldn't have one. But it will limit your upside, a lot. Even if it offers some minimal protection on the downside.
Ah, you’re right, it’s not POD, but it should still be safe to reuse the storage in this way. You’re also right about the reinterpret_cast, but it’s not necessary for this example because placement new takes a “void” pointer—I just did it to get the convenience of “+ 1” instead of “+ sizeof(node)”.
Can Neuroscience Teach Us About Winemaking?
A Software Project Full of “Male Anatomy” Jokes Causes Controversy
You didn't actually respond to his comment. Assuming, for example, you have:

* 99% of applicants are bad
* 50% false negative (You look over about one good developer for every good developer you hire)
* 1% false positive (one out of a hundred bad devs can snooker you into hiring)

In that scenario, you're twice as likely to hire a bad dev as a good one. And if you halve your false positive rate by increasing your false negative rate by 50%, you're still twice as likely to hire a bad dev, it will just take you twice as much work.
The Ruby and Ruby on Rails Scene in Barcelona
Is Sewage Treatment Arming New Forms of Super-Bacteria?
No you don't. Your union bargains away your value and your only option is to not vote yes to the contract only to have them tell you its the best you can get and the majority votes for it. Most of the time your representatives don't want to rock the vote and work to protect themselves more than you. Your just a worker to them, they see themselves on the same level with the people they negotiate with, not you.

Your hyperbole doesn't provide any real reason to form a union other than you don't like where you work. Honestly go somewhere else. Really. You won't be happy after a union gets there and likely you will be paying dues equivalent to an hour or more a month to be a member.

anecdotal part comesnext
Having been a member of a union shop before and having quite a few family in the Midwest I would switch employers or careers before creating or joining one. I cannot for the life of me equate professional and union in the same sentence.
Right now the above post looks about -2 despite being absolutely correct.

Downvoting informed people is the worst way to express disagreement. It contributes nothing, and makes your side look bad.
I don't know whether you're right or not (that this particular fund is just a lucky survivor), but I don't like this argument.

The classification of anyone that beats the market as a lucky unicorn is logically impermeable. If you accept the argument, then no matter who says they're beating the market, you'll be able to dismiss them without further thought.

There needs to be a better argument, one that allows for the hypothetical fund that does manage to do something intelligent and beat the market.

I find that this style of logically impermeable arguments crop up quite often when dealing with peoples belief structures. Here yours is that the stock market cannot be beaten, which may or may not be true. A useful question to ask in these situations is; Suppose that your belief is wrong, what evidence do you imagine might prove that it is in fact wrong?

When you can answer that question, you'll have a more concrete argument for why this fund is indeed just a lucky survivor.
I think an interesting Union would be one that lets employees decide who they want to be their direct supervisor along with some sort of incentive for output.
Ask HN: Jsfiddle support to stop link farm using my product's name
Someone is using my product name on jsfiddle to generate links and possibly distribute maleware posing as copies of the product. Anyone know how to get jsfiddle to kill the page? There is no information on their site on how to do so.
Is like saying that English accent (from England) doesn't exist. Of course it does. Every single region has its own accents. And yes, I guess within Spain accents vary, which I guess is the thing you are being pedantic about.

Well I would definitely not expect a mexican to write Mexico with a "j". So are you from Spain or not?
For Those Familiar with “Cards Against Humanity”, Here Is “Cards Against IT”
I-is that one of KSP's space music I'm hearing on the first level ?
This matches my experience, unfortunately.

I worked in an industry with notoriously low pay, and I felt that the union removed my ability to negotiate my pay.

Meanwhile, my workplace was paying for (and I was stuck dealing with) union-protected incompetence.
2005 was a crazy year. It feels almost surreal it's been ten years.

Chaos Theory was one of the first games to use DirectX 9.0c/Shader Model 3.0. A couple months later, Battlefield 2 was released. A few months after that, F.E.A.R. and Age of Empires 3. By the end of that year, X3: Reunion. All of these games had incredible graphical fidelity for their time, and the remarkable thing was that for the most part, they weren't just glorified tech demos.

From 2004 to 2007, it really felt like a renaissance in graphics. Far Cry and the UE3 demo in 2004 served to kick it off. During 2007-2009, things sort of solidified in a sense, locking us in to this weird post-modern level of graphical fidelity that's stayed more or less evolutionary ever since.

Hopefully there will be another golden age. Perhaps VR will lead the charge this time, rather than the GPU.

---

Also, Amon Tobin's score for Chaos Theory was excellent. IMHO, it played a huge role in making the game what it was. Even today, you rarely see scores so eccentric, let alone in AAA titles.
When an idea is just a project that you're working on by yourself, it's easy to get distracted, let timelines slip, etc.. since no one cares, no one will hold you accountable, and you'll never need to tell someone why X wasn't finished on time.

Get as quickly to an MVP as you can and get a few customers. Or find a partner who believes in this idea as much as you do.
New Alzheimer treatment fully restores memory
You say this as if you get one shot to negotiate with one employer. There are hundreds of employers. Many are in competition with each other, directly if not indirectly. When the union negotiates, they are not representing YOUR interests. They are representing the collective interest of the union. The deal they get will be the minimally acceptible deal that a majority of the membership will accept. You are still not in control.
The government has tried that:
http://en.wikipedia.org/wiki/National_Flood_Insurance_Progra...

By charging premiums below market risk valuation, the program has encouraged building in vulnerable areas. This has led to destruction of resources and government transfers to the rich people in a position to own coastal property.
"The cards are in their hands every single time"- that's not true for high skill workers. If you are the only guy who knows all the opaque rules of an important business system you can often negotiate from a position of strength. That's one of the reasons IT workers get paid so well.

The people who lose out the most are those doing important but relatively well defined jobs- the factory laborer, highly scripted call center worker, the warehouse picker. They can capture a lot more through collective action because while they can easily be replaced individually losing them en masse is catastrophic.
It's so strange to notice that we live in a democratic society but work in authoritarian organizations (for employees at least). By getting rid of unions, we made it clear as to who owns the companies and who have rights within the company. Having some say in the direction that the company is moving towards seems like a reasonable thing to ask for.
Input, a flexible font for programming
I'm not OP, but it feels like you're arguing semantics. YES, that's the technical definition of "average," no argument, but I don't think he/she meant mathematically average.

If you substitute with these terms:

- 5% toxic

- 25% subtractors

- 60% competent

- 9% exceptional

- 1% brilliant

...then there's no reason to apply (or defend!) the mathematical definition of "average." And I think those numbers actually seem somewhat reasonable, based on my own exposure to working developers in various industries. What this doesn't count is the the "FizzBuzz effect," where ~95% of the people who are interviewing at any one time (in a tight market) tend to be from the bottom end of the spectrum.

Even within the broader pool of programmers, the line between subtractors and competent is very project-dependent, in my opinion. For some levels of project complexity, the line might actually invert to 60% subtractors and 25% competent, while for far less complex projects, it might be 5% subtractors to 80% competent.

In the former case I'd want an exceptional developer, while in the latter the exceptional developer probably wouldn't even apply, or would quit out of boredom.
We know how to create reliable software; we just don't want to pay for it. We prefer for software to be cheap than for it to be reliable, so that's what we get. In the rare cases where we do spend the extra money on quality, e.g. embedded software in vehicles, we do get reliable software.
Correct. It could be broken down into two parts though:

* One database containing facts about which GCC flags are incompatible with one another (i.e., cases where you can't specify both --foo and --bar). This would ideally be provided as part of the build system itself, since it's not going to change for every program built with the system.

* A small database (if one is even needed) you'd specify in your build scripts where you can enumerate specific flags or compiler features you know shouldn't be used with your program. This would augment the database provided by the build system for your specific compiler.

Note, I'm not suggesting that using Prolog to define a build system would make it impossible to specify bad or incompatible compiler flags. I am suggesting that deriving the set of flags to use for a build based on known facts about the compiler being used and your program makes it much less likely that a change you make to a build script causes the build to break in subtle ways once you've started compiling (or worse, at run-time). With Prolog, it'd be easier to detect such issues up-front so you can fix them before you start compiling or deploying.
On the same note, I have heard of declaring publicly that I plan on achieving a certain goal/end result with the idea that not achieving it will make me look bad. I have not tried this though. Thanks for your suggestion.
The imperfect fungibility of time
Show HN: Learn to design 3D printable models by writing code
Careful -- because R is uncountable, there is no system for representing arbitrary irrational numbers with finite strings. All irrational numbers with periodic continued fractions are quadratic irrationals, i.e. they can be written as A + B sqrt(C) where A, B, C are all rational. And of course, that formula immediately provides a much more straightforward way to represent such irrational numbers by finite strings!
Never thought I'd see the day where a Playboy article is on the top of HN. Great read.
I would be interested in learning about forms of unionisation via co-operative structures.

The perception is that unions can "block" things, that is also their power.

Co-operatives distribute ownership, and thus responsibility and profits.
If you are the only guy who knows all the opaque rules of an important business system you have incompetent management and they should be replaced.
Single point of failure and all that. What happens when you are ill/away and a critical bug must be fixed, or a critical system goes down and must be restored?

I predict a lot of pizza's boxes around the office. And you working remotely like mad while ill or from the beach/sky resort. A lot of screaming, too. :)
Nice little list. Now all we need is something like 'CPM', the C Package Manager. Got to keep up with the cool kids.
A union negotiates a contract with an employer. The employer freely enters that contract, and by signing that contract is giving the written intention of following through with that contract.

That contract is mutually beneficial. As employer, you are provided with a pool of selected professionals. As a worker, you are provided with fairer compensation and benefits.

Right to work comes in and says those contracts do not have to be honored by the employer and they can break that contract because the law says so. Anyone they employ now enjoys the benefits of that the union spent time and money on negotiating, but the worker does not have to pay dues to enjoy that privilege. Without the union, those privileges wouldn't exist.

Any "rational actor" can see that the rational decision is to enjoy the benefits a union brings to the table, without having to pay dues.

The counter to this is the argument of freedom of association, saying employers can hire who they want. This sidesteps the fact that employers made the free decision to entire such contracts and chose to stand by its stipulations.

Unions do not hold a monopoly on workers. Workers are free to entire and exit contracts with unions or negotiate on their lonesome. Employers have a variety of unions and individuals to pick their employees from.
How did you manage a blank username???
The only civil reply to my comment above. We may not share the same opinion, but I appreciate your considerate response. My post above probably came out too harsh, that was unintended.

> I don't think that the ritual slaughter of islam and conventional slaughter are different enough for the line between barbaric and non-barbaric to coincidentally somehow end up right between them.

http://www.independent.co.uk/news/uk/home-news/outcry-after-...

> As for slaughtering an animal that you've enjoyed the company of, I'm not sure how it is any worse than slaughtering an animal you didn't enjoy the company of.

If you actually believe that which you're saying, you'd have no problem slaughtering your dog.
Still anecdata but I've worked in three locals and have NEVER felt like my job steward or the union leadership aren't working to protect me. If they were, they wouldn't get re-elected. Of course, I work in an industry where the unions are strong and members actually vote.
Except the reality is that we are not getting paid "so well". Given the scarcity and value of our skills, we're getting screwed.

We're not very good at negotiating as individual professionals, and we're being taken advantage of on a massive scale.
Numbers of jobs created range from 100k to 500k depending on the source. You can see how this subject remains controversial to this day.

The other important thing to factor in, is the general evolution of the unemployment rate in France since the introduction of the law. It makes it really easy to see that it the effect was limited, both in influence and over time.
I wasn't even thinking of Somalia and Sudan, which aren't quite even states in all aspects, let alone corrupt ones.

The ones you mention have all problems with corruption, to the point that as a Westerner doing business there you have to be aware of it.

Certain parts and certain businesses are worse off than others, of course, and for example the textile industry which is probably the most discussed and studied, have had huge problems with everything from organized crime to outright slave labor.

A general statement that off-shoring helps poor people is simply too easy to find counter examples to.
It seems odd this doesn't use neovim. Wouldn't it be much easier to use neovim rather than raw vim to achieve this kind of result ?
Show HN: HaikunatorPHP – Generate Heroku-like random names
Compiling a kernel module for Android (part 1 of 3)
There are three ways to send feedback or ask for help:

- twitter (@feedbunch)

- github issue tracker (github.com/amatriain/feedbunch)

- email (admin@feedbunch.com)

They are indicated in the landing page and in the signup, login and other pages.

I don't understand your question about the HN feed. HN has an RSS feed (https://news.ycombinator.com/rss) which as far as I can tell includes every link posted to the front page, but not necessarily in the same order. Feedbunch does not create this feed, HN does, and I guess only someone from HN could explain what gets added to the feed. Feedbunch just shows whatever is in the feed.
This strikes me as though it should be an art piece underlining the tragedy of what the Kindle and all DRM-encumbered digital media has taken from us.

When a friend or visitor walks up to a real bookshelf in your home and takes interest in one of your books, they can thumb through it and even borrow it for themselves.

With these, it is a farce, a disappointment, an insult. A real bookshelf says "I read these and you can too!" A bookshelf of papercraft books says "I licensed these for myself and due to DRM and copyright all I can share is the jacket."

Bookshelves full of papercraft books mock the beauty of bookshelves full of real books.
Agreed. I have argued for this with other technical people and they still argue the opposite however.

I am in New South Wales and have raised the source issue to all the candidates in my electorate. I usually get blank stares over this point. This worries my deeply as how can someone who does not understand the implications of what they are doing legislate laws about it.

I would like to see it done better. No idea how but perhaps the taking of a test to prove some level of knowledge before being allowed to vote on any issue.
As a heavy user of SalesForce, I will say I like the simplicity. On that same note, there are many features missing that make your CRM unusable for me. My sales process is much more complicated, so I would need more functionality in defining the sales process and being able to sort/report on that system. If I were a user of your system, my next feature list would be:

1. Definable sales process. I.E, Step 1 Quality. 2 Understand the Problem. 3. Develop the Solution etc.
2. Configurable fields for deals - At least add a Notes box. In the absence of configurable fields I could at least put data in the notes field.
3. Activity Tracking - Besides tracking a contact or a deal, it's important to also know what activities have occurred to turn a lead into a deal, close a deal, etc.

I would also spend some time over at http://owasp.org learning about security. You have some pretty obvious security vulnerabilities. Many people put security off until they "have time" but I would seriously at least try to focus on implementing SSL and removing at least cross site scripting and SQL Injection.

I hope this is helpful. Keep hacking.
When a union is used to defend rights, it is good.
When a union is used for exploitation, it is bad.

The problem is when unions grow too large, and become politically lucrative feeding grounds. The government hands out certain contracts to certain unions to gain their votes (and in some cases, their returned financial support), while squashing "fair competition" (not everyone is, or cares to be, unionized, especially when the disagree with the principles and practices of some unions).
Technical content aside, anyone else think that need for this app is a pretty good indicator of some rather unhealthy sleep habits?
Yes it is. It's 'Bathed in the Light' by Kevin McLeod. He's got a nice site (incompetech.com) filled with royalty free music. Great for low-budget game devs like myself. Sounds like KSP picked one of the same songs I did.
You can share some kindle books: http://www.amazon.com/gp/help/customer/display.html?nodeId=2...
A bugged life (2008)