skysight-inc/HackerNews huggingface dataset:
You certainly would need a PhD to fully understand Monads from that small JavaScript snippet. The Haskell link you gave gives Phil Wadler's original paper as the first link. It is easy to read, explains everything beautifully and full of many examples. Learn some basic Haskell for no other reason than to read seminal papers such as these. To favour some random JavaScript hacker on the internet and steer others away from the original work is anti-intellectualism.
and Dolphin can upscale to e.g. 1080p rather than the gamecube's native 480p.
Your calculation assumes that the production and distribution of 1MJ of electricity takes 1MJ of raw energy (e.g. in the form of Coal).

This is off by a factor of several. For example coal fired power stations are maybe 45% efficient. Then you have to mine the coal, transport it to the power station etc etc.
I'm thinking here if one should generalize that idea to other things we buy, as to make sure that everything we buy has no faulty components. For instance, if we buy a new car, should we stress it to check if something breaks while still within the legal guarantee period, etc.. Of course, one should not stress it too much to the point of wear out prematurely (as in the end of the bathhub curve).

Do you know of any literature, articles, etc., about this? I'm asking more from a consumer's view point..
Thanks for the link! I'm in the same boat.
Why the Services of Dedicated Mobile App Development Company Matter
Dedicated services from mobile app development companies can take your project to the next level. And, thus it is important to hire the assistance from the best organization.
Hmm, not sure these examples make much sense here. Yes Twitter is losing popularity and WhatsApp is gaining it, but remember that:

1. For most people, WhatsApp's key draw isn't privacy or encryption, it's a convenient way of messaging people for free. It's replaced standard text messaging for many of them, and IM clients for others. Similarly, Twitter may be mostly public, but that's not really why people might not be using it so much any more. Instead, I'd blame its continually worsening reputation (associated with mobs, doxing and people getting attacked for 'wrongthink'), general decline in quality due to recent political events taking over everything and poor management that doesn't understand what its users really want from the service.

The fact these services can be used to represent 'privacy' or a lack of it is a nice coincidence.

2. The two services aren't really direct competitors. People don't use WhatsApp to replace Twitter or vice versa. It could be more useful to look up what those WhatsApp users were using before switching to the app, and figuring out where Twitter users go after they leave.
Most prosaically, Chase moves money to the merchant, so that BoA doesn't have to move money to someone who is not their customer and who they have no direct relationship with. They just pay Chase a mindbogglingly large amount of money every day and trust Chase to sort out the logistics. (Back in the day, this would be easy for Chase to do because the merchant banked at Chase, but this is very not guaranteed anymore.)

Chase (or a party related to Chase) also had the job of making sure this merchant got signed up to accept Visa cards. They had the boots-on-the-ground salesforce to make it happen.

Chase also performed underwriting of the burrito shop to determine whether they are creditworthy, because the purchaser is not the only person being extended credit here -- Chase has a more-than-notional exposure to the merchant's health as a business as well. Why? If you call BoA and say you didn't get your burrito, you will get your money back. BoA is willing to give you your money back, very quickly, because Chase is always good for it. Chase will generally attempt to recoup your money from the burrito shop, but in the case where you are dissatisfied with your burrito because you didn't receive it because the burrito shop went out of business, Chase (and not BoA or Visa, importantly) takes that loss on the chin.

(This is less relevant for burritos sold in person, because proprietors very rarely drop dead after swiping cards but before handing over the burrito, but is far more relevant for more complicated business models.)
Yes indeed! Thanks for the follow up. I just wanted to give folks a survey of the things they should look at when evaluating things like these charts to see how fast something is.

The casual reader won't know to look for these things (it's actually not their fault, a lot of this knowledge is very field specific)

I've made comparisons to deep learning flow graphs and spark's computation graphs in the past, but there are very different considerations and use cases for both.

I think what I was commenting on was more of the minute details that get lost in summaries like this.

If anything this is a pitch for having an end to end specialized system that understands your data pipeline all the way to your linear algebra calculations.
That way all of these variables are taken care of.

A simple example where this matters a ton is just the ETL in to a neural network.

You're loading data from some disk (that may or may not be networked).

What's the input format of that data? What's the block size?

Say it's image blobs stored on hdfs. You know ahead of time your gpu can fit an optimal batch size of 32 in to memory because your image resolution is high.
You then need to go back and prepare the data for loading.
To get the optimal performance for data loading, you need that data loading to be aligned with hdfs block size (otherwise you cause an additional hdfs seek) and saved in whatever your favorite vector format is.
Then to evaluate how fast a "minibatch" will be processed, you need to figure out how fast your architecture is in addition to how the communication with the gpu is handled.

I think overall this is just a hairy subject to cover in a small blog post.

While these "programming flavors" are very similar, they are optimized differently in practice.

If you think about spark, the "nodes" are more general purpose operations with a ton of JVM based code gen happening.

It knows about different "edges/ops" in addition to having a registered schema. It's lazily initialized with a DAG built with code gen after the declarations are done.

A "tensor graph" doesn't have types beyond knowing what device it's running on and perhaps a data type like float/double/half.
Macron emails leaked by wikileaks
Miss one payment and you loose years worth of your spread. Not worth the risk IMHO.
I recently got myself some LIFX smart bulbs and I don't notice any flicker or discomfort. So maybe the morale of the story is to stop buying shit bulbs?
darn that's pessimistic
Looks like over-supination in that picture? The heel is definitely not pushing off, the forefoot is last to touch the ground.
Isn't this what the "activeTab" permission is for (combined with a shortcut to trigger the extensions pageAction)?
The Hacking Wars Are Going to Get Much Worse
They are applications. That's what an umbrella does, it groups multiple Erlang applications into one project.
> Basically every obscure overly complicated concept that Haskell throws at you (all the while pretending to be the only true FP language out there) can be explained in 5 to 10 lines of JavaScript

So presumably the same concepts can be explained in 5 to 10 lines of Haskell too.

I think you're confusing the refinement and polishing of ideas that's taken place in Haskell over the last two decades with the succinct presentation of those ideas once they've been worked out.
This WeChat influencer just sold 100 cars within 5 minutes
> he'll provide all the financial resources to drag this case on for years and refuse to settle or repeatedly finds various proxy parties and repeats this behavior

This didn't happen in Gawker's case though
I am aware of that bug. However, Google wants to replace lastpass with Chrome sync, so no surprise that their employees are attacking it. Hopefully that made it better.

I doubt even pasting it in is completely secure.
Many rear car LED lights flicker because their full brightness is used as brake lights, and they are dimmed via pulse width modulation for normal lighting. This is simply a bit cheaper, which is ridiculous on an expensive car.

I don't actually see the flicker normally, but when they quickly move accross my visual field I sometimes see a line of dots from the flicker.
Right, there are some various approaches but I've had a few OCaml users tell me there were some reasons why they weren't/couldn't be used on the front end, sadly. Would really like to see some demos otherwise though
It seems that Android devices are allowed to store a few pre-generated tokens to use offline for a limited duration. I don't have a first-party source for that however.
Fine, they made his sexual orientation more widely known.
Decent chance she wanted the job (and penned the op-ed with that in mind), but the feeling wasn't mutual.
This fragmentation goes in the wrong direction. You don't want to have to go to a specific music streaming service if you want to listen to artist A and then have to switch to another service for the next item in your playlist. Same for movies and TV shows. Convenience is a major factor in reducing movie piracy.
Not if it's someone else's property, and you take it for your own purposes rather than hand it in to the bar/law.
Phone screen logarithmically.

- Ask a level 1 question

- Follow with a level 10 question of they get it right

- Follow with a level 1000 question you don't know the answer to if they get that right too.

If you learn something from them in their level 1000 answer that's a strong hire!

Also: there are bad programmers at Google, there probably are at FB too. There are some brilliant ones but don't take it for granted.
Feelingood: the app to break the stigma around mental health.Feedback, please
The world is getting more disconnected. Technology has made us interact with humans less, and screens more. We're going to fix this. We're developing a simple interface to bring people back to reality, by connecting them with psychologists, life coaches, and trainers to help with their mental health. We also let employers get an overview statistics of their employee's mental well-being. In order to make this happen, we have a couple questions to ask you:
- Have you ever met with a life coach or counselor? What was your experience?
-Have you wanted to take a sick-leave due to mental problems but did not have the courage to say it to your employer?
- If this was a business, is this a service you might pay for? We want to make it accessible to everybody, but we also want to make this a viable businesses.
http://feelingood.pagedemo.co/
Phone addiction? We have the solution you need
> You need a PhD in type theory to get anywhere.

That is extremely false. Haskell isn't even a good playground for academic type theory -- you'd want Agda etc. for that. The development of the language over the last few years has been characterized by pragmatism and a focus on backwards-compatibility, which is why you can take code from something like ten years ago and have it run without issues on modern versions of the Haskell compiler with little to no modifications. (Let's not talk about how long code written in "modern" JS lasts.)

And I'd really like to see type class constraint resolution with functional dependencies, or Hindley-Milner type checking, or something of that sort implemented in "5-10 lines" of JS.

"There he goes again with his mumbo-jumbo," you say. That's right, you don't need to care about those things to write Haskell. What you meant is implementations of typeclasses ("interfaces") like Monad, Functor, and so on: they don't take much more code in Haskell.

Array.prototype.chain = function (f) {
return this.reduce((acc, it) => acc.concat(f(it)), [])
}

instance Monad [] where
xs >>= f = concat (map f xs)
return = pure

And we didn't even have to go the "this" route! Notice that your 5 - 10 lines of JS don't let you write code that works in any monad, whereas I can easily write

whenM :: Monad m => m Bool -> m () -> m ()
whenM cond action = do
condition <- cond
if cond then action else pure ()

In Elm, you'd have List.whenM, Array.whenM, Maybe.whenM, ... or a straight-up false type signature like their Eq ones, and in JS, a bunch of prototype methods with no unifying threads.

--

As for an example of why I think Haskell has the right ideas (few of us will say it's the "best language evar"):

I'd really like to see a JS version of the Servant library, which takes an API spec for a server and actually generates a fully functional server from that. Here's a description:

https://news.ycombinator.com/item?id=14149200

Does this strike you as idle theoretical self-enjoyment?
> We need to find a way to detach progress from capitalism. Human progress cannot depend on greed which is basically what capitalism boils down to, rewarding and perpetuating the base traits of humanity and leaving a soulless society unable to rise above basic greed in its wake.

That's exactly why capitalism works. You're exemplifying the standard flaw in leftist, utopian thinking: that you can overcome or change human nature.

Utopia would come at an enormous cost, and everyone who's tried has gone bankrupt--morally, ethically, and financially. But we'll get it right This Time.

Please read a history book. Maybe start with The Gulag Archipelago.
Same, FF54.0 on Ubuntu 17.04.
Yeah. The best example was lighting all my clothes with LED lights. Colours seem obviously messed up. Some colours are emphasized while others are suppressed.
The security from credit card is FUD. If anything, it's probably less secure:

1. Users are encouraged not to care about the security as they are insured - which means spending in dodgy online stores.

2. Magnetic stripe technology is terribly insecure.

Combine the both and you end up Americans being prime target of fraud, constantly (rightfully) scared of Eastern European fraudsters. Meanwhile people here in Europe never ever worried about it.
"NoOps means that application developers will never have to speak with an operations professional again."

I really hope this is a joke. Application developers have a hard tendency towards "getting the job done" without thinking of optimisation and scaling, which will lead to gigantic costs. Ops people are not only for maintenance, they are also the ones thinking about scalability including costs. If you get rid of this layer you will end up running your business at a much higher operational price tag than you should and you will lose money.
> And my homemade food is more delicious, convenient, cheaper, healthier, etc.

I get everything else you are saying, but how is homemade more convenient?

Convenience is the most important reason (for me) to do take out. Normally its picked up when already out on the way home, no time spent preparing/cooking, no time spent cleaning up (except the extremely bad part of throwing it all in trash)
If you're not even going to source/verify some hearsay, why bring it up, especially in such an equivocating way?
Personally I do not like the loss of the star system because it gave more granularity to ratings than I can detect now. One issue I think many have with Netflix is that if you are into superhero/comic books you are all set, if not, well not so much as it seems to occupy way to much space in their catalog.

It will be interesting to see the shakeout in the industry because I doubt it can sustain all these new costs. People bemoaned to cost of cable but its quickly becoming obvious that you can exceed it by having to hit so many subscription services.

One alternative is to use a service like HBOGo, record the seasons of the show you want and unsubscribe all in one month. While this might not be good for some who want to be current right now it can save substantial money when you only want one show.
The World's First Autonomous Ship Will Set Sail in 2018
Sound Gurus Finding a Home in WebRTC
At this point you just sound like a troll.
Plus c# is a great language. A better Java.
Hate to tell this every I see anything "DevOps" related on Linkedin or HN or wherever:

There is no such thing as a "DevOps" engineer... DevOps is a culture, not a job description.

I'm working as a consultant and every big enterprise right now is looking for "DevOps" engineers. They give their developers and operations people a "DevOps" course, make sure they get their "DevOps" certificate and voila, the enterprise is now doing "DevOps"... WTF?!

Some enterprises even say: "Ye, we have 2 DevOpes, so we're cool right?" while they keep doing projects in WaterScrumfall: variable scope, variable budget, fixed deadline sigh
blockchain as a service means, you can access the blockchain, but you will need to pay a price.
This is the future of bitcoin, due to the ever increasing complexities of hosting a full node yourself.
If demand continues to warrant, your access to the blockchain will accessed only via the networks of the largest and most powerful institutions in the world.
> Manhattan Metric

Nope. All border cells are supposed to be 0, but they have different Manhattan distances from the center.

> Object is an instance of a class

Correct.
>Laziness is delayed execution. That's it. There's _nothing_ stopping you from delaying a side effect.

This is true, but unconstraimed side effects are too difficult to reason about in a lazy language to make them practical. So in practice, very few lazy languages have unconstrained side effects.
Apple-issues-statement-regarding-removal-of-unlicensed-vpn-apps-in-china
> or surrounded by people you don't care about.

Or surrounded by people who do not care about you.

There have been a lot of people in my life about whom I cared a lot, but most of them did not care (equally) much about me. I have always given them time to develop some kind of closeness, but more than often it does not happen, so in the end I tend to abandon this kind of relationship. It's too painful. :(
To be honest, I think the blog post lags a lot of details and gives only a - very - basic overview of the field (or I'm missing the point). I've been working on distributed optimization systems for over a year now [5], and the field evolved drastically in this time. The most profound contribution is from [1] imho, where they show that asynchronous optimization can be defined in terms of implicit momentum.

Nevertheless, during my research I found that local work matters a lot! Especially when you have large communication constraints. I addressed this in my master thesis [2], where I introduce 2 novel distributed optimization techniques based on a redefinition of parameter staleness. In this redefinition of parameter staleness, I define staleness in terms of the distance (or difference) between two parameterizations. In a sense, this allows you to automatically tune the amount of work done by a worker. For instance, if multiple workers compute gradients based on older parameterizations which were close to each other, they do not inflict negative work. Imagine it as follows, at the start of an optimization process, you will have relatively large gradients compared to when you are close to an optimum. As a result, having a lot of asynchronous workers at the start of the optimization process (using DOWNPOUR) could really hurt the convergence capabilities, and could even cause divergence (for GIF see [3] and [4]).

To counter this, I introduce AGN (Accumulated Gradient Normalization) as a mechanism to compute a better single gradient update based on increased local exploration. Basically, you compute a sequence of first-order gradients, and then normalize them with the number of "exploration steps" to produce a better parameter server update (this also reduces the magnitude of the vector, reducing the amount of staleness injected in the system, see Chapter 3 of my thesis).

Nevertheless, divergent behavior can still be observed as the number of asynchronous workers increases. This can be countered by constructing a per-weight learning rate based on the difference between the parameterization of the central variable (parameterization held by the parameter server), and the - current - parameterization of the worker (see Chapter 4). Intuitively, this mechanism will nullify the contributions of workers which are "too far" from the current central variable.

[1] http://stanford.edu/~imit/tuneyourmomentum/theory/ (paper in blogpost)
[2] https://github.com/JoeriHermans/master-thesis
[3] Animation convergence http://joerihermans.com/media/blog/ddl/downpour.gif
[4] Animation divergence http://joerihermans.com/media/blog/ddl/downpour_momentum.gif
[5] https://github.com/cerndb/dist-keras
Which would allow real world identity to be discovered, in the event of malware is there a possibility of prosecution eg for something related to recklessly causing damage (through inaction/action)?
Linux Performance: Why You Should Almost Always Add Swap Space
Ah, here comes the condescending tone I've so come to appreciate from the Haskell programmers.

"Go and read", "anti-intellectualism".
> It seems like different users program in different, incompatible, languages!

None of them are incompatible as far as I am aware. If they are, I'm sure it's in very minor ways that don't occur in practice.
There's disappointingly little about actual horse racing in the article.
In fact they're probably good with it, if you've calculated your hourly wage and working out the time savings.
If women have no confidence in Uber's ability to deal with sexism then Thiel, with his "diversity myth" writings, pride in Paypal's extreme monoculture and stated belief that extending the franchise to women rendered his preferred form of capitalism politically impossible is about the last person you'd hire to fix that. (It wouldn't be a politically savvy move even if he did actually have a good idea of what went wrong and how to fix that). There's a bit more to fixing an organization's perceived deeply sexist culture than not actively participating in the molesting of women.
How to pick a winning IoT business model – Infographic
But they can't, can they. Or we wouldn't have the bazillion monad tutorials.

The funny thing, this is the trouble that plagues other Haskell-inspired work (such as Purescript)
Protein reactors produce basic food from carbon dioxide and electricity
This is a pretty run of the mill opinion in Libertarian circles. As a Libertarian, it's hard not to feel that way as you see decades of what the majority of people vote for and what the majority of people put up with in their elected officials. Unless your argument is that Libertarians, generally, are unlikable, in which case, you may have a point ...
All this talk about "belief" like it's religion or something. It's reasonably feasible to get hard, scientific numbers that prove the effectiveness of advertising spend. Ie tracing click throughs vs conversion rate.
Try https://rogueamoeba.com/audiohijack/
Ten dollar bucks.
Marry me, pls hahaha I'm completely agree with you. Thank you for your support!
> This is extremely false [referring to "You need a PhD in type theory to get anywhere."]

almost immediately followed by

> And I'd really like to see type class constraint resolution, or Hindley-Milner type checking

You don't even see the irony in that, do you?

> they don't take much more code in Haskell:

riiight. I won't even go into the number of things that need to be explained there before you even start explaining what the code does.