skysight-inc/HackerNews huggingface dataset:
> but even intuition would do at this point.

Maybe this example helps: I should be easier to write analysis heuristics for a language that only allows loops of the form "for i = 1...n" than for one which also has while-loops, gotos, and unrestricted C-style loops. Maybe not from a theoretical point of view – after all, both languages are equally Turing-complete – but from a practical one, since there are more language constructs that have to be covered by the analysis. Sure, you can mechanically translate all loops from the second language to "for i = 1...n" loops, but that transformation is not trivial and has to be implemented first.

> But I don't understand even the general line of your argument. Even supposing that SATing a CNF formula automatically generated from C is easier than other approaches (it isn't), this does not show that writing CNF directly is more advantageous than writing C. After all, a simple mechanical translation exists, so why should I write CNF formulas if writing equivalent C code is easier?

My point isn't that we should hand-write CNF formulas. What I'm saying is, that automatically solving CNF formulas is easier than automatically solving a C program that expresses the same thing.

Example: a Sudoku solver. Given a partially filled 9x9 matrix,

* ) Program 1 takes as input an assignment for the unfilled fields (free variables). It outputs yes/no indicating whether the input satisfies the Sudoku rules.

* ) Program 2 generates a CNF instance which encodes the Sudoku rules and the partially filled matrix. The variables represent the unfilled fields.

Program 1 and the output of program 2 are equivalent in the sense that they encode the same problem instance, but the CNF generated by program 2 is in a much more restricted language than program 1. You can write a decent (although not state-of-the-art) CNF parser and SAT solver in a few 100 lines of code, but you will be hard-pressed to write even the parser for a general C program in that space, let alone something that can understand C's semantics, an automatic solver using abstract interpretation, and some heuristics to speed things up (only those heuristics are allowed to be somewhat tailored to this type of problem, everything else has to be general-purpose – just like the SAT solver, which is general purpose and has a few heuristics that speed up many practical instances).
Wow, Google. Inconvenient as fuck. Put it back right away. I don’t even want to use image search anymore. Seriously fucking shitty, shitty, shitty idea.

EDIT: This is the result of litigation with Getty Images? Guess who I’m boycotting. This isn’t the first time they’ve had their fingerprints on bad news.
Is there something amiss with VLC's Chromecast abilities? I haven't had a chance to test it out yet, but was really happy to see it in the changelog
I don't like the title of the article. I think is sensationalist. Deep reinforcement learning has beaten a human at the game of Go. It does work. The model are not easy to train for most of the laymen out there and it has a lot to be addressed to make it production-ready. But it does work. Great write up overall. Thank you for the effort.
There is no guide for actix but I am planing to add one
What's the difference between a news org embedding a tweet containing a photo vs. embedding just a photo hosted by a third party?
Non-paywalled link: http://archive.is/yAPYC
What the author is saying is they used the “closer to customer” argument as a smoke screen to cover the fact that they performed a logisticextomy last year.

The fact of the matter is logistic operations in the Midwest are favorable for the medium range retailer. In the post-warehouse age, when the book your NYC customer wants is in Seattle, you’re paying Zone 8 rates to USPS instead of Zone 3 from Indiana to NYC (or Seattle).
Everything that deals with filesystems or partitions has that kind of disclaimer.

There fact is that you should always backup data you care about.

It's the same as saying they aren't responsible for your computer suddenly catching fire. Is that likely to happen? No.
im bullish on blockchain tech around solving this issue. No single point to sue & bully.
Haha, you literally just came upon the realization for the economic use cases for unemployment benefits and also the main reason our government has one. You should read some economic textbooks as the world will make a whole lot more sense once you do.
I’m glad he’s moving to LA.
How is this faster then "rightclick copy-address"?
seems like google changed it to work now.
It's... not because they want to. Getty sued them; it's a change they're begrudgingly making.
The crux of this though is he's moving from a place he deems too "politically correct" to a place that's uhhhhh, how should I put this? A place with a better environment for innovation. A place with better free speech provisions.

To put it simply he's moving to a place that's politically correct. Difference is, it's his kind of political correctness - its more safe and comfortable and familiar for him.
justice system

It's not a justice system, it's a judicial system. It exists to follow precedent, set new precedent, maintain order, and preserve the authority of the government.
Memory Zoobies Game
Memory Zoobies is the game that will test your visual memory. You must memorize a board with several pairs of disordered images.

Find all matched cards and enjoy very cute Animals , Monsters , Emojis , Fruits , Vegetables & Birds theme.

Download : https://goo.gl/dRVdjN
it does work

(google.de, chrome, but that shouldn't matter much)
I think the threat of an internet mob ala Cecil the Lion could be just as effective.
> we have to find a different kind of social contract to survive on

I do believe we already have that. Open any kind of news website and it'll be all over you.

This new social contract is entertainment. I know it is right now considered "work" as well, but to think about it, most of it doesn't contribute in any other way that helps other people (most often - workforce) kill time. Celebrities, tv & internet personalities earn not because they do only because they are.

Some time ago being a celebrity or internet personality would gain you a huge pile of cash. Right now that starts to get watered down. You can get reasonable known YouTuber show on your sons or daughters birthday party for reasonable amount just because there is so much content that fan fragmentation starts to show up.

What I believe we're seeing is world transitioning from "live to work" to "live to work or entertain those who work" with sad turn to "entertainment through hate" happening lately...
What is a medical device? Are we talking about things like thermometers, wheelchairs, and surgical knives. Is this saying you need a double-blind study for every new design of wheelchair?
"The goals of the advertising business model do not always correspond to providing quality search to users."

Google for that exact phrase and see who made that observation.
I'm sure there are other folks on here who know more on the subject, but the last time I looked into data from that Tufts group, it smelled fishy to me: closed source analysis of closed source data.

It seemed to hardly count as verifiable academic research. The raw data was seemingly made available privately to the researchers by way of their close relationship with the companies they're studying, the raw data is not made available by reproduction of their analysis, and there's no way for others to acquire similar data for comparison.

They may be honest, and the data and analysis may be accurate, and it may not be trying to paint a picture that favors its benefactors, but I did not conclude any of those things.
The actual problem here is giving someone $180/mo in one of the most expensive cities in the country is worthless. It failed to change anything simply because $180 isn’t ever going to change anything for someone who’s improverished and living in city where basic rent is 10x that amount.
Mods shouldn't allow pay walled links to be submitted.

Flagged
And heat pumps are more expensive to buy and impossible for a tenant to install themselves in an apartment they rent from, which is why people use small portable and cheap resistive heaters.

And in that case, a miner is just as efficent if not more efficient since it's making the user some money (maybe).
I think that replacing long-haul drivers will happen sooner than you think.

Self-driving (though human monitored) trucks are already operating:

https://www.wired.com/story/embark-self-driving-truck-delive...

I think the first step will be replacing long-haul truck drivers with autonomous trucks, they'll start at a depo near a freeway and end at a depo at the other end, then a human will drive to make the local delivery. Freeways are (relatively) easier to navigate than local streets.

That takes a 30 hour long haul job and turns it into a 30 minute job -- a single driver can do 10 of those a day.

Autonomous trucks will handle flats and other roadside breakdowns the same way many human drivers do -- pull over and wait for the repair service to come.

There's less incentive to replace train/subway drivers due to the high driver to passenger/cargo ratio (plus union rules get in the way) -- 1 truck driver to 40 tons of cargo versus 1 train engineer to 10,000 tons of cargo
Therein lies the limits of ontological reductionism. I didn’t posit any theory that needs defending, but if I did I would look to systems biology as a framework. It attempts to integrate reductionism (per your insistence on statistically meaningful tests) with emergence, the scientific approach to observing behaviors in chaotic systems that can be manifest in isolation.

The link below is truly an interesting read that explores the evolution of scientific approaches to study of biological phenomena. It attempts to integrate biology, physics, medicine, and computer science to show how nonlineal systems like you and me can be studied. We got to the bottom of the genome and found that things like gene expression (what really matters IRL) can’t be explained at the atomic level, but can with systems.

I love it also because it contains a coy attempt at biology supervining physics, stating that all understanding of physics is limited by human intellect and the machines we built out of that intellect to support our understanding. Like somebody read https://xkcd.com/435/ and had to win. #probablynotwrongthough

https://www.sciencedirect.com/science/article/pii/S1319562X1...
Ah, I didn't check your username. So, its your project, awesome work and thanks for doing it. :D
UPSes suck and need to be disrupted
The solution to this is obviously simple: just require hacked tractors to remove all branding and void the warranty once it's been hacked. Also include a liability waiver so that if someone tampers with the software or hardware, the company can not be held liable anymore.
None of this actually matters. It’s not like he wasn’t traveling all over the nation/world all the time anyway. Frankly, it’s naive at best, petty at worst.
Why Do Companies Fear App Modernization? – IQVIS Inc
Is LA that politically different than SF?
Nothing about the comment gave the impression that the author isn't familiar with those concepts.
The latter hides the context of the photo's owner.
Just because one piece of software was unnecessarily difficult for someone does not mean the entire ecosystem is broken.

The problem we have is that a similar problem in Windows is instantly forgiven, because there is nothing you can do about it; whereas in Linux people expect a higher standard (which is often met) because that arbitrary limitation no longer exists.

Sure windows has gotten a lot better since XP, but it has a long way to go to catch up to circa 2006 Ubuntu.
The Mistakes I Made as a Beginner Programmer
L.A. is pretty damn politically correct.
Believe it or not, I didn't just "come upon" this realization and I've taken multiple econ classes (though I'd like to take more). Also, our unemployment benefits are a pretty sorry excuse for a social safety net, which is why I wasn't specifically talking about them here.
A place where people won't be mean to him, just because he wants to harvest the blood of the young, like he's some kind of cartoon villain.

( https://www.vanityfair.com/news/2016/08/peter-thiel-wants-to... )
Basically, fuck Getty Images for a number of reasons.

Here’s one reason in particular:

https://2600.com/print/27097
The NIH currently spends $33B a year on research. Not all of that is drug related

The top ~15 pharma companies spend over $70B a year on r&d, and VC funds $15B in the US alone

Even assuming government operates as efficiently as private industry, we are talking almost triple the NIH budget to accomplish that
That fucking button never worked anyway...
So he’s never been to LA. Good. It will be a learning experience.
Books present information in various ways. Some books have questions that you can answer yourself to teach yourself how to do things. It looks like this author would be a fan of Learn C the Hard way by Zed Shaw. But, if you are buying a book to learn how to do something coming in with some kind of goal is more instructive than reading a book and regurgitating the answers. The author has a good idea on how to make the tutorials in a book into questions but at the end of the day you will teach yourself only what it is in the book.
>Americans who once thought of Silicon Valley as a jewel of U.S. innovation are likely to turn against these companies if they see them as relentless political enemies.

This is evidently false, since everyone knows the West Coast's political biases and everyone uses its tech products anyway.
The thing that frustrates me most about the slow, drawn out demise of first Borders and now Barnes & Noble is that there has never been a bold vision for the future. The mega-bookstore was a great model in the 1990s, but post-Internet, they really needed to leverage their space to do something magical.

One idea I would have loved: Browse your books in store, but buy them for Nook or Kindle -- at the same prices you pay on Amazon. Maybe that's even a loss leader and you upsell $5 lattes.

Or perhaps they double-down on really awesome kids sections, where you want to try out a book on you kid before buying. Or maybe they aim to make the store more like a "community center" and build in meeting rooms, or make certain stores specialized in a particular topic (e.g. the "tech" store downtown).

But running the same, tired playbook year after year ultimately is, just as the author suggests, a way for current executives to milk the cow until it falls over. I hope when my son is old enough to enjoy sitting down to read on his own, I'll still have a nice book store to enjoy with him.
> Maybe we need to acknowledge that we're moving towards having a society where "everyone has a job that earns them their living" is untenable

No, we need a society that guarantees everyone a job, a job that will generate the income necessary for survival. We shouldn't give up agency and become simple wards of the state, waiting hand stretched ahead for the UBI to fall from the crumblings at the tech billionaires table. UBI without jobs is humiliating and lacks vertical mobility. Self reliance is good.

The slogan should be "Give us jobs or give us the means of production!"

In the future it will be easier to be self reliant by using solar energy, agro-bots, 3d-printing and various biotech and materials research technologies. We can be self reliant, we don't need no stinking BHI. We don't like to be passive and hand our dignity out for a penny.

As a final argument, think about this: what is cheaper? what is more tenable - to hand out free money to everyone, or to create jobs that pay for themselves? The jobs could be - cultivate your own food, raise your own house, educate the children of your community, repair cars and electronics for local people, etc. Most of the jobs emerge from the needs of the community, so the community can hand them to itself. Then only a small amount of external aid could go as far as a huge amount of UBI.

The name of this philosophy is Local Self Reliance and it is related to Distributism (https://en.wikipedia.org/wiki/Distributism).

A list of related concepts: community ISPs, credit coops, anti-trust, buying from local businesses.

This is a promo video from the Institute of Local Self Reliance: https://www.youtube.com/watch?v=kDw4dZLSDXg
Not just any 3rd party seller, only the ones willing to systematically spend ad dollars to promote products.

But even non-spending sellers send a lot of transaction revenue Amazon’s direction. You don’t get good treatment however because you're a disposable commodity. Treating you well doesn’t increase revenue.
Heaney's traslation of Beowulf is a masterpiece in its own right.
Or maybe it's useful to get started off with a low overhead, easy to implement DB like Mongo and then as you grow larger, spin off uses that it doesn't serve well to other more specialized and complicated DBs?

One of the biggest problem with relational DBs is that once you decide on a schema, if it's the wrong one, you're gonna be in a lot of pain. Which makes a NoSQL DB a great fit for an early stage product where you are still figuring out what your product needs to do and contain. Once you have some more experience with it, and have a better understanding of your data, it's far easier to build the correct relationships.
Are there companies that will do reverse engineering as a service for cases like yours?
"everyone uses its tech products anyway"

Is there another option? Simply... not?
Diaolous – the multi-storey watchtowers of Hoiping
I will never understand why people become loyal to their employers. You can be proud of your work, career, without being married to your employer.

This is the inevitable conclusion to a bookstore competing against Amazon, but they still act surprised...
If you enjoyed the Franklin quote in this article, check out his autobiography. It is a gold mine of "life hacks", demonstrated via accounts of Franklin's remarkable life. It seems to be one of the original American self-help books :)
17 U.S.C. § 107

Notwithstanding the provisions of sections 17 U.S.C. § 106 and 17 U.S.C. § 106A, the fair use of a copyrighted work, including such use by reproduction in copies or phonorecords or by any other means specified by that section, for purposes such as criticism, comment, news reporting, teaching (including multiple copies for classroom use), scholarship, or research, is not an infringement of copyright.
Does that mean Thiel Capital is moving down to the LA area with him, or will that remain the Presidio?
If Mark zuckerberg ran for office on one party, I'm guessing it would impact the number of users in the opposition party
Tell that to African Americans in the South when lynchings were a thing.
I go to movie theaters pretty much all the time for that reason. I wanna go where people are and not sit in my house. Plus usually Netflix doesn't have any shows i care that much about watching except for oa or a backstreet boys documentary
The launch of Yass not going as planned?
Although Breitbart is headquartered there, so I’m sure he will find some conservative friends.
It's not just about left/right.

Compared to SF, LA is a true big city, as close to New York as you can get on the west coast. In comparison SF is a petty small town, complete with the provincial backstabbing and all.
The Rupert Murdoch-owned WSJ writes an Op-Ed piece by the entire editorial team to state that Silicon Valley has been hostile to half of America?

No, it is the Republican Party, the NRA, Donald Trump, and Peter Thiel who have been hostile to half of America. "Silicon Valley" is merely reacting to this vile hatred peddled by Fox News, WSJ, etc, to save its own life, along with the lives of the rest of the world if efforts like UBI and AI can indeed help improve efficiency in the world and reduce pain and suffering.

Thiel and the Republicans have made it their mission to hate half of America and cause the divide - and then they blame The Left and The Democrats.

No, the man that Russia snuck in to the White House is the leader of this divide, and he was empowered by decades and decades of Republican greed, hate, racism and got-mine-fuck-you attitude.

How about Silicon Valley's warning to Peter Thiel, "go away, you are a poison".
Dumb question but is there a way to import the tax information this generates into TurboTax?
When these companies are making vastly superior products to the competition (if there's any), people are just making a rational choice.

It doesn't mean that there's no hate for tech companies and the Silicon Valley... Just go read what Fox News commenters and Donald Trump supporters have to say about Amazon, Facebook, Google, Twitter, ... sometimes justified (Bezos owning the WaPo, Eric Schmidt being quite cozy with the DNC), sometimes just on the basis of a perceived liberal bias (e.g Google/YouTube often accused of unsubscribing people from conservative channels or hiding search results without any concrete proof).
The makeup of the Valley is changing and trending towards immigrants so it’s not shocking that Thiel would have a tougher time here after being such a vocal supporter of Trump.
he's going from the most politically correct place in america to the fourth most politically correct place in america?
Plus these sound like mostly entry level, no-qualification jobs. I can't imagine why anyone would feel like they had any real measure of job security at jobs like those.
> The more interesting question is why google is doing this.

They got sued.

"These changes came about in part due to our settlement with Getty Images this week."
That same thing was also in Blue Planet II.

In 4k/HDR it's bloody amazing, the color changing of the cuttlefish is ridiculous.
Also no one has stopped watching cable TV due to it being run largely by right-wing billionaires.

Complain about it, yes, but actually change their behavior because of it? no. Same with tech products.
The companies used to mostly act in a nonpolitical way though, as the article notes. That has clearly changed.
That fits in just fine with the above, at least as far as my understanding of businesses and what their goals are is...
Does anyone remember about 10 years ago, maybe 15, there was a guy somewhere in Europe that created something similar, as his graduate or doctoral thesis. He demonstrated it by taking the video of Michael Jackson denying sexual abuse allegations. However, he, the creator, was speaking into the system, and the video and audio of Michael Jackson "saying" the same thing was playing in near real time.

He explained his system at a fairly detailed level for a short 5 minute video. He was breaking down the source clip into very small snippets of time, and with some algorithm, giving each snippet a single value, or a score. Then, as his realtime audio was analyzed in the same manner, the source snippet with the closest score to the realtime snippet was output, both audio and video. I've always wondered what happened to that project, and I've since forgotten the creator or the name of his project.
I wouldn't be so assured of that. Thiel has a point that the situation can change very quickly. IMO it would be dangerously arrogant to assume that just because a state of affairs is just so, that it will always continue to be the case. We are speculating about future events after all.
I'm not suggesting it's an ad in the sense that someone paid Pollan to write this article (other than the Times), but the article linked is not a discussion of the title; rather, it's a suggestion to the reader that should they find the subject matter interesting, the book would be a great place to learn more.

I will admit to a certain bias in placing reviews on the mental shelf next to certain forms of advertisement (I doubt the author purchased his copy of the book), but I am not trying to project that view onto anyone else.
>Best Buy
You mean circuit city?
Facebook to launch two smart speakers with 15“ displays and FaceID