skysight-inc/HackerNews huggingface dataset:
A lot of these problems are mitigated by just keeping it simple. You don't, for example, need to design the templating language. Use an existing, successful language, and invert how it parses strings, and add a nicety for expressions. You can probably even reuse most of the parser, and then output code that runs by the language's eval. This gives you all of the language's constructs nearly for free. Python/Ruby/Lua/Elixir/Julia would be great for this. This also produces a better result: I can't tell you how maddening it is to not have basic language constructs in, say, Django templates, because the template designer decided to write a whole second much crappier language inside the language you're using. And this method will likely be more performant.
Maybe not an explicit 'I hereby declare a ban on all friendships', but in my experience, I find it hard to draw close to someone simply by virtue of the fact that we did not form our friendship early in life. No matter how much I hang out with someone, his childhood friends whom he grew up with will always take 'precedence' - I will never be that 'close friend who people can be comfortable sharing their personal lives with'.
There are a lot more tools in the JVM ecosystem than just IDEs, and by now most of them have Scala support.
Docker DOOM
It's pretty straightforward, entering competition would be a lose/lose/lose prospect for ULA at this point.

First off, they can't meet SpaceX's prices, no matter what, so they're unlikely to win out on a straight-up bid on a single launch (they love those block buys).

Secondly, they don't have any more RD-180s to build more Atlas V's, which means they can't realistically promise any future Atlas launches. If they did they'd have to crawl back and say "sorry, can't do it." Alternately, they could try to put forward a Delta IV launch as an option, but that's even more expensive.

Thirdly, putting in a singular bid at this point and trying to cut their profit margin to the bone as much as possible would hit them doubly hard. On the one hand it would mean they'd make no money. On the other hand it would reveal publicly their true costs, and make it blatantly obvious how much they're over-charging on launches with the block buys plus launch assurance subsidy (which run at over $300 million per core, or so).

They're better off laying low and just hoping they can work their connections for more back-door block buys in the future.
Haskell has some efforts, but IIRC nothing that's as clear and maintainable as just writing a function from types to types like you can do in Idris.
He didn't say they don't make money, he said they don't do supercool stuff. Money is supercool stuff too, but not in the same way.
Yes, we should have owners for code. I hate shared ownership ( "The WHOLE team owns the code !"). Quality happens when at most one person is responsible to make it happen. If there are two people responsible to make good quality software, each person will think that the other person will do the hard stuff.
As they say in the space industry...

All rocket, no engines.
when using native i/o take care to use it in nonblocking manner. if it would block use libmill's fdwait() to wait while the file descriptor is unblocked. in case of long computations call yield() once in a while to give other coroutines a chance to run.
The Knights Landing (KNL) memory hierarchy is different from Knights Corner because it now features MCDRAM (HBM) - even with three different modes [0].

[0] - http://www.anandtech.com/show/9794/a-few-notes-on-intels-kni...
The Wikipedia article has no criticism section.

It might be great as taxonomy of problem solutions, but there is no reliable evidence that it works as a methodology. Reducing research activity to a bunch of codified chess-like moves is a huge temptation. However I haven't seen its adepts producing any unexpected results (in practice, not on some TRIZ textbook puzzle). The solutions were on par with what you'd expect from a person of comparable intelligence, experience and education background otherwise.
Because you might want Google to index your website.

Because you might want an integer or a float type.

Because you might want to be able to test the logic of your code on one environment, the only environment where it will be run.

Because you might want a reasonable dependency tree.

Because you might not want to rewrite portions of your code to run them on the server side.

I could go on.
How good is it as a gaming device?

The killer could be the possibility to turn it into a Steam machine.
SpaceX has a history of "leaving money on the table". That's why their Commercial Crew award was so much smaller than Boeing's.
Is it Cyvasse?
Another downside of the FireTV stick and a dealbreaker to me is that Android cannot adapt the refresh rate to the frame rate of the video. Many movies are 24fps, so a multiple of 24Hz is required on the HDMI port for smooth playback. It's one of those things you can't unsee once you're aware of it.

Maybe they've fixed it, but it was like this half a year ago when I had a FireTV stick.
Got it, thanks! For me the better question is often simply "Why is it X?" Knowing why the speed is X is often of much greater utility than simply knowing that X is the speed. I like to focus on determining the current single limiting factor before considering the harder question of what would be necessary to achieve 10x.
That explanation that "things are always moving - through time" is exactly correct. You need to think of the full four dimensional spacetime. It is that spacetime which is curved rather than just space.

The crucial concept is Newton's first law (objects continue on their trajectory if a force is not applied). The straight lines in the 4D spacetime (geodesics) - the lines that an object would follow if no force is applied - correspond to the paths that look as if a gravitational force is applied.
Almost. I agree more with this: http://bettermotherfuckingwebsite.com/
Polio, malaria, sanitation, nutrition should come first. A-la the Bill and Melinda Gates Foundation. On the priority list for those people getting showered with ads is somewhere towards the bottom.

This whole situation very much reminds me of the scene from The Fifth Element where the deaf guy throws the protagonist a couple of billiard balls instead of a gun.
American Medical Association backs prescription drug ad ban
Fixed. But the story is of course off-topic for HN.
In a perfectly competitive market, the market price is the marginal cost of production.

If the market were working as it theoretically should, the upgrade would be free as the marginal cost of the upgrade is nothing.
"Entanglement lets the measurement of one particle instantaneously determine the state of a partner particle, no matter how far away it may be"

No. No! No!!! This meme has really got to die. A measurement of one entangled particle does NOTHING to the other particle. Its state is exactly the same as it was before. In fact, the whole concept of "before" and "after" a remote measurement doesn't even make sense because it depends on your frame of reference!
>I do find market segmentation to be morally wrong

What about student discount at cinemas and other places?
> Until we can admit that it is religion itself that is the danger, and the irrationality it encourages, this issue will never be solved.

This is a fallacy that's constantly repeated by atheists. It's not true. Lack of religion is just as bad, if not worse (e.g. nazis, communists).

The issue is the "us or them"-thinking that all humans are born with. We all want to belong and in trying to achieve that it's inherent in us to define our group as different from "that other group". This is human nature. The problem comes from us going too far to define our group as better than "that other group", we start to claim they are not human/not worthy to live. It quickly goes downhill from there. The dividing factor can be anything: religion, culture, politics, race, sports and so on.
This new VPN and proxy service is totally worth your attention
Was pondering over this myself.
You go to the dentist for your oral health.
You ask a civil engineer to build your home.
You have a teacher to teach your kids.
So you need people with knowledge to run your country as well.
This board is based on a PIC. The teensy is a AVR (and later ARM). You want to look here instead:

https://www.reddit.com/r/MechanicalKeyboards/wiki/firmware
You can buy perfect replacement rubber feet on ebay, theres a very nice seller there (from canada if I remember correctly)
Appending 1 to functions might be used for utility/internal functions with a slightly different (and less convenient) signature than the base[0], usually because the original signature does not allow for tail-recursion. That's not the case here.
This reminds me of a quote that went something like:

"Most children are already physicists. Sadly, our education system beats the curiosity out of them"

Was that Feynman or someone else?
Does anybody know 1) Spain's jurisdiction in this charge and 2) if there are any other examples of similar charges being brought against members of a foreign government?

Under International Law, I understand they can be charged by The Hague, but by an individual country? How rare is this?
Yes, there are many books that start with functional programming. If I remember correctly.

"Concepts, Techniques, and Models of Computer Programming" start with pure functional program, and define objects as function with state. An other one is "Essentials of programming languages". Also Pierce's "Types and Programming languages"....
What is SageMath's Strategy?
The comic explains the problem really well, I think
I honestly haven't seen better strategy people in the software world than those at Microsoft.
Well, with these kind of articles you can usually safely replace "physicists" with "some physicists".

Anyway, the part that I know, and which is well established, is that there seems to be a correspondence between a d+1 dimensional quantum gravity theories, and d dimensional quantum field theories (e.g the standard model). A while ago this was still purely conjecture, but Maldacena showed that this correspondence was true (under certain conditions) for an AdS space with a conformal field theory on its boundary. As far as I know this is now pretty well established, most of the discussion seems to be on how much it can be generalized.

From my (limited) understanding it seems that (in AdS/CFT) entangled particles tend to correspond to strings traversing from one part of the boundary, through the bulk, to another part of the boundary, the space the string travels through then forms a tube like object. This gives a link between entanglement and geometry, since these tubes exist if and only if the two points on the boundary are connected.

I think it isn't disputed that this happens for AdS/CFT, but whether something similar is true for our universe is debatable. If however it turns out that the holographic principle does hold in general then that would imply that our universe somehow corresponds to a 2+1 dimensional field theory, where entanglement of this field theory is responsible for the fact that our space-time is connected.
If it's x86/x86_64, it has a major advantage imho
This comment breaks the HN guidelines, which ask you not to call names. Please don't do that.

https://news.ycombinator.com/newsguidelines.html
The Comprehensive Guide to Productivity at Work
To answer your EDIT2 - I suspect it's because your main / original post was somewhere between not-funny, and not-useful. That is, you described a device that already exists (a mobile phone) in a roundabout way, and seem to be demanding that this device should be yet another mobile phone -- rather than considering the features of this particular device as delivered.

It's possible that neither ASUS or Google considered the option of making a mobile phone, but this seems unlikely. It's equally unlikely they could develop the same kind of CPU/AV grunt along with the features you want and still ship at USD$85.

To your other questions - there's one USB port because this is intended to plug into something else (specifically using HDMI), and not have a deskload worth of cruft plugged in to it. As observed in the article most people will use BT mouse & keyboard. Network (802.11ac) is built in. What use more USB?
After having my 16C stolen a long while back, it took me years to source another at a 'reasonable' price. It's around $300 for a 16C in good condition these days.
I bought a 12C "anniversary edition" some years ago; it's fantastic.

You can still buy them (they're listed on Amazon) so it's not clear why the article mentions "rebirth": the thing's not dead!!
Seo Doktorum
Why did you alter the article title, in posting it here, to say something that the article itself does not?
Someone needs to make a tiny C lib that contains just the stack switching stuff (basically whatever is used as a substitute for ucontext), that the various coroutine libs can share. I like all these coroutine libs (libtask, lthread, libmill, etc), but it makes me uneasy to have non-portable assembly code lying about that might go unmaintained.
Good questions.

It could be a force - if someone finds a theory that describes all the observational data. They haven't.

The reason to insist geometry is that general relativity manages to predict extremely accurately the result of all gravitational experiments/observations as of 2015. In science, prediction comes before explanation, meaning if you have to accept whatever explanation the best predictive theory offers and not vice versa.

Well, its has been explained - you just haven't gone through the right books. There are two answers, which I will simplify. One, the Big Bang threw everything all over the place and now masses are moving so as to reach the state of minimum energy. Two, there are 3 other forces in the universe which can cause masses to move. For example you can use electromagnetic forces during the combustion of rocket fuel to send a satellite in space. The satellite then moves in orbit because of the geometry of spacetime. Same when stars explode - this involves all three forces.
This is great! Together, they form a perfect design philosophy!
Thank you. Someone posted an idea for it on Reddit on Saturday night, so I worked on it on Sunday and wanted to get it online as quickly as possible. It did get very good traction. Was #1 on Reddit India's homepage for nearly whole day and is up to nearly 500 regd signups now!

A few reporters have also contacted me (Deccan Herald, etc) who want to feature it in in print. So far so good :)

IMO it's missing quite a few features but I hope to release them every weekend.
SpaceX Poised to Win First U.S. Military Mission as ULA Backs Out
Eric S. Raymond is a known contributor to NTPsec.
I think it's morally wrong to demand that people who build things should be expected to share the thing they build in a particular way just because the thing they've build is easy to reproduce.

Market segmentation generally allows producers to expands downwards in to lower market segments without cannibalising their full-price customers.

Crudely speaking, the alternative to a $5,000 full-featured device and the same device with a smaller set of features ("crippled") at $1,500 isn't a full-featured device at $1,500, it's a no device at $1,500.
> So how would have been an acceptable way for the commenter to make his point?

If by "acceptable" you mean better for HN, it's not hard to imagine a thoughtful comment about the difference between making money from an app product vs. an app-building shop. Also it would be easy not to belittle the OP's achievement (as "empower others to fail", for example, does).
... you honestly think Google has no analytics on whether or not design changes affect UX? And that they'd stick with a significantly worse-performing page?
Sure we did. I was very active in several Usenet newsgroups from 1987 on.

Of course, at that time, few companies were connected 24x7. My employer, for example, dialed in for mail and Usenet traffic exchanges a handful of times a day.

The debates over the first ANSI C spec in comp.lang.c were most entertaining.
"Certain processes are vital to the computer's operation and should not be killed. For example, after I took the screenshot of myself being attacked by csh, csh was shot by friendly fire from behind, possibly by tcsh or xv, and my session was abruptly terminated." Fantastic!
Regarding more privacy: have they found a way to keep the SNI information private?
I resent the people who got lucky
boot process: coreboot plus depthcharge, like every Chrome OS device (since 2013 or so).

network settings: like every Chrome OS device it defaults to DHCP with whatever comes through that (incl. DNS), but can be manually configured.
First, the one mentioned in the parent:

https://www.erowid.org/experiences/exp.php?ID=26033

And a couple skimmed off the all-time best[1]:

https://www.erowid.org/experiences/exp.php?ID=31722 (Nitrous Oxide)
https://www.erowid.org/experiences/exp.php?ID=17787 (Mushrooms)
https://www.erowid.org/experiences/exp.php?ID=104336 (Ibogaine)
https://www.erowid.org/experiences/exp.php?ID=96838 (Methoxetamine)
https://www.erowid.org/experiences/exp.php?ID=68367 (Sensory Deprivation)

Obligatory honorary mention:

https://www.erowid.org/experiences/exp.php?ID=68111

[1] - It occurred to me that I selected predominantly positive, or at least 'wonderous', reports. Dig around and you'll find some that are less so.
Probably not. But it will be a big step in the direction.

There are two unifications that need to happen. One is the unification of the strong force with electro-weak force(the unified version of electromagnatic force and weak force). The other is gravity with the unification of the three forces.

As far as I understand, this work is concentrating on the second unification, and not the same. Though it might open the door for the first one too. Someone closer to this area should comment.
How to Install and Configure Brid.Tv
It isn't like lock-in is unheard of in other countries - this is why you have the choice of buying an unlocked phone. I'm sure it does seem rather odd if you are unused to it, but overall it tends to help people if it is done correctly (I no longer live there, so I don't know how easy it is to unlock) They had to pass laws to get carriers to unlock phones - it used to be that a phone only worked on one carrier in the US and That felt truly unfair.
Criminal Charges Brought Against Bestselling Supplement Manufacturer
Ask HN: Is it possible to cut off the internet for ISIS occupied areas?
It seems a lot of coordination for attacks or recruiting is done through the web, why don't we take that away? Is it that difficult to do? Or is it a bad idea?
Maybe I will expand a little bit more on my original post.

A colleague of mind left a little earlier before work ended because he had an appointment with some of his highschool friends. From what he told us they don't live in the same area any more but make it a point to meet up once a month.

After work I made a detour to get some stuff, and I happened to walk past the cafe where said colleague was hanging out with his friends. I was walking opposite the street but could see them through the glass windows laughing and having a good time, and in that moment I felt a visceral pang of emptiness / loneliness.

I am unable to forge a deep level of friendship with people that I meet in Meetup groups - simply because they already have their own cliques and social circle. Even if they do form a new one, it will never be as close-knit as the ones they have formed throughout highschool simply by virtue of the fact that one has been ongoing for a longer time.

If you can visualize it like a spider web, where you are in the centre and the 'webs' that branch out are your friends - the more friends you make and the stronger connections you form (usually happens throughout high school and college) - the larger your spider web grows exponentially. The closer a person is to you, the nearer he is to the 'centre' of the web. Think of it this way - the larger the spider web people have, the harder it is for someone to get as close to the centre of the net as possible. At this stage of life - almost everyone already has established their 'spider web'.

I know this because I actually do have such a clique since highschool. We still maintain contact over Whatsapp but since I am the only one that is overseas, I am unable to meet up with them frequently. And within that circle I do have a couple of close friends who I message on a weekly basis, and who I would call lifelong buddies. No way will the new friends I make over volunteering/hobbies/meetup groups ever become closer to me than these lifelong buddies I have - so how how can I expect the same for them?
Man, I really want to read this. Wonder if there's an English version. Is it worth reading?
I can also say smart things:

Template language is useful not because it allows to do things, but because it limits what can be done.
You seem to be implying that options sold as "actual PCBs" are/were sold at marginal production cost, and not marked significantly up.

The main difference with software options is that the marginal production cost for the option is $0.
>It is that spacetime which is curved rather than just space.

This is the crucial point that many discussions overlook. The concept of "curvature of space" is obvious nonsense because curvature is measured with respect to space. For space itself to curve implies the existence of meta-space (and as many nested metaspaces as you like). But "spacetime" does not work like "space", and there actually is no metaspace. Talking about "space" curving or expanding is unnecessarily confusing.
It's veyron_mickey, supported by upstream coreboot (https://github.com/coreboot/coreboot/tree/master/src/mainboa...)

As for Linux, other veyron devices (that's the RK3288 family of Chrome OS systems) are already supported in upstream (look for veyron on http://lxr.free-electrons.com/source/arch/arm/boot/dts/), so I expect that this will follow as soon as the Linux development process allows.