skysight-inc/HackerNews huggingface dataset:
In my mind Prolog is enjoying a health afterlife in the form of Erlang (and Elixir)
The politicians in the US, Germany and France didn’t create the loopholes tech companies use in Ireland. The globalization of business is what allows maneuvers like the “Dutch Sandwich”. Taxation hasn’t really adjusted to this type of international tax avoidance. It will likely be a prominent discussion over the next 20 years based on the Panama Papers.
“A lot of productivity PC” builds are going for $1700 Intel CPUs... really? Even if the $1700-CPU PC market was really popular, tell me: why would they choose the slower of the $1700 CPUs, other than corrupt or beurocrafic business practices?

And don’t try to argue how Intel’s $1700 18-core CPU is faster than AMD’s similarly priced 32-core CPU because Intel’s has slightly faster per-core performance. Such an argument would be absolutely absurd: the point of an 18-32 core CPU is NOT the single threaded performance :)
This seems to be based on the premise that alien civilizations can only find us if we broadcast and doesn't account for them sending out probes

Even in that universe, we know they could easily send probes out to the galaxy and it would solve the whole "chain of suspicion" thing that makes destroying alien civilizations the best option.
Google Sheets Query Function (2016)
Good luck with the source code of a database you didn't write...
Simultaneous Multi Threading (SMT) is the generic term for Hyper Threading
The constitution defines China as "a socialist state under the people's democratic dictatorship led by the working class and based on the alliance of workers and peasants" [1]. It may be "democratic" in the sense that elections are held, but it's not a democracy in the modern sense.

[1] https://en.wikipedia.org/wiki/People's_democratic_dictatorsh...
String slices and views in swift have a distinct type from string. Implicit property types can bring this problem back, but it is at least harder to do by accident than in Java.
Brittleness and Bureaucracy: Software as a Material for Science
The rub is what “more competitive” actually means. I get the feeling lots of people think it means lower taxes, but limited government also hurts a company’s ability to hire educated employees if lack of funding hurts education.
Our parties change around every half century or so. The US has gone through several rearrangements of parties.

https://en.wikipedia.org/wiki/First_Party_System
https://en.wikipedia.org/wiki/Second_Party_System

We're arguably currently on the sixth one.

https://en.wikipedia.org/wiki/Sixth_Party_System
I don't think that any traits are inherently negative. For example I have some autistic or Asperger's traits. I had spent many years being confused that I wasn't able to do some things socially that were super easy for others. After learning about this I just felt relief. These traits are part of me like my height and hair color. Not negative, not positive.
It's a risky structure but Softbank continues to hit it out of the park with bets at a size that nobody else can match. Also the positions can be liquidated it just takes time
Can Blockchains Solve Ten Years of Standardization Failure? [video]
On the upside, the bypass is very splendid and worthwhile. Even ignoring something as extreme as the Dark Forest theory, it still seems like a questionable policy. A more conservative aim would be to want to maximize development time against the risk of discovery, ideally ultimately finding yourself in the role of observing without being observed. The history on our planet of first contact between disparate groups of humans should be illustrative. Even when people had good intentions, the unforeseen impacts could be enormous; I’m thinking of smallpox, and even the history of coexisting Neanderthals and Homo Sapiens. Maybe aliens are totally different, but it’s a hell of a thing do, assuming they would be more benevolent.
"Just use" the exact same company for a dial up option. "Just use" a cellular provider that does not actually provide a data signal (dropped calls and constantly resending texts is my reality not tethering my computer for fast data). I guess technically I have the "option" to use overpriced satellite service that has a latency that makes RDP to my data center 80 miles away unusable (geo stationary orbit altitude is a bitch).
I actually appreciate that I even have 5Mbit DSL but don't tell me I have a weak argument about ISP choice - there is but one choice - even if I grant you a satellite option I have literally two or three choices total.
To re-address my original points, I first have to use an ISP to access any of the dozens, hundreds, thousands of other digital services that have been brought up. I'm not sure how you are so dismissive of this fact that alone places this service in a category unto itself.
Once I have an internet pipe, I can freely use the 0.1% market share or the 99% market share social media/hosting/search engine/registrar/etc company with literally no friction and based on my whim on that day. And the next day I can cancel and choose another option. And a year later I can choose the 5% share up and coming option and so on. Explain to me how this is so similar to my ISP "choice"?
I can also literally start my own social media platform, hosting company, or registrar tomorrow. However, even if I were independently wealthy and purchased spools upon spools of fiber/coax cable that totaled thousands of linear miles, I could NOT just start digging and running it where I chose and become an ISP option for my neighbors. Again, explain to me how ISPs are just exactly like all of these other examples you brought up?
My father said he wouldn't trade his WW2 experience for anything, and wouldn't go through it again for anything.
I think this reaction is justified. The HN reality distortion field is at effect here where otherwise intelligent and rational people make completely unlevel arguments on the basis of weird logic.

One or more SEVERED FINGERS absolutely does justify an emergency response like calling for an ambulance. You know, "severed finger?" Meaning a finger that's been detached, ripped ragged, caught from it's bone and pulled off - that's what a severed finger is.

People in here are seriously arguing that it doesn't merit a call to an ambulance. As if a person in that situation is going to deduce the pros and cons of the situation at the time.

Common sense is too often a stranger here. Logic can take you far, but as in the case of this thread, much too far out.
Thoughts on the Cpp Graphics Proposal
For the sinner deserves not life but death, according to the disk devices. For example, start with Plan 9, which is free of sin, the case is different from His perspective.

— Mark V. Shaney

Hey, that one’s a bot.

I’m also trying to figure out what’s left if you take out all the “avoid complexity” and “avoid XML” quotes...
The point outlined is that we don't know enough about how we identify objects to discard a simple adversarial attack; probably not a filter-based but maybe something else.
1. TLA+ is a language. TLA+ specifications can be verified with either a model checker or a proof assistant. TLA+'s proof language is one of the most elegant I've seen.

2. A model checker most certainly provides 100% guarantees. This is why it's called a model-checker: it checks that a system's Kripke structure is a model[1] (i.e. a satisfying assignment) for a formula. It's just that model checkers often fail to check infinite state spaces and so people often check a finite instance of a specification. While model checkers have occasionally found errors in (informal but peer-reviewed) "proofs", I am not aware of any cases to the converse (obviously, when a finite instance was used for an infinite-state system). Both model checkers and deductive proofs have limitations and are generally complementary, but currently model checkers are considered to be much more scalable.

Also, model checkers don't "simulate a model some number of times." (the model-checking algorithm for temporal logic won the Turing award for its inventors). Even in finite state cases, model checkers check temporal formulas on infinite behaviors (e.g. that every request is eventually matched by a response).

[1]: https://en.wikipedia.org/wiki/Model_theory
Judge: Qualcomm Must License Modem Tech to Rivals Like Intel
Maslach Burnout Inventory (1997) [pdf]
I think [1] shows that it is far from being an unfair synopsis of their mission statement.

[1]: https://news.ycombinator.com/item?id=10039202
Researchers train AI to spot Alzheimer’s disease ahead of diagnosis
Meyers Briggs is nonsense. https://en.wikipedia.org/wiki/Myers–Briggs_Type_Indicator#Cr...
This situation might be because the ambulances are operated by NHS which is also UK health insurance, therefore for citizens no charges apply. Similar thing in Germany: the ambulances directly bill w/ health insurances, nothing needed except the insurance cards.

Now, the NHS may not charge German patients themselves for an ambulance ride in UK but either quietly deal directly with the German insurance to get the cost back, or eat it entirely because the administrative overhead would cost more than the fees paid by German insurance would actually bring in - while the German ambulance operator might have decided to put the administrative burden on your friend.

tl;dr: international health care insurance/refunds are weird, avoid if possible...
Grab pulls in $250M from Hyundai as ongoing round reaches $2.7B
I suppose because it's worth trying and the price is not unreasonably high.
But the 15MB indexed limit to me seems strange on premium, as others have mentioned.
I recently had to ask 5-8 colleagues to fill out a TRACOM "Social Styles Assessment" for an upcoming training program at work, so this is something I've been curious about as well. It appears that TRACOM's Social Style Model is more "effective" than the leading Meyers-Briggs program [0], but I'm not clear on how that compares to people who do not participate in any training/assessment at all.

edit: from the linked journal article:

> In addition, 73% of these professionals believe that interpersonal skills training is eﬀective despite the lack of empirical evidence for such a claim.

[0] https://www.researchgate.net/publication/227809050_An_empiri...
i reached a point where i have all the notes that i cannot manage in Trello. i still don't know what will be the right design to manage all this crap but it's on my watch list.
I agree that most D-K references are tedious and self-aggrandizing, and contribute nothing to the conversation. The best way to handle them (or any dismissive, unsubstantive comment) is to downvote, and never take the bait and respond.
I upvoted your comment because you make some good points, but I lost you towards the end there when you boldly proclaim that we're out of good, big, impactful ideas.

There is so much great work being done if you just look around a little bit. The advances in computation photography this decade are incredible. AR will be ubiquitous soon enough. VR has a chance to change how we communicate. There's autonomous sailing drones scouring the seas and mapping them out, streaming data back. There's tiny low cost satellites being launched frequently to image the planet. There's rapid progress on electric transportation in full swing.

There's a lot of these areas that are funded in part by VC. The very nature of VC ensures that the quality of firms also follows the power law so it's not surprise that a majority of funds lack imagination. But if you look at the really great firms, they're still investing in big ideas. Sure they may not be the lowest hanging fruit in the field as you mention, but they aren't precluded from being big, or impactful ideas driven by technology.
Scientists Develop Liquid Fuel That Can Store the Sun's Energy Up to 18 Years
A Polish Army unit had one in WWII: https://en.wikipedia.org/wiki/Wojtek_(bear)

Apparently he was used to help move crates of ammunition.
Please provide evidence that Hetzner has more drive failures than AWS?
Beside syntax, those languages are nothing like Prolog. Notably lacking are backtracking and logic variables.
I acknowledge the contextuality of wisdom but I also acknowledge that making the same mistake 20 years in a row doesn't make you any wiser - it just makes you find new ways to justify making them over and over again.

You don't seem to come from a poor background if you think that wisdom always bring good.

Negative experiences spanning decades of your life will make you contempt with the false truths. And you will never agree it's not the case because it's so hard to believe all of your suffering was for nothing.
This guy uses it: https://youtu.be/jweQNDCe218

Don’t know about you but his builders actually benchmark the CPUs.

Dansgaming uses the 18 core i9 for his streaming box.

Not every application a person uses scales to high core counts, in such situations a CPU with good single thread performance (in addition to high core counts) would be beneficial.

Cache performance matter too. AMD’s CPUs have a split L3 cache. Some applications might not like that.
Python 2.2 added a compile time option for using UCS-4 internally.

https://www.python.org/dev/peps/pep-0261/
Gates Foundation spent $200M funding toilet research
Visual Studio Code extension to sort markdown tables
I think you're trivializing their accomplishments just a tad.
I did a good bit of research on the performance differences between different kinds of React components and back in February and submitted a PR to the React docs: https://github.com/reactjs/reactjs.org/pull/645. If you want to read it (note: no one on the React team has reviewed this yet, but I was careful to confirm my findings): you can do so here: https://deploy-preview-645--reactjs.netlify.com/docs/optimiz....

Unfortunately there is a long backlog of PRs to the React docs waiting for review so I don't know if/when this info might be incorporated into the docs. Also React is evolving so fast that it would need to be updated, e.g. to mention memo, and given that fast evolution I can understand why there's a backlog. But I do hope that someone on the React team eventually has time to look at adding more explanation to the "Optimizing Performance" section.
You’re confusing disorders from personalities.
We can observe a lot more in the cosmos than we can physically reach. We are mapping out and tracking far more stars and planets than we could hope to reach for a long time. Even within our solar system, we have gained and will gain much knowledge of the outer planets from probes well before we set foot on them. I would expect this property to hold for other civilizations, it's just much easier to observe far away things than to transport complex life forms to them.
Published paper: https://pubs.rsc.org/en/content/articlehtml/2018/ee/c8ee0101...
Read All Barcodes from TIFF and New Architecture of Barcodes Recognition Filter
Hey, now that makes sense, I'd rather see inc.yahoo.com or official.yahoo.com but this makes sense. I'd never noticed/ran across it.
Could you give some or a lot of examples of that? (I don't remember seeing that on here; maybe we read different things.) Have people said it to you more than once? Your language ('absolutely infuriating') is puzzlingly strong. You want to ban the mere mention of the thing?! Downvoting isn't enough? Or people just aren't downvoting mentions of D-K enough for your taste?
It's not just companies like Uber with independent contractors that make the unemployment rate bullshit.

Work 30 hours a week at minimum wage for McDonalds, and technically you're considered employed.
Mining Bitcoin is 3x more expensive than mining gold, researchers find
You know what? I love hash browns too. One of the best uses of a potato imo.

https://www.youtube.com/watch?v=BPX-wuplDvc
AT&T Is Discontinuing Service for Some Customers Following Piracy Allegations
My point is, for gaming there is no need to spend so much money just to get higher single core frequency. There are some games that are very poorly optimized, but I see them as edge cases which you can skip if it becomes an issue. Most games don't require overclocking really.
https://journals.plos.org/ploscompbiol/article?id=10.1371/jo...

true fact.
> Honestly, I'm not even sure that C requires the character literal 'A' to correspond to an ASCII "A".

It doesn't. Nor do chars have to be 8-bits.
If it was the same shape as the MacMini but just taller then it might still look cool stacked.
Uber will ban you by name, so you can't just use a new card.
Great response. To add more details... the second type of managers respond very poorly to when their workers have no idea what is going on and can’t reach targets/goals. In this case they need more leadership.

The first types of jobs Should have good leadership where the complex parts have already been decided and all that’s left is the implementation.

The issue is what happens when a worker for a type 2 manager is smarter and knows exactly what to do? That employees best course of action in their perspective is to get their boss fired and take their role since they are more capable.

When the type 2 manager gets frustrated due to incompetence that becomes scary since they lash out at their underlings for incompetence.

Type 1 jobs are more relaxing on the psyche as you don’t have to think about
And Google and Facebook on the forefront of privacy commitments.

Foxes are in charge of the hen house.
Type: Prices/Volume, Company Fundamental Data (EPS Growth, P/E Ratio, ROI), News (Earnings, New CEO, Divestiture, Weather), "Alternative Data" (Satellite Images, Transactions)

Vendors: Bloomberg, Thomson (Refinitiv), Factset, Compustat, CapitalIQ, Quandl

Quality: varies, you get what you pay for, cost anywhere from $100's to $100,000's/yr

https://www.quantopian.com/

^ probably good place to start
Sure. Imagine a world in which all tradition and culture was wiped out. Imagine a world in which all technology was wiped out. They're both absolutely horrible. And certainly, some traditions are better discarded, just as some technologies (the A-bomb being the prime example) are better left unexplored. I'm only trying to point out the tendency of our era is to forget humanitarian values entirely in the face of 'objective', 'practical', 'utilitarian' and technical progress.

I am making a value judgement, and your dismissal of my points simply because they entail value judgements is exactly the sort of attitude that has led to the dissolution of culture and the near reemergence of fascist and populist thought in arguably the most technologically advanced country in the world. There's a reason technology couldn't stem the reemergence of such thinking, and in fact the social conditions rampant, unquestioned (or if so, not nearly enough) technological development has caused has contributed to the revival of such thought. Such an approach annihilates dialogue before it can begin. Living social subjects no longer endeavor to understand each other because they fall back on a ideology that tells them they it's "above" values.

I am championing the philosophy of technology, and I am somewhat familiar with it, but I also genuinely believe it's important, and yes, that is a value, and one that I stand by. The sort of world I'm hoping will emerge in the future is dictated by those values. I just hope there's still enough folks in tech considering the future their current values might create.
Voice messaging reinvented
Unfortunately, a lot of people harbor negative stereotypes about some traits, such as introversion and anti-authoritarianism. People may also believe that they have a better chance of manipulating you, if they know something special about you.

And "there are no wrong answers" may just be a deceit, to encourage you to reveal those traits. Of course there are wrong answers.
Demand for Empty Condo’s has never been higher!
No, global warming.
Don't accept it, try to to change it!
I am using WireGuard for iOS and already vastly prefer it over OpenVPN Connect: WireGuard stays connected and doesn't exhibit OpenVPN's unreliable reconnect-on-unlock behavior. Your efforts are much appreciated.
What's the difference? Why would I try treat autistic tendencies differently from being introvert? I don't want to live my life feeling defective.
How deep does that go though? If you lose a close loved one, how close to "back to normal" are you 6 months, 12 months, 3 years, 6 years later? Is there always that empty pit?
Don’t know what it does after reading this whole email.
Probably start with some api. Check out Quantopian https://www.quantopian.com/help or IEX https://iextrading.com/trading/market-data/.

This subreddit has a lot of information https://www.reddit.com/r/algotrading
What adversity has life shown you? What suffering has come your way?
You can always use your 1nm tech to craft more precise circuits of the same size, packing them better. When it comes to the working chips that are made, assuming some tighter lithography that's equally functional to the previous one, it's only going to benefit.
I recently was able to unfuck my way out of a 300GB data loss resulting from a failed DB upgrade. By looking into the commit history of PostgreSQL, finding the commit with the PG_CATALOG_VERSION I needed, and compiling from that revision, I was able to re-run the upgrade with the parameters I needed. I'm not sure what I would have done if that had been MS SQL Server or something else.
Most of iOS is native code. That's why it beats Android.
That is not correct either.

Earth's crust: 2.77 * 10^22 kg

http://adsabs.harvard.edu/abs/2007AGUFM.V33A1161P

Earth's atmosphere: 5.15 * 10^18 kg

https://en.wikipedia.org/wiki/Atmosphere_of_Earth#Density_an...

The crust is about five thousand times more massive.
From personal observation I think it gives me some good hints. It's not even close to being the only factor but I find it useful.
Here are citations to my numbers (since I seem to be downvoted):

* Transportation: 28%

https://www.epa.gov/greenvehicles/fast-facts-transportation-...

* Livestock is 14.5% of all GHG emissions, cows are 65% of that:

http://www.fao.org/news/story/en/item/197623/icode/

* Stories on how the US Military is the world' biggest polluters:

https://www.newsweek.com/2014/07/25/us-department-defence-on...

https://www.foreignpolicyjournal.com/2009/08/15/the-worlds-w...

https://www.washingtonpost.com/opinions/america-is-the-worst...

Regarding specifically my nuclear detonation comment:

https://www.ecowatch.com/military-largest-polluter-240876060...

In addition, the U.S., which has conducted more nuclear weapons tests than all other nations combined, is also responsible for the massive amount of radiation that continues to contaminate many islands in the Pacific Ocean. The Marshall Islands, where the U.S. dropped more than sixty nuclear weapons between 1946 and 1958, are a particularly notable example. Inhabitants of the Marshall Islands and nearby Guam continue to experience an exceedingly high rate of cancer.

The American Southwest was also the site of numerous nuclear weapons tests that contaminated large swaths of land. Navajo Indian reservations have been polluted by long-abandoned uranium mines where nuclear material was obtained by U.S. military contractors.

TLDR: there's more to greenhouse gas then pollution from power plants. And nuclear power isn't problem free.
I don’t see how you can make any claim about “most human adversarial examples”. There is a huge space of images and we have explored a negligible part of it.

Also a) and b) empirically seem to be true of the test sets people have collected thus far of the natural world for these models.

In short, we have no evidence that adversarial examples of the type being studied occur commonly in images collected by self driving cars.
What is the best way to deal with this as an end user?

I see there is a Firefox plugin here: https://addons.mozilla.org/en-US/firefox/addon/nofbclid/

But perhaps it is better to deal with at a lower level, like on the firewall. Any advice would be welcome.
Probably extermination via a similar-yet-higher-powered laser, as the worst case scenario