skysight-inc/HackerNews huggingface dataset:
Scientists do not generally have faith in their hypotheses in the same way that religious believers have faith in the claims of their holy book or their religious leader. That would be an equivocation on the usage of the term 'faith', one usage being merely confidence or trust, which can be apportioned to the available evidence, and the other usage being a religious belief in doctrines regardless of available evidence.

If you start with the conclusion that the claims in your holy book are true and then work backwards from that by reinterpreting it when it seems to clash with the available scientific evidence, that would be exercising religious faith. If you hypothesize something and withhold a certain level of confidence in your hypothesis until it can be tested, you are not exercising faith in the religious sense of the term.
Show HN: The SC4-HSM is now a FIDO U2F token
For anyone wondering: the hash is part of the boot ROM that is being authenticated
Thank you for not titling this CSS4. Although in the long run, this misnomer will probably still carry on.
Show HN: Rview it. Collaboratively correct and improve your text
Branch Coverage Driven Development
> Abstract interpretation has to do with every proof technique regarding computation.

Are we talking about the same thing? Abstract interpretation as formulated by Cousot consisting of a covariant galois connection between a particular kind of denotational semantics (collecting semantics) and a complete lattice with finite height or well-founded widening/narrowing functions. It's not the final word in program logics by a long shot. For example, collecting semantics is lossy for reactive systems and ... I'm not even sure what the story with concurrency is. I know that Cousot and others extended it to higher order languages at some point, but this is not mainstream as far as I know.

> I don't understand. Then the same result applies to CiC. There is nothing intrinsically special about ZFC as a formal foundation, it's just what most people take as the foundation. Whichever foundation you choose, an unprovable program exists.

Yes, and this is the true point of Goedel's proof and the (partial) failure of Hilbert's program. In this case you cannot have your pie and eat it too. You can't quote Hilbert to claim that ZFC is the accepted foundation of mathematics and then quote Goedel to say that this doesn't work. Goedel's results are not just making a statement about programs, they demonstrate the failure of mathematical realism, and even Goedel himself never quite got over it.

> You've just thrown all of complexity theory out the window. "Lots of perspiration" can mean more resources than the universe can afford.

I didn't even consider that you believed this to be the problem. The thing you have to understand is that there are not that many PLT researchers. The group around Xavier who are responsible for CompCert conists of a handful of people and most of the work was done in < 5 years. Most startups in SV are better funded and staffed than pretty much every formal verification project. CompCert with a single backend (there are 3 official backends, with several ABI targets each) has about 60 kloc of ML code when extracted and about 100 kloc more in Coq proofs, the factor between code and proof you are looking at is about 1:2.

Most importantly, and unlike model checking or other completely automatic approaches, this is apparently a constant factor. So a good approximation is that you would have to write a program which is twice as large as the linux kernel (~20 mloc) plus the related tooling. This is certainly a big project, but I'm positive that we can meet your deadline of "before the heat death of the universe".
> Twitter doesn't have to "exit"

Some or much of the noise for that is brought on by major shareholders people who bought in and or have large positions which developed when the stock was much higher.
Ultimately, the argument for the helio-centric model is aesthetic. It is more elegant than the geo-centric when describing the dance of the stars.

So, are both systems equally right and equally wrong?

- Ultimately we're talking about a change in reference frame, which is a vector subtraction. They're mathematically transformations of each other.

- Since the Sun doesn't have infinite mass it, in fact, also orbits the Earth

- Neither system is an inertial reference frame. If we assume the Earth is infinitesimal, at the very least the Sun orbits the Jupiter-Sun barycenter (which is almost outside the Sun proper). So if anything we should speak of a "J-S centric model"

- Both are useful. The geo-centric model is quite useful and still used in astronomy (Never-mind tracking satellites, try understand your coordinates in the heliocentric reference frame.)

- The "corrections" of the geo-centric model are higher order harmonics, and can fit any motion and it's an early application of harmonic analysis. In fact, they're not actually corrections to the model, they are motions that naturally arise when describing circular motion wrt a point outside its axis.

- What's wrong with non-inertial reference frames anyway? Consider them "fictitious" or consider them real, we can calculate and consider the non-inertial forces.
No one is saying that the bible has a physically accurate account of the world, only that the church at the time based their understanding of the physical universe primarily on Aristotle, and I don't think you'll find many historians arguing otherwise on account of us having writings from them arguing and justifying their positions.
Ansible Container 0.2.0 Release
Integrations with other platforms are on our list, but right now we're focused on improving the product for existing GitHub customers. The GitHub market is so large that to split our focus right now wouldn't make sense.
What really drives me crazy is some parts of the left that treat borders as wishful and not as the ultimate expression of sovereignty paid in blood so a nation can exist. So that is the problem that I have with the illegal-ness of them. The economic benefit or loss is irrelevant.

Only invading armies have the "right" to cross a border without permission.
Why would those handy extra selectors make you hate CSS more that you do?

Why do you hate it in the first place? Because it's trendy to do so?
If all the connections in the pool are taken, then the database wouldn't have been getting meaningful additional work done anyway, regardless of your scheme for accepting connections.

Having 100-1000x more active connections than you have cores on the box is worse than useless, it's actively detrimental.
Using WordPress for implementing a necessary function for something to claim cloudiness seems the essence of what it means to hack.
>But climate change and its horsemen — rising temperatures, drought and bark beetle — are accelerating this pace.
Woah, that's a fun one to play around with. Pancake must be commonly used in idioms. Try deleting each word individually, it's pretty hard to get it down to pancake.
Yep, and a hash table's get is O(1) amortized even when you include the hash function itself, simply because the hash function doesn't change as the hash table grows. @rand_r is right that the hash function is doing C * log2(MAX_N) operations, but that doesn't actually affect the big-O metric, it only affects the run time. :P
Introducing the Debug Project
The link is an image of a print-formatted copy of the Wikipedia article https://en.wikipedia.org/wiki/Gabriel%27s_Horn which is more easily read directly on many devices.
I think the TRS-80 model III has generated more love / hate relationships than any other computer. My Dad had them for teaching college classes, and they definitely took folks on a love to hate to love ride in the space of 15 minutes. They were pretty damn useful though. I miss the old daisy wheel printers sometimes. Documents seemed more formal being pounded out.
I find it to be incredibly dismissive when presented with a list of great Catholic scientists throughout history, detractors brush that aside by essentially saying "Well, they had no choice but to pretend to be Catholic back then!"

What these scientists thought about their religion is often documented, but the detractors don't care to read any further as it might hurt their argument.

In reality, the enthusiasm for science in Catholicism comes from the knowledge that because the universe is created with a purpose, you can be confident that you will be able to find answers. There will be nothing capricious, arbitrary, or futile about the endeavor.

The great irony is the Big Bang theory is often given as a scientific alternative to the idea of a creator. Edwin Hubble usually gets the credit for it but it was actually Georges Lemaître, a Catholic priest.
We know who he's referring to on the far right, but who on the far left?

Bernie Sanders. He makes clear references to both Sanders and Trump with this quote:

As appealing as some more radical reforms can sound in the abstract—breaking up all the biggest banks or erecting prohibitively steep tariffs on imports—the economy is not an abstraction. It cannot simply be redesigned wholesale and put back together again without real consequences for real people.
That's the point. Google and the rest of the big 4 don't need ordinary plumbers, they need process engineers (the engineers who design the piping at oil refineries and chemical plants) because they are tackling problems that nobody has done ten times, let alone "ten thousand times".
Also you may be interested in Joanna Russ' "How to Suppress Women's Writing"
I've been telling people for years that my optical mouse has more compute power than my first computer. It's crazy how far we've come.

It's also unfortunate that we're seeing the end of Moore's Law, and the easy gains in compute power through the use of a process shrink. Here's hoping people get really serious about molecular nanotechnology research.
The difference is that you maybe should learn what you are using before you complain about it inaccurately.
You can register your child in any language provided you use a Unicode character
The pine beetle is native to Colorado. Its population is normally tempered by cold winters. With increasingly warmer winters brought on by global climate change, the pine beetle is left unchecked.

It seems like a similar process is playing out in California due to the native bark beetle.

Colorado seems to be doing better these days. I think the pine beetle mitigation efforts are showing some progress and I would assume that the trees left standing are maybe naturally more resistant.
Mossberg: How Google's bold moves shake up the tech industry
Related blog post here:

https://developers.googleblog.com/2016/10/an-open-source-fon...
You don't need tests
I visited Rocky Mountain National Park in early September, and it was awful what fraction of the trees appeared to have died off. There were some absolutely gorgeous scenes that must have been truly stunning when they were green. I'm sad I missed seeing them before the pine beetle.

My home town of Cincinnati has been suffering from the emerald ash borer. Forests that I played in as a kid are now just empty fields.
Scariest Short Election Movie Ever
They've now optimized the process to the extent now that they can cancel them before they launch. Seems like an advance over things thus far. :)
90% of what's in npm or pip is not trivial to write. Calling database adapters or HTTP libraries "distractions" is silly. And in the same sense, restricting yourself to a subset of a language that makes it easily ported and contained within any application seems... silly.

Furthermore, plugging together pieces of other people's code can very much help in learning how to express concepts in the language. You can look at existing examples of how it's done, and do it yourself. You make small changes, then big changes, then write your own. Easy peasy.

Lua is a weird language for many reasons. Not that being weird is a bad thing, but that makes it difficult for people to learn other languages. If you learn a C-style language, you'll be more able to read other C-style languages.

And no, metatables are integral to Lua. You can't use prototypical inheritance without them, and they're really difficult to wrap your mind around. Furthermore, prototypical inheritance is very useful. If you've actually learned Lua, you've got to learn about that aspect of metatables.

I love Lua for real work. Honestly, actually do. But I don't love Lua for learning.
People drink wine to get drunk, not for the flavor no matter what bullshit[0] they tell you. Except a few people with medical conditions same goes for every other mind altering drug (including a lot of prescription drugs). There is no shame in that. The only shame is in lying to yourself.

[0]http://www.realclearscience.com/blog/2014/08/the_most_infamo...
California, even less than Colorado, cannot afford the destruction of what non-desert habitat it has.
Netlify CEO here. Super excited to launch this. It's another step towards making it a 1 click operation to publish directly to a CDN on a custom with continuous deployment, HTTPS, all the right caching configurations, instant cache invalidation on new deploys and full support for development environments, deploy previews, and so on.

NS1 has been an awesome partner in this and we're really excited about being able to hook the DNS records for peoples custom domains directly into our advanced traffic director to offer the best possible global performance.

Happy to answer any questions!
What was the substance? You said you were throwing a wrench into the cogs of a brain that only mindlessly repeated things. OP wasn't mindlessly repeating, but bringing up a valid point, albeit not going into as much detail as I'd like. You accused someone of not knowing what they were talking about and using phrases they didn't fully understand, and I didn't see any evidence that that was the case.
There's also something weird going on with "-o BatchMode=yes", which is used by shells to tab-complete remote files for scp and rsync.

I could ssh into a server without typing the ssh key password, but zsh refused to tab-complete scp and rsync command lines. Turns out it was using "ssh -o BatchMode=yes servername somethingsomething" to retrieve a list of files, but "-o BatchMode=yes" prevented whatever magic is happening from unlocking the ssh key. Figuring this out was tricky because dtruss and lldb refused to attach to /bin/zsh and /usr/bin/ssh because of SIP. (In fact, "dtruss --help" lists "dtruss df -h" as the first example, something that doesn't even work on sierra because /bin/df is protected by SIP)

The fix is to run "ssh-add -A" after booting. Very odd, since there are no password prompts involved anywhere.
If only people got the message a few decades ago, we'd have a modicum of hope. It's too late now.
So in a nutshell, typefaces which literally span every single defined character?

Are there special optimizations implemented for different use cases as well, e.g. screen v. print and sub-varieties of each? Ten years ago with Vista, Microsoft Typography (https://www.microsoft.com/en-us/Typography/default.aspx) put out a family of typefaces--Cambria, Calibri, Consolas, etc.--which were optimized specifically for sub-pixel rendering on LCD screens while maintaining on-paper legibility. I'd be cool with Noto not having any such optimization in mind given that the stated objective appears to be to include every defined character, but I do wonder if it should happen eventually.

...or maybe not, who knows. Pixel densities now have approached ludicrous territories. It might just no longer matter at least when we're talking about optimizing for screens.
Theranos Is Shutting Its Blood-Test Facilities, Shedding 40 Percent of Workers
How to Cut Cake Fairly and Finally Eat It Too
Not quite. Weakness is later in the chain.

Secure second-stage loader (BL2) loads secure third-stage loader (BL31) from insecure flash storage, then verifies it by calculating SHA-256 hash of it and comparing that to the value stored in the same insecure flash.
The number of jobs wouldn't remain static. The number of jobs would naturally increase to support the increased density of people. Also, some (hopefully large) fraction of the newly unemployed will find employment elsewhere. Few people get fired from their only job and they say "welp, guess I'm unemployed for life".

Also, 1000 of those jobs are presumably lost because the new workers are willing to work at a lower rate. That leads to two situations:

- The product/service they are creating will be cheaper (e.g. cheaper commodities out of China, cheaper fruit harvesting by migrant workers, etc). The average person spends less of their paycheck on these purchases, which means they obtain more value for less money. Or purchase more things using the same amount of money as before.

- The owner of the business pockets more profit by employing cheaper labor but keeping prices the same. This segues into the idea of "trickle down" or "supply side" economy, where the owner employs more people, expands business, invests more capital etc because they are now spending less on salaries. Not saying I agree with this analysis, but it's at least one viewpoint :)
Nice to see a parent selector in the form of :has.

Some people seem to believe such a selector has always existed — at least I see some mentions of it on StackOverflow sometimes.

Now it looks like finally we will finally be able to do things like:

nav:has(>a.active){
background-colour: red
}

if you wanted to change a navigation bar's background color without JavaScript.

:lang seems a bit weird. Seems easier to use a lang= attribute on the root node or data-lang on any node, and then using an attribute selector like so:

[lang='jp']{
font-family: 'Noto Sans'
}

or perhaps:

.box {
color: #111
}

[data-lang='c'].box {
color: #f44500
}
I disagree. 5,300 low level employees actively chose to create fictional bank accounts in order to meet their goals. Even if some middle management tier recommended that they do it, I think it says something about the moral fiber of every one of those employees to be complicit in that.
I think the last decade is a sign we are living in end stage Capitalism, perhaps it’s just the beginning and we will only see further economic stagnation, lower productivity, fewer jobs and a further increasing wealth gap. Finally there will be a series of economic failures, causing governments to make fundamental changes to the global economic system. Reassessing the parameters that define progress, productivity and advancement.

I envision that a new system will no longer rely on speculative market forces, but instead go back to command style economies powered by artificial intelligence. There might even be a rise of a new monetary system, which integrates harm reduction in some form.
Stupid question: given General Relativity, and in particular that all reference frames are equally valid, including rotating and accelerating ones, in what sense is heliocentrism more 'true' than geocentrism?

E.g. you can pick a geocentric reference frame and all the math works out (albeit you'd need to define large fictitious forces, etc., but again, they are only 'fictitious' from the perspective of a different reference frame; in the chosen frame they look quite real!).

Isn't the choice between geocentrism and heliocentrism purely one of convenience, and we can simply pick and choose whichever reference frame is most convenient for calculation purposes?

For example, if I'm interested in things happening in daily life, I pick a reference frame at rest with respect to the ground beneath my feet. If I am figuring out satellite orbits, I use a geocentric frame. If I'm calculating a trip to Mars, I use a heliocentric frame (perhaps a rotating one).

If so, why do we still define heliocentrism to be more correct? Is the argument really an implicit throwback to Newtonian absolute space and time, which Relativity rejected?
The New World
> "Google’s open-source Noto font family provides a beautiful and consistent digital type for every symbol in the Unicode standard, covering more than 800 languages and 110,000 characters."

Wow. That's a lot of work.
Another example is how patient outcomes improve with the size of the healthcare facility a.k.a patient volumes
e.g.
http://www.mexicobariatricsurgerycenters.com/analysis-bariat...
Baxter is supposed to be safe around humans, but to achieve this, they had to make it weak and slow. So it underperforms competing industrial robots. Compare: Baxter and Sawyer: [1] Festo: [2].

It's also not precise enough for precision assembly. Baxter videos show it stacking medium sized parts, not assembling cell phones.

[1] https://www.youtube.com/watch?v=vPth0Q4apLU
[2] https://www.youtube.com/watch?v=aH_t_1-tl40
No, it's that your company is CHOOSING not to use it.
As I mentioned in another thread, I live on a farm.

(I hack Ruby and C++ as a day job, the farm is just a hobby).

One major reason for doing so is animal welfare. I'm a meat eater and will staunchly defend it...but factory farming is terrible.

At this point we get most of our meat from our own pastures: chicken, goat, lamb, pork.

It's much more expensive than buying factory farmed meat, and even more expensive (in labor, if not dollars) than shopping at Whole Foods. It is wonderful, however, to not merely know that the animals are being treated well, but to watch them every day, enjoying their animal lives: chickens pecking at the pumpkins and squash we grow and feed them, pigs rolling around and enjoying themselves in the mud, sheep chewing contentedly in the pasture. And, of course, at the end of the season, when it's time to turn living creatures into meat, doing it yourself ensures that it's done well, and with minimal stress and pain.

This lifestyle isn't for everyone, but for those who are interested in it, it's becoming more and more possible because of remote work (and soon, driverless cars).

Pictures of processing one of three 500+ lb pork carcasses below:

https://goo.gl/photos/6rzXQXL23esitdh76

https://goo.gl/photos/gZqXZ2ENXfNZv9xL9

(Btw, I'm in civilization, on a client site, today. I packed my lunch, as I always do. It was pulled pork and home-made cole slaw. The pork came from that very critter in the above photos.)

If anyone has any questions about the farm life, feel free to email me. My user name @ my user name . com
How to cope when robots take your jobs
But what about iOS? Or macOS?
I used to do something similar to Apple ][ computers. I'd go into the monitor (CALL -151) and type a short machine language program that looped infinitely, printing random characters and clicking the speaker. So the screen would fill with scrolling garbage while the machine emitted a buzzing noise. Good times. Atari rules!
It was released originally in 2013: https://en.m.wikipedia.org/wiki/Noto_fonts

Such an amazing project
Well, it's better to get your spouse to cook for you....

But baring that, restaurant food is generally too salty and fatty and light on fresh vegetables to be healthy to rely on for most meals. There are exceptions, but those restaurants tend to be drastically more expensive.
Yep, no problem! I also thought it quite interesting which is why I remembered this specific tidbit.
I lost all interest when I saw the word 'emoji' in a feature item.