skysight-inc/HackerNews huggingface dataset:
Though it doesn't sound like the team leader even has a clear idea of what they're trying to do [0], Tofino seems interesting.

One part of this "reinvent the browser" they're looking at is tab grouping, potentially with heuristics. However, it does give me pause, as usually when Firefox comes up, HN talks about how they always have 20+ tabs open at once. (Anecdotally, many of my friends and family are the same).

[0] https://medium.com/project-tofino/tofino-project-goals-updat...
Possibly had more to do with blocking GPS cheaters?
Location Labs Is Hiring for Senior Systems Administrator
*among billionaires

The numbers of billionaires, and especially percentages of those, are a worthless metric. Billionaires are about as rare unicorns, especially here in the Netherlands (pop. 17 million) where we only have 9 billionaires in total. Due to the high taxes here in Europe it's incredibly difficult to become very rich, so it's not strange that a lot of our billionaires have inherited their wealth. We also lack the tech scene which created a lot of self-made billionaires in the US.
Bodybuilding by Natural Steriods..
Connecting the Unconnected: The Story of a Visit to a Remote School in Mexico
yes. and platforms like Hootsuite lets you easily queue up and post them at a pre-scheduled time.

my thought is. is there an interest for hyperlocal/true realtime instagram clone. so people can really discover what's around them
I was going to write something about how ominous it is to defer to the judgment of a machine for a person's sanity, but the machine of psychiatry to which we defer is no more or less subject to the weaknesses of that kind of deference.
I don't know of any that use the BCD instructions like AAA. Other instructions have been essentially obsoleted like STOSB, etc.
No, but it's the OpenVPN default, so unencrypted traffic over OpenVPN might be interesting to play with.
Yes, because the lifespan of low-powered red dwarfs is vastly longer than the sun's. The wiki page cites a figure of 4 trillion years (!) for Proxima:

https://en.wikipedia.org/wiki/Proxima_Centauri
As you mention - comprehending how large/small countries are is tough for some people. Planet-size differences even more so. Many probably don't realize how big the sun is! Then you have to comprehend that on a galactic scale - our sun is really, really tiny [0].

We exist on a tiny spec of dust; inside of a solar system that is no larger than a tiny spec of dust; inside of a galaxy that is no larger than a tiny spec of dust; inside a supercluster that is only a tiny spec of dust.

[0] http://i.imgur.com/DUzDo3k.gifv
Pure JavaScript Version of Closure Compiler
For GPUs, not FPGAs, but PostgreSQL has PGStrom[1] for offloading large table scans. Still a work in progress.

[1] https://wiki.postgresql.org/wiki/PGStrom
Some of us are comfortable enough to admit silly little faults.
Nearly all x86_64 instructions are microcoded on modern Intel and AMD CPUs. That does not mean they're slow.

Some instructions may end up slow when the microcode isn't updated to take advantage of the latest processor iteration (I recall this happened to rep movs at some point, which gave it its bad reputation, even though it was fixed). That probably happens often for legacy instructions.
heh, as you say; apparently there was a previous signal; reading the article about the find at centauri dreams, http://www.centauri-dreams.org/?p=36210 - and it does mention a pre-2016 Doppler signal with a period of 11.2 days around specifically Proxima, that was unconfirmed, and that this mission was to investigate that more closely. "The HARPS Pale Red Dot campaign was created to confirm or refute this 11.2-day signal"

I'm just not sure if that's what the speaker in your video was talking about, of if the embarrasing mistake that was actually announced was the Alpha Centauri Bb planet (or maybe there were other candidates I didn't hear about); I'm gonna watch the lecture you linked and see. Thx for an interesting link, btw!
"Telegraph pole" in an article about an airship was pleasantly quaint.
America cares about the number of billionaires, here in (Northern/Western) Europe we care about the size of the middle class.

Edit: This post is an (intentional) overgeneralization, but I do think it holds some truth, I do think people in the US care more about billionaires than people in Europe do.
They'd just get picked up along the way.
Did you read the article at all? Evaluating the cost/benefit analysis is completely toxic and forbidden completely.

The NHS does that and denies it, and the last election they tried to call Obamacare "death boards".

We are in fuedalism right now, we just don't recognize our lords as explicitly.

And you can't "fight for healthcare for everybody". Healthcare is a scarce resource, and not everybody gets it. It's the nature of scare resources. If you have to provide healthcare to all, something else will get cut. Education? Food subsidies? Housing stipends? You pick your poison and don't think that we can just produce things out of thin air.

And the two marxist societies in the world are suffering. (DPRK and Venezuela) They've only been able to make everyone equally miserable, except for those in the ruling party.
I think the conflation is mostly from a confusion in terms. Old Sanskrit treatises and sketches on hand to hand combat somewhat resemble the techniques in Muay Boran, the ancient precursor to sport Muay Thai, more than Patanjali's yoga sutras that form the basis of what we today think of as "yoga."

But the term "yoga" was historically applied to many sorts of disciplines, both mental and physical. It is likely that Patanjali's sutras were largely general knowledge in ancient India as ways to stay fit and limber, basically like the calisthenics everyone does today.

So it's likely it would have been integrated as part of any physical training regimens that came out of India. So basically, the yoga techniques and postures would be part of the martial arts training in the same way push ups and jumping jacks are.
But these are exactly the kind of immigrants that you want to have come into your country. The educated, entrepreneurial, high quality types that add value. You don't get a lot of value from adding a deluge of the unskilled, when there is already more than enough inside the borders already, and automation is making them more and more superfluous every day.
Apart from Clojure (which is not LISP, really), I haven't seen end-user applications written in LISP dialects (I don't think emacs is end-user software). Scheme (and its PLT dialect Racket) was in academia for so long that it literally got "friend-zoned" and has little (read "no") use in the industry.

Then again, I expected to see more Common LISP around. Paul Graham really put it right, but I guess any leverage/advantage LISP had on other languages, it waned in the 90's (maybe Viaweb was one of the last projects done in LISP, and even that was translated later to other langs...)

I don't think s-expressions are _that_ problematic. The main issue with LISP's nowadays is lack of _momentum_. Java gained its momentum by Sun, after that it just keeps rolling in the industry and apparently, there's no stopping that. Python also has its momentum from the academia, what with all the great libraries and all. But one would expect to see some _major_ projects done entirely in LISP (and not a Trojan Horse LISP like Clojure), after that, it's only a matter of time for developers to become LISPers.

Of course, one could also claim that LISP actually _did_ have like half a century to prove itself, or gain momentum. After all, Golang and ruby are relatively new, but they eat LISP's lunch at launch of new apps.

I really appreciate things like this project. It's not enough, but what is?
The founders of Skype, Spotify, Ikea, are not out of continental Europe; they are from the Scandinavian Peninsula, no?

LVMH's roots go back centuries (Louis Vuitton was founded in 1854; Moet was founded in 1743; Hennesy was founded in 1765).

Amancio Ortega of Inditex is self-made, but he has not changed the world with new products and services.
Show HN: Animated string diffing with React and D3
Sweden is continental Europe
I'd love to know how much Samsung paid for this...
When I was in Beijing a few years ago, the parks in the morning would inevitably be full of groups of (mostly older) people doing tai chi. Pretty impressive compared to the senior population in the West, I would say.
Oh this happens constantly. Apparently, in an ideal world, every gene will have multiple counterintuitive symbols that appear to give insight as to what the protein does, but are in fact misleading.

HGNC seems to delight in nonsensical renaming. MLL (Mixed-lineage leukemia, a gene rearranged in many leukemias, particularly infants) is now KMT2A ("Lysine Methyl-Transferase 2A"), yet gobs of its fusion partners are canonically named, say, MLLT3 ("Myeloid/Lymphoid Or Mixed-Lineage Leukemia; Translocated To, 3").

But wait, what's its translocation partner? Oh, right, the Gene Formerly Known As MLL. Who thinks this is a good idea?

Journals typically insist on the latest HGNC (HUGO Gene Nomenclature Committee, a subset of the HUman Genome Organization) symbols, whatever they might be (see above). Not atypically, in review, someone will ask to use the old name because that's what they're used to. Best of all is when reviewers each suggest using a different name.

Science!
> It still rings clear that altered consciousness is something seen as illness or being deficit in som way by the scientific community.

The difference is you don't have a choice in the case of an illness, and it can be pretty shitty.
Oh, c'mon. It's not magic, sure. But it's low impact whole body exercise. Beats sitting on a couch any day now.
lol

https://en.wikipedia.org/wiki/Ruben_Rausing
https://en.wikipedia.org/wiki/Ingvar_Kamprad
https://en.wikipedia.org/wiki/Amancio_Ortega
https://en.wikipedia.org/wiki/Karl_Albrecht
https://en.wikipedia.org/wiki/John_Fredriksen
https://en.wikipedia.org/wiki/Markus_Persson
https://en.wikipedia.org/wiki/Georg_F._W._Schaeffler

etc. etc.

Very rich people in Europe tend to keep a fairly low profile, self-made and inherited. You may not be familiar with them as they don't tend to be covered in TechCrunch
Kind of suspicious. None of the media articles mentions anyone who's actually used it, and even the original Kickstarter backers have yet to get and try it out: https://www.kickstarter.com/projects/222459303/sensorwake-wa... ScienceAlert also mentions that two earlier sleep studies found that various scents hardly worked to wake people up: http://www.sciencealert.com/this-scent-producing-alarm-clock...
I don't think that's as surprising/chilling as people make it out to be. Let's say I run a compression algorithm (e.g., Huffman coding) on a billion strings, and a very common substring is "hello, world". I wouldn't be surprised if the compression algorithm "learned" to compress "hello, world" to a single bit 0. There are a few big jumps to get to cat faces (e.g., the representation has to be approximate), but I don't see why the idea is fundamentally different.
it would be better to just 'seed' the tiny starshot spacecraft with human embryos that could litter the planet and then develop on arrival.
The Red Cross Wants Italians in Earthquake Area to Deactivate Wi-Fi Passwords
Apple has adopted a similar philosophy with their MacBook Pro line of computers.
So, how do these advanced types work?

For their `add` example, I imagine just having x<y somewhere is sufficient. But let's say I write a sorting implementation but the compiler can't quite figure out that it is correct. Is there a provided way to tell the compiler 'trust me, this property is now true'?

Also, I'm assuming the compiler has two classes of errors here: a counter example vs. unable to prove?

Can anyone point me to documentation on these (in Idris, preferably)?
And we haven't even touched on the glory of Drosophila gene names.
Yeah, but in most games of skill you have some system in place to ensure your best players don't drive away the worst. When money gets involved things become murkier though.
Yes but BJJ instills confidence in you and your ability to handle a close range encounter.
>> I'd say that not having 360 degree vision is a terrible shortcoming

> Well now you're just being silly :)

Well, I just meant that dealing with more than one opponent is a problem in BJJ as much as it is a problem in any other fighting style. It's not worse in BJJ because it has grappling and ground techniques. If you are exclusively a boxing fighter, for example, having people attack you from behind is also a big deal.
I see a lot of Kung Fu Panda in Roy Nelson :)
I don't know about you, but I value the food that gets to my table because of the "unskilled" immigrants willing to do the hard and grueling work necessary to pick it.

Not to mention the fact that their sons and daughters grow up knowing the value of education and become "exactly the kind of immigrants" we want.
Changing the world is a great way of making sure your statement is always true: You can define what the world is, and apparently your definition is computers and electronics. Even then, I'd argue that most of the ones you listed just won in existing markets.

If you are looking for immensely wealthy, self made entrepreneurs, they exist. Just from Spain, we have Emilio Botin, who built one of the biggest banks in the world out of nothing, and Amancio Ortega, who owned a single, small store called Zara, and now owns a conglomerate worth 100b: Not quite Amazon, but in the same ballpark.

There's also this company called SAP. I hear they are big and not American.

The difference in number of ultra-wealthy entrepreneurs has little to do with inherited wealth IMO, and I am no fond of inherited wealth. Instead, there are two far better reasons: It's harder to raise capital, and the size of the markets that you can get to without becoming a multilingual, multi jurisdiction company are far smaller. The EU's inroads towards unified regulation are noticeable, but far too slow in comparison to the US.

How big would Amazon be if all it could sell to for the first few years was just Seattle? How do I build a huge social network if you are hard pressed to find more than 80 million people speaking the same language, and people often live very close to their birthplace? How many text advertisers can I find if my search engine is looking at content written in a country of 40m people, instead of 400m?

You might as well ask why there are so few Japanese playing in the NBA.
I really like Firefox's current tab groups and wish that Chrome provided similar functionality. For me a better method would be to have the tab itself be the group "parent" and expand when clicked.

For example: I'm on reddit's front page. I'll open links in new tabs, then go to them later. It'd be great to have those auto-group under the parent front page tab and hide out of view until later.

Are there videos, or any screenshots of what this current implementation looks like? Like you said (and the GitHub readme explains) they don't really know what they're doing yet, but it'd be nice to see how it differs in its current state from traditional browsers, and might even convince me to give it a try.
Yes this is true, with LVMH the businesses were combined & acquired more recently by B Arnault even though the original businesses are very old.

I would hardly say Inditex hasn't changed the world. Apple mimics their JIT inventory technique.. There used to be a time when it took a few years to get phones out to the public.

I think the thing that makes these particular entrepreneurs stand out is they keep a relatively higher profile. The cultural tendency in Europe is more socialist and not to show off and keep out of the news - This is what my point was more on. The startups and founders are there, but they don't let themselves be known.

Do we know who was responsible for the Raspberry Pi for example? or who built up ARM Holdings (the designers of the arm chips on everyones phones and tablets)? or who made Nokia do what it did? Who made the device that drilled the channel tunnel?

Surely they changed the world, its just they don't 'get out there' as much as American entrepreneurs.
avoid them, too
And we're just feeding our devices all of this information, permitting its new owners to freely build psychological profiles about us.
What is Houdini? Do you have a link?
> will your page be readable in 1000 years?

In entire fairness, the evolution of language may well make this impossible, or nearly so, regardless of how you structure your content. It's not unreasonable to shoot for 100 years, though.
Actually, a strict "no GPLv3" policy makes a lot of sense because it side steps the whole issue and means they don't have to fork over a ton of money for legal reviews of something 95% of OSX users won't care about.

It's easy enough for people who want GNU grep to install it themselves.
Do you really need GPS to tell the drone, "Remember your flight control inputs and reverse them on loss of signal?"

I'm sure it's not trivial, but drone defence based completely on signal interception seems straightforward to defeat.
Ask HN: Angel Investment and VC – recommended readings?
Im interested in knowing how an angel investment and VC firm functions. Any books, blogs that you can recommend ? On a longer run - if a programmer aspires to be a VC - where should he start to work his way up.
Thanks for the really detailed reply.

I guess that explains my experience really well, since I'm always searching from a big amount of small files like huge codebases and config files, and almost never from files bigger than several megabytes.

ag has tremendously improved my quality of life in that regard, so please accept my sincere Thank You for making ag :)
Didn't Project Orion determine that it's theoretically feasible to accelerate to not-insignificant fractions of c using NPP? If your journey could average even 0.05c, you can potentially make it within a human lifespan.
> Only the richest, elites.

Would they actually want to go? If we are talking about a 1000 year voyage, and not assuming a major breakthrough in cryogenics or longevity, signing up for that trip means you are going to spend the rest of your life on that ship, mostly outside but near our solar system.

I don't see that being particularly enticing to rich elites.

I don't remember were I read this so cannot properly give credit, but I saw an interesting variation on the generation ship.

The conventional approach is to send a large crew, whose job is to operate the ship, reproduce, and raise their kids to take their place, generation after generation until the ship arrives and they become colonists.

The variation would be to start with a much smaller crew and large collection of frozen embryos. You make use of the embryos when you arrive to build up the population to full colony size.

The advantage of this approach is that since there are fewer people during the trip, you have more capacity for supplies. You can better equip the ship to deal with unforeseen problems.

For instance, suppose taking the embryo approach, you can get it down to a crew of 6. You'll have 12 when the crew is overlapping with their kids. Call it 18 if the crew's parents have not yet died when the crew has their kids.

Suppose each crew member needs 3000 calories per day. Then on a 1000 year voyage, you need 18 people x 3000 calories/person/day x 365.2422 days/year x 1000 years = 19.7 billion calories.

I have a protein bar by my desk at the moment. It is 190 calories, and is about 125 mm x 30m x 20mm = 75000 mm^3. So, 19.7 billion calories x 1 bar/190 calories x 75000 mm^3/bar gives a volume of 7.8 x 10^12 mm^3. Stored in a cubic storage container, this would require a container with an interior length, width, and height of 19.8 m.

The "small active crew, everyone else a frozen embryo" generation ship could start out with enough food on board to last the entire voyage, and so would not need to raise food onboard. That alone should greatly simplify things, and greatly improve the chances of making it. Of course they probably would still grow food, but now it would be for added variety and flavor, not a necessity.

(I'm not going to do the calculation to see if they could start with enough water for the whole trip. Water is very bulky and we use a lot of it, so my totally uneducated guess is that it would take too much space. However, I believe that efficient water recycling in a closed environment is something we know how to do very well, and so water should not be a problem).
Great bit of wisdom buried at the very end:

> The key to making programs fast is to make them do practically nothing. ;-)
I haven't read this (long) article in its entirety yet but I did make this presentation[1] last year to satisfy my interest in the space and help me understand where it stood.

I borrowed a lot from Adam Krejcik's tweets, who is quoted in this article. See slide 21 for notes about player attrition

[1] http://www.slideshare.net/robinhowlett/daily-fantasy-sports-...
Waiting eagerly.
Naming color variables
In a recent Harvard study about how Instagram could predict depression with trained algos, they shared some very high depression rate figures regarding Mechanical Turk workers. We should be doing more to investigate this issue, as the decisions made on MT fuel much current work.

Expanded thoughts here: https://medium.com/@dbreunig/do-algorithms-find-depression-o...
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.

I would throw in wrestling for takedowns.

Traditional martial arts seem to be moving even more towards "Discipline and goals for kids" rather than "Teaching adults to fight."

In MMA, many fighters say "I started in TKD" but only a very small handful still train in them.
Yeah, I think that's exactly right. And it's hard to reach for a weapon when you can't move your arms.
Do algorithms find depression or cause it? Depression rates on MTurk are high
GitLab in Action
The spread is also larger. The difference between the bottom 20% and the top 20% in the USA is higher than in Europe. So measuring by that is useless, since, in general, a 40%er in the USA is better off than a 40%er in Europe. Thanks for the propaganda though!
F*ck Trump: CRV launches Fellowship Program to pay for founder visas
DiCaprio's Phenomenon
Inditex has made tremendous changes in how fashion is made and delivered: It's a logistics marvel. Other companies selling clothes are either stealing large percentages of that model or dying. If you look at how often a store turned inventory and changed styles in the 80s, and look at how it's done now, it's like a different industry.

You might as well claim that Walmart, Amazon or the Sears catalog, didn't change the world. They all just sold stuff, right?
cool, i just wrote all this go code for paradise if u wanna steal it :) https://github.com/andrewarrow/paradise_ftp/blob/master/serv...
Lucky you. I get their stupid modal overlay more often than I'm happy with. On top of that it now usually defaults to Dutch and Dutch results even when I don't want this. Highly annoying.
It's interesting seeing everyone immediately sort themselves by their assumptions and then argue in those clusters.

Are martial arts supposed to be a way to defend yourself? A competitive sport? A way to stay in shape? Some sort of artistry?

These are all valid questions, and different martial arts answer different ones. Capoeira is worse than useless as a fighting technique, but entirely viable as a way to stay in shape and express yourself. Olympic-rules Tae Kwon Do is an excellent competitive sport that doesn't have much in common with versions of Tae Kwon Do taught for self-defense.

But because we're not agreeing on goals here we get the usual debates about whether MMA is the most effective way to hurt someone. Which has always sounded silly to me: we're talking about a sport. Using just your feet isn't the most effective way to get a ball into a net, but soccer is still a better sport than it would be if players picked up the ball and ran.