skysight-inc/HackerNews huggingface dataset:
I've been looking for a reason to use Prolog for some time, as I've always had a sort of latent interest in learning it... but never had a project that just screamed for using Prolog.

Now, I think I may have that project. We're at a point with some of our projects to where we are extracting structured information (as RDF) from unstructured content, and storing that RDF in a triplestore, and allowing SPARQL queries. So you can do things like asking for system for all "entries" (where an "entry" can be a tweet, a blog post, an email message, etc.) where say, "all entries that mention a musician who was born in the UK" or "all entries that mention a college or university in the US, founded after 1800" or whatever. Of course, normals don't write SPARQL queries, which leads us to doing a certain level of natural language understanding, and then automatically generating the corresponding SPARQL.

As it happens, Prolog has long been associated with NLP and there is quite a bit of literate on doing this kind of work with Prolog. So now I'm very excited about a chance to learn Prolog and apply it to a problem that I find very interesting.

Aside: Yes, I am aware of Quepy[1], which does this in Python. But I also want to learn Prolog for other reasons as well, and want to spend at least a little bit of effort exploring doing in Prolog. But if it proves to be too challenging to get something working, we may use Quepy.

[1]: https://pypi.python.org/pypi/quepy/
> The issue is that such academic debates have almost no impact on any current political system that describes itself as a "democracy" and the poor citizens that live under it ... political ideals aren't real. They don't matter.

> people discussing programming language theory on the Haskell mailing lists ... have no effect on actual developers maintaining crappy PHP code.

Interesting observation, and yeah, it definitely smells like Marx. But I'd say it's too early to reach a conclusion like that. It's not unusual for mainstream philosophical ideas of X'th century to have little impact on the real world until well into X+1'th century or even later, and that's under favorable socioeconomic circumstances.

Similarly, programming language theory debated on the Haskell lists tends to "trickle down", after a while, into various other languages and frameworks. 10 or 20 or 30 years later, someone writes a PHP framework that is indirectly inspired by some of them. It takes time, that's all.

I'd be very surprised if political ideas developed in the 1990s, for example, came to fruition anytime before 2090 or so. And the same applies to the neoreactionary ideas of the 2000s. Even if they're as promising as their advocates say they are, it's going to take no less time to port them to the real world. So I don't think your impatience is justified.

> a) they survived perfectly well in ages past when governments tended to leave shit alone

Ah, the usual baseless romanticism about the past. This is what I find the most disagreeable about neoreactionaries. If you want to build a better future, leave your unrealistic notions of history at the door.

> b) they were actually much happier being left free to take their own risks and make their own stupid decisions than have someone prevent them doing so.

Did you actually go back in time and ask them whether they really enjoyed it? Or are you just trying to force everyone else to be "free" (hello, Rousseau) regardless of whether they want to be?

I don't have any problem with a bunch of consenting adults who want to build their own country in the middle of an ocean. It's their money and their own lives to spend as they see fit. But I don't think anybody has the right to drag a single non-consenting person into a copy of Plato's ideal city.

Most people are just fine being comfortable serfs in an industrial society, whether you like it or not. And that's what really prevents the speedy implementation of any political philosophy, whether yours or mine. As I see it, you're not really trying to fix this issue, but merely rewrite history to make it look like a non-issue. It's a fascinating intellectual exercise, but good luck getting your rewritten history merged into Upstream Reality.
So... kinda like a cross between WooThemes and jekyll (or hyde)? Seems like a pretty good idea -- especially for a large subset of business websites where <favorite CMS> is overkill.
Could that not have been the feds?
The $100,000 Career Mistake Rubyists Make
The smartphone is removed and wiped. Or you're arrested for wire-tapping. Or they say the phone is a weapon and they tase you. Or they shoot you and say they thought you had a gun. Or they just beat the fuck out of you.

http://www.popehat.com/2013/11/11/encourage-people-to-contac...

Or you get the video, the police-officer's boss agrees with you that the behaviour was outrageous, and sacks the officer. They offer you $1.2 million out of court settlement because all the evidence is so clear. But the officer goes through appeal, and gets his job back, with back pay. Again.

http://www.bostonglobe.com/opinion/2013/06/28/out-control-of...

> Boston Police Commissioner Edward Davis fired Williams after concluding that the officer choked a suspect during a 2009 arrest and lied about it to Internal Affairs investigators. Williams appealed the finding to an independent arbitrator who ruled in his favor last week. Absent court intervention, Williams can expect reinstatement and a city check for more than $150,000.
Matt_Cutts, what a douche. Surely your algorithm is meant to detect this kind of text spam?

Edit: The website is responsive, clearly got there priorities sorted.
Yeah, like every other economic system. That's life, that's nature. If you dumped 10% of your savings into BitCoin in 2010, you took a great risk and this is the reward. Had you been the angel investor dumping $100000 into Google when there was no business plan, the same applies or what about people who bought domain names for common words or phrases or < 3 letter domains in the early 90s, if that was you, you would have made a mint. The early bird catches the worm.

That's the game, and you and I didn't win this round.
Watch the LG G Flex Magically Heal Itself Before Your Eyes
why not? it's the least untruthful answer
As a former software engineer at Walmart I can tell you that a few months for something like that is nothing to them. They employ several thousand devs at the home office. Having one of them focus on a bug like this isn't an issue in terms of time or money. In their minds its worth it given the scale of the enterprise.
It looks like this kind of practice is quite popular. I recently created a Chrome extension to extend Airbnb listings to show crime statistics and nearby photos from Flickr.

I've shared it on the Chrome web store and GitHub on the off-chance it's of interest to anyone else https://chrome.google.com/webstore/detail/crime-stats-and-ph...
Yeah, so it actually is using Jekyll right now for the engine, and we plan to support Pelican in the future. You can just buy our themes if you want, or you can use our engine to generate your posts in the cloud without all the setup.
site:groups.google.com "href" daterange:2453006-2450815

Edit: sorry I bungled the conversion to the Julian format but you get the idea. You could also click around the 'search tools' sub-menu to do that.

Edit 2: It won't let you sort by date but you can just limit it to before 1994 :)

It only finds one message from 1993 (Dec 6), on comp.os.linux.development:
https://groups.google.com/d/msg/comp.os.linux.development/Pk...
I interpreted the NSA documents to mean that Tor is harder than no-Tor. They already know who you are if you don't use Tor, but if you do, they probably have to do some analysis to figure it out.

Let's work this out though. What do we know about the NSA programs?

1. They collect metadata on packets originating from computers connected to pretty much all the US ISPs and many other countries' ISPs.

2. The list of Tor entry and exit nodes is public and you can bet your ass the NSA knows what this list is at all points in their logging history.

3. Most websites are based in the US, and so it's highly likely that the paths from the Tor exit nodes to these websites have some intermediate point on which traffic is logged by the NSA.

4. The NSA has access to a large training dataset of how traffic entering and leaving the Tor network looks because a whole bunch of federal authorities use Tor.

Given 1-4, I think it's likely trivial for the NSA to train a learning algorithm that will correlate packets leaving a Tor exit node with those entering an entry node.

They probably can't do this all the time because it is more expensive than just a database lookup like in the unencrypted case, but it seems me to that if they had the motivation to get you, it wouldn't be too hard for them.
It's that little up arrow next to every other article.
The thing is that the literature isn't clear on there being a single agreed-upon definition of psychopathy. The PCL-R test certainly has been successful in a criminal setting. In fact, that's its chief disadvantage: it's too focused on the criminality aspect of it. There are certainly other points of view.
Nope. The reason some people hate the US is because the country interferes (up to the point of overthrowing governments) with the entire world.

Yeah, it can be argued that there is some kind of problem with people more prone to hating than to actually dealing with the problem. But there is no excuse to think the reason that they target the US any other than them destroying their country.
You can apply your first statement to most things in life. When people think things are boring, most of the time it is because they don't understand the nuances, history etc
That hard fork was rolled out over a period of two months, with warning (whilst older clients were sent messages to upgrade) and smaller splits are part of the protocol and happen quite regularly. as expected (like when two miners hit the same block within seconds and they wait for the network to recognise the block).

That is the justification Satoshi Naakamoto gave in the original paper for waiting for 6 blocks for a full confirmation.
...or if the law requires certain payments to be made (taxes, fines, etc.), provides legal protections for creditors when people default on their debts, and gives courts the legal power to require one person to pay another. This is what drives the demand for fiat currencies, and as long as the supply remains limited the currency will have value.
or "BitCoin"
I think you've missed the point on a lot of stuff here.

Viruses and parasites gain nothing from killing their host, hence most don't.

Heavens Gate has a very very small following today, so no it's not a meme by any means, it's failed to spread at all.

The religious memes aren't herded towards a path. There are millions of religions created and through evolution some succeed while most of them fail.
I think the point of the poll is that the time spent looking at a screen is far more than the time spent on "the computer" for a lot of people. Watching TV, looking at a phone/tablet during commute, reading on an e-reader after lunch, going to a theater after work. All of these cumulate as screen time, and it easily goes up to 10~15h a day in total.
Ask HN: How do you validate your ideas via email?
I just wrote quick blog post about validating your ideas via cold emails. I'm not very far along yet, haven't had much success, and was hoping to hear some good suggestions from you. How do you go about it? What are some successful email subject lines that get your emails opened?

My post is here: http://preeminentproductions.com/validate-email/

Thanks!
Was Einstein who said that quote about the universe and human stupidity, trying to describe infinity?

Cantor would argue though that some infinities are bigger than others..
How to raise funding? 
Fund raising is pretty hard, what has everyone else tried to raise money?
So, in the historic situation in which a farmer's business is all conducted in copper (or in kind) and taxes are assessed in silver, would you consider silver a fiat currency?

A fiat currency is fiat because it gives you no claim to anything. A pound of silver gives you a claim to a pound of silver. A US dollar used to give you a claim to a certain weight of gold. Today the price of gold is uncontrolled.

(Side note: owing to the special nature of facio/fio, using "fiat" doesn't necessarily require an agent. The verb is indeed the passive form of "facio" [do/make], but it's also the standard way to express [happen/occur].)
Worth noting that the PCL-R test was not designed for clinical use, and its author explicitly discourages such use (among other things, once you start using it widespread, it stops being effective as a measurement tool, and some parts of the test are reflective of history not current condition).
That's not sorted by date?
held by bad actors (criminals, anarchists, use your imagination).

Where do you get off calling anarchists "bad actors"??? Personally I find this highly offensive and insulting. Just because I believe people should be free, and not subjects of some "state", I am the "bad actor"? F@%@ that...
Exactly right: this was when I worked at EA. :)
$200 certificate for a personal website? That's not necessary. What we need is to stop charging a SSL/TLS certificate so much to get the recommended level of cipher used.
14 Hot Sexy Email Marketing Secrets That Will Spark Any Campaign
New Marketing technology? Turn Any Biz Opp Into A Success Story. Earn an easy $2,000 ++ per/week part time on your laptop.
i don't think you understand what he was saying. You are just being overly defensive against any liberal ideology. He was saying that if it isn't that evenly distributed then one actor, or maybe a few, could have large control over the markets. That is a different problem than distribution of wealth in the sense that the poor are disadvantaged. This argument is purely from a stability concern, not a concern of societal well being.
Got a phishing attempt warning via Chrome.
Raspberry Pi & Arduino Save Goldie the Goldfish
Gunnars have actually helped substantially, I was getting really bad eye strain / headaches.

(I really hope PG knows I voted 20 hours a day)
Colorful CSS3 Icons
If you and I draw up a contract denominated in Bitcoin (or anything, really), and you default, the courts will protect me and require you to pay, in the form specified by the contract. Courts already have the power to require one person to pay another in any form; US courts routinely enforce judgments in foreign currency.

It's true that US taxes get paid in US dollars, but, as I point out in another comment, that fails to distinguish "fiat currency" from metallic weights, which are universally considered "not fiat currency". So I'll put the question to you as well: if your taxes were assessed in silver, would that make silver, to you, a fiat currency?

> as long as the supply remains limited the currency will have value.

A technicality: e.g. Zimbabwe's money lost 100% of its value (it was abandoned by the population) long before an infinite quantity was available. I don't really disagree with the idea here, but the phrasing isn't right.

EDIT:

I might also point out that the Somali shilling (a paper currency) is widely used in transactions despite not being backed by any law or government at all. Since anyone can print them, they tend to trade at a value roughly equal to the cost of printing.
Wow. That's so cool.
Meeting people every week or two is having isolated existence? I often don't see my closest (and pretty much only) friends for few months.
2 biggest downsides to GitLab:

1) It's a resource hog. Big time.

2) It's incredibly hard to set up. The installation instructions and the development instructions are essentially the same. Key point, an end user should never have to `bundle install`, ever.
So the only problem is with tray icons? I'd like to test this, but I only have a Linux OS at the moment. Can we get a .deb if we promise to not complain about anything wrong? :)
First Functioning Touchable Quantum Model: Many-Worlds For High School
the guy probably wants to sell books. so is he really being hard on himself? Or just pretending?

If he understands he's an a-hole because he doesn't let his grandkids win, probably means that he has enough empathy to understand that his grandkids should win sometimes in order to let them gain some confidence, etc.

from what i get from reading about the stuff, it seems like a real psychopath would not even be able to comprehend that he is a jerk.
This benchmark is read-only so write-overhead doesn't matter
Yeah, it's not easy to measure, since there is so much use of third party libraries.
Like, when the internet got huge, moral question of whether people should be exposed to "evil books" or not becomes irrelevant. If one wants to read a book you think is not appropriate, he will do so anyway.

That's certainly an interesting perspective but it makes certain assumptions about what bitcoin will be used for that I'm not sure I agree with.

Governments printing ASICs to spam the network... That's the most expensive way to attack Bitcoin.

Not really, somebody estimated that getting ASICs to control 51% of the network would cost only a few hundred million dollars, which isn't much at all from a governmental point of view.

Also, as far semiconductor manufacturing goes - pretty much all of it is the non-recurring engineering cost of designing the IC. The actual cost of printing it on Si is a very small fraction for large volume chips.

Governments would love to extract that BTC for their spendings instead of killing it.

Governments than can print fiat currency don't really have a problem financing their spending. They do have a problem with currencies that undermine fiat currencies.
> You cannot require businesses to take bitcoin like the US government requires them to take cash.

How exactly does the US government require businesses to take cash? I briefly looked into the state of the law concerning this, and there were two lessons that people discussing it take pains to pound into the reader:

1. Those places that say "we will not accept $20 bills" are on completely safe ground, legally.

2. The text "this note is legal tender for all debts, public and private" on US paper currency was added for historical reasons and has no legal meaning.
I like this kind of article because what seems obvious isn't always correct. It could have just as easily meant... anything... and seeing the process and resources different people use to dig into things is always pretty neat.
Hmmmm. Thanks for letting me know, I'll look into it.
I'm mostly just feeling that other people have plans no matter how trivial and I don't want to interrupt them or force them to interact with me out of politness.
Ask HN:  How were the first 12 million bitcoins distributed?
It's my understanding that there are 12 million bitcoins out there. How did one go about obtaining this first "batch"? And does anyone know how much they were selling for originally?
Yes, it's a bit of an extrapolation. For my social time, I go social dancing. I still get a little bit lonely from time to time but I don't think it's all that bad. But in any case, what I see happening is that when people get rather good (or even if they don't; if they THINK they are rather good) they stop dancing with people who are not as good as them. Since it's an activity where being social is also coupled to having a skill; that's an easy habit to get into, as you're encouraged to "dance up". In any case, invariable the people who don't "dance down" isolate themselves and wind up alienated from the community.

Increasingly we're becoming a credentialed society; while social strata are not necessarily inherited, there is definitely class-based stratification that people tend to not breach. It's totally rediculous; there's a guy who empties the trash bins at the end of the day at the lab I work in. He's a smart guy and super resourceful (he owns his own business, so he would have been eaten alive otherwise). And most of the PhDs are just... not friendly towards him. Why not? Is it below their station in life to interact with him?
Great idea and presentation. A few immediate questions: What are the limits of what I can do with this? Can I add commenting, tags or search? How easy is it to edit the pages (what syntax do I use)? And why do I need to provide a host? Paying a little extra for included hosting seems a no brainer.
700,000-Year-Old Horse Found in Yukon Permafrost Yields Oldest DNA Ever Decoded
https://news.ycombinator.com/item?id=6787317
You miss the point. The idea is not to be able to listen to all music, but any music from one's collection.

Putting this down to greed? What an incredibly short sighted, ignorant thing to say. Perhaps we should have stopped at black & white feature phones because only greed could mean we wanted to access the whole internet on the move?

It isn't a "solved problem" because there are still issues with the solution.
This is closer to CoinSwap then CoinJoin: https://bitcointalk.org/index.php?topic=321228.0
>People claimed to be afraid of him. He had no fear oflawsuits; he knew a victim would be unlikely to sue because a civil suit would cost $60,000 (according to attorney Marc Randazza)

Why do we allow that kind if situation to persist? What can be done about it?
As I think the article points out somewhere, loneliness and being alone are different things...you can feel lonely in a crowded room, and all that. You have people to interact with when loneliness starts creeping in...so good! It just sounds like your threshold for isolation turning into actual loneliness is higher than most people.

I think my threshold is pretty similar, but the danger comes in when those few people you have to interact with move away or otherwise become unavailable, then it can become hard to meet new people because you're so out of practice.
When I was in college a classmate of mine would come by every day or so to my dorm. He would just hang out, talking about class or whatever. I couldn't understand why he kept coming over, but I was too polite to mention anything.

Turns out, he came by because we were friends.

In fact, we had been friends the whole time, but I didn't know it! What I missed is that the stages between meeting people and friendship look a lot like hanging out. It seems quite arbitrary -- why this activity, this person? But the hanging out stage _is_ necessary. Unless you text them, knock on their door, set up a gaming night, or go on a road trip, it is hard to grow closer.

So the next time you meet someone remember they are probably like you: a bit nerdy, a bit lonely. Just reach out and spend time with them for no reason, and then maybe, someday, you'll discover that you too are friends.
five-year-ago-me gives you an upvote.
Does this warning appear for http://alexsmith.io/ and/or http://blog.alexsmith.io/?
So is the target audience non technical people (or people who can't be bothered)? Sounds like a good idea. I love jekyll, but I can't recommend it to anyone not comfortable with HTML and CSS.
Valve's hiring and flat management structure isn't all its cracked up to be.
I'm surprised they didn't fix this sillyness in HTML5 when they were making up semantically-sensible tags for everything else.

A tag with

<link to="http://somepage" in="new window">

or something like that would make more sense as having the "article" inside the "body" of the document. Yes, I know link is already used in the head. You know what I mean, though.

I mean, the dual-use of a as both anchor and link has always been bizarre.
There are very few legitimate reasons to be concealing where you money came from or is going from the IRS

That's irrelevant. I don't need a reason for concealing where my money comes from.

Oh sure, the IRS may disagree, but I have a really hard time giving a shit about what the IRS thinks.