skysight-inc/HackerNews huggingface dataset:
In my view, Godel's theorem means a lot to philosophy of mathematics and can do no more than that.

I have a simpler description of the theorem that includes the details:

You can choose 3 out of the 4 things within a axiom system (You can think of it as a language):

1. Completeness: No expressible statement can be neither proved nor disproved.

2. Consistency: There is no statement such that both the statement and its negation are provable from the axioms.

3. The system must be able to describe natural number

4. The system must use formal methods. (The proofs are finitistic)

For mathematicians nowadays, some of them have a natural Platonist mathematics view and take away 4.
Some ultrafinilist like Edward Nelson, wants to take away 3.
In practical cases we can take away 1, e.g. total functional language.

Some philosophers just wants to take away 2 without justify all the other assumptions.

In terms of moral philosophy, a much simpler alternative to derive the undecidability of nature, Chaos theory, can be used instead of assuming 1, 3, and 4.

The case here, in my view, is much less interesting philosophical than the interpretations of quantum mechanics, where most physicists refuse to discuss.
Ok, fair enough, my comment was perhaps flippant.

My company pays at least market rate and can afford to go higher if the candidate negotiates, so I don't think that's the issue. At least, we never had a candidate refuse a position due to money concerns. The skills we look for are not that specialized either, it's not like I'm looking for ML PhD's with a background in medicine.

Anecdotally, it just feels like almost everyone who is already good, is already happily employed. So either we need to head-hunt candidates, hope to coincidentally catch them while they're between jobs, or hire very junior candidates and train them up.

Of course, the issue might also be just that we need better recruiters to populate the candidate pool :)
I can answer that I think, although I certainly don't agree with the reasoning.

The answer is twofold: number one is 'oh, these instructions are overly cautious, my expertise trumps them', and that is compounded by the fallacy of 'well, I've done it and seen it done for x years this way and have never had a problem'.
I think that’s true. Most people just want a comfortable life. Only a few will always want more.
Slimming Down Your Docker Images, Part 4 of Learn Enough Docker to Be Useful
> The original Iranian Revolution was a reaction to Western meddling and policies. The current regime is there because...

The current regime is there precisely as a result of the Iranian Revolution.

> Please provide a single citation for this statistic. This is an absurd statement.

http://global-politics.eu/military-assistance-73-percent-wor...

I guess I was off by 2%, it's 73% of the world's dictatorships.

> The US doesn't need Iran's oil, neither does it need Venezuela's. The US has been a net exporter of oil for a while now. The US shale boom has been in effect for years.

It doesn't need the oil itself. But it does need for global oil to be traded in USD in order to help maintain its status as a reserve currency, which is why it still supports the Saudis.

There's also U.S. oil companies who rely on the Venezuelan crude and would like to go back into the country and privatize the oil assets[1].

1 - https://twitter.com/marcorubio/status/1088414772163461120
I think burn in makes it a worse candidate for smart phones! There are a lot of static images (icons, clock, weather) that will burn-in over regular usage.

I love the OLED demos, but modern LCD screens these days are pretty solid. ~$2700 for a near flawless 75" LCD. That's crazy cheap compared to the ~$7000 a 77" OLED costs. And that's ignoring the completely watchable ~70" panels you can get for under $1000.

But like others in this thread have said, it never made sense to me for FoxConn to build LCD's in WI. Basically WI gave away land and access to freshwater for FoxConn could "bring jobs."
>losing a single not-too-secret page meant an automatic 10-year labor camp term

[citation needed]
Agreed. "Whale" is a standard term in the free-to-play game industry to refer to any account in the top 1% or 2%. It has nothing to do with the age of the player or anything other than the revenue for that account.

The majority of the revenue for a f2p game will often come from whales.
I had this happen to me once with a bigger piece of wood I was cutting. He's right you have no time to react and the board is gone and flew 30 feet into the wall behind the saw. My hands were no where near as close to the blade as his were since it was a 12" wide board, but certainly freaked me out. He is lucky though that he didn't get cut.
Reddit is basically Twitter with a thin veneer of politeness. My guess would be that it's not good for mental health unless you go fishing for validation by towing the party line in every sub you visit.
The media bias against Facebook has become outrageous and it worsened after the establishment in DC extended their witch hunt and made Facebook the scapegoat for the 2016 election.
There are some good videos on this by Matthias Wandel as well (who used to work at RIM, and has a great channel filled with technical/nerdy woodworking videos):

Table saw kickback experiments
https://www.youtube.com/watch?v=xFkHmgRIkOI

Effects of table saw misalignment, and kickback
https://www.youtube.com/watch?v=Fbca0Km8Q5E
Regarding the recent discussion about how the Internet isn't weird or fun anymore, this is definitely a valid counterexample.
It isn't a novel idea of Darwin's:
https://en.m.wikipedia.org/wiki/History_of_evolutionary_thou...
When I was 15 I spent $3,500 on a video game console, controllers, Xbox live, halo, halo map packs, etc. When I was 5 I spent $1 on gum.
So, I am an experienced developer but new to Lisp based stuff, which seems to be what racket is based on. Can you suggest any books to learn racket.

edit: Spelling
Maybe that's the point. It's not a very secure method of verification, so it is sensible to want something better, like an ad hoc secret phrase.
>> So it's quite possible (but uncertain) that women are attracted to dominance and leadership but not so much to physical violence itself, especially if the women does not think it serves any purpose, or if it shows weakness

Somewhat agreed. Some women enjoy watching physical male violence in various forms and circumstances - particularly if it involves protecting them or their children. Confidence pushed to the extreme ends to look like arrogance. Taking action can look like aggression. Face it, if you're a female and want your genes to survive, who should you mate with? Someone who can make their own way in the world and can defend himself against threats. The undesirable (to others) extreme of that is to leave a path of carnage in your wake (excessive dominance).

>> The thing is that if you are an established "alpha male" either in the hierarchical sense or in the sense that you are self-sufficient, there is little need to engage in intra-group aggression...

There may not be a need for it, but if that's what it took to get established what makes you think someone is going to turn that crap off? See Trump as an example. There's a lot of overlap between the desirable and undesirable traits - so much so that I don't think biological "instinct" is refined enough to tell the difference in many cases.
Don't blame the election cycle. All military funding has to be passed by Congress and the House of Representatives election cycle is only 2 years.
Easylist would be a user created blacklist, right? Very ad blocker I know of uses that.
a PhD in CS is a golden ticket today
If you expand a government program 10x fold, its bureaucracy costs will expand >10x fold. Medicare as it is today is already bigger than its national counterparts, and it still has great administrative costs.

There are some benefits in government administration, but "efficiency" is not one of them.
Teresa May Returning to EU Erroneous in a Fleet of WW2 Planes, BBC NEWS
I kind of see the utility in prevailing in the universe can much more be an active and guided persuasion through us humans (maybe by proxy, through whatever robotic arks we can come up with), because it can be so much more effective than a passive and kind of brittle and to me unconvincing process of post-solar system panspermia.
Because it's cheaper and more fair to set an arbitrary limit and apply it across the board than to try to evaluate each offender's maturity level individually.
A 15 year old likely makes some of their own financial decisions, occasionally, or even often, buys their own food, entertainment, etc. 15 year olds buy game consoles, computers and games all the time.
Cl-Ruby: A Common Lisp and Ruby FFI
Human knowledge can be written down, but knowledge is a poor shadow of first-hand experience.
So I write some code and a test, and of course the first time I run the code, the test is going to fail.

So now the balance in our "Software test" account is nonzero whereas it should be zero.

But audit requires us to record all bookings, so how do we explain these bogus bookings (both from the erroneous code that made the mistake in the first place, and from the manual adjustment later that fixes the mistake for the next test run)?
For those not ready to completely delete their facebook account yet, I recommend:

1. deleting the app

2. Using a custom facebook style (like this one [1]) which deactivates the news feed. That way you can still use it to check your messages occasionally and have to actively make the decision to scroll through the news feed by deactivating the extension.

3. Deleting messenger once you have told all relevant people that you will be less reachable through facebook, more through email / signal whatever alternative you use.

I have been using facebook less and less that way and realized how often I was mindlessly scrolling through the feed.

[1] https://userstyles.org/styles/128616/quiet-facebook-official
Only accessing Facebook via mbasic.facebook.com works for me. I only really ever check it because I have local community forums that only post information on events there. Most of my friends have departed for Instagram at this point.

Which is probably why Facebook is trying to Facebookify Instagram and WhatsApp. Once they do I'm sure people will start to flee to knock-off services instead.
Composite-ISA Cores: Enabling Multi-ISA Heterogeneity Using a Single ISA [pdf]
I'm one of the engineers working on QUIC projects at Cloudflare.

This response from jgrahamc just came to my attention. His comments are based on a discussion I had with him about our first QUIC project and then additionally what I knew of quinn. I described how quinn was arranged and that it provided an interface that was oriented towards the tokio IO library. What I seem to have failed to communicate was the IO specific interfaces were not the only interfaces provided by quinn, and that more abstract interfaces do exist. This mistaken impression seems to have been bundled with the multitude of reasons that we did not choose various other QUIC implementations.

I'm sorry that this this mischaracterisation was made against your work, and hope anyone reading this thread does not take away the same impression.
“Whales” is a common industry term for a high spending account.
Three sentences: https://www.samuelthomasdavies.com/book-summaries/business/d... I think the author himself has a one page blog post summarizing it as well.

I agree with him about the smartphone cancer that has crept into all our lives though I imagine there will be much worse distractions in the near future like deep learning phones that can tell us everything going on in a room the moment we enter it (since everybody else also has the same device). Permanent HUD like a James Cameron scifi
Clinton and Trump have both been elected by roughly 26% of eligible voters in 2016.

https://mises.org/wire/26-percent-eligible-voters-voted-trum...

If you do not vote or vote for someone you do not want, your vote is worse than lost.

There is much potential for other parties. And while the presidential election is most important regarding war and the rest of the world, other elections for local politicians are important too and maybe even more important for US citizens.

Related talk: How To Eliminate The "Spoiler" Vote Phenomenon w/Jill Stein pt. 1 https://www.youtube.com/watch?v=bgYEFxjJaUg
Which extension is this?
So as someone who has spent some time with and around physical workers - because all of this safety stuff takes time, and time is money, so if you can trade a little bit of safety for some extra time, then it seems like a good trade off.

Like, I worked with people who climb industrial chimneys professionally(for inspection, cleaning, etc). Now, in the UK the safety code requires that they have to clip in to the ladder they are climbing with a safety harness every 2 steps. So take two steps, attach one clip to the step above you, remove the clip from the step around your waist, repeat until you are at the top. Now - this might be a safety procedure, but literally no one follows it - simply because if you wanted to do that, it would take you 30 minutes to climb a 100m tall chimney. And these guys have absolutely zero fear of heights so for them cliping in is stupid anyway.

I imagine the same logic applies here - sure I could mount the blade guard....or just cut the plank carefully like I did 1000 times before already...."what am I, an idiot?".
The problem with the alternatives is they don't have the budget and installed user base Facebook has. Sure, you'll get techie people to jump on board at first (remember Google+?), but all the family members who don't know a Twitter from an Amazon will stick with Facebook because the constant negative Facebook press isn't enough to get them to leave and no longer see pictures of their baby grandson. I'm not sure what the solution to this is.
Can confirm. Deleted FB half a year ago. Nothing really happened. I still feel in the loop with all my friends and even remember their birthdays. Checking FB was just a noise that kept me distracted during the day.
I deleted my fb account 4 years ago. My only regret? Not doing it sooner.
Sorting Algorithms in 6 minutes [video]
Does anyone know where this system stands performance wise vs classical computers? Are there types of problems where this is known to be faster now? Or are we still waiting for more qubits for that to happen? Thanks!
Strikes are far more effective than waving a sign on the street corner.
Sunknowledge Practices DME Billing Like No Other
This exact thing happened to me as well in High School "woodshop" class. The entire class and even the teacher called me "kickback" for rest of the year.

I don't think any of us realized at the time just how close I was to injury.
Some of those cultural immune responses behave more like an allergy than a response to an actual threat, though. In some cases, the immune response is a bigger threat to the culture than the outside influence.
Just a thought. What if facebook had fake accounts on hacker news to up and downvote new items. Would hacker news be able to identify it and if so would they let the rest of us know?
Probably my favorite distro for dockerizing apps that need more OS. 130mb isn't exactly tiny, but it's a lot smaller than other more common options.

I'll sometimes do builds in a larger distro (debian or ubuntu server), then deploy into alpine.
It's not accurate to call a study gold standard it fits randomized but the patients can see which arm of the study they ended up in
There was a big HN thread yesterday about how the internet isn't weird anymore, and yet here we are.
> Because you have illegal workers

What data supports this frequently touted conservative notion? There could be other factors. Like for e.g. tomatoes can only be sold at $2/lb before they run into competition from imported tomatoes. So the max anyone can afford to pay is really $X/hr. If they could only find someone at $2*X/hour, they would either not farm tomatoes or invest in machinery.
Might as well say the same thing here that I said on Twitter: this is a waste of government resources for the sake of being mean. ICE has a charter - to investigate and infiltrate border-crossing crime groups. Drugs, human trafficking, money laundering, that kind of thing. This particular op had no chance of finding anything like that. It was targeted at people who posed no harm to anybody. Yes, maybe it could have caught a few of the people ICE is supposed to be looking for, but almost by accident. The price in both dollars and in liberty was too high for that to be a strategy, and there's no way that was even in the minds of the people who planned or implemented it.

ICE as it exists should be abolished. Even some ICE old-timers who were doing its real work say so. A new agency with ICE's original charter would be a reasonable thing to have, but there's no way to get that under the current structure.
It's a bit ironic watching this get flagged the day after the top HN story the entire day was a post bemoaning that the internet is no longer fun or weird: https://news.ycombinator.com/item?id=19038327
> Are you suggesting publishers should not view 5 year olds as valuable customers?

Yes? I mean, 5 years old...
It would not. An import tax reduces imports, but also reduces exports by a greater amount. An export tax on real estate transfers to foreign persons, cash or cash-equivalents, luxury goods, artwork, and technology--such as engineering documents and diagrams, manufacturing machinery, and firmware source code--would also not solve it, but it would bite a bigger chunk out of the problem.

Imports are paid for by exports. The US is currently paying for the manufacturing that it exported with dollars and documents. It could be paying with cars, and airplanes, and espresso machines, and in-sink garbage disposals, and novelty CNC lathes for engraving wooden pencils and chopsticks, and rapid refrigeration devices for single canned beverages, and maybe even non-imaginary 8K OLED television sets. If you make the specific exports that produce the most internal economic activity the cheapest way to pay for imports, increases in imports would encourage more exports.

If you're covering a trade deficit with cash, that impacts the same currency you use to conduct domestic trade--you're giving the trade partner leverage over your whole economy. What you really want to do is make a note spent in your own country buy far more than the same note spent elsewhere, so that the notes stay in the country, and the goods and services get exported instead. But you also want the rest of the world to have high demand for your currency, so that you can bring in a lot of imports, or go on lots of cheap tourist vacations. So devaluing your currency is not the best option.

But if you had, say, a 50% tax on foreign money transfers, if someone were to buy a $1 doodad from Elbonia, they would have to pay $2 for it in cash--$1 for the importer, and $1 for the tax. But they could also pay for it by purchasing a $1 doohickey locally and trading that for the $1 doodad, avoiding the tax, and keeping the $1 circulating in the domestic economy, and the Elbonian money circulating in Elbonia. Instead of taxing the trade itself, tax imbalanced trades and trade deficits.

Of course, any real-world implementation would be politicized to Hell and back, and chock full of loopholes, but it works just fine between imaginary countries.
> So it was fantastic, right up until the point that it wasn't?

They seem to have found a happy medium with Facebook, which seems to be the key with social media - stay in contact, but don't let it rule your life. That, as well as pretty much everything else requires finding a balance.
Things that fit that "great until it's not" description:

- Eating Chocolate Cake
- Sex
- Programming
- Driving
- Fasting
- Being Awake
- Sleeping
- Not Working
I think it's wrong to market addictive entertainment to children even if they're rich.
Same. I've been using "News Feed Eradicator for Facebook": https://chrome.google.com/webstore/detail/news-feed-eradicat...

I still keep my FB account for messages and events, since my friends and family won't all delete Facebook en masse, but this has removed a whole bunch of wasted time.
They're only called "whales" because they're a great catch, in the fishing sense, where historically a whale was a singularly huge source of meat, blubber etc. Something you can hunt and exploit for profit.
> Uh, I don't think so? Pretty sure they either gave up, decided it was unconstitutional, or both.

I think it's technically still a law that's on the books and the American federal government did try to claim PGP was "munitions" at one point in the 90's, but the feds were skirted by PGP being printed in a book which is protected by the 1st amendment.[0]

[0] https://en.wikipedia.org/wiki/Pretty_Good_Privacy#Criminal_i...
I agree for this volume of data incremental is the best choice.

My projects so far ranged from 1-100GB so a full daily backup is quite quick done and its more easy to recover compared to applying incremental backups individually.

Well, always choose the right tool for the task.
Ahhh, my bad. I thought you were the same commenter as the first guy, and I doubly goofed by misreading the comment in the first place. The dangers of commenting before coffee. You're right, the difference between redex models and racket's implementation of them would be confusing, and I don't have enough direct knowledge to provide any insight there.
> Are you suggesting publishers should not view 5 year olds as valuable customers?

Mu; your question is a shitty rhetorical trap and I am certain you know it. Designing systems to exploit children is reprehensible; designing systems to exploit anyone should give you pause but children haven't finished baking their brains and everyone involved knows it.

And Facebook does not need you to cape up for them. Their stock ticker will do just fine, thank you.
>I hate Fox, I hate Trump, but the left wing is deconstructing foundational liberal pillars. To lay the entirety of the current political landscape at the feet of Fox News is just nuts, I'm sorry.

100% correct. I think it’s crazy how many people’s view of the American Left and Fox News together are stuck in 2008.
I thought I remember it being a campaign position, mainly stemming from it applying downward wage pressure on tech workers. It looks like it used to be but then he changed it.

> Donald Trump signaled a shift in his stance on visas for highly-skilled workers Thursday night, moving away from the position he took on his campaign website.

Source: https://www.politico.com/blogs/2016-gop-primary-live-updates...

Looks like he's flip-flopped a few times.
I woke up this morning and it was -25f (-30c). Just the walk from my parking spot to the door as cold. How does your little vehicle solve this problem.

This is actually a real question, I just moved, my commute it now <5km and my car doesn't make sense. However what can I use instead? I'm trying to find a good option.
apparently, there is one in the works https://deadline.com/2018/04/paul-le-roux-michael-mann-book-...
Reminded me of zoomquilt (https://zoomquilt.org/) a collaborative infinite zoomable 'painting' from the earlier internet.
I thought you were talking of Richard Melville Hall. I did not know about this other Moby ;)
Zuckerberg is so full of crap. He’s still the same creepy person he was in college, but now he has a money printing machine.