skysight-inc/HackerNews huggingface dataset:
I'll try and keep it simple. It helps make code more readable.

When I see a bunch of Maybe monads, for example, I can instantly know that the programmer's intent was maybe to not just have a type safe null and avoid null pointer exceptions, but also to possibly make use of Maybe's toxicity.

What I mean by toxicity is you know how in some languages you have "not a number" aka NaN? A NaN times / divided by / added to / subtracted from anything is a NaN, that means that if you have a complex formula, if you throw a NaN in there anyway you get back a NaN. Maybe works the exact same way but with all functions not just arithmetic operators. That's what I mean by its toxicity.

Without Maybe you'd have to explicitly apply that logic everywhere you'd otherwise apply a monadic "join." The reader would then have to study your code much more carefully to understand that intent, and probably look at it with some skepticism that the toxicity works perfectly every time or is in every place you might expect. And of course not everyone values brevity and expressiveness, but when done right it makes code more readable not less, and Monads done right facilitate that.

Maybe's toxicity is just an example of pretty much any "magic" you can build into a Monad. You could for example have a Future Monad that will handle asynchronous control flow for you.

As a side matter, it's not just working around Haskell's strict type system that make Monads a good fit for IO, but also Haskell's non-strict execution.. monads help things happen in the right order which is crucial for IO. That's kind of neat when you think about - the bridge between the mathematical rigor of pure functional code and real world devices that make computing useful. Functional purity makes code easier to reason about and less error-prone.
Wow! I'm surprised the later ones are even possible to do. The faces are shown at a completely different angle and with aspect ratio distorted, I don't know where to begin.

Scored 7/14. Enjoyed it a surprising amount anyway.
I used to know a lot of people who for example had houses in another cities and were coming to tourist towns in season pretending to be homeless. They were making enough money to just sit on the couch off season. Also there is plenty of ways those people can stop being homeless if they don't want to. And you appear as someone who would like to force that change on them.
Entrepreneurs Are the New Labor
Prediction markets are valuable.
I'm inclined to question whether the study authors have ever been to London, never mind examined actual passenger throughput data. Most tube stations have far too little parking in the vicinity to create a "bottleneck" by encouraging overuse of personal transport, and "bottlenecks" with bus services are far more sensibly resolved by increasing the frequency of bus services at peak times than slowing trains down.
ES6 Strings (and Unicode, ) in Depth
Xi is the nightmare of China. He is a dictator. The human right in China is worse than before since Xi come to power.
Exactly.

The article overall is biased towards authority of some elite "experts"
over more democratic, collaborative, community-driven work.

Sketching SEP as the only hero that saves internet from being an
information junk while calling rest of the internet as, "thrash leap" is
just grandiose. The Internet is full of examples that show "quality"
content is possible. And why is the obsession over "quality" content?
The internet is not supposed to be only restricted to use of
"information retrieval".

In the article, Wikipedians are called, "non-experts", while there are
many experts in their field who also contribute to Wikipedia. Speaking
of which, why not suggest those "elite" authoritative authors to
contribute to Wikipedia?

It is also claimed that, "The internet should look more like the SEP."
What? The internet is basically an extension to our capabilities of
communication. And how we use it reflects our communication habits.
Saying "the internet should be more like SEP" is like saying everyone
should communicate informative encyclopedia entries to each other in
their daily lives. Variety of other uses of internet, and thus
communication, is ignored. The article fails to recognize the value of
"piles of opinion, speculation, and misinformation", which eventually
make up the "quality" content that it advocates. In fact, as human
beings, we are supposed to have all that "speculation", "opinion", and
more importantly, "fun".
Hajj Stampede Accident – At least 450+ people killed
That's true, and it isn't hard problem. But note that audits are also a hard problem. Auditing teams don't go through and reconcile every transaction. They conduct spot checks of sample transactions and scrutinize controls, and aggressively follow up when any failure of controls is observed. I think a lot of those concepts could be applied to code audits.
This is an interesting study, but the "conclusion" is a bit odd. To me, if an efficient railroad system is causing congestion near the "park and ride" or equivalent, the answer is to expand the rail network further not to artificially handicap it.
I love how there's a column in the second graph to represent companies with zero founders
'Something weird' in European car emissions tests, say analysts
"this startup"? Please. Just put the name in the caption, Mr. Linkbait.
But what about then gradual typing in core.typed? Will it make core.typed more useful? Or is problem not just in gradual typing but more in type oriented system vs data oriented system?
Hm.

It seems to work somewhat for SV startup companies, but fails pretty badly on others.

Eg:

IBM

https://www.getcontext.io/classifier/#/about/ibm: Evenly distributed between Augmented Reality/Cloud Computing/Cloud Infrastructure/Entertainment/Fintech/HR

Google

https://www.getcontext.io/classifier/#/about/google - apparently about virtual currency and crypto currency as much as a search engine.

Ford: No result

GE: Serves results for GEICO
5 Unsubscribe Emails That Made Me Smile
"That’s pretty ironic, given how similar it feels to a product made by Microsoft, long the enemy of open-source Linux evangelists."

You're a few years behind the times ;-)
A Visual Introduction to DSP for SDR
Would it even be possible to slow down the Tube while maintaining capacity?

You would have to either make the trains bigger (not possible on most lines), or add additional trains - expensive, and potentially a safety issue as you need to make sure there is always an evacuation route available.

Some lines already operate with more trains in service at a given time than there are platforms on the line.

This study sounds suspicious to me. I wouldn't be surprised if it were sponsored by cab companies, bus companies, and bike activists :)
System-level testing doesn't always suffice; see the Toyota UA case.

Or, more topically, see the VW case for examples of why testing "in-service-operation-equivalent" requires a certain level of trust that's not ideal in a regulatory relationship.
Rules for Professional JavaScript in 2015
Driving in central London ROTFL
Made by the same guy (kpreid) as ShinySDR, which currently is discussed here: https://news.ycombinator.com/item?id=10270323
Introducing TOR1: Simple Cloud Infrastructure for Canadian Developers
Most people just consider the raw execution time to measure performance. In long-term applications that really matters.

In usual applications however most people don't realize that the development time should also be considered. In that sense a program written in a few lines of Python could actually outperform a super optimized C++ program because it usually requires more time and effort to code the same thing in C++.
Stop+making+the+same+mistakes:+this+free+tool+shows+you+how
Well actually they compete for the same workforce

So if you run a SAAS company you have the ability to create a giant monopoly make billions and buy up all the talent, and if you run a device/native-code-based company you should be relegated to fighting on the margins making returns in the window between your code-release and your competitors' reverse-engineering?

I'm not even sure what to say other than.. don't you think that's .. silly?

I think you can see the effect of this on VCs, where most funded startups are SAAS-ish, and you'll never get funding to make a product that's native.

This distorts the whole industry

A simple example is face identification. Facebook has some secrete sauce for doing an amazing job. You upload a photo and it almost always knows which one of your friends it is. I'd love to have a native app that does that for all the photos on my phone. Am I ever going to see it? No, b/c anyone who is half way decent at that stuff will go work for a SAAS company and make a lot of money by keeping his/her innovations as "secret sauce"
Astronomers spot a mid-sized black hole
Yeah, I am a known Apache fanboy, and so I'm sure that what I say will be discounted. But, imo, this just shows what happens when an open source project becomes the sales initiative of an Open Core model company. Instead of the design and future being under the control and guidance of the community, it is instead in the hands of the VCs and whatever "promises" future revenue growth. Believe me, I know; I used to work at Covalent which was billed as the "Red Hat of the Apache web server" so I know how hard it is to resist the push of VCs and those nasty quarterly numbers. And Covalent wasn't the only Apache shop around, unlike nginx.com today.

The combination of FUD and marketing $$$ is being used to "encourage" more people to migrate (or use) nginx, as an "open source" alternative, when it's obvious that "open source" is being used mostly for the PR aspect and not so much for the community-focus and community-led aspects which is really core to "true" Open Source.
The Startup Genome Project 2.0
Elearning solutions
My take, with no pretension of being accurate:

Say we have a function with signature

f :: Int -> Int -> Int -> Int

Let's say this just add those Ints together.

Now let's create another function by partially applying the initial function:
f1 = f 42

f1 signature will be

f1 :: Int -> Int -> Int

Kind of "consuming" the signature. Repeat this until using up all the parameters. You end up with a function with no parameters, which map to a single Int.

You could say that f3 -> Int (note, not a valid notation for the sake of example).
No need for a different symbol.
It's interesting to note that the title of this article is the idea behind the esports behemoth known as "League of Legends". Players dispute wars around the fictional world by battling on a 'Rift' to decide the fate of nations.
Furthermore its impressive that last years culminating Worlds match up drew in more viewers than the NBA finals [1]. This year's should be even greater.

[1]http://ftw.usatoday.com/2014/12/league-of-legends-worlds-vie...
>But it's important to recognise that most homeless or vulnerably housed people do not have a mental illness

This can't be right. A previous HN discussed how "almost half of homeless men had traumatic brain injury in their lifetime"

Source: https://news.ycombinator.com/item?id=7648933
Norwegian Computer Magazine TEKNO #3 1996 [pdf]
One of BMW's cars doesn't pass European emissions tests
Register for IP EXPO London for FREE
Cortex – a non-Flux store that supports deeply nested structure with React
In a way, haven't we already done this? Our media and movies rarely depict death and grievous injury directly anymore. Everything is cut out so as to not upset or offend viewers. For example: "The War Photo No One Would Publish" http://www.theatlantic.com/international/archive/2014/08/the... , and recent movies such as the Avengers, where a massive attack on New York is depicted without showing a single on-screen civilian death.

War has become a thing that takes place far away from those who vote in favor of them. Soon, thanks to drone technology, it'll become a thing that takes place far away from those who wage it as well.

Perhaps, if both sides do it remotely, it will be a good thing. A lot of technological assets will be lost, but the victory criteria will be that, rather than loss of life.
But thats only going to happen at the extreme ends of the tube system no one is going to drive further into London to park and then get the tube
[pdf] Understanding the detection of fake view fraud in Video Content Portals
Ahmed's Parents Won't Sign Waiver Allowing School to Share Story
Indeed. Netflix has previously cited their use of data analysis in investing in new shows like House of Cards: http://www.nytimes.com/2013/02/25/business/media/for-house-o...
CppCon 2015: Bjarne Stroustrup “Writing Good C++14” [video]
Prosper Marketplace to acquire Israeli personal finance startup BillGuard
From the paper: "YouTube is consistently more
permissive in the counts for monetized views, when compared
to the public view counters. Specifically, fake views
are penalized and not counted by the public view counter, but
are monetized, i.e., have paid-for ads delivered in them, and
counted in the the video owner’s monetized views."
Definitely. Formal methods don't replace process carte blanc, but rather make the tasks from which the review process is composed tractable.
My point was that you don't deal with society directly, you deal with individual people. Ignoring their personal motivations and grouping everybody who isn't you into "society" doesn't sound like a productive way to interact with individuals.

Because of this, discussing society and whether it is or isn't your friend in this context makes as much sense to me as discussing whether the Grand Tetons are your friend.

Essentially, when I hear "it's them versus you and they don't like you much" (my reading of your first post) I hear a lot of alienation and I don't think it's a useful framework for helping lonely people make sense of the world.

Thanks for taking the time to explain what you meant.
All the procrastinators are here so here's my most recent thinking on the subject: Procrastination is just an emergent behavior of the "human runtime executive".

Consider first a cat: it sleeps (in the warmest place it can find, but not too hot) until it is either hungry or bored or someone shows up to amuse it. Then it hunts prey, plays with it, possibly eats it. Repeat.

I believe the human (at least male human) version of this algorithm is roughly: sleep when tired, otherwise absent some imminent threat (see below) work on various plans directed toward having sex in the future, otherwise go figure out the world. Imminent threats (hunger, leaking roof, dangerous predators, "sprint" deadlines...) trigger immediate and focused activity.

I think this explains procrastination and pretty much everything else: doing things like the VPTree implementation doesn't rise to the level of dealing with an imminent threat (unless someone needs to ship it in a product tomorrow), and it doesn't fall into the category of "figure out the world" because you already know how said trees work and are used well enough. And of course it isn't terribly sexy, most of the time.
Why High Conversion Rates Are Bad for You
Hi Bribri,

I wrote this article a year ago and I decided to submit it because the take aways are still very relevant today. When I wrote the article, Vainglory wasn't released yet. I've played a fair amount of Vainglory and they did indeed crack the code for a mobile MOBA. The Halcyon Fold map from Vainglory is a derivative of Twisted Treeline which offers enough strategic depth to be played at the competitive level, unlike Zynga's Solstice Arena. This, and the fluidity of the game sets it apart from the others imo. I still believe Super Evil Megacorp would have been better served with a more tongue-in-cheek visual style / IP if they want to address the entirety of the iPad install-base. This would have lowered the entry barrier for those who do not particularly enjoy the high fantasy style and would allow them to piggy-back off of successful mobile predecessors such as Rovio's Angry Birds and Halfbrick's Fruit Ninja by means of profit sharing on guest appearances. I'm very optimistic about Vainglory's future.
Pretty interesting question - I don't know Dunbar's view, but I can see two ways of looking at it: one: that the functional social group is the primary thing to be measured, and people who you aren't physically around very often, and who you need a database to remind you who they are, wouldn't properly be part of that; two: that the notion of functional social group should now be expanded to include these very people, and that the relation Dunbar was interested in (proportionality between social group size and neocortex size, viz: https://en.wikipedia.org/wiki/Dunbar%27s_number) needs to be adjusted to regard databases of friends as an extension of the neocortex :)
what do people use instead?
Technologies That Will Redefine the Enterprise: The Docker Ecosystem
Beta Test a Home Network Assistant for remote electronics monitoring and access
Agreed, not an equivalent system.

Another scenario where this causes issues that a login equivalent can improve: imagine losing your phone including SIM card. This then causes a full interruption of all services tied to that phone number including actual phone service, and SMS, until the SIM is replaced. This usually takes hours/days depending on your location or carrier.

The other big difference in just swapping out sim cards is the need for a full phone reset and the interruption to the service of whomever you're borrowing the phone!
vim for everything!

That's a great setup for my blog postings that I already write in markdown.
Sherlock episodes are also like 2-3 normal episodes in length. They are each essentially mini movies
People aren't as self-compliant with watching their resources as you think.
Pirated installs of Windows, most likely
Very nice website.

Google also a site where you can graph the WorldBank data in a zillion ways; I'm shocked that I didn't know about it earlier:

https://www.google.co.nz/publicdata/explore?ds=d5bncppjof8f9...
I think you're right on your first paragraph

But the consideration about traffic is not only about cars but people that do Bus->Tube and vice-versa
Isn't Sherlock more akin to movies than TV episodes at this point? Each season is quite like little trilogies.
I have no idea if this makes sense, as it is mostly random typing from a monkey (who has been drinking beer, no less)... but couldn't it be perfectly reasonable if non-locality was the result of something that is non-observable? I mean, if I flip a coin and heads comes up, it's not surprising that tails is down. The head is connected to the tail, so I can't have both coming up at the same time. Imagine that there are inhabitants of a torus world with the coin at one point. It's spinning there. Alice stays to watch the spinning coin and Bob wanders along the torus in the opposite direction. Eventually he sees a spinning coin too. It can't be the same coin, because he's walked a long way in the opposite direction. So he watches the coin. Eventually it stops spinning. Alice sees heads and Bob sees tails. No matter how often they do this, it works out opposite. It's not that one side of the coin is communicating to the other side of the coin at the other "end" of the torus. It's just that there is no other way for it to work out.

I'm not suggesting that it actually works this way, I'm just giveng my drunken monkey interpretation of how particles could exhibit this behaviour without many worlds ;-)
I love the photos, but I was halfway down the page of viewing photos before a single line of text loaded. How do publishers like this ever get their site indexed by Google?
A counterexample is only definitive proof when opposing an absolute.
Interesting to compare with TypeScript, which runs into similar issues.

Before TypeScript 1.1, the intelligence was quite slow, but is now fine even for large projects. Third party libraries often have type definitions in the DefinityTyped collection.

That just leaves constructs that work in JavaScript, but which can't be type checked in TypeScript. This is often double-edged. TypeScript's types are not amazingly flexible, so it encourages writing less magical code, improving readability, but it also discourages some patterns that are quite useful, such as passing references to properties using string key names, which are hard to type-check.
Google is missing in the photo with Chinese president Xi Jinping
The Nexus of Data and Official Statistics
yes, you are right. We are looking into that, will fix it soon
Firstly, sorry to hear of your loss. Fortunately it's not something I've had to deal with on a personal level and I hope it stays that way.

There may be some misinterpretation going on but I certainly didn't mean to imply that I was judging anything about omniusaspirer based on privilege or otherwise.

My point was that a comment like "homeless are shameless opportunists who go wherever they can most leech off society" is incredibly hateful talk to apply to a broad group of people. It's an ugly narrative, and if you attach those labels to a group of people you don't even know it's hard to imagine how you're going to help them.

I wasn't suggesting compassion and understanding as any form of solution.

Partially, this sort of narrative is one I'm particularly aware of at the moment. Over the last few months the British press have been using similar sorts of narratives to create an "us and them" gulf between humans and refugees.

I do stand by my comment. If you treat people as a lower class of being (as I would argue "homeless are shameless opportunists who go wherever they can most leech off society" suggests) then you'll struggle to solve these issues at a social level.

Aside from all that – I'd like to hope that we all want to help solve this issue. I've been doing a little googling around but haven't managed to find very good information on homeless causes. There must be bucketloads of research into it. I'd love to understand a little more about it.
I've never heard 'on accident' out of a British person, even living in Canada. I've heard it out of many Canadians and Americans alike - but I've equally heard many of them use 'by accident'. I hadn't registered the generational divide though. I thought it was just commonly used in both forms [even though I personally correct them in my head every time they do it]. It grates on me when they use "I could care less".

What also bothers me that I've heard out of many British people, but never yet a Canadian or American is 'can I lend that thing from you?'... you can't lend something from its owner. As the lender, you are the owner of the property to be lent. Thus you can lend something to someone or borrow it from them, but you can't borrow it to someone or lend it from someone.
22 Pieces of Wisdom I Got from Marcus Aurelius – Stoic Power
If you plan to do more than Python, you will be happy to use EditorConfig (vim plugin + .editorconfig file)

Here is my config: https://github.com/RaitoBezarius/vimconfig

I am more a Python developer than anything else.

But, this config is handy when you do fullstack dev or Rust or Elixir or something other. :)
In a naive google search it gets masked by discussions like this one - but some extra filtering can find examples: https://www.google.com/search?q="it+was+on+accident"+-"by+ac...
How to Build a Sustainable Company That Withstands Market Changes (PODCAST)
> Emissions measured in road tests of 15 new diesel cars were an average of about seven times higher than European limits, according to a study ICCT published last October.

Curious what will happen in Europe the next coming years with respect to emission control and verification.
This is certainly true for me. If I have any inkling I'll like a show I don't even let it infect my opinion if I dislike the pilot, as that's normally he case. Heck, for shows that have been around a while sometimes I don't even care for the first season but keep watching - some of those have turned into my favorites

The Wire is the only show coming to mind where I was completely sold by he first ep.
I personally use (and I'm very happy):
https://github.com/gabrielelana/vim-markdown

Hope it helps :)