skysight-inc/HackerNews huggingface dataset:
I just don't know. I'd be happy to see that be the case...

But I'm afraid it's going to be the equivalent of this cake recipe: "Take an egg and a packet of sugar. Break the egg over the packet."

You certainly need eggs and sugar to make a cake, but on their own and combined without understanding of the whole, you're not getting very far.
There's too many factors to say the zone may be habitable for life.
Yes, exactly my point. Therefore why should grad students be any different? Is there anything in the labor laws that specifically mentions scientific research and hamburgers and different rules for the two?
some CS degrees. From what I've observed, some CS programs are teaching "software engineering" at the senior/masters levels in order to focus on development and design over theory and math.
Just in time for the third book in Liu Cixin's space opera ("Remembrance of Earth's Past") to be released in english next month: https://www.goodreads.com/book/show/25451264-death-s-end

Previously on HN: https://duckduckgo.com/?q=site%3Anews.ycombinator.com+cixin+... https://hn.algolia.com/?query=Cixin%20Liu&sort=byPopularity&...
Thanks for pointing out some areas where we can improve. We will work on making autotrack great over the year specifically for those things but we haven't seen any major problems with our large customers from performance to pricing. If we do, we are committed to changing things quickly.
I wonder what it would be like to be the Nth generation of guys-that-left-in-2016 finally arriving and be greeted by the descendants of the FTL guys that arrived 800 years before you.
Some legacy instructions are too complex and infrequently used so they are microcoded and run much slower.
> what you describe as a problem with Go's type system is actually a problem with all type systems for appropriate values of such things.

Not really. In a language with abstract data types, such as ML, an ordered set type only has actual ordered sets as its values. Languages without abstract types (not the same thing as abstract classes) are hobbled.

> Unfortunately, there are many interesting properties that would be desirable to check, which cannot be checked by a computer.

Who says everything has to be machine-verified? Let machines verify what they can easily verify, then verify the rest by hand. Optimal division of labor. You'd be surprised how much can be machine-verified if you arrange things properly.

> Whether or not the program halts is the most famous.

The lack of a general procedure for determining termination doesn't prevent you from proving it manually. For instance, a recursive function defined by structural induction on its argument is guaranteed to terminate. This covers most of the code I want to write in practice.
There's no double standard. In the case of crawling and scraping their site the terms are available in the robots.txt file. And Google abide by the robots.txt terms of other websites.

I'm not sure why you dislike this 'appropriated by lawyers' outcome: For web crawling look at robots.txt, for other uses look at the Terms link on the homepage. If you don't agree to the terms then stop accessing the website. Seems straightforward and fair to me.
If you mean the previous claim of there being an Alpha Centauri Bb planet, later retracted, then this new finding involves a completely different star, not just a different period.

This is around Proxima Centauri, the previous one was around Alpha Centauri B. Proxima is a really really small red dwarf, just 12.3% the mass of sun, while Alpha Centauri B is a K-type star, ie somewhat smaller than sun but not that much; around 90% of Sun's mass (And there's also Alpha Centauri A, 10% more massive than the sun). We're not even 100% sure that Proxima is part of the Alpha Centauri system, though I gather it's considered highly likely - it's pretty distant from the Alpha Centauri system, some 15 000 AU (1 AU = distance between Sun and Earth), almost a quarter of a light year.
Blockchain and AI Startups
Yeah, I smiled when I read "Just over four light-years" as if just around the corner kind of thing.

It might be just around the corner in space travel time, but those are quite a few light years still.
But it would take an enormous volume of nitrogen to achieve significant positive buoyancy when the nitrogen is enclosed by much of anything. Air's mass is 28.97g/mol, vs. 28g/mol for N2. So, based on my vague recollection of chemistry, that means you only get 1g of container/cargo/engine for every 22.4L of gas enclosed.
Maxed Out all the weight
I've worked in some big names in tech. What I do notice is that sometimes people go into these companies thinking they've made it and that they will just naturally grow due to being at a big name co.

I've realized that most companies are similar and opportunities don't just fall into your lap. Want a low growth job fixing bugs for 10 years? You can probably get that at Google (or pretty much anywhere). Want a job where you can develop the next big feature in Android? You can probably make that happen, too.

If you want the latter, don't just sit there, fall into a routine, and fix bugs all day thinking that one day a VP will knock on your door asking you to be a Software Architect. Don't become complacent.
>a bank would have done a risk analysis and quickly pushed for a settlement

That is exactly what is wrong with this whole line of thinking. Whether an unbiased bank or likely biased Thiel (in that case) neither would legally be allowed to dictate any of this, it is all between the litigant (Hogan) and his lawyer. Further, there would be no incentive to listen to either Thiel or a bank before ones own lawyer, $10M financing or not, one will not cut their nose of despite their face. In fact this is a fine example, if Hogan were to have accepted a quick settlement, instead of listening to his lawyers, it would have been the wrong choice as he received more at trial.
This should be the top comment! Not the guy poo pooing on the idea of checking out this planet.
Julia *****

(or maybe that's just my opinion :-)
It doesn't hence its going to be used for flyby missions and not orbit/capture missions.

Many missions to the outer planets are flybys since we can't have enough fuel to actually slow down.
Technically, 1.22λ/D is the angle for the first dark circular ring of the Airy disc (first zero of the relevant first-order Bessel function [0]). But you are still right that the host star needs to be blocked out in some way to produce a useful image. I think NASA is working on some ways to do this, see [1].

[0] https://oeis.org/A245461

[1] https://exoplanets.nasa.gov/resources/1015/
I still use this one: http://www.cpucollection.se/data/media/107/keychain_intel_pe... as my keychain. It's an early 90s Pentium (60 or 66).

My dad got it while working at the university and at some point in time in high school gave it to me. The Lucite is pretty scratched up by now, but it has a weird sentimental value to me so I'm planning on getting it buffed out.
Imagine the political implications of choosing who will go onto that ship, as well (assuming the intent is to colonize the world and fill it up with humans)
So out of 170 study participants found on the internet, of whom those with any disclosed history of depression were removed, 70 were found to be clinically depressed on the basis of a screening questionnaire (http://cesd-r.com/). That's 41% of the sample.
Would it remain in a habitable state longer than Earth?
(ignore what I said here)
I think it can definitely be a challenge sometimes: go to youtube.com and look at their search input (says "Search" in a placeholder). There's no way they can put the label above the search box, it would almost double the size of their header. So they'd have to put the Search label to the left or something.
Not to mention kung fu is traditionally taught from father to son. That doesn't scale well.
The Startups’ Map to Global Expansion
Yes, realized this and was editing my comment to reflect that but you beat me to it :). They did mention a previous signal from 2013, which got me confused with the spurious signal the SETI lecture mentioned.
With user acquisition costs of "$190 per user for DraftKings and $110 for FanDuel" [0], what, besides long term casino-style gambling addiction, can hope to recover the costs? And unlike casino gamblers, don't 'bro-classic' people tend to grow out of these things after a while?

[0] http://www.usnews.com/news/articles/2015/10/30/draftkings-fa...
> As I know FPGA has limits on updates.

I'm not sure what you're trying to refer to here. Are you confusing FPGAs with flash memory?
i don't know how accurate the article is but arguable the dfs industry is shrinking. almost no one other than fanduel/draftkings exists on a scale to possibly make a profit. and then you have state governments trying to ban them or charge them with crimes.

the biggest long term problem i see (and the article partially addresses) is all these pros bumhunting the low-stakes games because there's no reason not to. it doesn't take any additional time nor mental focus to join some microstakes games like it would if you were playing online poker.

anyone who play dfs, how are money withdrawals from the site? is it relatively quick/easy to get money out of your accounts? otherwise i definitely see that as a huge risk just like it was towards the end of the online poker boom.
You can always call a c program for something you absolutely need speed for though right?

https://github.com/elixir-lang/elixir/wiki/Interoperability-...
I love the convenience of Kindle e-books -- readable on my phone, tablet, and Kindle device -- but I miss the ownership benefits of physical books. It's nice to be able to freely lend, sell, or donate books. I think that laws need to evolve to guarantee that e-book owners have the same options.
This is the plot of at least one Star Trek: Enterprise episode.
Hm, so clearly we need to remove the atmosphere. It'll be rough for a while, but it's necessary.
I think it might depend on the psychiatrist. Some of them treat it very much like a specialization for any medical doctor. You describe your symptoms, they give you the best treatment options available and you iterate from there. If therapy is the answer or part of it you go see a therapist. If new science comes out you adapt.

I suspect someone practicing psychology is more likely to become disillusioned.
I just died laughing. I'm reading all the inspiring comments on how we actually could get there, and could totally see myself being on an engineering team that builds this thing, and 100 billion dollars later you ask that question and we all go: "Oh... oh crap." On a constructive note -- does anyone have a list / book of generally smart people getting sidelined by such things?
For the most part, that's an artifact of Instagram (and similar sharing-for-likes services) more so than 'the Internet'.

While there exist many services where a content creator posts photos and gets likes (e.g. Flickr, 500px, Tumblr), Instagram is uniquely person-centric, and most content is either intended to be implicit self-promotion or can be reasonably interpreted to be such [1][2].

This amplifies the popularity of already-popular, conventionally-attractive people projecting successful lifestyles filled with travel, entertainment, and adventure, because that's what we aspire to, or inspired by, or is consistent with what we want to project to our circles.

[1] https://www.theguardian.com/commentisfree/2014/nov/27/life-i...

[2] http://www.slate.com/articles/technology/technology/2013/07/...
Proxima Centauri is 4ly away. New Horizons (the Pluto Probe) was travelling at 15.73km/second (just over 34,000/mph)

You're looking at closer to 75,000 years - not 1,000 years - to reach Proxima Centauri.

E:

Did actual maths. Closer to 75,000 not 100,000.
Ok, we took "with data science" out of the title above.
Ancient Oat Discovery May Poke More Holes in Paleo Diet (2015)
no shortage of fiction covering that scenario...
Application Period Opens for Second INV Fintech Accelerator Class
What's the name for a piano song that touches all the keys on the keyboard?
> The OpenVPN Hardening wiki says 3DES-EDE is still fine

Last modified 2 years ago
I earned a black belt in Karate last year, have messed around with TKD, Judo, and Kali, and this year got reasonably serious about BJJ by starting in a belted program.

It's impossible to overestimate the role MMA/UFC has had on martial arts in the past 20 years. The internet has allowed that knowledge to spread far and wide, but UFC #1 dramatically changed the face of martial arts forever. Before that, you could argue about which one was the "best". After UFC #1, it was pretty clear how dominant Gracie jiu-jitsu was if you wanted to win a fight.

All the traditional martial arts have a place. Simply analyzing the phrase "martial art" should give you some indication of its intent: discipline and beauty. Most traditional martial arts schools are on the decline and, for those that aren't, the caliber of student they get is nowhere near as high as it was 25 years ago. Point sparring tournaments are a shell of their former selves.

MMA and, to a lesser extent, BJJ are more a fighting system than a martial art. There's no bowing, there's little formality, there aren't any forms, and it's ruthlessly focused on the practical.

Toward that end, if you want to learn how to fight, study american boxing for punching, muay thai to lean to kick, and BJJ to learn how to grapple.

If you want a "martial art", then you're probably looking for something more traditional. You can learn decent self defense in them, but there's a lot of non-practical stuff you learn as part of the package.
I learned a lot in my time at university, but to be fair it was just a starting point and I have learned a lot more by myself afterwards.
Yes, ARM now has enough scale to compete with x86 (and is starting to). And got there by filling a niche that wasn't taken over.

That's what I said.
Show HN: A WebSite Hit Counter in Crystal and Postgres
A friend of mine did his PhD thesis on automated music synthesis and as a subproject came up with a model to study music transcriptions that he got from the Peachnote corpus [1].

One of his preliminary results was that his algorithms successfully "discovered" 4 big classical music movements on their own, i.e. without any prior labelling or classification, by using clustering algorithms. He posted about it on his blog with a link to his paper [2].

I always had a hard time explaining to non-computer people how amazing that seems.

[1] http://www.peachnote.com/
[2] http://pablozivic.com.ar/post/51774763596/perceptual-basis-o...
Tai chi teaches balance and efficiency of movement. Young headstrong people (mostly) won't see the the benefits of these qualities. Older people (mostly) will.
The faster one realizes this is a narrative, the faster one can make their own way in the world.
Grail Quest: A New Proposal for HW-Assisted Garbage Collection [pdf]
I found out that µBlockOrigin was blocking the old host of my hit counter, hit-counters.net, so I had to write my own. Sadly lost the 7segment display of the old one, but at least now I can get more accurate hits.
The service is built mainly to evaluate the predictive model on the longer distance. If the ROI and accuracy do turn out to follow the 2015 performance, perhaps the experiment should be ended and used by the developers only.
Another problem is that the bookies limit max stake amount in tennis to about $1000 per bet, so it's not a way to earn a fortune unless you use betting exchange.
So now it's a kind of sharing another AI lifehack with the comminity.
I think comparing Kung Fu to MMA (like many comments here have) is missing the point entirely. Few people who have a genuine dedication to the martial arts do so to become killing machines and, to borrow a parlance, most MMA style martial arts have no basis in reality as fights do not play out like they do on TV.

The virtues of King Fu have been expounded upon elsewhere here, but Kung Fu has been around for as long as it has for very good reasons. People today suddenly aren't better and smarter when it comes to martial arts, they just have new preferences and influences for how they think about it. Doesn't mean older ways are suddenly not valid.
Show HN: 300+ Books Recommended on the Tim Ferriss Show
Reactors: Foundational framework for distributed computing
Diane Ravitch's book The Uncertain Crusade has an interesting chapter on the rise and decline of "progressive education." Dewey himself was not happy with all that went under that name. Based on the little I have read of Dewey, his model of a school demanded better and better-trained teachers than what it aimed to replace. However, given how vaguely he wrote, he could hardly blame others for misunderstanding.
I was talking about my parent's:

I have also never woken naturally before 9am

Maybe my parent also has trouble falling asleep early like you. But my point is just that you aren't going to wake up early, unless you fall asleep early- when you fall asleep drives when you wake up.

If you like your sleep schedule, that's fine. It sounds like you are controlled by it though. I have found melatonin helpful for moving my sleep schedule when it gets out of hand.
Is it set-theoretic though? The article states:

> A type is a collection of possible values.

"Collection" doesn't necessarily imply "set"; perhaps the author chose this word on purpose to avoid such complaints? Would you also complain if a Web page giving an informal introduction to topology said "a space is a collection of points"? Keep in mind that in HoTT, types are spaces and points are values, and hence those two statements have similar meanings.

I know when I'm writing about technical topics, I often look for words which don't have a widely-used technical definition, since that frees me up to focus on what I want to talk about, rather than getting bogged down in the particulars of this-or-that preconceived notion. I could certainly imagine myself wanting to get across the idea of types "containing" values, and carefully choosing the word "collection" specifically to avoid the baggage associated with the word "set". Maybe the author did the same?

In such cases, I would much rather someone point out an existing field which is the same as what I describe ("Your idea of types as 'collections of values' sounds a lot like HoTT's idea that types are spaces of points"), rather than an existing field which is not what I describe yet uses a similar word ("Your use of the word 'collection' sounds a lot like 'set', which is a different theory without much relevance here")
Nice, should make one of these for bittorrent swarms too!

If you haven't didn't seed, or didn't seed the whole file, it would be easy to tear apart the case. One federal court circuit created "contributory copyright infringement", which is not a creature of the legislation at all, but even that is on weak legs, assuming you ever got to court.
I guess that's about fixing this "problem" http://www.thebookseller.com/news/children-prefer-print-book...
Compilation and Hyperthreading
Top 10 Blogs for Startup Founders and Entrepreneurs
Would it be possible to drop a payload that would enter orbit?
The Intel compiler (used to?) do runtime CPUID checks. If your CPU came back "GenuineIntel" (and only Intel), it took the fast SSE path.

Theres more here:

http://www.agner.org/optimize/blog/read.php?i=49#49
Nope. The more traffic that is encrypted the better. Protects privacy, ensures you're connecting to the right source, and helps prevent ISPs from throttling/caching based on the content.
And by not having a group of hand-optimized special cases, the REP MOVSB and REP STOSB can be inlined saving instruction cache.
What's the problem? Sounds like a good idea. If they ever abuse their status they get revoked, causing them a lot of pain. More pain than if they hadn't been depending on being trusted in the first place.
As vast a distance as 4.3 light years is, it's still amazing to think how much closer Proxima is than most of the other stars we see. While the light that's currently reaching us from the vast majority of stars was emitted long before our species existed, the light from Proxima was emitted after the financial crisis.
TIPS ON WRITING LINKEDIN MESSAGES – The Bitter Business
Butterfly your everyday terminal in your web browser
One Star Over, There Might Be Another Earth
The Bitter Buffaloes will be unstoppable this year...
The laser is only on each device for 10 minutes. And there are 1,000 of them. So the hope is that at laest 1 in 1,000 will make it.
Thanks! I might triage some of the other bsdgrep issues and will take up on your offer if I do so. Sorry for the bluntness in my first comment!
Old instructions may have a smaller encoding, which means it can be hard to tell whether you should use them if they are otherwise slow. The compactness of the x86 instruction encoding is one of the architecture's chief strengths (and weaknesses).
IPv4 vs. IPv6 Performance Comparison
The ones who burnt to death were trapped with no way out. They didn't have the choice to ride it down.

Those were were not trapped either survived or jumped too early.
This may or may not be true. Just depends.
Previous discussions:
http://news.ycombinator.com/item?id=1626305
http://news.ycombinator.com/item?id=2860759
https://news.ycombinator.com/item?id=6813937
https://news.ycombinator.com/item?id=9153203
http://news.ycombinator.com/item?id=2393587
https://news.ycombinator.com/item?id=9446382
Online.net, the folks behind scaleway you mentioned, do actually have a dedicated POWER8 server available. While their cheapest dedicated servers (C2350 Avoton / 4GB) go for €9/mo, and a bit more comparable 2xE5-2660v3 / 256GB at €320, you have to shell €1600/mo for the POWER8 / 512GB.[1] Which is to say, their other prices seem ok, but the POWER is still expensive.

Also, IIRC they've had POWER servers available for quite some time (possibly already POWER7), so maybe there is demand. Assuming so, it is either actually more efficient to a great degree than x86-64, or sufficiently more efficient so that it can solve some problems the x86-64 ones can't at all.

[1] https://www.online.net/en/dedicated-server/dedibox-power8
I'd say that not having 360 degree vision is a terrible shortcoming when your opponent has friends anyway. But also, bjj does not happen only on the ground, specially if you are talking about drunk people being idiots. Do not underestimate the power of a takedown to the cement, for example.
Everyone has gaps in their knowledge. There are two devs where I work, and we are both better than average in my opinion. I know Django inside out and deal with server deployment, while the other guy knows more front end and HTTP / web stuff. We both know how to use a database properly and not to over engineer stuff. We compliment each other pretty well.
Yes. I did that because it's standard practice to use canonical URLs here, but if there really is a significant difference in paywalls, maybe we shouldn't. Man I wish this weren't so complicated.
A poet.
Machines are extremely dumb. As your example shows eight year old is much smarter than them.
Charlie Stross wrote recently about the threat of beta radiation to these small probes[1]. This isn't discussed at all in this article or the associated paper[2] which focuses on purely mechanical collision effects. Anyone know if this is a separate consideration for another research group?

[1] http://www.antipope.org/charlie/blog-static/2016/08/san-trom...

[2] http://arxiv.org/pdf/1608.05284v1.pdf
I found the section on SVG sprites particularly interesting. Here's a Webpack plugin to generate SVG spritesheets from individual assets: https://github.com/mrsum/webpack-svgstore-plugin.
"Basic laptops that cost as little as $150 outsell $1700 laptop" was less sexy a headline I guess.

Nothing to see here folks.
Need to push forward on a project? Try a personal hackathon