skysight-inc/HackerNews huggingface dataset:
One Kings Lane, Once Valued at $900M, Is Likely to Sell $150M or Less
They are not lacking experience. Communist believe in centralized control, not free market.
I've often wondered - those temperatures measured in Antarctica are below the sublimation point for carbon dioxide, so would dry ice snow have precipitated out of the atmosphere there?
Canada definitely is!

:'(
Ask HN: Summer 2016 Internships in the Bay Area/ SoCal?
Who is looking for interns in the Bay Area or Southern California area this Summer?
Please post in the following format:

Company Name:

Location:

Company Size (number of people employed):

Company URL:

Position:

Skills Needed:

Contact Email:
I'm not an expert in Idris, but I will try to answer this as best as I can.

That's the Haskell type notation (Idris and Haskell are similar). Here's an example:

plus5 :: Int -> Int
plus5 n = n + 5

The first line is the type declaration of the `plus5` function. You can read it as "plus5 takes an Int as argument and returns another Int". The second line is the function declaration. The equivalent in Python would be:

def plus5(n):
return n + 5

The syntax is the same when functions have more arguments:

add :: Int -> Int -> Int
add a b = a + b

This means that add takes two integers as arguments and returns another integer. This syntax might look strange (you could be asking yourself "How do I distinguish between the argument and return types?") but that's because in Haskell functions are curried[1].

Haskell (and Idris as well) also has parametric polymorphism, so you can define functions which operate on generic types. For example, the identity function:

id :: a -> a
id x = x

You can read this as "`id` is a function that takes an argument of type a and returns another argument of type a (so the return type and argument type must be the same)". This means the id function will work for any type of argument (String, Float, Int, etc.). Note that of course this is not dynamic typing, Haskell and Idris are statically typed and therefore all the types are checked at compile-time.

Now, let's move on to Idris. One of the reasons there's a lot of excitement over Idris is because it has dependent types, i.e., you can declare types that depend on values and these are checked at compile-time.

The example GP gave was this:

app : Vect n a -> Vect m a -> Vect (n + m) a

`app` here stands for append. This is the function that appends two vectors (lists of static length) together. In Idris, `Vect x y` is a vector of size x and type y, so

Vect 5 Int

is a vector of 5 integers. So, essentially, `app` is a function that takes two vectors as arguments, `Vect n a` and `Vect m a` (this means they can be of different sizes but their content must be of the same type). It returns a `Vect (n + m) a`.

Think about it for a minute. That is amazing! We can be sure that, at compile-time, just by looking at the function signature, our append function, given two vectors of size n and m, will _always_ return a vector of size (n + m).

If we accidentally implement a function that does adhere to the type specification (for example, it appends the first argument to itself, returning a Vect of size (n + n) instead of (n + m)), the code will not compile and the compiler will tell us where is the bug.

[1]: http://learnyouahaskell.com/higher-order-functions#curried-f...
You will bow down to anything. What about your private data? You want facebook to decide what you want to see on internet?
Start a day with friend's like and share!!! I think your internet means facebook.
You could imagine a kind of curated UGC for Netflix, where they take News personalities that are already well developed on YouTube and give them a platform to really go global. I for one cannot wait until this happens. The programming they've been putting out lately has been amazing for me.
As long as people work and money is generated through sales, you can make any rules to keep the game in play

I hope you would make this into a paper and dub it "The Calvinball Principle"

(ahh, memories: https://en.wikipedia.org/wiki/Calvin_and_Hobbes#Calvinball )
free basics is doing that at a rate of 50% per month. (according to them)

i doubt people would want to shift to free basics from a full internet and if they do then that's what they like, its their choice. We should continue using normal broadband. Now you can argue that telcos will then overcharge for normal broadband, but who knows, they might not and even if they do then TRAI can send them a notice to not do that, and they will stop like they did with the "fast lane" thingy.
But you can choose to enter games that are only against your friends - I do every week. (There's nothing physically keeping a stranger from joining our game, but since they don't know the link, and we all enter as soon as one of us creates the contest and sends us all the link, it's unlikely.)

OK, I also enter other games, but in those, I typically go for the games that are small, and almost filled, so I can look at the list of other players and only enter if there are no very experienced players there.
We had AIM, Yahoo, and MSM. We learned that is stupid as hell, and we should just use the same protocol. So then they all supported XMPP.

I think you are misinformed.

AIM: Never supported XMPP

Yahoo: Never supported XMPP

MSN: Never supported XMPP

What happened was that someone wrote code to send messages between them all. However, you still needed accounts on each for it to work.

Source:

No service can talk to all services. This means in order to talk to contact X, you must have an account on the same service as contact X, or on any compatible service.

If you have an account on AIM, ICQ, or MobileMe, you can chat with anybody who uses AIM, ICQ, MobileMe, or SMS.

If you have an account on XMPP ("Jabber"), Google Talk or LiveJournal, you can chat with anybody who uses XMPP ("Jabber"), Google Talk or LiveJournal.

In the official clients, MSN users can chat with Yahoo! users but this is not yet supported by Adium.

Some XMPP ("Jabber") servers (mostly private ones) allow chats with proprietary services such as AIM, MSN, and Yahoo! via a mechanism called "XMPP transports".

https://adium.im/help/pgs/Accounts-ListOfServices.html
SlackFund – An Ode to Slack
I don't know about you, but I know my home address just fine, and have no trouble entering it in (in fact, the Uber app probably lets you save it as a "favorite"). I don't expect some random Joe to be able to enter in my home address error-free.

Now, if you don't know your own home address better than some random driver, then you have problems.
I don't see how anyone is giving up the choice of how to access the Internet. Opposing Free Basics is opposing that choice. Free Basics is offering a new choice, and more choices is always a rationally better thing.

What is your position on the Copenhagen Interpretation of Ethics? http://blog.jaibot.com/the-copenhagen-interpretation-of-ethi...
I feel almost like you. I am 38, I am a technical guy although I am more of a "jack of all trades" rather than very strong in one particular domain.
I just started a new exciting job as a CTO for a young startup. I hope this will be my last job before going on my own.
I started businesses a dozen years ago, and a side business more recently, but I am convinced that now I know much more about launching a new company and I feel I want to do it within a few years.
And yet, I fear that a few years will go by, and then I will either try and fail, or just even give up on the idea.
Smart new app delivers on-field diagnosis of concussions
I've never used a language where space indentation was used over curly brackets. So question for those who have... When doing so, wouldn't copying and pasting code around potentially cause a lot of accidental issues? Are there some negatives and side effects of the indentation style? Just curious.
You have no idda how China controls media and press. Recent incident in Hong Kong revealed China abducted 5 bookstores staff because they publish book about political gossip of the communist party. Journalist and Newspaper were directly controlled by the Party in China. Media companies are required to have a Party Secretary in their board. Comparing that to Fed is vastly irrelevant.
Pytrends – A Pseudo API for Google Trends
I honestly don't get why they let it get so crazy? In what world would a gain at that rate be sustainable without a huge crash? The worst part is they executed the public awareness campaign which convinced the middle/lower class to fund this bump, Then, take significant loses during the correction. Why not take some action before it came to this if it was artificial?
Please explain why you think the cab companies would have used this software. What incentive do they have, when they have a monopoly? To improve customer service? Why would they care about that? They've never demonstrated that they care about customer service at all. Uber/Lyft aren't going to give their software and service away for free, and cab companies aren't going to pay for something they don't need unless they're forced to by the government (which was in their pocket).

Uber/Lyft did the only thing they could: an end-run around the taxi cartels.
Hacker news worthy?
hmm wonder what they mean by that though. Companies they contracted with directly or for example maybe someone signed up for a forum or another large website using their same email and password as TWC email?
I highly recommend listening to NPR's Planet Money podcast that talked about the Chinese stock market a few months ago.

http://www.npr.org/sections/money/2015/09/09/438948679/episo...
> Climate control

A 10 watt server doesn't need climate control.

> redundancy

Is mostly a matter of software.

> backups

Is also mostly a matter of software. With some simple peering mechanism, you can store backups on your friends' servers (and they on yours). Though a standardized pure backup storage API for cloud storage of encrypted backups at one (or more) of a multitude of providers might be a useful option to have.

> power consumption

Is a matter of plugging a plug into a socket in the wall.

> reliability

Is also mostly a matter of software.

Now, I am not saying that running your own datacenter is no work, but running a server or two for your personal needs or for the needs of a small company should be possible to make almost a no-brainer.

There is no technical reason why you shouldn't be able to buy a bunch of off-the-shelf mini-servers for a hundred bucks or so a piece that you can peer by connecting them with an ethernet or USB cable or whatever might be appropriate and that you then connect to the internet wherever you like and that automatically replicate their data among each other and allow easy installation of additional services via a web interface, with automatic software upgrades, and allow you to rebuild the state of a broken server by connecting a new one and clicking on a few buttons in the web interface ... well, there are many ways to solve the details, but my point is: cloud providers also don't employ one admin per machine, but rather automate the management of their machines to make things efficient--there isn't really any reason why much of the same automation strategies (which are mostly software, after all) shouldn't be usable on decentralized servers in people's homes.
> You say this like it's a bad idea to hire people who were convicted of felonies who've served their time and are now out of jail.

Yes, because its a good idea to put them in a position of power right after they are out of jail. Did you not bother to read the link to the drunk girl who stupidly got into a car with one of these guys?

One of the main arguments proponents make about these services is driving people who have been drinking home and people in strange places home.

"Hey this one situation is risky, we shouldn't let them do X because there are clear instances of bad things happening because they pick up impaired passengers." isn't even close to saying "HEY NO ONE HIRE FELONS".

If you want to engage in childish strawman arguments that have nothing to do with the problem I'm discussing, go troll someone else.

> Anyway. In CA, folks who drive for nontraditional taxi services like Lyft and Uber have access to (and are required to carry) coverage while transporting a fare, coverage between the time they accept that fare and the time that they pick up that fare, and all other times they are operating their vehicle. [0][1][2]

> But drivers have been incurring all sorts of risks when they use their personal vehicles for TNC work. During Period 1, Uber and Lyft do not offer collision (coverage for when the policyholder is at fault), comprehensive (for fire, theft and other damage), underinsured motorist coverage or medical payments. (They also do not offer those coverages for the succeeding periods, unless drivers carry them on their personal policies).

> The new insurance is offered by Farmers as a supplement — called an endorsement — to drivers’ personal auto policies, and it will cost an additional 8 percent of their premium. A smaller insurer, MetroMile, already offers individual ride-service insurance, but it’s exclusive to Uber drivers. That insurance costs a base rate plus a per-mile charge.

Yes, your article agrees I'm correct despite you arguing with me for some bizarre reason(?)

The drivers themselves need to buy supplemental insurance or there is a gap in coverage during Period 1.
With Uber and Lyft, you can put your destination address into the app well before the driver arrives, so he can see exactly where you're going.
Actually it's not that easy. Everywhere you have a type you need to proof that the expression really has the right type, and it's not just type annotation, it's a real mathematical proof.

To understand the complexity of the task, try proving that insertion sort is really a sort algorithm. You write more code, and writing it will take more time than you would do in a 'normal' typed language.
Marginally maybe, but when there's already a shortage of drivers for the demand, it's not like he's sitting around waiting for a fare most of the time anyway.
Reminds me of Tony Horton (P90X dude). He worked for years as a trainer and aspiring actor/standup comedian. He didn't hit it big until he started making exercise videos when in his forties. The acting and comedic skills combined with the trainer skills made him successful.
Isn't it easier to just use Lynx as a browser?
Well would you agree hiring felons that then rape drunk women they pick up via Uber is a problem?
"True contrarian" is just a politer name for troll, though. If you say unpopular things solely because they're unpopular, we have a word for that.
Facebook is treating the farmers better by giving them access to facebook. What has the government done except no interest loans, free seeds and fertilizers, subsidies and free training programs.

Sounds about right
I'm quite sure I addressed that in 3/4 sentences in my post. He is no saint.
If you report data errors, Google is pretty good about fixing them quickly.
Shanghai Hacker News Meetup (January 7, 2016)
If you copy and paste code irrespective of bracket position, you will have the same problems. It turns out not to be an issue.

A big positive of using indentation is that it enforces a visual indication of scope vs. languages where culturally it is normal to find code with lots of giant one-liners and braces on one line.

But overall, you just get used to it and don't notice it. Everyone who yells about languages that use indentation is bikeshedding in the worst way.
Chinese drone maker unveils human-carrying drone
If you are interested in Idris, you might also be interested in agda, which is another dependently typed programming language: https://en.wikipedia.org/wiki/Agda_(programming_language)
good for prototypes. Just build your software.
Do you think donating some money to farmers is going to help in any way? The government has been doing that for a long time (through subsidies and minimum purchase prices), at a much larger scale than any single person is capable of. And it hasn't improved anything much.
I think it is clear that the only way to improve conditions is to enable farmers to convert their business into a sustainable one. And for that, cheap/free internet access could prove to be the turnaround factor.
I thought the entire reason behind most of these types of attacks was to get information that has value to someone else (other criminals).
TWC sells all of the subscriber data that they legally can to 3rd parties, like most major companies.
If we could just find a way to create a better artificial respiratory system.
Better centralization. Having three control towers having to coordinate traffic between them is more chaotic than two or one. And it's more orderly to have planes coming in to fewer sets of runways.
> Is there any indication that these wild swings are caused on purpose? I mean they did occur after the Chinese devalued their currency again, so did they not know that a downturn in the market was going to follow?

I am a Chinese and I heard two theories from my friends:

1. Today's swing is a response to North Korea's hydrogen bomb news.
2. The downturn in the market is deliberate so that China's pension fund, currently in massive deficit, can reap the gains by entering the market at its low point.
I don't want to keep harping on the "as a white dude" theme, here, but that's what I keep hearing. As white dudes we don't see race or gender, because we aren't made to see it in our daily lives.

Tech is a meritocracy for white dudes. For everyone else, it is a little bit meritocracy, and a little bit toxic environment where they are made to feel their minority status on a regular basis. I'm not saying this because I want white dudes to feel guilty, or I don't want white dudes to continue to feel welcome in tech communities (again, I'm a white dude). But, until we acknowledge that women at tech conferences are simply not treated the same as white dudes; black folks are not treated the same as white applicants when applying for jobs; trans folks are gendered incorrectly casually or jokingly (I've seen it happen here at HN numerous times); we're contributing to the problem.

"tech industry shouldn't be reaching backwards to support underrepresented groups simply because they are underrepresented"

So, I'm confident you aren't intending to be racist or sexist...but, do you realize what you're suggesting here? That welcoming women and people of color into our communities is to "reach backwards"? Are you genuinely suggesting there are no women or people of color that are capable of contributing to projects you work on? That their contribution would be detrimental to a project?

They are underrepresented in many communities because they have been pushed out, repeatedly. Certainly, there are systemic problems, as well. And until we have large numbers of female hackers and black and brown hackers in the world at large, we won't see significant numbers of them in our communities. But, we've been told by women who are hackers that they've been made to feel unwelcome, unsafe, harassed. We've been told by black and brown folks who are hackers (sometimes impressively so) that they've experienced racism. And, that those situations have led to them leaving or never joining in the first place. Why do so many white dudes want to insist those stories are lies?

"If the society sees a problem with this imbalance then they are free to fix the issue at the source instead of trying to fix a thing that works relatively well."

So, it is society's responsibility to make the open source projects we work on more inclusive? I don't follow. I think we should start with what we have the most direct control over. I have commit bits on a handful of large open source projects. I can make something happen there. I don't have "commit bits" on the education system, the police, the federal or local government, television or movies, or much of anything else.

In short, you say we're trying to fix something that isn't broken...but, I believe women and people of color when they tell me that it is broken for them. I don't see it; it's never been broken for me. But, I'm white and male in America. The system (whatever "system" we're talking about) is pretty much always functional for me.
What does this mean for Bitcoin?
Exactly.

I'm not trying to bash Ruby, but I haven't done any programming with it for about 6 years. I just want to get some web thing running on my home server, or get some gems installed for Compass or whatever (which to be fair is now a lot easier with bundler).

What I don't want to do is figure out how RVM works for the third time and how to install it globally instead of just for my user account so Apache site one can use one version and Apache site two can use another.

Everything in that world changes every year and if you're not keeping up it's a huge mess.
I'll agree that all 4 of your non-provocative behaviors should not escalate a situation to the level of deadly force being required. I specifically asked for examples from the list, because the list seems designed to support a very specific thesis, one that you expressed in this comment:

> It happens far too frequently that Americans are killed
> by police firearms when they are not posing an immediate
> and credible mortal threat.

"far too frequently" is a fuzzy number, one that's hard to agree on. How many unjustifiable deaths per year is that? I believe the data in this article is intended to be used as a stand-in for that figure, and I posit that the actual number is dramatically lower than the fuzzy number everyone has in their heads.

If you want to really shut up the naysayers, try showing this data:

Interactions between civilians and LEOs: __________
Of those, how many involved physical force? __________
Of those, how many resulted in fatalities? __________
Of those, how many were unjustifiable? __________
Of those, how many went unpunished? __________

If that last number is more than a handful a year in the US, I'd be shocked, outraged, and offended. And certainly we should be shocked, outraged and offended for each individual incident of that last kind no matter how many others there are.

That being said, if you want to claim that we need "a civil, national conversation" about this, I think the onus should be on you to prove that the last number above has risen to a national crisis level. Maybe it has, but I don't think this article (or even your 4 examples) makes a very good case for it.
Seriously, at this point why can't Disney buy themselves copyright extensions instead of all this legalized bribery?

It'd probably be cheaper for them and honestly, if they are profiting from walt disney works, then it's fair they want to protect their income. It's not fair they are changing the collective rights on humanity's works for the past century damn it...
It's just another apocalyptic narrative. They are apparently fun; you get yards of cognitive dissonance out of it.
The Sunni-Shia Divide. A concise explanation of Islam's schism
Any time. If you're interested in what exactly that code is, check out Phil's blog, linked upthread.
No the one you asked either, but I usually email me@onenote.com [1] from my Gmail account with the URL in the subject, and it saves the page as content AND as a long picture.

It would probably not work here since it would require to be logged in or something, in that case I guess OneNote Clipper [2] would do the trick.

[1]https://www.onenote.com/EmailToOneNote

[2]http://www.brucebnews.com/2015/03/onenote-clipper-is-the-bes...
What happens on those subreddits when someone comes along, or whether anyone comes along, and leaves a pointless "+1" or "This." or a joke in the vein of 'Reddit humor'? I don't use Reddit so I'm curious what a proponent thinks. HN has been in decline for at least 5 years (https://news.ycombinator.com/item?id=2403696 -- it had a very high start) but it's still resistant to a lot of typical reddit culture. (As for bad UI I say a lot is just taste -- I think having all comments, and all comments expanded, is great. Maybe Reddit has a user preference for that though...)