skysight-inc/HackerNews huggingface dataset:
I don't think that is quite correct. By that definition, any alhorithm that is free of deadlocks would be a lock free algorithm. But, I'm fairly sure that isn't the case - otherwise a hashmap protected by a single mutex would be considered a lock free data structure since as there is only a single mutex, deadlock would be impossible.

I think the key paragraph from the
Wikipedia article is:

"In particular, if one thread is suspended, then a lock-free algorithm guarantees that the remaining threads can still make progress. Hence, if two threads can contend for the same mutex lock or spinlock, then the algorithm is not lock-free. (If we suspend one thread that holds the lock, then the second thread will block.)"
In this case, "trying to prevent some crimes [of government employees leaking the golden key]" possibly means "don't make a golden key that lets governments freely hack everyone", which is generally being regarded in this thread as the non-dystopian result.
The end result is still things like “wow, my tumblr account sure is a lot quiet now that all the people I was following because I liked their weird cartoon porn are gone”.
Also, there's no way the people here would support the monstrosity that was the average self-designed myspace page. People here complain constantly about small usability issues like scroll hijacking or overall bloat from minor animations; just imagine sites wantonly abusing things like flashing headers or an entire page full of glitter.
lol I know right, same with Brave.
> It shouldn't be a manager's problem that their professional communication makes team members uncomfortable.

I would think it's quite the opposite - the purpose of a manager is to make their teams effective and keep up morale so they can be productive. If a manager's approach to "professional communication" makes their team members uncomfortable, that's a sign they're a bad manager, just like if my approach to "professional sysadminning" makes my teammates uncomfortable and fearful, I'm a bad sysadmin. Communicating well and productively and in a way that doesn't make people uncomfortable is a skill. Like any other skill, it's learnable to some extent and there's innate aptitude to some extent and if you don't have the skill you're not qualified for the job.
>Number 20 in logic is incorrect.

>What isn’t complete is a recursively enumerable axiom system that contains arithmetic of the standard model of integers.

That's exactly what #20 says. The "axiom system" there, by definition, includes Peano axioms (2nd sentence of #20).
If only there were research apps to get those independent figures...oh wait.
I wonder, will this large part of Facebook users that still uses the platform (and Watch) eventually migrate to Instagram as well (as most of North America and Europe appear to have done?). Or does the standard Facebook actually better cater to a large part of the world's population than Instagram?
Usenet still exists independent of Google Groups. Google provides an interface for users to post on Usenet groups, at least until they decide to stop supporting it, but you don't need Google at all to get on Usenet: http://www.eternal-september.org/
I've always felt type coercion is a pragmatic recognition of a lack of time, but also a lack of analysis and abstraction. If you are type coercing in an existing body of code, you probably walked into an ill-understood quirk in the key information model, or a change in circumstance.

If you are routinely coercing types in new code, you haven't done enough design and analysis. Something is off-key.
I hope this will pierce the HN anti-FB bubble somewhat. It's dangerous to believe one's own BS. FB is here to stay, although I do believe it will wither in the long term (5+ years).
That's right. Truth is not a defense at all in defamation cases. If your intent was to embarass or defame then even if what you said was true you can be convicted and do time.

Not sure if the case could be filed in Thailand. But if it was, Musk would be convicted for sure. The rescuers are all heroes in Thailand and what Musk said was very offensive and designed to do nothing other than defame the rescuer. Nothing would come of a conviction as long as Musk never visited Thailand again since nowhere would extradite him.
Its not that they dont care about privacy a number of people do as others have said their bedroom windows likely have curtains. They likely close their bathroom / bedroom doors for privacy.

The issue is they either dont truly understand the technical implications or they have already been so invested into Facebook personally and with no alternative to migrate to in sight (they bought Intagram which could of been one) they have no recourse currently. I hear it all the time here about events being vital or just connecting with family.
That app is known for casual unchecked trolling. It's the 4Chan of tech despite employer email verification. Mashable is trying to make it more than what it is for easy clicks. I read the exact thread where the employee posted that comment.

The follow up comment posted by the same employee was this:

"Yup! That's the sign on a loser. Look at my paycheck at FB! That all I have and I am proud of it. Fuck ethics and morality.

We FBers love to brag about our paycheck size!"

You decide for yourself if that sounds like someone who's being serious. Also keep in mind that employee headcount at FB is well over 35,000 globally. People will be people. Sense of humor varies wildly in a population that large. Again, it's pretty shitty low-class trolling, but trolling nonetheless in my opinion.
Why Chicago train tracks are being set on fire
Apple didn’t just ban the App, they revoked Facebook’s privileges to “side load” their internal apps, so Facebook employees can’t even order lunch or a company shuttle.
As a former tradestation trader, whether you use bar charts or candlesticks or whatever, they all simply reflect price.

Using past historical data for backtesting is very tricky because too often in continuous improvement you will merely "fit" the algorithms to the historical data - - - but when you trade it forward for a year or more you get to see how really bad your model sucks.

I once had a algorithm that made millions on 5 years of historical SP futures data (15 min bars), but testing it on live data foward it puked within 2 months and lost a fortune.
Google+ for consumers will shut down on April 2nd
PlushBeds+Best+Value
If an entire denomination has historically male clergy and believes in following the Billy Graham rule, is it not systemic, too?

(But yeah, if it's just me by myself in an otherwise-equitable industry, yes. I'm not convinced I'm in an otherwise-equitable industry though.)
I use WideProtect on iOS to block any calls with that match my area code + first 3 digits. It's been working pretty well for over a year.
Global Socialist LEFT :-

* Blame ALL WESTERN MEN

* Remove due Process

* Duthal Model makes Men guilty automatically when ANY crime has a female in it (since the 70s)

* remove due process & have kangaroo courts in Western Universities

* Blame ALL men for rape, dv, crime

* refuse to arrest WOMEN with the same crime for the same punishment/conviction

* Refuse to hold WOMEN accountable for lying about RAPE and DV

----------

Men CHOOSE to walk away from

Helping wamans

Dating wamans

Cohabit with wamans

Marrying wamans

No more free food

No more free lifts

No more free beer/wine

Men start to record themselfs via CCTV and audio bugs

1 week later after news of wall street doing that

Canada cucked system BANS the use of footage for EVIDENCE
against waman

Are you REALLY FUCKING SURPRISED WHEN MEN REFUSE TO HELP WOMEN

WAKE THE FUCK UP
Well this week we've seen the first Belgian Unicorn (Collibra) but that news didn't seem to reach HN.

http://www.brusselstimes.com/business/technology/13911/bruss...
Facebook up 11.59% today
The Government.
> ironically dismissing the opinions of a neurosurgeon as unscientific in the process.

Ah yes, you're referring to Ben Carson, the famous neurosurgeon. Let's take a look at one of his more prominent scientific statements on homosexuality:

> "[homosexuality] is a absolutely a choice (...) because a lot of people who go into prison go into prison straight—and when they come out, they're gay. So, did something happen while they were in there? Ask yourself that question."

Brilliant, right? In a subsequent defense of his statement (couched in an apology of sorts), he went on to deny the very existence of transgender and intersexual people:

> "I'm a doctor trained in multiple fields of medicine. Some of our brightest minds have looked at this debate, up until this point there have been no definitive studies that people are born into a specific sexuality. We do know, however, that we are always born male and female."

Unfortunately his vast medical knowledge and experience seems to have left him completely unaware of the numerous people born physically hermaphroditic, or the much greater numbers of people whose non-binary sexual development is caused by hormonal conditions such as Androgen Insensitivity Syndrome.

That such profoundly ignorant statements lead many people to discount Dr. Carson's opinions is thoroughly unsurprising.
Alas. Tesla, like all companies, could use compelling competiton.

Is it the range? I think they went too low.

Or just general Jaguar unreliability?
I'm fairly certain that most of my opening salvos in evaluating the quality of someone's charts come to me from people regurgitating Huff's book.

I'd put it in a class with Fred Brooks; dead obvious, but somehow needing to be constantly re-explained to a new group of people (or the same people at a later date).
I understand the point being made, but it's arguably irrelevant why Duckduckgo's results are lower in quality - the switch still involves the loss of not insignificant utility, which goes against the experiences I'm reading here from all the people here saying how great their search results were.

Moreover, I'm not convinced it's entirely due to my search history, location or other online history. It's definitely not search skills, or inspecificity of search terms that's the problem.

IMHO, it's mostly poor coverage. In my casual experience, it's particularly evident in academic journal articles, but there's definitely poorer coverage in general. Even when I know the web page I'm looking for, I can't get it to show up in the search. Or, as I mentioned, a blanket search will bring up a page or so of relevant links, compared to many pages from google.

The elephant in the room here is Bing. Bing is an objectively worse search. There's no way around that, and no ideological dressing that can change the fact.
Could probably write a small extension that disables paste blocking
RSS is alive, and for dumb sites there are hacks such as https://github.com/RSS-Bridge/rss-bridge/-
Does that DAU include pages, business etc? So a single user could be double or triple counted?

Do we know what percentage of this could be from bots or other third party software?

I’d love to see independent polling via street surveys in a few countries to test their numbers.
see this is why i browse under 'new' sometimes

:D
Nice way to jack up rates.
>For instance, for elliptic curves, only a single result is mentioned (their points can be endowed with an abelian group structure), and it's really one of the most basic ideas known about these objects.

One might even say it's a fundamental idea.

Which is the whole point of the document :)

Indeed you are right!
From archive.org: https://web.archive.org/web/20190131000036/https://lemire.me...
No one said that it does, you are misrepresenting what you are replying to.
You are talking about a type of discrimination that you explicitly say "you" (i.e. one) choose to do, not about the nature of the evangelical clergy. Unless the "you" in your statement is only supposed to be a stand-in for the evangelical clergy reading your comment... Which I took it to not be.
Ah, so "the lowest score" means 1 out of 10 (for example) instead of "of all the scores assigned 3.5 was the lowest."
> I feel like only celebrities deleted FB accounts during the whole #DeleteFacebook thing.

and after they deleted facebook, they went on their Instagrams.
Correction: anti-intellectualism and the forces of ignorance have been a part of "history" from the beginning. I fail to see what makes America so special in this regard. There's plenty of ignorance everywhere you look. Europe, Asia, Africa, Oceania, South America. Yup.
I didn't downvote you, but I imagine I know why others did.

You seem not to understand the concept of Devil's Advocate, while the person you responded to clearly does.

It's only the argument that counts. A person is thereby shielded from association with the argument and does not need to show their real intent.
You honestly think that Facebook is lying to investors about key metrics?

Do you know how much of a field day of litigation the SEC would have if that were true?
I didn’t read that part but the statement is still wrong. Take as your model the standard model of integers. Collects all true statements of this model. Make this your axiom system. It is now complete and contains the first order Peano Axioms.
I have an issue with calling enterprise certificate distribution a "back door". It is a good thing for specific uses. Facebook & Google misused it for something inappropriate, explicitly against rules Apple set for it. It is hard to enforce this kinds of distributions, but it is very useful for lots of people and companies, which are not into data collection business.
Summarized, I understand that you mean that a malfunction in the "reverse-thrust-detector" (which switches off automatically the involved engine(s) when the reverse-thrust is not operating within its envelope => referenced as "feature" below) is more desirable than not to have it?

(because if, when having a mulfunction of the detector's "feature" in mid-air the engines switch off you still have some time to fix/override it, but on the other hand when not having it if your reverse-thrust engages you're screwed immediately - and even if the feature fails nearby the ground you're still be slow & low enough for at least some passengers to have some chance to survive)

Correct?
The problem is really complex. As a manager sometimes needing to give bad feedback, or assinging unpleasant tasks to females direct reports, it is always stressful for me. There is a chance that even without malice, the female subordinate interpret that I am being unfair or punishing her. So I just avoid it, I don’t know how to approach hierarchy that sometimes generate uncomfortable situations with a metoo era. The solution is not what the article suggests, I have daughters and I want a better world for them, but this is not about educating managers.
Healthcare IT Thesis – 8VC
Are you trying to say something, or did that word salad you vomited up only exist for the purpose of satisfying your need for attention?
This is a bizarre argument to me, and I remember thinking that the last time you "pointed it out".

You're essentially saying that tens of thousands of dealers and hundreds of billions of dollars worth of car companies are going to go out of business because they can't find a mutually beneficial incentive structure.

It's not going to be all roses, but Tesla shunning dealers hasn't exactly been either, from a service quality and cost structure perspective.

Porsche doesn't seem to have any trouble shifting Taycans, doubling their production from an initial 20k to 40k units a year (simultaneous to Tesla cutting their X/S production from 100k to maybe 80k).

Here's my prediction: legacy auto manufacturers will continue to be years behind Tesla, but if and when the space matures that'll stop mattering. At that point, Tesla better stop acting like a startup and have their shit figured out, lest they become the Myspace of EVs.
I think a lot of people do love it. Not the company, of course, but many find the service it provides invaluable. Same goes to WeChat for example, I know quite some people who can't give it enough praise and it is arguably a worse offender than Facebook in all conceivable aspects.
The fine is in addition to enforcement. It's not a fee they can pay to avoid GDPR compliance. They have to do that as well.
Startpage: Anonymizing Proxy for Google Searches
Correct. I wish they stuck it out with OSM, that project needs more support.
Given that the Wii Virtual Console games were a bundled emulator and ROM, and you could swap the latter out, I imagine the content is indeed available.
That's what happens when you aggressively scale a business. They could have throttled back and been a profitable niche manufacturer with the Roadster, and again (albeit a bigger niche) with the Model S, and again now with the Model 3. But that's not their goal, so they're continuing to expand as fast as possible, and that carries risks.
Honest question:- Does a typical Indian care about privacy/security?

When I was their I had my colleagues mention that most of them find any kind of password a burden to use a service that they see usage drop significantly if they enforce strong password requirements. I don’t think that is a reason not to, I am just saying what the reality seems to be. Hopefully it’s just a subset of population and most of them (increasingly) care about security.

Also are privacy/security laws enforced as strongly in India as other parts of the world?
"That means employees can’t access lunch menus... (or) catch a bus to and from work"

I have a dream that someday, somehow, we won't specifically need an iPhone to access basic textual information.
Starting from a point of view that people are dumb never lead to great results!

But it’s of course a easy way to defend ones point of view :)
they've lied about metrics before: https://www.theverge.com/2018/10/17/17989712/facebook-inaccu...
holy f. well done
Model Y. So Tesla will have four models: S 3 X Y
Hahaha feed me your downvotes. It fuels me and validates how much of a threat it is to you to treat world affairs without cartoon labels.
Many of us in the software community know that if the feedback loop isn't fast enough, it doesn't work.

I wonder if you made mammographers spend a day a week analyzing mammograms from 5 years ago and then showing them the outcomes if they would get more accurate?
One method: Use psychologytoday to find 3-6 that seem decent close to you, and then do 3 sessions each with ideally 3+ therapists, and then continue with your favorite. Reasoning for that is that apparently your "strength of therapeutic alliance (i.e. how much you respect and trust the therapist and their methods, are willing to open yourself up to them, and feel that opening up received in a way that resonates with you)" is the biggest predictor of outcomes.
I agree. I love systemd as compared to the other ways (though I think launchd is pretty nice too).
Fun is awesome, it just doesn't pay the bills.
That type of post is rather uncommon in my experience on these particular boards. Those types of posts are heavily self moderated and shut down by the community unless they are on /hum/ (The emotion/feels board). I'd give these small chans a chance as I find them fairly unique in the world of image boards.
The entire article is political flamebait, so on-topic comments would also be political flamebait.
The Importance of One-On-Ones
I don't remember the attribution, but one of my favorite quotes goes something like: "There are lies, damned lies, and statistics." I think I first remember seeing it in the foreword of a chapter in the book "Against the Gods: the Remarkable Story of Risk" by Peter Bernstein
This is Your Brain Off Facebook - study offers glimpse of unplugging
Elon Musk wants Teslas to automatically call a tow truck when something breaks
I don't qualify as far more knowledgeable than you, in fact I'm probably less knowledgeable but with a different point of view.

However with that disclaimer, the fundamental challenge is that when we start reasoning about reasoning, things that "should obviously work" run into trouble. (Most commonly due to variations on the liar's paradox.)

First order reasoning within a first order logic system that we think is good is "obviously correct" reasoning.

Second order reasoning introduces as much reasoning about reasoning as we think we can get away with, hopefully without causing problems. The result is that second order reasoning lets us talk about what kinds of unverifiable statements we can discuss the absolute truth of. But I'm uncomfortable with talking about the absolute truth of any unverifiable statements, which makes it feel like discussing the subtle shades of BS we fool ourselves into believing.
No established car company has released a car that even attempted to match Tesla in terms of performance, range, value for money or overall feature set. Maybe the new Porsche will be close, maybe not, but nothing else is even in the ball park.
The NYSE composite index is up by 1%. DOW by 2%. NASDAQ by 2%.

Facebook is up 4% in-hours, and 12% in after-hours trading.

Do you look at facts backed by data? FB is beating the market with a whip.
He got to see a fair few of them as well in the 30 years since that article he lived for. Perhaps his writing had a hand in the inspiration. When I’m out of ideas I look at science fiction for inspiration.
>Those participants then rated themselves more sophisticated. Of course if someone frames it like that they would say they were sophisticated. What is the negative there?

An altered self image as the result of merely staring at a luxury watch advertisement is more than a little conncering. If psychological self assessment changes even in the context of a small study, what do hours of this stuff per day do to the human brain?

the precautionary principle implies that we don't run an unsupervised experiment on the psyche of two billion people on the planet which primarily serves the purpose of distributing money to facebook.
I was super impressed on the recommendations from FB watch where I just kept it auto-playing the next and the next video. Their tech isn't as good, their videos are choppier than youtube and netflix, but their recommendations were insanely good.
Python can't use multiple cores, in contrast to the other lisps?