skysight-inc/HackerNews huggingface dataset:
That makes no sense in practice. The reasoning you employ on a day to day basis is completely outside the realm of what you propose. Realistic everyday reasoning is too complex; it is not satisfactorily represented by first-order logic.

Also, even mathematical proofs are cumbersome to state in a purely formal way. Moreover, many of our arguments hinge more on things like accuracy of assumptions, informal inferences, disagreement on "axioms" and goals, etc, not on formal validity of arguments.
earlier post https://news.ycombinator.com/item?id=18325220
Reminds me of GreenTech Automotive which used a similarly subsidized factory in Mississippi to build street legal electric golf carts nobody would ever buy.
Right in the middle of one of the state's tourism areas, no less.
I'm not the OP but methinks the two are related. There was a time back in the day when FB gave me updates on what my friends were doing. And then one day - somewhere between 2008, when I stopped using it, and 2013, when I tried it again for a few months, stopped, and only came back 3 or 4 times since - it became mostly memes, cat videos, feel good stuff, what have you.

I've yet to bring myself to delete the account, since I get occasional messages I care about and it's convenient to lookup someone's email you've lost. I would if that wasn't the case.
... and hand him over to the United States.

The most important part. Not entirely unexpected, since the US backed candidate won the elections, and latin america is again almost socialism free. As in the good old 70ies.
Let's see if they hack him to pieces as their dear friends do or just torture him for 90 years for exposing the US foreign policies.
> everyone technical who was involved on our side was profoundly unimpressed

That's your "mistake" (from their part). They only know how to sell to top-level oxygen-deprived-brains that are impressed by technical fancy words but couldn't turn their notebooks wifi off and on again to save their lives
Yes. Facebook has been doing this for spam for ages, for Russian and Chinese and Iranian political influence rings more recently. It's sure not easy at that scale, but it's not beyond Google's capabilities.

Disclaimer: I work at Facebook, though I'm only involved in those efforts to the extent that I work on the data-storage systems that support the data scientists.
IF ONLY YURI MILNER
If only Yuri Milner would read this....Mr. Milner, you are looking for Project "ODYSSEY." Contact Brian K. Hannaford on linkedin.com, IMMEDIATELY, please. This will change your life !!!
VLAs date back all the way to Algol 60. Most Algol-family languages inherited that trait, and many relied on it heavily. C (actually, B) excluded them because it was deliberately lower-level than was the norm for Algol family before.
LogDNA – Multi-Cloud Logging Is Hiring a Developer Evangelist
I didn't say surprising, I said striking. No one has decided to relocate to San Diego, Austin, Dallas, San Antonio, Houston, Phoenix, Atlanta, New Orleans, Miami, Nashville, or Charlotte? I think it would be silly to equate populations of people that differ wildly in language, customs, and economic opportunity. The world is not evenly distributed. Besides there aren't that many ways to divide the world by 100 Million people, there are 76.
The only thing that keeps me on it is that college football season is really entertaining.
This Northern California mountain lion is a serial killer – of horses
> The only fully correct term, as used in our laws and in numerous Supreme Court rulings, is "illegal alien".

Incorrect. While numerous Supreme Court decisions use “illegal alien” they do not do so exclusively, e.g., Plyler v. Doe (1981) uses, at a minimum, all of (directly, ignoring uses that occur only in quoted material, and consistently reflecting singular though some terms are used in both singular and plural, and some only plural, forms) “illegal alien”, “undocumented child”, “undocumented alien”, “undocumented resident alien”, and “illegal entrant”.
OK, what is it that you suggest we do?

Wisconsin is corrupt. Very corrupt. What might work for you in squeaky clean Vermont, or wherever, is not going to work here in Wisconsin.

It's just not.
Wouldn't that be a case of abusing their market position to anti-competitively protect their market share? The same thing Microsoft was sued for?
You can easily do that at the OS level.
Agreed; Milwaukee has many good schools. No top-tier research universities but MSOE, Marquette, and UW-Milwaukee all have strong STEM departments. Plus, Foxconn isn't hiring a bunch of PhDs, they're hiring engineers (and not nearly as many engineers as people seem to think), so it's unclear why access to a research university would matter. Other than some of the more asinine claims Foxconn/Walker have made (e.g., self-driving trucks... does Foxconn even have a self-driving research group let alone a real self-driving project?)

Also, Racine really is driving distance from Milwaukee. The southern suburbs literally border Racine.

The factory is a dumb idea, but this is not the reason why.
That's exactly what I was thinking. I'll sometimes skim comments during a boring bit in a video (such as an old-school NES/SNES speedrun), but I don't attempt nor expect serious discussion or rebuttals. I imagine the noise-to-signal ratio is even worse for videos with any type of political content.
So you see it as a tariff? Do not let the more efficient foreign player in, to let the local equivalent develop?

Economically it does not make sense, if we are looking for a global optimum (literally); this is the standard free-trade argument.

It may make sense if there's no global trust; you don't want to depend on products of a potential unfriendly party, or let them have a large foothold in your economy, just, well, in case.

But here I (also) see the desire to milk a cow that can be milked.
The US Military Method to Fall Asleep in Two Minutes
But they are running out of potential sites to buy. I wonder if they have offered to buy Reddit?
Trump: "I'd be soo good at chess, so good... I'd make the Turk concede at the start."

- paraphrased from Dana Carvey
You can reference years old messages.

For example https://chat.zulip.org/#narrow/stream/3-backend/topic/Vagran...
Bitcoin can push global warming above 2 C in a couple decades
They'll probably back down when companies threaten to leave. Like Amazon did when threatened with the Head Tax. Or how Dole left Hawaii.
There is a confluence of political and economic factors at play, I suspect. Yes there are siting logistics, water supply, electric, labor pool, etc. But also: You don't go to Madison or to downtown Milwaukee to find potential Republican voters.

The vast majority of Republican voters in WI live in a ring of suburban counties surrounding Milwaukee. Yes, some rural counties are also red, but the absolute numbers of voters there is tiny. Go to suburban MKE, you hit a sweet spot of attractive economics for FC and possible political impact for state Repubs.
> host them publicly.

What about HTML5 / JavaScript games where you have to upload publicly?
But why does being unable to tell an anecdote on the spot equate to having a "horrible attitude toward customers"? Maybe just a poor interviewer.
Wait, you can deactivate your account and still use messenger?
The difference is that until recently, you saw this stuff on Fox, and other stuff elsewhere. Sure, some people (a lot of people!) only watched Fox and swallowed it all, but a lot of people didn't. They knew that Fox was Fox, etc. Nowadays, in a pile of YouTube comments, or Twitter replies, or Facebook posts, you cannot tell who or what is behind it. You know when a story is broadcast on Fox that it's Fox. When it's a comment, is it a real person? A bot? A troll-farm worker? If one of the latter, where is the money coming from? There's no way of knowing. Add to this group polarization[1] and other known psychological factors, and it's easy to flood out a particular online space with a particular narrative, with no visible accountability.

1: https://en.wikipedia.org/wiki/Group_polarization
Until suddenly it does and we see Sorry, we can't serve your requests this fast.
To me, this feels like a precursor to the actual issue that's going to happen.

Eventually, we won't be able to distinguish between real humans and bots online. No CAPTCHA will work, no Turing test, none of that stuff.

Message authentication (e.g. keysigning, or a centralised provider you trust) works for individual identities that you're already aware of, but the general case of trusting comments online?

Even without all of that, you've never had any idea whether the "person" replying to your comment is paid, or has a bias, or whatever else.

If, say, 30% of Hacker News commenters were "fake" in that future scenario, would we know? How would we know? Once we develop a method, can't that be gamed?
I really wish San Fransisco Silicon Valley homos would stop thinking the solution to the world's problems is learning how to code.
If you believe a significant chunk of the voting population is swayed by YouTube comments in their political beliefs, you could just as well be arguing for forcibly sterilizing the feebleminded.
There's something to be said for absolute quantity/amount all on its own.

The amount/job may be lower, but it might also be a higher percentage of overall state budget...
I feel bad for Democrats sometimes. It seems they always inherit the worst mess.
Javascript-free mobile site that lets you send messages: https://d.facebook.com
Here you go: http://archive.is/gBd5I
Looks like they're too dainty to walk on bare dirt either. They have a specially paved strip of asphalt to stand on.
After 13 years I recently deleted my entire account. I have more time and I have less admin. I will miss messages from old acquaintances but that's ok.
Archive url: http://archive.is/gBd5I
This whole practice should be illegal, why can't hospitals list the materials they used, their cost and how many hours doctors and nurses worked and what they bill hourly? The cost for a hospital to do a procedure doesn't changed based on my insurer, so they shouldn't be able to charge differently.
tolower and related things I'm comfortable with - the main question I can't answer is where do you run the weidu mod?
A nice hack around that is using their GSM site.
It's going to "happen" in 2020. Plenty of time to change their minds...
You seem to be convinced that you've solved the application size problem that literally thousands of engineers have been working on for years. Or that you've got more insight into the engineering tradeoffs made at the company.

I can assure you that's not the case.
I bet the Facebook employees who pushed to buy Instagram are feeling pretty justified right about now. But still, I'm not sure if Instagram can be monetized to the same degree as Facebook was in the last decade, especially as they continue to wreck their brand with privacy abuses (note that I'm not a privacy hawk).
When thinking about the UK rolling out new taxes, this inevitably comes to mind: https://youtu.be/pmgcylAxjfY?t=118
Maybe I don't use FB enough but I hadn't heard of this "f" thing (beyond 'F' being a Call of Duty meme). I imagine it's an unexpected usecase for Facebook and one that would better be served by making a prominent "subscribe to notification" feature, rather than coming up with a machine learning solution. What if the parent comment is a quiz type question for which there are answers A through F? Admittedly it's an edge case but it's an example of how diverse the strange ways people use FB for commenting and discussing.
The article is painting a pretty misleading characterization of the wetlands issue. Foxconn isn't being permitted to "discharge" heavy metals into wetlands. Foxconn is being permitted to fill certain isolated wetlands (i.e. wetlands that are not connected to rivers or lakes that would put them under federal jurisdiction) with the requirement that they create 2 acres of additional wetlands elsewhere for every acre they fill in: https://journaltimes.com/business/local/dnr-foxconn-to-creat.... That's more than the usual state law requirement of 1.2 acres created per acre of wetland filled in.

There's no indication, moreover, that Foxconn has received waivers from ordinary state and federal rules that regulate dumping heavy metals into the soil. The article misleadingly tries to suggest that by juxtaposing the fact that the LCD panels "require benzene, chromium, etc." with the fact that Foxconn has been authorized to fill in certain wetlands.
So why isn’t YC in SF?
Share your automation stories
Wisconsin had an extraordinarily well-functioning state government in the very recent past.
What's preferred now? I know Canadian schools liked SUSE as well.
That is what Philip Hamond (last sane person in the cabinet) said - that of there was international agreement they would go with that.
Like many companies, the software at YC is like an iceberg: most of it lies beneath the surface.

Here are some of the things we build that you might not be thinking of:

https://apply.ycombinator.com/ - the whole process of receiving and processing 10,000 YC applications / batch

https://workatastartup.com - a site to help people find jobs at a startup

https://startupschool.org/ - a free online course in how to start a startup

https://leap.ycombinator.com/ - a private community for women in tech
Yep. It currently explicitly states this and does it by default when you get to the final deactivation step. Previously it was an option you had to notice and click.
I doubt he goes to the US. I feel Russia will offer asylum.
Why I No Longer Use Redux with React
The aged anecdote doesn't cover a typical use case.
No. Extremely consistently no.

But all the studies finding that they're a stupid idea never make it onto the evening news, and sound bites from politicians do.
Yeah. I don't really "use" X, though. I don't lose any state other than browser tabs, which reload anyway (it's really just the same as switching from desktop to laptop, you want tab state synced anyway so it's a non issue I find).

Firefox and a terminal window (tmux or similar) is enough for my needs.

90% of the time (right now for example) my screen is 70% terminal and 30% browser.

I have a Linux VM for actual work that also gets GPU passthrough that I "restart" into (e.g. kill qemu1 windows, start qemu2 linux). It's sort of like dual boot except long running processes stay in the background.

You could basically think of it as the VM's being a thin client on to a server, except they're all on the same box.

The host is pretty much a hypervisor only.

I might do a write up of all of this at some point if you're interested. I kind of figure that most Linux users enjoy this sort of masochism. :)
>But, the trade-offs Basecamp makes are not always available to other businesses

Shouldn't we build an environment where they are?

E.g. if a company doesn't use slave or child labor today, or doesn't pay in company scrip, it's not a loss for them, because no company can use those either. Unpaid overtime was similarly outlawed in lots of western countries.

Societies should build a legal environment where this is true for most sane things companies should be doing and bad things companies should be avoiding.
Which Google can afford. Oh look your small independent cloud provider is slow, come to Google Cloud. They've been subverting standards to push up the cost of entry and very few people have calling them out ...
Nope its on faking low profits aka tax avoidance
On Message Ordering
I agree it will take some drastic measures. The article states that the plant needed to be located in the great lakes region since it requires so much water to clean the glass used in the plant, and if they're being allowed to dump toxic chemicals into that water that likely violates international water treaties that exist with Canada, not to mention the other states that depend on the great lakes and the waterways that they feed, for tourism, drinking water, etc. Any, and maybe all, of these parties should sue Wisconsin to stop this deal, or at least stop the environmental impact that is being allowed to go unchecked.
I don't know, but you should see the future tax revenue Chicago was willing to give up, and they're out of the running.
The tourism areas are Door County and, to a lesser extent, the Kettle Moraine. Both are well north of where Foxconn is going to be --- it's much closer to Illinois than people are realizing. Racine and Kenosha are not tourist areas.

I grew up around Milwaukee. There are plenty of hot summer days where you'd love to go to Bradford Beach on Lake Michigan, and often it's out of the question because E. Coli levels are too high. We dump raw sewage into the lake. Nobody is concerned about Foxconn pollution.

edit: For the record, I was against this deal as soon as it was announced and still am, but not because of pollution.
The big difference is that in the Algol 60 family bounds checking was enforced.

"Many years later we asked our customers whether they wished us to provide an option to switch off these checks in the interests of efficiency on production runs. Unanimously, they urged us not to--they already knew how frequently subscript errors occur on production runs where failure to detect them could be disastrous. I note with fear and horror that even in 1980, language designers and users have not learned this lesson. In any respectable branch of engineering, failure to observe such elementary precautions would have long been against the law."

-- C.A.Hoare on his Turing's award speech

C and B designers had another point of view regarding security, or lack of thereof.
I was scared for a minute. I thought this was about taxing consumer for accessing internet.

It's fine. It's about taxing giant corporations who are evading taxes.
Ed Sheeran pays more tax in the UK than Amazon.
Is an interesting one, assuming they struggle to get new users on the main platform.

FB have a lot of hope riding on Marketplaces, but it's viability is entirely down to FB being so ubiquitous.

Product suggestion (graph is still their core business, obviously), and being able cross promote their products to a captive audience. They basically can't pivot because everything they want to do relies on finding ways to leverage the data they generate.

Can't figure out where they're heading in the longer term tbh. Would fully expect IG Marketplaces to follow in the next couple of years.
Microsoft took over Amazon in terms of Market Cap, but not valuation.

MSFT
Market Cap $839.7
Less: Net Cash (59.7)
Total Enterprise Value $780.0

AMZN
Market Cap $834.5
Less: Net Cash (5.6)
Total Enterprise Value $828.9

The discrepancy is all the more evident in terms of multiple (or the "exchange rate" for investing in these companies). MSFT trades at 21.0x 2019E P/E and 12.5 TEV / 2019E EBITDA while AMZN trades at 60.8x 2019E P/E and 19.5x TEV / 2019E EBITDA multiples.
Deleted the app but still using the browser to view my feed. Nobody likes the aggressive notifications and bad battery usage that comes with the app.
Wow. I wish there were some type of criminal negligence law that can be applied to something like this.
Not to mention the shovels are golden and they are all wearing suits. It could just as well be a political cartoon about a new Gilded Age if it wasn't real life.
Did she type any related query into a search engine or browsed some related travel sites (that happened to have Facebook like buttons on them) in-between two events?
They don't give any real control of notifications (you can do some broad stuff, but they try to spam you with irrelevant notifications at every opportunity), and they burn up battery. I switched to just checking it via the browser for those reasons.
OnePlus 6T Review: Amazing value with an even more amazing fingerprint reader
Something peer-to-peer hopefully.
It's not just comments - the ability to drown out other views applies to actual news articles too. We saw back in 2009 with the Time Person of the Year campaign how easy it was for coordinated groups to drown out the public (https://techcrunch.com/2009/04/21/4chan-takes-over-the-time-...). As legitimate news organizations increasingly use analytics as part of their decision processes, that unsolved vulnerability presents an opportunity for click farms to drive traffic to articles and indirectly manipulate the production and placement of actual articles as well =/
Wow!!! This sums up the culture of IBM as confirmed many replies to the above comment.

> 1. They bring the A players to the sales process, .. C/D players to write code.

I was wondering why IBM failed to make great progress with WATSON project which was started years ahead of others in ML/DL filed.

Now I know the answer, internal IBM projects are developed with same A/B/C people of the hierarchy, where C players are people who write machine Learning/Deep Learning WATSON code.

Since Microsoft lost consumer space by losing windows phone, it's focus is ONLY Enterprise market which is confirmed by LinkedIn purchase.

Slowly but surely Microsoft will eat IBM's "Enterprise lunch" eventually. (sharing part of lunch with AWS & Google Cloud)
Hashcat v5.0.0
Yes, because "focusing on education" means everyone gets a STEM degree?

Education takes a variety of forms including high tech manufacturing, healthcare, business and entrepreneurial enterprises, higher education and teaching, green energy and technologies, etc.

Having a highly educated workforce will allow the midwest to better compete on the global markets.

As someone who grew up in the Midwest, you sound like everyone I ever talked to who discouraged me from going to college.

> college is for homos

> learning is stupid

> school is dumb

Just sheer ignorance at this point.
DHH mentioned that it's not all that calm and zen and well oiled at Basecamp, that the book is also aspirational.
I wonder what it will take for the AIDS ridden faggots from San Fransisco to let go of the idea that making websites and shitty apps is the future.
I watch youtube on my TV using Roku so comments are not even visible or accessible. I consider that a feature.
I played the long game for the past 8 years. I worked on my first project for 3 years, it was a failure. I worked on my second project for 5 years, I still can't earn a regular salary from it.

I worked insanely hard for 8 years; most nights after work and almost all my weekends. I can't say that the long 'game' works. It really doesn't feel like a game anymore though.

Most successful people I've met play the short game. People like to play the short game because it works.
Not going off of Myhill at all. More talking with Dr. Klimas and most of the important ME papers in the last year.
Sorry, just a posting note: If you want your comments to display in the right order, it would make more sense to have your second comment be a reply to your first, rather than having them as sibling comments.
> I'd rather die at 40

You won't think so when you turn 40.
iOS: Settings -> Notifications
Android: Settings -> App Notifications
> The most reasonable "update" to FTP would be to formally replace it with HTTP, because FTP is an awful protocol --- maybe the worst one in common use --- that deserved to die off decades ago.

The biggest problem with FTP[S] is that it interacts poorly with NAT. So maybe the problem is IPv4 and the solution is IPv6.
The problem with WebRTC is software support. It's not an underlying technical issue with the protocol itself.