skysight-inc/HackerNews huggingface dataset:
Math major here. I too came out of your paper thinking that the quantifiers are the only interesting part of you paper; interesting enough, in fact, that I may start using them myself. One criticism is that there is no way to use them for variables that occur in more than one place. That is, you could not use them to right "for all x in R, x<x+1". I propose a simple addition of an optional subscript for the variable name in the quantifier.

My other criticism is that it seems less natural to read that notation. With the standard notation, you can simply replace the symbol with English words and read it. While the transliteration in your notation is likely possible, it seems more complicated. In this sense, I would probably view this notation more as a shorthand. For pedagogical purposes, I feel like separating the qualifier from the usage of the variable is a good idea.
Reddit's version was more like an excuse to do something fun. It would just be weird to release that on a normal day. But on 4/1, it was a blast.
Three factors.

1. Reddit's internecine subreddit wars required constant admin intervention and mediation. Reddit only has so many hands on deck, so more of than not, they pulled engineers in to help moderate.[1]

2. Reddit is unprofitable, so they have trouble affording top talent. [2]

3. Finally, Reddit's vision for the future has been hazy for the last decade. If the navigators can't chart a course, all the rowing in the world won't move the ship in the right direction. I suspect the overdone April Fools experiments are a result of engineering not being given technically compelling, or perhaps meaningful features to labor over.

Sources:

[1] https://www.reddit.com/r/TheoryOfReddit/comments/58zaho/the_...

[2]http://www.thedrum.com/news/2017/04/02/reddit-sets-eyes-prof...
No, other people ARE the API!
where did the walmart number come from? By several sources, they are the largest grocery retailer in the US.

In 2012, this article puts grocery revenue at $255b (over twice krogers revenue):
http://money.cnn.com/2013/01/31/news/companies/walmart-groce...

And this article says they have 25% of the 700b grocery market:
http://www.salon.com/2013/03/28/will_wal_mart_replace_the_su...

And this article says "Wal-Mart's biggest revenue driver is food (55%)".. and walmart has 485b in total revenue:
https://www.fool.com/investing/general/2014/07/16/kroger-wal...
Same!

This is such a common problem for me today, working on small scale city maps. Hearing about it on a universal/galactic scale, and also in the now redheaded stepchild of earlier web tech (i.e. IE) is not only incredibly cool and impressive (today), but also to hear of the possible data inference implications is somewhat exciting.
Relay For Reddit is not normal - most Reddit users see ads occasionally.

Apparently 6 percent of internet users in the United States use Reddit in their spare time [1]. It is probably the same in Canada, Australia and the UK.

If we assume $0.25 in revenue per month per user and 20 million users, that's revenue of $60 million per year.

[1] https://www.statista.com/statistics/443332/reddit-monthly-vi...
1. This doesn't require developer talent, or any real expense at all, social media marketing interns will do the job at barely any cost.

2. They've had plenty of money from investments though, their dev team is reasonably sized.

3. This one seems pretty accurate.
You can convert org-mode documents into LaTeX, html, txt files, etc. pretty easily from within Emacs. The org mode docs explains it. Takes all of 3 seconds when you know how to do it.
Hmm, interesting. I'm now downloading the archive and going to run through and check again.

Edit: Huh, guess Wikileaks has a hard 40Mbit down limit for downloads, this might take a while.

Edit 2:

Not sure if this is due to time since leaks, and weirdness, but one such email I found was https://wikileaks.org/podesta-emails/emailid/41063

dkim.ValidationError: body hash mismatch (got xYeNHE1y7S7c90FEmj0Clvuu8UkskqNWL3LiuMxCrsc=, expected SFTNrt5rWQXzb3TEj9vxbo/FLGDSOiYFg+04PjFRv3A=)

While I'm finding valid headers, I'm finding a good portion of negatives too. I have to sort through the spam emails in his inbox first though (lots of irrelevant DKIM failures).

Edit 3:

Just some numbers (which are definitely inflated from the spam emails I found, by how much I'm not sure):

root@ubuntu-512mb-nyc1-01:/mnt/volume-nyc1-01# cat output | wc -l
9981
root@ubuntu-512mb-nyc1-01:/mnt/volume-nyc1-01# cat totest | wc -l
28024
root@ubuntu-512mb-nyc1-01:/mnt/volume-nyc1-01# ls out/ | wc -l
50887

Edit 4 (and the last):

The quick script thrown together to put numbers together, https://gist.github.com/Omeryl/c6cbe603721f5671b9056ca127399.... I don't have the time to go through and see how many of those messages are spam that are just failing to validate, etc. It's worth noting that some messages may be failing to validate because x= is past, etc, as well.
this article is, at best, years too early. Walmart is the worlds largest retailer, and largest grocery retailer in the US. 55% of their 480b in revenue comes from food, and their revenue from food is over twice that of Kroger (the #2 grocer).

Acquiring the #6 grocer doesnt change that.. And Amazon, even if you include 3rd party sellers, still has not reached 480b in revenue.

You cannot be the number two player and have a monopoly. That's not the way that works.
But it does so for completely different reasons - gravitational energy release due to gradual contraction rather than nuclear fusion.
> Ahold owns Giant, Martin's, Stop & Shop.

And Food Lion, Hannaford, Peapod and Bfresh.

In Europe also Albert Heijn (mostly NL, which is where the 'ah' in ahold comes from, it stands for Albert Heijn Holding) and Delhaize (Belgium, France and lots of countries in Eastern Europe with various brands such as Mega Image, Shop and Go, AB * and tons of other brands besides).

They're huge and because of the vast number of brands it is quite hard to get a grip on just how large they are.
> Personally I'm mixed on whether those belong in a documentary about WikiLeaks given how irrelevant they are to the organizational purpose.

It's a documentary about Assange. Why would it not include "personal stuff"?
Android Kotlin – RxJava Errors
I will buy DRM-free when it's available, but stripping DRM from Kindle Store is the next best option, and usually cheaper too.

Amazon should have an DRM-free option or fingerprinting option for publishers. I am not sure if it does. I believe some publishers would be fine with fingerprinting, since that is what they do on their own sites when you buy a PDF (Springer is one). All the Gutenberg books on Amazon are DRM-free I believe, and it's just more convenient to get them there if you have a kindle and have a significant collection of eBooks from the last few years.
Pointing out facts that would have prevented the situation isn't victim blaming. It's being truthful. The alternative is to accept that there is no personal responsibility (which I reject).

As to the process of reestablishing a new set of identity docs. It's clearly overly onerous and just like everything else in life, even more so when you're poor.

The decent thing to do for the government isn't just to make the edge case of the destitute easier. It's to make the general case easier. Getting an ID or renewing one should be so easy that there is no excuse.
I mean look at Craigslist. Almost no development.
Yes, there will always be a Paris... city of light!
I thought of that - calculate impact on price automatically, but then dropped the idea. I am not saying it is impossible, but there are just too many options. I think it is similar to trading bots - I have tried using bots for trading and there are so many times I wish bot sold or bought at particular point knowing what I know, etc. Another problem is multiple currencies, for example - when so many are predicting BTC/ETH flip. Some news may be positive for one currency and be negative for another. Which is why I decided that user votes should be best source once audience is big enough.
1. Yeah but no engineer should have to get their hands dirty in community moderation.

2. Come on, it's Reddit. I feel like many many developers would be interested on brand alone. I was, for a time.

3. Possible. But there's a difference between adding random directionless features (which they haven't really done), and not doing anything at all (which they have).
Reminds me of Ext JS.
Do you want to sell me your SAAS?
Do you have a profitable SAAS you would like to sell? If so, please let me know. PM in profile or here
What about internet retailers? Amazon is practically the leader there with 90%? of all ecommerce sales.
But they're not shares. Owning a token dies not necessarily mean you now own a portion of the company or profits.
We would easily detect a star closer to the Sun than our known stellar neighbours. Any former sibling star further away from us than that would be affected by the gravity of other stars more than by the gravity of the Sun.
Reddit recommends Acer more than others: http://laptopkarma.com
https://www.statista.com/statistics/197899/2010-sales-of-sup...

Different sources give different rankings, often very different. I picked that one because it was the only one I found at the time that put Whole Foods at #6, so at least might be the ordering the article author was thinking of.

It's also not clear how largeness should be measured. Some lists seem to be by sales. Some seem to be by number of stores. Some seem to be by number of employees. It's not always clear which a given list is using.
And don't forget the theft of back-ups. Back-ups tend to be secured much less well than the originals and are a frequent cause of data landing where it shouldn't.

Another way in which disks end up in places where they shouldn't be is faulty decommissioning processes.
Amazon is bigger by cap size.
ATARI IS BACK IN THE HARDWARE BIZ
Assuming you have access to an oven. In my brief stay in Silicon Valley, I lived in an office in an industrial building with only a hot pot to cook with.
I can believe your statistics are at least somewhere in the ballpark. Thus, I still have no idea how you get to a $1.7 billion valuation on $60 million in revenue, nevermind profit.
that site displays a lot of statistics, but has no references. its anyones guess where that data came from (and how long ago)
Is it actually a given that the prominence of terrorists is simply an inevitable fact of life, a phenomenon that has no cause and no solution, and that we have no choice but to simply accept it? Is it actually true that they have no actual cause, represent no idea, have no specific aims, no ideology, no picture of what they want the world to look like? Is it actually true that their existence can be fully explained by purely material or historical factors, such as economic conditions, wars, foreign influences or the ratio of young males to young females in a given nation?

It sucks that a bug caused a number of innocent people to fear for their lives. But this wider question can't be ignored - what could Facebook do alone if it were specifically targeted? People would still be fearing for their lives.

Important problems are not solved by ignoring or papering over fundamentals.
Pointing out the existence of an extreme outlier is not a good counterargument.
https://nothotdog.io
Okay, thank you very much. That I was unable to come up with those counter-examples regarding relatedness tells me everything I need to know about the strength of my reasoning. It's not so much a problem of terminology, although one exists; I'm like one of those elderly people who believe they can still drive a car without any difficulty, but should actually no longer be in possession of a license.

I'll try to take the step of testing out my intuitions a bit on paper in the future.
See also the link to "This might be the coolest visualization of evolution ever" and comments re: "Wolf359" and "Microcosmic God" by Theodore Sturgeon at...

https://news.ycombinator.com/item?id=12467015
I'd assume you could paint it with chocolate as well though
A restored masterpiece unmasks Tokyo's underground gay subculture of the 1960s
Totally, 100% agree. That's the status quo.

Would it be possible to modify society to prevent such a competitor?
I read it as 'Paris' too.

Actually I expect this is a very common error. "Born in $place_name" has a much higher base frequency than "Born in Pairs", so our System 1 brain screams "Paris!" until System 2 kicks in.
I was under the (perhaps wrongful) impression that it was about WikiLeaks in main, and referenced Assange only to serve that topic.
On the microscopic chance that Jeff Bezos sees this: mellow out, man! There was an anecdote, I can't remember from where, maybe from the "Faces of Amazon" page, related to Jeff's response to the NYT criticism back in 2015. Jeff's response was, "should that happen to you, escalate to HR or email me directly". Someone did exactly that and got fired for it.
As others have mentioned development of reddit has been slow for the fact that their Engineering teams were performing Administrative tasks to the point that they could only maintain the site. Since they have cleared that hurdle by instituting more straightforward moderation and administration.
The only exception to this is when a reddit admin actively modified a thread by users being hostile. This creates irreparable problems because users can't trust the administration to not tamper with their comments. They have on record stated that they will not do this in the future but you can't undo the removal of trust of their users. I have been a reddit user for almost 11 years and I am not associated of the group in question and it has made me loose faith in reddit.

Their struggles with advertisement is something they can actively address now. Before when they were smaller than digg once digg made a huge mister and alienated their users this allowed to flourish into the site it is today. Due to the fear of what occurred to Digg their advertising was less aggressive their advertisements have been less aggressive and attempt to be targeted. But, since reddit is so large now the risk of alienation is much less. Also, other condenders like imgur and voat have tried to take the throne from reddit without success. Also, they have made great strides in making it accessible to everyone and you can get anyone from any political spectrum. If reddit wants to make money they have to broaden their appeal greatly and I believe thats the purpose of the $150m. Hopefully when they do this they won't turn out like digg because they are a much larger network now.
43%: http://www.businessinsider.com/amazon-accounts-for-43-of-us-...

Which is a lot, but it would be hard to argue that consumers dont have choices, when the same goods are available in hundreds of other stores, both online and off.
rinsing beans thoroughly helps too which s/he mentions
I sincerely hope that you will never be in a position to realize just how your comment comes across to me. At a guess you're young, well educated and compared to the lady in the article filthy rich.

Your 'personal responsibility' works well for you given your background and status in life. But it's an easy argument to make when the results are not your problem. It does handily allow you to ignore the fate of those that are not as fortunate as you are, after all, if they had taken their responsibilities seriously then they would have nothing to complain about, case closed.
Nice! As I started reading about it, I idly wondered if they talked to Marc Brysbaert, who is very serious about researching which words people know. And the answer is yes, they did.
The rape accusations and Assange himself are intricately tied to Wikileaks, how it functions, and responses to it's actions. Not including those accusations or his response to them when they were widely speculated by some to be brought force by Sweden at the behest of the United States in retaliation to Wikileaks would be odd in a documentary about Wikileaks that happened to cover that period.
and what does that have to do with whether a company is a monopoly or not?
Carrie Fisher died from sleep apnea
As unpleasant as it may sometimes be, part of the task of marketing a new framework is explaining how it solves problems that people already know how to solve in a different way.

So while telling people to play with it is good, it's even better if you can point to a demo that illustrates and resolves the issue that was brought up.
If you prefer, you could set up more compatible event handlers with jQuery or whatever in the `$init` function instead of using attributes.
Kudos to reddit for not following the trend of "lets redesign the site just because we can" ethos. Not only did the product shift kill Digg, I also think it led to the earlier downfall of Slashdot. I may be dating myself, but I remember how each revision of Slashdot made it less usable for me. The "cleaner, minimalist, lots of whitespace" designs that were in vogue actually made it much harder to navigate comment threads quickly and see good content easily while avoiding the chaff.

Even today I prefer to use the desktop version of Reddit on my phone, because I can just go through content threads a lot faster than compared to their mobile site.
Why do you hate then so much?

They are just another hosting company, I'm sure your can find holes and dirt on all of them?

Why not attack an organisation that is "more evil" ?
I'm associated with Lisp and also use Vim.
One thing I thought was interesting about the admin-editing-comments fiasco was how a large portion of users expressed surprise that an admin editing comments was even possible, and suggested it shouldn't be.

Others had to come in and explain that yes, in fact Mark Zuckerburg could edit your Facebook comments if he really wanted to, and admins could edit your comments on other forums and so on. It's just usually they choose not to.
It is funny to see Wikileaks complaining about leaks. Not even leaks, but rather material provided voluntarily. They were obviously gobsmacked by Poitras turning on them.

I must say, however, that Wikileaks overall censors leaks much less heavily than do Greenwald, Poitras and crew. I mean, does anyone know what percentage of Snowden's stuff that's been released? It's my impression that it's small.

Edit: typo
If more people were guided towards having proper identification and said ID was easier to attain/renew, then you'd have less of this extreme edge case. Arguably that'd lead to more resources to dedicate to better helping someone in this situation. For every person that is robbed, evicted, or some other misfortune, I'm sure there are plenty more that face no such immediate calamity.

It's like medicine, a ounce of prevention is worth a pound of cure.
Interesting thought, but Kenneth Iverson got the Turing Award for APL which was a programming language implementation for his new mathematical notation system. His paper "Notation as a Tool of Thought" is quite interesting. You can take a look at any APL code and see it in action. Cool stuff.
> Walmart is the worlds largest retailer,
I was under the impression that using your dominance in one market to secure dominance in another is considered monopolistic behavior—for instance, shipping IE with windows.
Quite more than a rumor at this point. The Eypc has 4 Ryzen dies, each of which on an on chip 2 channel memory controller.

http://www.amd.com/en-us/press-releases/Pages/amd-raises-exp...
Here's a quick chart of the monthly number of submissions to Reddit over time (until April 2017): https://docs.google.com/spreadsheets/d/1d3kqAebZiUqmI-GbmvNY...

At about the start of 2017, Reddit saw a noticeable increase in the activity growth rate, which investors love (although the biggest chunk occurred around October/November 2016, due to the U.S. Election)

And here's the BigQuery to reproduce the aggregation:

#standardSQL
SELECT DATE_TRUNC(DATE(TIMESTAMP_SECONDS(created_utc)), MONTH) as mon, COUNT(*) as num_submissions
FROM `fh-bigquery.reddit_posts.*`
WHERE (_TABLE_SUFFIX BETWEEN "2015_12" AND "2017_04" OR _TABLE_SUFFIX = "full_corpus_201512")
GROUP BY mon
ORDER BY mon
Works fine. That's not the issue with electron (for me at least), it's battery life/power consumption.
All the coverage I've seen indicates it's primarily an Assange documentary, and that it was one even in the earlier cut that Assange approved of.

Even if it were explicitly a Wikileaks documentary, I don't see how Assange and his personal life wouldn't be a fair subject. A documentary about the Civil War will probably include info on Lincoln, a WWII one will probably talk about Hitler and his life, etc.
I agree! It feels like a good portion of the time when I see a new feature on a website it seems like it only exists because all the people needed to create it are employed at the company and we can't have them just sitting around all day.
Anyone know what license this is under?
I just asked a friend of mine beside me to read it, and she read the same thing, "Paris" instead of Pairs. I also made the same mistake.

Hah!
Never seen anything like that. Ads, sure, but nothing that obnoxious. I suspect any ad network has the occasional mistake, but generally anandtech is pretty good.
Lol. Parallel data computations across resource (including battery) constrained devices? Good news, the owner of the device is now the product. The device is also the product. Can't wait.
Actually, I'm not so confident about the ballpark. My link also says there are about 1.3 billion unique visitors per month. So in addition to 20 million Reddit 'addicts' there could be 1.28 billion less-frequent users. If they are worth on average $0.01 per month that would be an additional $150 million per year in revenue.
Tips to Pick Football Jerseys for Your Boyfriend
To be clear, you had a problem and didn't get a response from customer service within 3hrs so concluded the entire website was a scam?

To me that sounds even more reckless than anything that site did.
Reddit gold is one way they make money. But they modify every outgoing link for affiliate money.

https://www.reddit.com/r/announcements/comments/4mv578/affil...
1. I agree that it shouldn't, but they did so. Updated post with link. In another post, he emphasized the "war" part much more, but I think he deleted it. It was fairly angry.

2. I'm having trouble finding their burn rate; the linked article at least hints that they'll use this money to attract talent.
I worry that the only thing they seem to be bragging about is stream, which is generally the worst possible measure of general performance.
Technology Has Become Water
Value of the data and the potential that exists with it.
According to the article this CPU as compared to the ThunderX has 80% faster integer performance for the whole CPU and 2x faster integer performance per core - so major a improvement:

http://images.anandtech.com/doci/11189/APM-X-Gene-3-performa...
I actually knew some very smart and talented people working for WalMart labs. Not sure if they are still there though. I suspect upper management would be pain (hell) to deal with.
Reddit is actually facing a lot of flak for their plan of disabling CSS. This has made several of the subreddits announce themselves as Pro-CSS - sort of a rebel against the admins.

https://www.reddit.com/r/modnews/comments/66q4is/the_web_red...

https://www.reddit.com/r/ProCSS/
There's a caveat with that revenue figure in that they very specifically quote how much Ad Revenue Reddit earns, not total revenue. They sell branded products and Reddit gold which definitely increases that number.
NPM GitHub closing “support” issues if inactive longer than 3 days