skysight-inc/HackerNews huggingface dataset:
That's true for everything, with the whole butterfly effect. Just opening the door to the time machine and walking outside is enough to change history completely. Imagine someone has sex in a different position or at a slightly different time. A different sperm reaches the egg, a different person is born. Not only will that affect all their descendants (which is pretty much the entire human race after a few centuries), but all the people they would have known or interacted with.
It may not be possible to have a stable timeline that involves time travel i.e. if time travel exists, someone always ends up travelling back and messing up the timeline so that time travel isn't discovered. If timelines which include time travel are inherently unstable then the timeline(assuming there's only) would stabilise when time travel isn't used at any point. This does leave the door open for time travel tourism though, where you just go back and observe but without changing history in any way. The method of time travel would actually have to prevent changing the past though otherwise the potential for abuse would lead you back to the unstable timeline issue.
I guess a good answer to that question would be a PhD dissertation, not a HN comment. I wish I knew the answer, or that it was easy for me to express

Very true :) we are not the first to discuss this. Nor is it the first time a legitimately interesting HN post about technology has turned into a side debate about quasi-libertarian philosophy.
‘Airbnb for tutoring’ startup Tutorspree (YC W11) shuts down
That is a pretty stunning board of directors as well. I don't doubt their CEO can get an introduction to, and lunch with, nearly anyone on the planet.
Not really.

a) growth isn't required in all economic models so inflation isn't necessarily valid.

b) goods and services are perfectly good interest. Not that you'd have to borrow it if interest wasn't profitable (it would drive asset value down).

c) risk is irrelevant if lending isn't required.

you're too in the bank and growth model mindset. It doesn't work like that everywhere.
This whole issue leads to a dark place (intellectually). Would you be alive today without WW2 or without the Holocaust?

I wouldn't. How am I supposed to feel about that?
Online Content & Our Generation: We are Demanding, Not Cheap
TutorSpree (YC W11) shuts down
The HTML5 standard prescribes a regex for implementers to validate email addresses on the client side:

/^[a-zA-Z0-9.!#$%&’*+/=?^_`{|}~-]+@[a-zA-Z0-9-]+(?:\.[a-zA-Z0-9-]+)*$/

So if you're going to use <input type=email>, you might as well use the same check on the server side.
The reason for starting Mir is still unclear to me. The is a very real cost of maintaining Mir. If you're not Canonical, why would you spend money, time and complexity for an unclear benefit? Better have it stay Canonical-only.
If you subscribe to the multi-verse theory, then you can. Except when you "return" to your own time, you are forced to travel to a present where you did kill Hitler. Your own original time, where you didn't hill Hitler continues on as it was except you can no longer travel there.

Killer Hitler is like throwing a railroad switch and changing tracks, once entropy send you down the new track, there's no hopping back across. And even if you could you'd just be going to a present time where you failed to kill Hitler.
That certainly seems to be the trend - succeed once and diversify. You simply take the diversify first.

It's a nice idea - 52 startups.
It seemed like it was scaling pretty well to me, so I was a bit surprised that scalability was cited as the problem. What went wrong?
>owe $147

>you have to pay $5000

>you lose $197,000

How is this acceptable?
Sending a copy to a web server is possibly not covered under personal use, but that depends on the country I guess. But of course he could simply run the OCR locally on his computer instead.
You lost me at "only solution". How about we humans stop overfishing the oceans? We eat way too much meat in an unnecessary, gluttonous way, and seafood is included. The terrestrial manifestation is lower quality food, poorer diets, extra greenhouse gases, and pollution runoff in inland waters. The jellyfish problem is the oceanic manifestation. A systemic problem requires a systemic change. I doubt humans throughout history have proportionally eaten as much meat as Americans eat today. But these days, for the first time, we have too many humans to safely ignore the consequences.

The oceans are being acidified by absorbing CO2, which dissolves into the water. Does desalinating water solve that problem? Better yet, does it scale?? The amt of water humans need for drinking is nothing compared to the size of the ocean.

Nuclear fission is not a clean energy solution -- the waste lives on forever. Fusion is not an option at the moment, and we need to start on solutions now until/unless fusion energy happens.
The author goes into delightful depth about the history of addiction, but then implies at the end ("things that take mor brain time win") that after all that we haven't evolved any defenses against it.

But there are checks and balances against addiction in our culture. Your friends start to get concerned. You lose your job and can't pay your WoW bill anymore.

And these events afford us a time for reflection. I specifically don't do World of Warcraft (or amphetamines) because I know they're good at capturing my "brain time". My fear is bad for WoW's growth.

I do agree Internet addiction is a public health crisis. But I don't think we're as powerless to take it on, both individually an collectively, as the author implies.
Some good points, but Technology is a stimulant not a depressant (unless you spend all your time on facebook looking at your friends' pictures), so it's more like Cocaine.
MyHDL is great, more people should use it. I find it especially powerful for building test frameworks. I love using the power of Python for all the verification logic.
What is also crazy about it is that the government is apparently not setting a high enough price for the liens. If they correctly priced the 'option' that the lien wouldn't be paid and the buyer could foreclose, then it wouldn't be so attractive for the predatory buyers. So the government is allowing itself to get ripped off too.
This is a totally bullshit way of managing a FOSS project. You should never remove working code from a FOSS project if someone is already maintaining it and that someone represents a major chunk of your users. I hate that Ubuntu guys are moving away from X/Wayland (so suddenly and in a close-is way), but treating them like this indirectly is wrong. We got to play fair with the FOSS eco-system.
That's hilarious, but the justification they give for not killing Hitler is unfortunately pretty weak:

"no Hitler means no Third Reich, no World War II, no rocketry programs, no electronics, no computers, no time travel."

But still worth a read!
"Noting also that this played out over many years."

Not so. The article states the liens can be sold after a year and foreclosure initiated after an additional 6 months. In several of the cases listed, the original home owner was in hospice care or otherwise unavailable.

I don't disagree that the city needs a way to recoup unpaid taxes. But, there has to be a better way than this.
That's the law everywhere I've ever checked. Very very odd if it's not the case in D.C.
Is there a reason you didn't read the rest of my comment?

>The rest of your points are reasonable concerns, but need to be followed up by a very important question: are there alternatives that produce similar quantities of food for similar costs? Because until/unless there are, fixing the issues you raised means starving people to death.
Say what you like about Ayn Rand, but she was hardly a fan of out-of-control government/private collusion to seize individuals property in a manner completely out of proportion to the size of their debt.
Why not just go the whole hog and tax all property.

eg you buy a laptop, you have to pay the government a tax each year to keep it.

Why just apply it to houses? May as well just prohibit people from owning property.

Personally, I think such taxes are a massive disincentive for people to do well. As soon as you have enough money to buy a house, you are penalised for it.

Luckily in the UK, we don't have property tax, although we do have other taxes just as disgusting and unfair - stamp duty, inheritance tax, council tax.
This is only true if there is a cost-effective way to reach the businesses in question. Sometimes there is, sometimes it's less clear.
>Get exclusive features

This is the quickest way to kill my interest in a game. I don't want exclusive items/features/modes/whatever the fuck you are selling. I want everyone who purchases the game, now and forever, to get an identical product.

Early bird discounts are fine, but everything else ruins the experience for me.
And before that, there were the people who thought anyone using an assembler was wasting precious CPU cycles, and something like FORTRAN was considered heresy.
I wouldn't be against this basically being a fraud committed by someone in the local government there. Who else would have the knowledge to have found the loophole? Who else could have abused it so well?
Ironically, a lot of houses owned by banks as a result of foreclosures ("REOs") are in turn getting foreclosed for failure to pay taxes and HOA fees. Banks were/are not equipped to manage the number of properties they own as a result of foreclosures and they lack the basic infrastructure to maintain these properties not limited to paying taxes and HOA fees, but violations of certain civil statutes like failing to maintain lawns that result can result in fines upwards of hundreds of dollars per day for continued violation.
By that standard few startups are 'important'. Twitter (sms on web), Facebook (another myspace), Microsoft (another OS).

InstaToiletPaper is a pretty good startup if existed. When you run out of toilet paper you really want it quick. A drone could fly through a small window and it get it to you. You'd pay $10 for a single roll.
Neither Coq nor Isabelle are based on Martin-Löf Type Theory (in a narrow sense).
Coq is based on a variant of the calculus of construction (with (co)inductive definitions) and Isabelle is an LCF-style prover framework that you can instantiate with various different logics. The most widely used variant is Isabelle/HOL which implements a variant of Church's theory of types. To implement other logics, Isabelle uses intuitionistic second order logic based on lambda calculus, without numbers or recursive data types. Idris has Type:Type, so is unsound as a logic. I'm not sure exactly what Epigram uses, but I assume it's somehow based on Luo's ECC. Only Agda is based on Martin-Löf Type Theory.
I think there's a substantial difference between fun-making and serious criticism. I do see less of the former with Obama, but that's just because Bush was so much easier to make fun of. He was prone to gaffes, spoke just enough like a redneck to make the association, and didn't take things too seriously. Obama is too boring to make fun of effectively.

But in terms of actual criticism, Obama has way more. Everybody is upset with him on health care reform, just for different reasons. Everybody is upset with him on the economy, they just have different remedies in mind. Everybody is upset with him on Libya and Syria.
I don't think I'm sticking up for LFSR-based IVs, but here you need your messages replayed in a pretty specific set of constraints: almost back to back (to get the samples you need to infer the state of the LFSR), and all in the same session. By comparison, Lucky 13 doesn't get to assume those constraints, right?

I don't think LFSR CBC IVs are a good idea (though again note that they work in CTR), but they seem like an awfully dumb way to backdoor a standard, and it's straightforward to see how a well-intentioned suggestion could propose their introduction.
Coderockr
Contrasting native Erlang performance vs raw C vs C NIF functions
Oyster: The Netflix of Books
Coding Is Coming To Every Industry You Can Think Of
Or play this along some electro music, and adjust the glitch settings based on the sound levels...
It's the opposite of the butterfly effect, he's more likely arguing that WW2 was built on the frustrations and ideologies thrust forth as a result of WW1, so merely killing one angry officer isn't necessarily going to avoid one or another catastrophe involving war and genocide. WW2 might in fact have been unavoidable (not sure whether this is true or not, but it might be). Some other racist charismatic dude might just take his place, ready to harness whatever ill will there was around him/her. (Well, probably "him".)
It took me looking for the described video for me to realize this was The Onion.

I really wanted to see the president of a library board say they had a 'shit ton' of books.
> and culturally if you're typing away with your headphones on its very similar to working with your door closed.

True. But, as with all things that have pros and cons, if your culture doesn't respect that you have headphones on it's not at all like working with your door closed. There is no barrier to a tap on your desk or shoulder with 'a quick question.' This happens quite often where I work and I find myself guilty of doing it as often as it is done to me. Speaking for myself, a cultural barrier is much less inclined to stop my behavior than a real physical barrier be it a cube with walls or even better an office witha door.

I have worked in a variety of situations the past 10+ years some cubes, once I had an office to myself and open floor plans the past several years. I think my optimal preference would be the shared office approach, with 2 or three individuals in the office. In a small group, it's much easier to request and establish a smaller customized set of things related to mutual respect for differences in how we all work.
Is Netflix only available on iOS devices?
I'm taking your advice and I'll hack together a prototype and see if the administration will bite.
In effect we do have a property tax on laptops, but for convenience you pay it up front (VAT @ 20% of the value). It pays for all the same things such as helping the police to defend your laptop from being stolen, and paying for the ports and roads along which your laptop was imported (as well as the national debt which was increased when you imported it).

Council tax is the UK property tax. It's a very low-rated and regressive tax, but it's a property tax.
But consider this important point: While it stands to reason that WW2 was almost inevitable after the treaty of Versailles (US and Brit diplomats said as much at the time), the Holocaust was very much evitable.

Had the Communists won the battle for the disgruntled German of the 30s instead of being beaten out by the Nazis, there would not have been a Holocaust but probably still a war.
No one seems to have mentioned the Minimus[1] as an arduino compatible[2] alternative -they we're costing us £3 and have a lot more GPIO pins to play with[3]. The new version is powered by a ATMEGA 32U2 so it's got some grunt (and lets you play USB too).

[1] http://minimususb.com/
[2] https://github.com/pbrook/minimus-arduino/
[3] https://github.com/pbrook/minimus-arduino/wiki#pinouts
Save a million. Kill a billion.

Sounds harsh but saving those lives also makes the problem worse i.e. the population's dependency and consumption grows meaning that if (when) the theoretical disadvantages start to become a reality, it's going to be truly horrific.

Unpopular opinion: these people need to stop fucking if they are going hungry.
Yeah... This is correct as far as I know though a bit out of my complete technical grasp. To my understanding MLTT was a fairly central topic and it helps to distinguish MLTT from just type theory since plain-old-TT might be harder to distinguish as something interesting above `(int *)`.

But, to solidify, mafribe is much more correct than my comment and there's, as far as I'm aware, a much larger menagerie of other type theories. The recent Homotopy Type Theory publication—which was on HN as notable due to its publication process—was yet another step in this direction.
It's privatization of tax collection; a Randian/Thatcherite dream.
ODesk vs Elance vs Freelancer vs Guru
> Especially small towns where big factories used to pretty much own the towns

Don't forget the practice of providing pay in company scrip that could only be spent in company provided stores.

https://en.wikipedia.org/wiki/Company_scrip

In countries with very wide reaching conglomerates, like Japan and South Korea, I can almost predict a cyberpunk like future where you become a citizen of a company and cradle to grave live out your life in that company. Eat feed grown on company farms (farmed with company equipment), live in a company apartment, drive company cars, wear company clothes, watch entertainment on company TVs etc.

Samsung is an example of a company that I think has almost that kind of reach. And to put it into perspective, Samsung has revenue about the same as the GDP of Finland, Israel or Chile. And exceeds countries like Egypt, Pakistan, the Philippines, and Vietnam.
Message threading (1997-2002)
As you all pour your half eaten dinners into the bin...

I grew up in the same period for reference and the logic was slightly painful.
Oh, to be clear, I don't think the NSA back doored the standard that way. I think the IETF was just doing what they do: ignoring principled cryptographic design because they thought they knew better. Hence why I made the point about the incorrect design philosophy. It happens to be the case that this kind if philosophy is also easy to subvert if someone is malicious. I don't think that's what happened in this case.
Could this hostility be the result of the NSA subversion? It seems as though the same few hardware vendors keep popping up as the people slowing down security fixes.
To be fair, I think people get stuff online then go into the Apple shop to buy accessories or to get things fixed. Volume does not appear to be a problem.
I know what you mean, but its all in the interpretation. "Here's the most important PR spin we can present at this time." They usually make the right decision about it being the most important PR message. Being important, influential or loud seems to have little bearing on if the spin is actually correct or not.

Whats on the inside front cover of Make Magazine? That means its probably worth talking about; doesn't mean its necessarily the right thing for everyone to buy all the time.

Look on the bright side, at least the Economist isn't as bad as getting your biz/econ news from CNBC; as a legacy media its pretty good.
I will be talking to the purchasing dept after I build a prototype to show the director. I am aware that this will be an uphill battle since everyone in healthcare is paranoid including doctors and admins.
Lots of these marketplaces face the same major challenge of offline commerce once first contact is made. Basically, there's little to nothing to stop the seller from taking the relationship offline and make 2x the money as the relationship continues. Services try to mitigate this with value adds like scheduling services and providing more leads, but it's so difficult to police that most just try to continue to fill the funnel.

Airbnb is different because the relationship is long distance and trust, payments, insurance, etc are a much larger issue. It's also typically a one-time transaction and there's little need to take the deal offline. I'm sure they deal with this with people wanting to stay beyond their trip date or trying to book directly, but Airbnb can easily track this stuff with the scheduling feature and seeing discrepancies when users try to go offline.
SENS antiaging approach is winning the battle of ideas
I am a (limited) Rand fan -- I think she inadvertently explored some interesting ideas, particularly about the limits and problems of wealth/power in The Fountainhead, lost on most of her acolytes though they seem to be -- and my suspicion is that Rand would be pretty much fine with this outcome if we could just get government actors out of the equation and have private parties taking homes from people.

For an example, consider an HOA taking a home from someone over unpaid fees.

(Incidentally, if one were looking for a crystal ball into what private/libertarian governance would actually start out looking like in the first world, I'd guess that the problems of HOAs would probably give a pretty good idea.)
The food industry has been carefully maximizing the addictiveness of its products for decades now. The software world has its equivalent in vendor lock-in, which may not tap into the same psychology, but is nonetheless rooted in fostering habits and dependence.

It's a problem of perverse incentives inherent in capitalism (and democracy also); the fact that a consumer's rational judgment holds so much power means that providers tend to be rewarded for distorting and subverting that rational judgment, which is easier than it would seem when done on a mass scale. It's a wicked problem, to be sure.
Depends. The money in the current system is created with debt. If you remove it than it may lead to some interesting stuff.
Having worked for Kaplan, I can say that a few bottlenecks would be screening tutors (Kaplan does an in-person audition but these guys might have done it virtually) and customer service (you will always get parents calling to complain and demand money back). Their site also said that a Tutorspree educational consultant would help tutors schedule lessons, which is odd...I would put that burden on tutors to input their availability and then let students pick available time slots. Also, as with Kaplan, students will sign up for the first few hours through the company, and then just pay cash directly to the tutor, cutting out the middleman.
Comprehensive (UK-focussed) site dealing with arguments against a property tax in the form of a tax on the imputed rental value of land: http://kaalvtn.blogspot.co.uk/

(Note that property owners would NOT take a larger share of the burden; as with council tax, responsibility for payment would fall to tenants, to the greatest extent that market forces will permit. For council tax, that is currently "tenant pays all of it". No reason to assume a land value tax would be different.)
Well, theoretically the price of the lien should never be bigger than the price of the debt. The price should be (debt x odds of getting payed). These are usually bought in bulk

But of course, with this "new method" it makes sense to be higher.
House of Sand and Fog. Yes, excellent movie.
https://en.wikipedia.org/wiki/House_of_Sand_and_Fog_%28film%...
Perfect, many thanks.
I joined my local library branch to try out renting ebooks on my Kindle, and ran into a very curious concern. All of the books I wanted to read were out of stock. Yes, the ebooks were out of stock. I understand that there is licensing that needs to happen on the side of the library, but seriously publishers, it's 2013 and these are ebooks. Get over yourself. This is the exact argument people make when they say piracy is not stealing. It doesn't cost a damn thing to make another ebook.
And banks will charge "fees" in lieu of interest to their Islamic customers for products like mortgages
Web Hosting From The Worlds Largest Web Hosting Provider
This simply means that the banks should hurry up and auction the houses instead of sitting on them and waiting for their value to increase.
I bought the 17-inch Macbook Pro just a week before the retina came out (on purpose). It is worth every damn penny.