skysight-inc/HackerNews huggingface dataset:
> However I think there are many problems where a picture is not sufficient and it's necessary to have good, reliable mathematics to sketch out our designs and prove properties of them.

It's necessary to have a formal language to describe this design. Such a formal language needs to have one and only one interpretation. We should be able to take a document written with that formal language and verify that it meets our assumptions. We should also be able to verify that the final implementation is isomorphic to the design.

Luckily such tools are ubiquitous. You can use whatever programming language you like to specify your design. In the case where the programming language is defined poorly, then you must also decide what build system and run time environments you will support ahead of time.

You can document your assumptions using the same programming language. This is made easier if you use a "test framework", but if needed you can also roll your own. You can validate your design by running the tests against your design. Normally it is best to break up your design into "units" that make it more clear how to validate your assumptions. You can then add some extra validation that the composition of "units" transitively validates your assumptions.

You can verify that your final produce adheres to that design because there will be a 1:1 mapping from the design to the final product (i.e. the final product will be implemented using the same code as your design). There are wonderful tools that will tell you the "coverage" of code used in the final product that has been validated against the assumptions.

Finally, you can even specify your requirements using the same formal language and verify that the design meets the requirements. Normally you do this by validating that the "integration" of "units" meets your assumptions. This should not be done without individually validating the assumptions on the "units", though, because the "integration" can lead to exponentially growing alternatives. Normally it is infeasible to validate each alternative.

Yes, this reply is tongue in cheek, but I am not ignorant of formal specification methods. They have their place. That place is currently not in a professional software development shop. We have better methods at the moment. Possibly formal specifications methods will improve to the point where we can reasonably use them, but we aren't there yet.
I'm guessing it is primarily aimed at getting people used to the interfaces/differences/quirks of using RevoR scaler functions.

Will it do so? I dunno. I'm a fan of simplification. If it's resource limited I'd argue there more motivation in just sticking with the popular base R implementations and not over complicate things or tie your self to a proprietary product. Sas also offers a kind of "free" version cut down/restrictive, and I don't find I use that much either, because the restrictions (virtual machine, non-EG interface) make me rarely ever want to use it.

Both companies have the challenge of how to keep themselves relevant and reach people to teach their wares in a world where they similarly try to restrict access to their products. Revor has some advantage in this sphere, given the availability and use of regular r,but there are implementation quirks and rough edges around the fact that they're trying to get R to do some things it really wasn't designed to do from the ground up.
I think that if you ever leave the house at all, you can play no matter what else you're doing. Today, I went to an appointment, and there was a Pokemon in front of the building. I went to the store - there were 3 outside. I went to a large park - there were numerous Pokemon, PokeStops, and gyms. I didn't go to any of these places to play the game.
Utter nonsense. People aren't, in general, dumber nowadays that they were in the past. It's just that the cutting edge keeps getting harder and harder. The stuff Newton and Einstein became famous for is now standard high school/undergraduate curriculum, while the stuff being done on the cutting edge nowadays needs 20 years of study to become able to contribute anything new, often ridiculously small and niche contributions.
This isn't civil court. All international law is a theatre masking anarchy between nation states. The distribution of justice it provides is roughly proportional to the relative strength and willingness of its participants.
Anything approaching what could be called a capitalistic/free market economy is basically nonexistent in Latin America, with rare exceptions such as possibly Chile, which by no coincidence leads the quality of life rankings in the region.

Other countries had brief experiences with more pro market governments (even if by necessity as opposed to ideology, such as in Brazil), or now in Argentina.

The results have always been positive, but we seem destined to be governed by populist left wing governments.
I will put it "in vacca" but: I suggest LSD, for a new perspective on life.
It is CP1919, the first pulsar, discovered by Jocelyn Bell. It won a nobel prize for Anthony Hewish who led the project.

Dame Jocelyn Bell Burnell on BBC radio's Life Scientific http://www.bbc.co.uk/programmes/b016812j
Oh for goodness sakes.
I disagree with the assertion that the UK has been an empire of any kind since roughly the end of World War II. I agree in part with the article's core assertion, that the UK's days as a major influence on the global political and financial stages are now over.

However, I think this has been a gradual process. I think it has to do less with an internal dissolution of British society's pillars (though I think that is happening), and more with a lack of understanding of just what kind of weight Britain has to throw around. Put simply: Britain is not as important as it thinks it is, and the EU is much more important than people think it is. Britain needs the EU more than the EU needs it.

That's not an easy thing to accept. Who among us wants to be told "you don't matter like you think you do?" Imagine an American's reaction to being told that.

But it's a lesson the UK needs to learn, and fast, if it's to keep its economy and quality of life.
Why do people open emails? Learn today's best practices
Adding to the list:

Dublin Traceroute: https://dublin-traceroute.net. A cool traceroute visualizer that maps the topology much better than a traditional traceroute (finds NATs and other cool things.)
UI Evolution – How we dramatically increased our NPS
George Rozvany’s Silver Bullet
I would argue a strong "no".

1. Usage: R has seen continual growth whereas SAS's market share has been on the decline for years. This is based on number of scholarly citations, Google Trends, number of books and blog posts with the software's name in the title, surveys, online forum references, sales volume, use in Kaggle competitions, and some other measures [0] [1]. This is consistent with my anecdotal observations in academia that R tends to be much more popular among young professors and grad students whereas SAS is mostly used by the old guard. Now, this doesn't directly speak to which is "better", but more researchers believe--and this belief is increasing--that R is better suited for their research.

2. Number of packages: While R usage uptake seems to be approximately constant, package growth appears exponential. Across all packages, R has approximately 150 times as many functions as SAS procs and in 2014 alone added more functions than the total number of SAS procs [2].

3. Package distribution: R has CRAN. I'm not aware of any centralized repository or standards for distributing packages developed by the SAS community.

4. Reproducibility: R is free, SAS is expensive and the license has to be renewed. The reproducibility crisis in the medical, biological, and social sciences is exacerbated by proprietary software that locks out other labs without the software from replicating an analysis. This may not be a conern for business, but the cost should be.

5. Scalability and ease of use: R has its quirks and warts as a programming language, but trying to write anything but a small one-off script in SAS is really something else. This is just pure opinion (which I imagine is shared by many others, but I don't have any data to back it up), but try writing a simple FizzBuzz in both and then come back and tell me I'm wrong (I was going to just post examples of both but couldn't even find one for SAS in this massive list! [3]).

6. Data visualization: I also don't have any data for a comparison here, but data visualization is frequently touted as one of the strong points of R. The native plotting is easy and powerful, and then there's the legendary ggplot2.

[0] http://r4stats.com/articles/popularity/

[1] http://blog.revolutionanalytics.com/2014/01/in-data-scientis...

[2] http://www.statsblogs.com/2015/05/22/r-now-contains-150-time...

[3] https://www.rosettacode.org/wiki/FizzBuzz#R
The project supports for interaction to smartfox server 2x, 1.0.7 released
> given that the sole information available are stories written long after his alleged existence, all of which claim a god-man free of flaws

I'm not sure that all of those stories claim that; only four of these stories were accepted as canon by the later consensus of Christian churches, but others are known to exist, which have somewhat different contents.

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

Also, Christian churches reached some kinds of consensus about what they say the canonical gospels said about Jesus, but not everyone who has read those gospels agrees with those interpretations; there have continued to be some debates about what Jesus said about himself and what his early followers believed about him. Some of those interpretations have been considered heresies in mainstream Christianity for a long time, but there have been a lot of such views which people have held to quite strongly, and often claimed were supported by their readings of even the canonical gospels.

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

After all, one of the reasons that Christianity even had all of those ecumenical councils and promulgated those creeds was that there were lots of people who claimed to be followers of Jesus and didn't believe some or all of those things. (And maybe there would be more today if there had been a separation of church and state throughout the Middle Ages.)
Spreadsheet-like UI from MIT makes db queries easy
Very interesting, but it feels you are going several "derivatives" into the issues, when the book is aimed at the first semester, haha.
People don't know any better and don't understand the issues. They're not voting with their wallets. They just want to access the "protected" items. I tend to think most people are just going to accept when they lose access to "protected" items they've already purchased (or just have to re-purchase them). I don't like any of this, but I don't expect it will happen differently either.
It's developing here to have co-branded outlets under one roof, looking very premium, sometimes sharing staff to minimise costs.

Down the track, they may become distribution/pick-up hubs. Most of them are very well located.
Right, all those white-ex-plantation-owners-mansion-living-elite risking their lives in the ocean to flee the country... Or asking for political asylum in every opportunity such as during Olympic Games...
Triple Play Exascale
Pokemon Go GLobal Version look here for the apk
Inside New Zealand's DIY Drug Culture
Jet fuel played a negligible role in the Lockerbie attacks, other than elevating the target to where pressure and airstream would rip the hull to shreds.

The initial bomb damage was a 50cm (20in) hole. Disruption of control systems (steering and stabilizer cables) lead to a pitch of the aircraft, aerodynamic forces of a 500kph (313 kn) airstream tore off the nose of the aircraft, parts of which impacted with and initiated further disintegration of trailing portions.

Again: fuel did not contribute to the damage inflicted on the aircraft.
New programming languages need really compelling, upfront "why this new language" arguments.

I love the idea of new languages but there's plenty of good ones out there so there has to be a super good argument in my face explaining why.
> the inclusion of a VIP table for interns at "elite" companies or with connections

Are you saying that, say, Google or Apple interns got to sit at some kind of special table while interns for say, a new, small startup did not have access to such tables? That does sound pretty bad...
"I've fine-tuned a spreadsheet that has completely changed my finances"
So why Async.js over Promises or Generators at this point?
Sas isn't better than R, the two softwares just target different ideal use cases IMO.

R is far more flexible, but interpreted and has some really annoying properties that make production work/reliability really hard.

SAS is a quirky model of computation that limits it in some/many areas, but makes standard operations on rectangular data and data munging/etl on such a breeze. It's compiled. Macros are both a blessing and a curse.

I still think it's better at that use than RevoR, and some of the data munging in R is not great.

Plus, I admit when I saw that RevoR has an rxdatastep or whatever, I admit I was a bit "lolwut?
> from the half-full glass POV we are just speeding up the natural selection of bacteria resistant humans (it has been going for millenia and got, probably only temporary, delayed for the last 80 years). Also, as a side effect, it can help solve (at least temporarily) the overpopulation issue until the much more smart (wrt. health and Earth resources usage) humans evolve. Basic dialectics at work.

Bacteria evolves resistance at about the same rate as people develop defenses.

So yeah, if you don't mind killing off a huge segment of the population and having women die in childbirth regularly.
>A lot of top schools give very, very generous need-based aid.

The best of the best do this, but very few graduates can get in. If my understanding is correct, it's pretty much only the ivy league and their peers that do this. Probably less than 1% of college students go to a school like that.
Obviously shady scam company revealed to be run by shady scammy people. Shocking.
Commercial aircraft don't equalize pressure quite like that. The assent is often far to rapid for passenger comfort so try to spread it out over a wider range. But, also the verify the system is working. http://aerosavvy.com/wp-content/uploads/2015/05/altitude-gra...

12,000' probably has an internal cabin pressure of around 3,000' to 3,500' and of course it's unlikely to be at exactly 12,000' during detonation.
> I'm sure NYC would be perfectly willing to have the right to search all people entering the city (or at least Manhattan...

Uh absolutely not. Nobody who lives in the city would vote for that, ESPECIALLY if it was just for Manhattan (since most people in Manhattan during the day don't live there).

NYC transit, much of the time, is a relatively well-oiled machine and introducing a huge delay like that would make the city explode in anger.

NYPD already has some "checkpoints" setup outside of certain subway entrances where they "randomly" (you can probably guess how random it is) pull people off to check their baggage.

Rarely do they check more than 1/1000 people entering the subway (and that's being extremely generous, it's probably far less frequent), because there might literally be a riot if they backed up an entire subway station checking everyone entering.
That's understandable. I've just tried to prove the point that Rust is still a language in flux compared with Go, hopefully making the Rust team aware why some developers hesitate to use Rust on new projects.
I ran across The Dilbert Hole strips embedded in some guy's weird webcomic where he took photographs of Plasticine animal characters and pasted them over photographs of the real world. I can't think of the name of the strip, the only title I remember is "Winter Pageant". At one point the Dilbert strips got replaced with redrawings of them (probably when SA "didn't take too kindly to it") and then I totally forgot about it until today.
>when we see something on the level of zen koan or similarly weird or meaningless.

Zen koan are anything but meaningless. They are in fact purposefully designed to evoke certain meanings...
Creative Applications of Deep Learning with TensorFlow
This is quite nice!
This phenomenon can be confusing because outsiders might conclude that the process led to success when in fact it was the presence of people who knew how to build software successfully that led to success and the perception of process was a mirage.

My first "favorite" comment!
There's a certain amount of amusement to be found when differing religions' assertions conflict.

I'm thinking specifically of a certain elderly Irish Catholic gentleman's response to the LDS' efforts to retroactively save ancestors by means of genealogical research. He was more upset than I thought he would be, given that the process was completely off the wall from his viewpoint as I understood it.
This introduces a new risk, that of sabotage by airline personnel themselves. As in the case of the Germanwings intentional downing by what's now thought to be a mentally ill co-pilot. He'd locked the captain outside the cabin.

Protocols to ensure two crew members in the cockpit at all times are now being considered.

There was an exceptionally good essay on implications of this incident, with computer/systems security implications, though I cannot locate it. James Fallows' Atlantic piece was good, though not quite what I was looking for.

http://www.theatlantic.com/international/archive/2015/03/ger...
You can move around the definition of pleasure, but then you end up with situations where pain as a means to pleasure is indistinguishable from pain as equal to pleasure, which undermines the whole premise of hedonism (that only pleasure has value).
America’s prospects are promising indeed (2014)
Is it just me or the author is just building a narrative and not bringing any fact ?

Of course, it is fashionable to bash Leave voters as primarily racists. But HN has recently published several articles that have much more nuanced analysis and certainly better explanation for similar movements across the whole Western World.

The only real point in the article is that there have been some racist violence, but really not that much.

This article really sound like a sore remain voter demonising a bit the other side. If the author need to let off some steam he should talk instead about how the appalling level of the debate during the campaign and how its success opens the door wide for a new generation of unashamed propaganda driven politic.
In the year 2100, 15 years after I am dead based on my life expectancy.

less than 10% of the world would be of american and European decent.

50% would be Asian and 40% would be African.

When I first heard it, it took me some time to think about what that means.

Think about what history books would read like in the year 2150. It would be sort of surprising to them that that the world was so eurocentric - they would prolly all be of same skin color and of a darker shade. The anti-immigration stance that is becoming so mainstream must feel to them similar to what reading about slavery feels to us.

There is also something much more profound, when we view historical data about dinosaurs or other species we always look at statistics of their representation - essentially out of factors that is outside their control, their is a peaceful extinction of the European gene pool, so you really cannot fault the reactionary response to it. Extinction is also the wrong word to use here, genetically the best features would get absorbed by the human species of all 'race'. Its inevitable but the recent surge in immigration is making people deal with that fact in a very direct way.

The world has always had less Europeans and people of white color skin then other shades, if you took every person in the world and randomly changed their location, it would be a huge shock to most white people that they are surrounded by non-white people. For everyone else seeing an extra white person a year is not as shocking.

The thing that is happening in england is also happening in america but its not as bad because of the sheer size of america.

In England a change in demographics is a lot more noticeable - either it be age, ethnicity, language or religion.
Would you find it reasonable for someone to express admiration for Napoleon or Julius Caesar? Both were genocidal narcissists, but also brilliant military strategists and orators.

It's possible to admire the latter aspects in isolation, without condoning most of what they did. I feel the same way about Castro's revolutionary campaign.

(Let's leave Hitler out of online forum conversations for everyone's sake...)
This is the best resource that I've seen that covers the possible qualitative effects of different drug classes:

http://disregardeverythingisay.com/post/9331287956/the-visua...

The one drug-related thing that's been bothering me the last couple weeks is just how many native psychoactive plants have virtually zero writeups on Erowid: indian tobacco, sweet flag, mugwort, mulberries, indian pipe, etc. At least in New England every single park, even in Manhattan, is pretty much an all-you-can-eat buffet of psychoactive plants and yet there is very little information about the safety and efficacy of most of them, or even a quorum of anecdotes for that matter.
I find your comment disturbing because I feel that "Opt-Out" features have become a real problem. The reasons for setting something as opt-out are often self-serving and, even when not, it is still an affront to informed consent (since as we all know that most people will take the defaults).
I would love to hear how these were all patched. Wrap everything in a transaction? Use some kind of MQ? Make sure these critical DB calls are not cached in any way? I'm sure it's different for each case.
Interesting that it's described as currently catering to Kenya, Ghana and Nigeria because the content is solely Ghana specific. These 3 countries also have very different social perspectives and very different flavours of entertainment and lifestyle. A number of popular sites also exist in this niche targeted at each country. Likewise, the remaining 51 countries also have significantly different cultures whose entertainment needs probably can't be comprehensively addressed by a single site.

Edit: There's a different page for each country; I missed seeing the button to select accordingly the first time through.
Peter: Egon, this reminds me of the time you tried to drill a hole in your head, remember that?

Egon: That would have worked if you didn’t stop me.
It always amazes me when developers making crucial transaction systems don't know about or implement some form of locking. I personally use a cluster of consul servers for distributed locking ( http://consul.io by hashicorp ) although I don't use the rest of consuls features I'd sure like to learn how someday :)
I'm sorry, but this is very uninspired. One of your points is in progress at Niantic, two of them have been heavily discussed and likely to be in the works soon.

The last point is something Nintendo would explicitly not allow. It'd eat into their hardware sales and would require a major revision (e.g. retroactively setting new moves to all previous caught pokemon, adding PP for moves, a numerous number of new items, ability to use items in battle, etc).
If an empire was ever in need of dying it would surely be the West's anti-nationalist media cartels. Perhaps the shuttering of the New York Times would be a good start.
Having unelected bureaucrats from other countries making the rules under which your citizens live seems the opposite of "empire".
Well, I like that the format is readable and just plain text files.

If you wrote documents in word 1.0 or WordPerfect or something, they may be lost to the world but markup could still be read by any reader.