skysight-inc/HackerNews huggingface dataset:
So, I'm trying to explain this to myself in laymen terms, can you let me know how far is my naive understanding?

So is this whole IO Monad idea is to simply delay the side effect to the edges? e.g. no pure program is useful, as it will have no input and no output, but if you separate the input and output from computation and delay side effects to the very end using monadic transformations you end up with more "pure" functions and less "side effects" functions? (you can never have zero side effects if you want your code to actually do anything)

This is how I ELI5 this to myself, but not sure if this is the right way to put it. Am I close?

I see it as this - it's simply one of the SOLID principles. (the first one)- Separation of Concerns

The best example (that doesn't involve Monads) that I can think of is this:

def logMessage(foo:String, bar:String) = println(s"your $foo has gone $bar")

def logMessage(foo:String, bar:String) = s"your $foo has gone $bar"

This is obviously not a monad or has anything to do with functional programming, but the second one has no side effects, yet is still useful.

In the end the CLIENT of the code can decide what side effects they can do with it (println, log.debug, whatever)

tl;dr - I don't really get all this Monadic stuff, but I see this as simple SOC principle, decouple the data from it's presentation, or in other words, the library should work with pure data, the client should work with the "unpure" input and "unpure output", the library should just transform the input DATA into pure output DATA. the side effects are delayed to the CLIENT instead of the LIBRARY code.

How far am I? Hope it doesn't sound too simplistic (or just plain dumb)
I used it from the week they rolled it out in Los Angeles and have cancelled it already. I just don't see it working. A few other friends of mine signed up as well and have all cancelled by this point. I ended up going to one show and would have been better off buying tickets the day of, it wasn't sold out anyway.

The quality of the shows is too low to make it work, and musical tastes for an individual are too specific. It only makes sense if you are going to a random "low-level" concert 3-4 times a month, and I don't know anyone not already in the music business who goes that frequently.
Which always make it funny when your Taxi driver gives you his card for Uber service.

Again, in this case its not Uber thats in question but UberX.
Except in this case your "Dear <insert full name here>" e-mails might not sound very friendly or appropriate.
Ultimately the goal of ransomware is to obtain bitcoins, which are really just value stored in a key you possess, so this problem is nearly intractable as far as maintaining complete deniability. To say nothing of turning those coins into USD you can legally spend.
NIH syndrome.
My manager almost set up a regular "scrum" meeting a month ago. The lead programmer and I spoke up, disputed it, and got it changed.
Took me a second to realize this wasn't real.

> Ask HN: Free for free for MeteorJS and open (codeguide.co.uk)

...too close to the truth, damn.
It baffles me how very little cabs accept credit cards in the city, and even less with an electronic POS. many of them still use paper based forms (if at all) and they'll almost always be rude about it and demand an extra $2-3 on the fare.
Although I don't use OS X more than a few hours per month, this person has it right. The key thing to keep in mind is that OS X is UNIX. Sure, the command-line tools it comes with don't always support GNU extensions -- fine.

And the package mangement is iffy, at least as far as GUI applications go. For the command-line, a lot of people swear by package managers like Homebrew, probably because they also help resolve the "no GNU extensions" problem. While I don't use OS X enough to have any experience with this, I think this would be the key area for me to investigate to before I'd be comfortable using OS X as an everyday system. The rest is just getting comfortable with the keybindings/modifier key layout.

To elaborate on the modifier keys, from the inside out: Command key for GUI shortcuts (⌘C, ⌘V); Option (same as Alt); and Control. Both Option and Control are rarely used by themselves (though the Option key can be used for special characters and the Control key can be used for Emacs-style editing shortcuts) and can pass through in Terminal -- this is where the separate Command key really shines.

Oh, and the window manager. Coming from Linux, one of the strangest things about OS X is probably the application-oriented focus model (rather than window-oriented). As the parent mentions, this manifests itself in both the dock (clicking on an icon in the dock raises the whole application) and the hotkeys (Command-Tab to switch applications, Command-Backquote to switch windows within an application). This takes some getting used to, but like with the keyboard shortcuts, it should only take a day or two. On the other hand, the OS X implementation of workspaces is very good, especially if you decide to run a VM.

So to summarize, OS X is still a real UNIX system with a real command-line (and development tools are literally one click away -- type gcc or make or git into Terminal, and then click Install). It just has a slightly odd desktop environment on top, but that shouldn't be too hard to get used to.
Iran Takes Control of Cargo Ship; U.S. Sends Destroyer
Also keep in mind this article is in the Wall Street Journal... take it with a grain of stock price PR salt... sadly developers and engineers at IBM are going to get the sh* end of that stick.

Anecdotally... we have a lot of IBM stuff here and had a consultant here last week teaching a class... he was an old guard IBMer, about to retire... every day he was here I was treated to at least 1 story about how great it used to be to work at IBM, and how those days are over.
have you tried serpbook? it has exactly functionality that you described, although it's paid
Both cases illustrate how the technology fails to adapt to the physical world.
There are safety nets in our society, especially in Europe. Put people are no machines. Those, who fall through these nets often have problems that hinder them to get on their feet on their own (drugs, mental illnesses etc.). People have the tendency to ignore overwhelming problems. After some time you arrange with your situation and just live your life.

I won the inheritance lottery, but still find it very hard to be disciplined and stay motivated. I think I would have no chance to get back on my feet, once being homeless, addicted to drugs or something like that.
> Why exactly?

Because it magnifies the lack of clarity problems in the current poor examination process which both makes litigation between market participants in comparable positions more likely and makes market players with less resources more compelled to knuckle under to those with more because they can't afford the risk of litigation. The greater clarity is provided in advance, the less uncertainty/risk is involved in litigation, which both makes litigation less common and reduces coercion of market participants by those more able to afford risky litigation.

> For whom?

Pretty much everyone, though less for the richest players in the market and the patent lawyers.
Robert Hooke's Books Database
ΜTug: Micro robot pulls 2000 times its weight on glass
Sticky sessions usually work by IP address. They route requests from the same IP address to the same server.

Nginx+ claims it does so (I didn't purchase it). HAProxy can be configured to use sticky sessions.
The question is, what is the cargo ship carrying? There must be more to this story.
What? No. Hah. That comment is indeed ridiculous, and isn't the one I'm agreeing with. That appears to be a different thread. I'm only referring to:

Microsoft has had 2 Heartbleed-level vulnerabilities in its Windows code so far, that were not just 2-3 years old but 10+ years old, leaving systems vulnerable to them for much longer.
The "advantage" of proprietary code here was that Microsoft got to downplay them (surprise surprise, no scary logo made by Microsoft for them!), and that's how proprietary code owners deal with security issues in general - they try to hide that they exist to keep the illusion that the software is (more) secure.

Related to the other claim, I'm fairly certain that the NSA does get pre-disclosure of MS vulns via MAPP, but it's pretty obvious that this is a side effect of disclosure complexities and not a quid pro quo deal. China also gets the same pre-disclosure, or did, until they got caught leaking it. But they probably still do, one way or another.

I'm actually laughing out loud at the Apple Pay in the USG thing.
Making this a Quebec VS Canada issue is ridiculous. There are similar fines given across the country.
Horizontal tests are meaningless without data on the coefficient of friction between the load and the surface it is on. With sufficiently low friction a very large mass could be moved with virtually no effort:

https://m.youtube.com/watch?v=uRql1fjZQf0
> Well, that's the question asked by people who know absolutely nothing about the modern techniques

Which is virtually everyone.
I use this technique to achieve bulletproof unit tests in Haskell HTTP services by providing two run functions: One that runs on IO and does all the real stuff, and another that twiddles some state and produces a pure result.

This nets us tests that are 100% reliable. The compiler rejects all code that can introduce external inputs.
Project Tungsten: Bringing Spark Closer to Bare Metal
I hate on Terminal.app because it's less configurable, has some really questionable key defaults (such as subsuming all of the home/end/insert keys for the window, not the apps in the terminal), lacks the ability to do tmux-esque split panes, and it lacks the ability to change mouse bindings.

It's an OK default, but for real work it drives me batty to keep hitting the limitations it imposes. Sure, I could rebind everything and move to tmux in the terminal itself, but why, when iTerm2 is free and still frequently updated?

The tmux integration offered by iTerm2 is also pretty handy if you spend any amount of time on remote servers.
That sounds exactly like the DOD's idea of "agile". It's a nightmare, and made me consider agile a swear word by the time I left.
For what it's worth @baldfat, HN won't let me directly reply to your comment below and I haven't downvoted you.
For that, Caddy relies on this library: https://github.com/bradfitz/http2 - I know that there is some dependency tree/prioritization work being done.
I was a contractor for them in 2007-8 and the project was using the "agile" label back then. It was anything but agile, but I can see why so many people hate agile if their experiences were like that.
SendGrid admits hack, says all customers must reset their passwords
I call Taxi Diamond because they're the only ones whose fleet can handle credit cards. When I phone them, they have already previously recorded my number, so a recording just asks me to press "1" to pick me up at my home.

I hate to sound like a paid shill, but I just don't bother flagging cabs anymore. I just call Taxi Diamond.
And people joke when startups are considered "disruptive." This is disruption in action. Uber is changing the face of society. (When it comes to cabs.)

And society is resisting. Any other company, in any other market, would just give up. But a San Francisco tech company is different: it can KNOW that progress is right, and push, push, push it through throughout society.

This is a story that repeats again and again. Idealistic disruptive startups actually change the face of society, while everyone else poo-poos and wrings their hands, until they don't.
> Am I right to irrationally dislike reddit?

It depends. Do you like a fatherly figure to make you do stuff for your own good even if you're now in your thirties? Do you enjoy censoring yourself for the fear of being hellbanned? Do you get a kick out of seeing your comments become unreadable because you wrote something against the prevalent opinion? Do you mind being gently molded into an echo box of what's hip right now in the Silicon Valley culture? Are you so focused on patting yourself on the back that you don't realize that subreddits are actually different forums with different administration and moderation policies?

P.S.: do you like having to wait an unspecified amount of time before being able to post your comment because you've been suspiciously active lately?
My understanding is that they also legally require French to be used in a variety of contexts (with "language police"). If so, that is significantly different than most other places - and may feel "bizarre".

For example, you are free to run a restaurant with employees that do not speak English in the US, but you are not allowed to run a restaurant with only English speakers in Quebec.
I gas and brake with the same foot (it sounds like you clutch and brake with the left).

I can do the hill thing without rolling back in a car I'm familiar with, if the hill is not overly steep. Basically I hit the engage point while still depressing the brake. If the hill is too steep, you can stall doing this.

Anyway, I realize it's bad to use your clutch that way, but it seems better than rolling into a car, in most cases.
To me this seems like an unnecessary abstraction in 99% of the cases that then makes reasoning about execution so much harder. Once you go monadic IO, you have to use it everywhere (at least when dealing with a specific API), and then what? Suppose you wish to trace calls to println (or any other monadic operation) with Byteman (one of the greatest JVM tracing tools) by capturing all calls to the actual println (because, say, you want to know what operation resulted in a line printed to the log). You get a useless stacktrace that you can no longer pinpoint in the code. Monads erase all context.

Of course, I assume you can rebuild the concept of execution context, replacing the stack with some other context abstraction. You've just recreated yet another powerful and standard concept -- in addition to exceptions and control flow -- provided by the platform. I guess that when using Haskell the entire platform and all libraries already use this monadic context (as there's no concept of a stack), but on the JVM you're now living in a "shadow" world, completely separate from any built-in abstraction.

Laziness (on imperative platforms) may have its virtues, but its cost is that it makes you abandon and then re-create in a foreign and incompatible way lots of powerful -- and standard -- execution primitives.
Just run linux in a VM.
This is NOT a Montreal-only phenomenon: UberX cars have also been sized in Toronto and Vancouver. Edmonton is calling to ban UberX and the service has been shuttered in Calgary...

Toronto: http://globalnews.ca/news/1914064/11-toronto-uberx-drivers-f...

Ontario: http://metronews.ca/voices/your-ride-toronto/1345960/queens-...

BC: http://www.theglobeandmail.com/news/british-columbia/taxi-co...

Edmonton: http://metronews.ca/news/edmonton/1331675/edmonton-taxi-asso...
I always look at these announcements in the same way as gazing in on the office of some mid level executive where the bookshelf has a book for every business process type and programming language.

It is the old, "we do that" done for appearance sake, execution and actual knowledge rarely come in to play. If anything it is a club to wield to drive out those who management does not like; usually those who do get something done regardless of the the rules to prevent that
Big fan of Mashape, and opening up a stack for API devs that easily does the auth, metering, etc is a big win for the glue economy. love it.
Show HN: Site that makes watching web videos more like watching TV
Hey guys. I missed TV, so I made a site that makes TV out of web videos. There are only 12 channels and everyone's watching the same thing. You can just throw something on in the background like you used to do with TV.

Let me know what you think.
Me too. Should have used a full V8/Node.js stack to do it. =)
What you should do then, (and I don't know that this will work), is to suggest your organization data using the Schema.org code; and specify your main campuses Google+ (verified business) page in the sameAs.

You can read more about doing that at https://developers.google.com/structured-data/customize/soci...

While I can't guarantee or even believe whole heartedly it'll work, it will at least suggest to the google crawler what the true information should be.

It may also be helpful to embed corporate contact information using a similar process: https://developers.google.com/structured-data/customize/cont...

Are you willing to reveal the campus just so that I can see or no because privacy concerns?
'phenomena' might have been a better choice. We have a bad habit of forgetting things that can actually be empirically measured.
Graphene Could Enable Holographic 3-D Imaging on a Mobile Device
I'm with you about the general idea and I'm not a pure functional programmer (just getting into Clojure). I've often thought of this before and I do appreciate the answers to your inquiry.

Based on the answers here and prior thought, I believe that Monads are Noble Lies [1]. Impurity is a hard concept. Purity is the goal. So rather than accepting into a well designed model the idea of impurity one should say something is pure even if it actually thunks at the end. This keeps the overall model sound. For people that really don't want or need or can't get into the details of real life mutability, you can keep the model as is with the lie of glossing over the thunk.

1 -http://rationalwiki.org/wiki/Noble_lie
Ironically, NYC and California are often seen by other regions as outsiders. 'specially Californians, which feature regularly as the butt of rural dislike and jokes. :-)
Hopefully, they'll be some pressure to change the laws. In the meantime it is to be expected that the law will be applied.

What is surprising however is that it is the Taxi Bureau doing this. The article does mention that they want the power to seize cars so its really unclear how it was done exactly since they need to get the police to seize the cars.
Thanks for the info. Consider that you probably won't just be able to obtain this feature from http2 for free - you probaby also want to make your Caddyfiles support some smooth configs for setting these sorts of options.
Quicklisp library bundles
See this video by Sixty Symbols:
https://www.youtube.com/watch?v=0Uqf71muwWc
Problem is, they want fixed prices, fixed deadlines, no budget for testing or redoing something.
Hey guys. I missed TV, so I made a site that makes TV out of web videos. There are only 12 channels and everyone's watching the same thing. You can just throw something on in the background like you used to do with TV.

Let me know what you think.
Despite the SN, I don't have any affiliation with this project. Just a fan of Hooke. For those not familiar with him, his Wikipedia bio is a pretty good start:

http://en.wikipedia.org/wiki/Robert_Hooke
Theoretically you could use quantum key distribution, but in practice this usually requires a fiber-optic connection.

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

Edit: Nope, I am wrong, as the comments below point out.
I didn't say the reasons were created 5 years ago, only that if there were reasons 5 years ago they probably haven't changed. Of course you could make the argument that there weren't valid reasons 5 years ago but that doesn't seem compelling, I don't think a city would have de-regulated the taxi industry and let anyone pick people up for money 5 years ago.
Doesn't render at all in Firefox 37:

"TypeError: undefined has no properties"
> The population (including me) wouldn't be so angry at the taxi industry if they embraced innovation instead of fighting with laws.

They can't. I don't know the details about Quebec, but I'm willing to bet that an app wouldn't be complaint with taxi meter requirements, surge pricing would be illegal for a taxi company to do, etc.
Alexis de Tocqueville noted this as a feature of American society in the mid-1800s. Chomsky would be flattering himself to think it was an original idea or that it was imposed from on high.
Graphene produces a working 3D holographic display
I did too, but I saw this video (which is part of the very entertaining Sixty Symbols series, btw) which had a demonstration.

https://www.youtube.com/watch?v=0Uqf71muwWc

EDIT: i_cannot_hack got the link in before me. Kudos ;)
Pretty similar to Quebec City. I used to always call and ask for a cab which takes credit card. The vast majority, like 95% of the time, they said the terminal was broken...I was like: "well, it's sad, I don't have cash, can we try?" and it ALWAYS WORKED. This is related though with the crazy fees they need to pay for credit cards, but it's stupid to play the game like that.
I didn't say the reasons were created 5 years ago.
If something does not conform to your "standards" and "norms", that does not make it automatically "bizarre" (whatever you mean by that). And as many pointed out already, uber is banned in many cities across Canada and US, which is maybe proof that those "norms" and "standars" you talk about do not actually exist.
This is probably an example of your own prejudice actually.
For what it's worth, I don't think the presence of, essentially, online paint programs with click art support is the end of the designer. Before I worked in tech almost every place I worked had a logo designed by one of the principles. Usually they used Word, Paint, or an image editor. Squarespace might lower the barrier to entry but they're not exactly infusing artistic skill into those that lacked it before.
Yes, those publishers have an uphill battle, no doubt. However short, meaningless articles that just try to be there first won't be the path to success. Of course, Twitter, reddit and others are miles ahead when it comes to reporting things first. The problem is that many outlets still try to package what could easily be one liners or 2 bullet points into whole articles. These things barely have the substance of half a headline. There simply isn't much value in this kind of reporting.

Where they actually could make a difference is longform reports - the kind of articles The New Yorker and others are famous for. Connecting the dots and painting the big picture with lots of details - and reporting in time isn't an issue here. For these stories it's probably recommended to take more time, extensive investigation and some distance to reflect on early assumptions and speculation. This is something that still can't be easily done by just anyone.

The days of needing two dozen tabloids daily at the newsstand are gone and there's no need to save them.
Notch talks about the human character.

I realise all the mobs have a single gender - I asked about it in Aug 2013 - but the player character was male human for a while.

http://english.stackexchange.com/questions/78098/how-to-refe...
http://www.seattleyellowcab.com/ appears to have. I've not used it (or Yellow Cab), so I can't give more information.
So, what I've heard -- and I'm not sure what the source was -- is that if you go for a few runs with your phone in your pocket, the Watch will be able to map the run without your phone, after it has learned your stride, etc.
Creating a special hole to put the keyfob into sort of negates the already dubious benefit of these keyless entry systems.
> I'm used to the JVM way where you bundle your third party libraries per project as opposed to installing them on your system.

Surely you are not aware of what `cabal sandbox` (https://www.haskell.org/cabal/users-guide/installing-package...) is. Well, if it is your unique complain about Haskell, I think you should give it a second chance! :)
Have you tried OpsView? They package up Nagios with an easy installer and nice UI. Graphing gets enabled by default. It's all very slick and easy. I've used it a couple times and it makes Nagios a far better system. OpsView is mainly open source, though they have a commercial edition with extra features