skysight-inc/HackerNews huggingface dataset:
> The boundary does not pass between some huge finite number and the next, infinitely large one. Rather, it separates two kinds of mathematical statements: “finitistic” ones, which can be proved without invoking the concept of infinity, and “infinitistic” ones, which rest on the assumption — not evident in nature — that infinite objects exist.

Let Y = some ridiculously huge finite number. The notion that ∞ = Y + 1 has to be one of the most insidious defects in reasoning. Even to acknowledge the defect by dismissing it is almost like saying things could have turned out that way when they _never_ could.

Finite means limited or bounded or quantifiable. Infinite means unlimited or unbounded or unquantifiable. They are two wholly separate classes of things. Another way to say this is discrete versus continuous (in nature).

Imagine I said that I could bridge the coloured/non-coloured divide. What could I possibly mean by that. It would mean that I have found a way to talk about both coloured things and non-coloured things that applies to both class of things.

Put another way. Imagine I separate coloured things into green ones and not green ones. Both subclasses belong to the class of coloured things. What class then do the subclasses of finite things and non-finite things belong to? Negation constructs the distinction, negation _is_ the bridge in a way and all the could be said of both subclasses of things is that they are both things. (Which, to be clear, is not saying very much at all, is it?) If those things are numbers then all we are saying is that both things are numbers, if both things are procedures then all we are saying is that both things are procedures. And so on.

If I'm thinking about this properly then the paper is trying to more precisely define the term "countably". That's as most as it can do. To say otherwise is not just vastly overstating what the paper is about but outright misleading.
It doesn't matter what tech you use now. Locking yourself into that tech from essentially the root of your game is a terrible idea.
What stops the Ethereum community from disintegrating for the same reasons after the promised rapture is not forthcoming?
Might have to check these out. I'd be interested the match of storing data like this.

Also, another event DB project: https://github.com/benbjohnson/skydb.io/blob/master/source/b...
Microsoft Cutting 1,850 Jobs in Smartphone Unit
Both Messenger AND Instagram is also listening to the microphone in addition to the Facebook app.
It is mistaken, if X=Y=I then XY' is full rank but each column in X is a linear function of its counterpart in Y.
I doubt that it happens myself, but out of curiosity, are you saying this because you are in a privileged position to know for sure that Facebook doesn't do this, or are you saying this based on your experience of the corporate culture?
Go, gb and Bitbucket Pipelines
United States seems to be following Italy's way. As US is much bigger transition takes more time and tolerances for inequalities are higher but trend is obvious.

In case of doubt check if these are growing:
Regional inequality,
Wealth inequality,
Bureaucracy,
Tax system complexity,
Corruption,
Importance of social networks in business,
Education inequality,
Youth unemployment,
Living with parents longer

You could continue the list forever...
You could just build it yourself from the source if you're worried about that. Does the SDK ship with any pre-built binaries?
This would appear to be an update of the paper that lots of people have written about. The main discussion is here:

https://news.ycombinator.com/item?id=11719543 (157 comments)

Other submissions, some with a comment or two, here:

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

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

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

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

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

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

https://news.ycombinator.com/item?id=11709112
Sample size of 3. Evidence collected through anecdotes. I'm convinced.
> We just don't need that many people to do all the stuff

Altman says the same thing [1]. It doesn't resonate with me.

This is the 21st century's version of the "let them eat cake" attitude [2]

People need more than food or money to survive. They need challenge and a way to be creative. People who don't have these things either (1) blame themselves and fall into depression despite having plenty of money, or (2) band together against those who tell them they're useless.

There will always be a need for people to do work: people need people.

The case for BI is hurt by the argument that some people are worthless. Some would say techies do not fully understand the needs of the poor [3], and that this alienates would-be supporters of BI.

[1] http://www.techinsider.io/sam-altman-praises-basic-income-on...

[2] https://en.wikipedia.org/wiki/Let_them_eat_cake

[3] https://medium.com/the-development-set/silicon-valley-s-unch...
The real question :
Is Zen going to pack with AMD Platform Security Processor (PSP)?

https://libreboot.org/faq/#amdpsp
It's not a fair comparison. Early Americans came to a loosely inhabited continent with a lot of potential for growth and a similar cultural groundwork.

The huge cultural gap, and not unimportantly, the significantly lower standard of living in developing countries like China and India makes it a rather unappealing choice for Europeans and Americans.
It makes me cringe so bad that many HackerNews commentators believe this nonsense. This is why I don't tell friends and family that I use HackerNews.
I've been looking for this online statement they say was made by Facebook: “We use your microphone to identify the things you’re listening to or watching, based on the music and TV matches we’re able to identify.”

I can't find it anywhere on Facebook's site. I don't believe it exists, or if it exists it was expunged some time ago. I'd like to know from which website ABC News 10 has located this information!
> are you saying this because you are in a privileged position to know for sure that Facebook doesn't do this

I'd like to add "and will not do it in the future"
We Have No Idea How Most Species Age
trolling? trolling implies stirring up trouble for no reason. I really did want to see how the 'millennials' would explain away yet another reason for not working hard (as is the stereotype). I see a lot of slanted opinions here - which - if that's your audience, fine (echo chamber). But the process of down-voting people just because they go against the grain is a type of censorship. true - its not what down-voting is 'supposed' to be used for (have you read the guidelines?), but unless you're going to police that as well, get off my case.

You could always require a reply when down-voting. That would also inspire more conversation.
Cringe.
Not entirely sure about the "shows you have the time" part.

It doesn't take that long to write a blog post, particularly not a blog post about something you clearly think about a lot and feel passionate about.

I'm not convinced that "you had some time to write a blog post" equates to "you have enough time to thoroughly research your local politicians, network with all your neighbours, and if necessary run an entire political campaign."
> higher-kinded types is a feature; dependent types is an entire philosophy

Totality is a philosophy; you can have dependent types as a feature without it. Maybe immutability or purity are better comparisons for what Idris brings to the table, but if you're just talking about dependent types then I'm using them already.

> the percentage of real-world programs using HM type-systems (and similar) has hardly changed in the past two or even three decades.

Is that really true? I can't imagine a recruiter asking about Haskell, or a Facebook-sized company talking about their OCaml strategy, ten years ago.

> As to language effectiveness, I can't argue with you because neither of us has any real data, but I can say that there's a lot of religion surrounding the question of how much linguistic features (as opposed to extra-linguistic ones, like GC) actually increase productivity.

That feels like gerrymandering your definitions to me. GC is usually a language-level feature.

> What is certain is that we still haven't broken the 10x productivity boost Brooks said wouldn't happen between 1986 and 1996, and it's been thirty years -- not ten -- and it seems like we won't do it in another decade.

How would we tell? The productivity of the technology industry as a whole has certainly risen enormously. My general impression is that coding is the bottleneck a lot less often - even for a technology company - than it was five or ten years ago.
Don't know if this works on a chromebook, but there is a web version of skype (in beta):

https://web.skype.com/en/
Logging levels: the wrong abstraction
Taxation is viewed as theft by people who don't feel represented.

It's part of the foundation of every sovereign country. They formed a new government to get better representation because they felt the old one was robbing them and not providing enough services.

I don't think the next revolution is around the corner. But, this election cycle, evidence of the widening wealth gap is more apparent.
Why local SEO is your best bet in this competitive environment?
With an ad-blocker. I like 1Blocker. If you miss notifications, turn on email notifications. Works well enough for light-ish use.
New Evidence That IQ Can Be Increased with Brain Training – Psychology Today
> No. I work for Facebook. This doesn't happen.

You work for a company with 1000s of employees. How are you exactly in a position to confirm this doesn't happen?
Architecture: How would you go about building an activity feed like Facebook?
I completely agree with you. Compared to the bloatware of the Hadoop stack K looks and feels like lightning. But when evaluated on its own K is less magical. Impenetrable code not-withstanding its design is fairly simple (good thing TM) and not that hard to beat. If one could delay code-gen even further, it would be possible to inline and compose even bigger chunks of operations into code giving more speed up. A well JIT'ed numpy or Judy should (famous last words) be up there with K.

Since it has not been mentioned yet, let me point out that Barry Jay's Fish should be a part of this conversation. Sadly its quite hard to find. I don't know why those pages have disappeared.
What is a linked list
https://translate.google.de/translate?sl=de&tl=en&js=y&prev=...
Snapdeal, Flipkart learn from Amazon as ecommerce focus shifts in India
I think that if Facebook was caught doing this after they specifically denied it, then executives would probably be going to jail.

I think if Facebook say they aren't doing this, then they aren't doing it.
> Interestingly enough, you can carry your Kindle, phone and/or Ipad in your carry on luggage, but not your laptop

I have carried my ThinkPad X250 on flights to-and-from Mumbai, even used them during flight.
How you'll access Apple's car, patents system to use an iPhone to do everything
The more searing question for me is the argument that the shock created by the atomic bombings has successfully prevented a WW 111. I cannot come to terms with this argument though I slightly tend to agree with it. On the other hand, the bombings were done just to force a japanese surrender, not with a foresighted view of stopping all the horrible future wars in this planet. Also, I'm not sure whether vietnam, gulf wars will be considered under the "world war" category as a lot of them happened after the japanese bombings.

Now, I just resign myself that for whatever reason it happened, and let us learn whatever we could from it.
I switched to Android about 3 weeks ago, I still believe that Microsoft had some unique and better features, but I gave up in the end due to lack of consistency and some poorly thought out UX.

After a few weeks with Android, I'd probably jump at a Surface phone, should one come out.

The key things which so far I notice are better than Android

1) Separate email for each account: I've got both outlook and mail but I have 6 different email accounts. Windows gave me a different homescreen icon for each email. Now everything is treated as if it is the same.

2) People Hub: Contacts is just boring. People hub was so much more useful and interesting

Well, unfortunately, I think those are my two standouts that I miss.

Why did I leave?

1) Really bad experience in a bunch of apps. Twitter would always tell me I had new followers and show me the followers from 3 weeks ago. Skype would give me notifications days after somebody messaged me.

2) Connectivity: If wifi was available, it would try to use that, even if I wasn't connected. It would 'ping' me every time I walked past an open wifi, even though I turned off that notification (yeah, imagine how many times that is when you walk down the block - annoying as F) Randomly, connectivity would be lost, turn airplane mode on and off - and it would all come back.

3) Damn it took for ever to start up. I don't turn off my phone that often but the 830 was over a minute
> Also, I still don't understand why I'd want a programming language in my currency.

Actually, I think you're looking at it wrong. It's not a programming language in your currency. It's a currency in your programming language.
Programming the Blockchain in C#
This makes good business sense, and it's going to happen, often enough to become banal. We have to come up with laws to protect ourselves.
See frequency illusion.

https://en.wikipedia.org/wiki/List_of_cognitive_biases#Frequ...
They may give him a license, but Disney is an IP black hole, they wont sell it back. And considering its very close to Pirates of the Caribbean, there's even less chance of that happening any time soon.

In my opinion, what Disney should be doing, is contact Ron, and make Guybrush and LeChuck appear in the next Pirates of the Caribbean movie, to introduce them to a new generation who does not have any idea of who they are (Guybrush being a young naive boy again would fit pretty well for this job). After all, PotC and MI universes are pretty compatible, it should be easy to make it look like they are both in the same universe/time.

Then, they could either make MI a spin-off (preferably), or make Guybrush be a new sidekick to Sparrow (but please, dont make him a silly Robin).

And then, give Ron full freedom to work with that IP as he wishes... (and pay him accordingly, or better, give him a nice % of royalties).

If they don't want to sell the IP, at least, this way they could make some money with it (instead of letting it rot in a drawer), without risking their PotC franchise, letting Ron continue the story, and making us fans happy in the process!!
Achiever Action Cam and Smartwatch and Back Achiever: Best Quality/Price Ratio
Moreover, movement of labour within the EU is mostly unidirectional. A German or a Brit is very unlikely to go to work in Poland or Bulgaria, whereas the other way around is almost always the case. This unidirectional movement sucks out young blood from the donor countries and leads them to an even direr future.
Regardless of price, the tech has been around for quite a few years, and it beats the tech mentioned in this article and in most similar articles making similar claims.

As I replied below, I am just surprised that similar technology has not been created by the opensource community that is closer in performance to KDB+.

$25k may seem absurd to you, but if it delivers results 230x faster using 1/250th of the RAM, decision makers in business see the TCO (total cost of ownership) as being worth it. It all depends on your needs and how they are met.

Jd is the commercial database for the opensource language J, that is also fast, and I believe it costs less than KDB, so there are other faster options.

If free as in opensource is your criteria, and not actual cost-benefits analysis, you only have those free choices, but in business time is money, so the 'free' option would be more costly.
On need of a generic library around ANTLR:using reflection to build a metamodel
That's a fallacy. Just because a credible source says something does not necessarily mean it actually happened. What if they truly believe that what they say is reality but then find they are completely wrong?
I disable and block from the net everything google on my phone. Recently I did install XDA Labs from:
http://www.xda-developers.com/xda-labs/
I installed MS's Cortana via the labs apk and it works great btw.
You could not pay me to use facebook though I do have whatsapp (via labs) installed. Never even used it either-lol.
I'm not going to pretend to have an authoritative answer on whether Perl generated assembly is easier to get right than assembly, but I'll say this: The number of people who are skilled in assembly is small, and it's made even smaller when what you are looking for is where it intersects with those skilled in Perl.
> What if one of your points is a programmatic parameter that varies over time? What if you're changing ground level with every iteration? How does the bezier-based editing UI help with that?

Check out how After Effects solves this, keyframed and scripted animation shares the same timeline and can reference each other.
Siri vs Echo: Apple will soon allow developers take advantage of Siri
The future of ultra-low-powered displays is finally in living color
The point he's making is that Facebook can't be trusted to self-regulate (in the context of privacy). With that assumption you probably wouldn't accept their opaque self-investigation so placidly.

I think the point is that a casual observer would not have guessed trending tropics were so influenced by human intervention, and might have taken them to be an actual reflection of the Facebook hivemind. Further the statement of "no evidence of systematic political bias" is a bit hard to swallow given reports of Facebook employees asking "what Facebook can do to stop Donald Trump" at their all-hands (one of the top 5 questions in a poll [0] not just a lone employee walking up to the microphone). Further, the people curating these feeds are probably underpaid and young, and hence are probably going to skew left of the average journalist. Bias doesn't have to be explicit to be systematic.

Anyway I find Donald Trump + much of the rest of the GOP field pretty reprehensible politics-wise, Facebook seems to be handling things well [1], and we shouldn't worry about a conflict of interest as much as w/ advertising+privacy [2], but some amount of vigilance seems wise given how much influence these platforms can have over political outcomes [3]. Twitter in particular seems to have made a few fairly illiberal moves lately from my POV.

[0] http://gizmodo.com/facebook-employees-asked-mark-zuckerberg-...

[1] https://medium.com/@glennbeck/what-disturbed-me-about-the-fa...

[2] One shouldn't discount the H1B angle completely though.

[3] http://www.politico.com/magazine/story/2015/08/how-google-co...
Encryption for everyone
Took me less than a minute: https://www.facebook.com/help/iphone-app/710615012295337
Depends on what you're reading. If you're reading books with maps or photos (I read a lot of travelogues for example), it would make quite a difference.
On iOS you can simply not give it permission to use the microphone and only use it for texting.
PasteJacking Example – JSFiddle
My apologies, I didn't see your message on time. I used the default Chrome browser on my OnePlus One running CyanogenOS 13 (Android 6.0). I should have posted this in my first comment itself.

Interestingly, I did not see any horizontal scrolling when I tried in Chrome browser (Mac OSX 10.11.4) in regular user mode. But on toggling device mode (in dev tools), and selecting one of the mobiles - Galaxy S5 or Nexus 6P, the horizontal scrolling started to appear, and it is a lot worse than on my actual android phone.

I haven't yet been able to identify the element that overflows, but the <html> and <body> seems to take default 100% width and are expected to be contained within the browser frame. There is some other rogue element, somewhere nested inside, which is causing this unwanted horizontal scrolling.
> “They are afraid of a phone call from someone high up saying that they are unpatriotic,” Baylor said.

Looks like McCarthyism is alive and well in the United States.
Show HN: A modern, electron and Node.js based image viewer for Mac,Windows and Linux
To me it seemed like the normal cyclic nature of economics. We had a bubble around 2006-2007, and when it was ready to crash / correct the governments around the worlds threw everything at keeping asset prices high (we have had "emergency" low interest rates here in Europe for ~8 years)now. Great if you are older / richer. Shit if you are under 40.
Looking at the other graphs, the increase in living alone happened decades ago, while the shift to living with parents is very recent.
Microsoft is giving up on consumer smartphones, too
The No-Nonsense Guide to Facebook Advertising
> /r/Bitcoin seems to have become a toxic echo chamber for irrational hatred against former high contributing core members and almost any kind of counter-views are censored which is honestly quite disturbing.

You should go to /r/btc instead. It has a much better culture, and no censorship.
Not just hosted the video but then refused to take it down when a judge ordered them to
When two cars collide head-on, does only one of them crumple?

I figure the same effect would apply to two similar glass bottles colliding.
Many moons ago, when I was just a whipper-snapper of a coder, I was employed to write a DOS based accountancy package. Part of the brief was to develop a fast DB back-end that could support cross searching of all financial information recorded. Without a ready-to-roll DB engine, I ended up developing a complete set of DB modules, with extensive use of linked lists to tie the records together, and raw binary read/writes in/out of the DB file. End result is I still know way too much about DB design than I'd ever care to want to, and have very little patience for unwieldy DB interfaces.
Common Email Problems for Job Boards
Finally, I can tell them that they are the crazy ones. I told you General Motors was breaking into my house at night and reorganizing the books on my bookshelf!
Actually, scaleup is pretty easy for both VM and Linux container. But scale-down is very troublesome for both.

And the scheduler will need the mem size (not right now, but inevitable)
None sadly, one will be relegated to the "just an academic curiosity" phase, the other one to obscurity. [1]

1: https://news.ycombinator.com/item?id=10005646
A patch is available: https://issues.apache.org/jira/browse/MESOS-3435
Even if it's run on the client, it'll still be vulnerable to scalable privacy abuse by a large number of actors via malware, just like end-2-end encryption.
G'MIC 1.7.1 released withinpainting, denoise, Octave-like eval
MediumDesk: Minimalist Medium desktop app
I think the core difference between your views and those of the post you are replying to is that you consider the purpose of the prison system to be _punitive_, whereas the parent considers it's role to be _rehabilitative_.

While punishment for crime certainly appeals to our instincts, should we not consider more "humane", and possibly more effective crime reduction measures (rehabilitation over punishment)?
Thank you everyone, these are some most useful advices I ever got from HN.

I think the people I talked to so far doesn't have exactly the same problem I have, or they don't know they have the problem yet. And I definitely suck at describing my ideas in words.

I have already started building the prototype, in the end even if it's just useful to myself, I would still end up with a useful tool and a lot of knowledge gained developing it.