skysight-inc/HackerNews huggingface dataset:
"Unikernels" is the misnomer being promoted by MirageOS for applications compiled to run on Xen, which they are currently doing on Amazon EC2 hosts alongside Linux instances. There are EC2 hosts that host a number of instances, including "unikernels" and Linux instances, and although I don't have details, the pricing on the smaller burstable instance types makes me think that some of the EC2 hosts are hosting actually quite a large number of instances, in which no instance exceeds 5% of the code or runtime. Is that what you're talking about?
Dozens of cities and probably several civilisations have been sunk/flooded by earthquake/environmental change over history.
While you've done an impressive amount of research and have a lovely narrative, isn't it a simpler solution to suppose that it was simply a myth that evolved out of the stories d lost cultures and civilisations?
The tone lasts for infetesimally longer when it fails to read the card. Good luck telling the difference, even if you're blind.
More relevantly (IMO), see: https://en.wikipedia.org/wiki/Kelly_criterion

There's a +EV (long run, even with finite starting bankroll) strategy readily available under the stated conditions.
What happens in the beautiful country of Venezuela is so sad.

But what I don't get are the leftwinged fans that the regime has in the west.

Do you see that you are being manipulated and that the socalism propaganda is all bullshit? That the corrupt insiders are funnelling billions of dollars out of the country, while arming goons, harrising opposition and just plain wrecking the country.

I know some of you go there on "cultural exchange" visiting happy, passionate, friendly Chavistas. Have you learned nothing from history? Can you not see that this is the same blatant manipulation that created the western european fanclubs of Eastern Germany, Albania and even Pol Pot's Cambodia in the 70-80'es?!

To me the country of Singapore should be closer to the ideals of socialism with its big government housing programs, active cooperation with private sector, strong political correctness, low corruption, lifting millions of out poverty etc.

Yet sadly it is not.

I wish you guys would pick your politics on the consequences it actually creates.
I'm a big user of G+, and I love Ello -- though more for its progress and potential than actuality as of yet. But I've done repeated quantified research, and they are tiny.

The main Google in-crowd can be found around a handful of folks (Yonatan Zunger's a good magnet). Half of us have pissed off the other half. Then it's your random marketroids, SEO crowd, a bunch of Libertardian shills, and the odd YouTuber who's gotten sucked into a community-violating discussion leak (a hole that should hopefully be plugged soon).

But mass quantities of informed discussion? Not really.

"Tracking the Conversation: FP Global 100 Thinkers" (and guest appearance by KK)
https://www.reddit.com/r/dredmorbius/comments/3hp41w/trackin...

"Ballparking Ello's active user statistics"
https://ello.co/dredmorbius/post/gxpvKs_tp-SL10nNJ1Rlbw

"Estimating G+ User Activity: 4-6 million active posters in January 2015 to date"
https://ello.co/dredmorbius/post/nAya9WqdemIoVuVWVOYQUQ

(See also Eric Enge / Stone Temple Consulting for a far more comprehensive analysis:
https://www.stonetemple.com/real-numbers-for-the-activity-on...)

Sure, you can get a noisy stream if you want. But real gems are hard to find.
and cost the same as an low end notebook and smartphones segment are too fragmented to find the right support. In fact, Remix Mini is way cheaper that everyone can own it.
It's not about sunk costs. It's about risk. The devil you know is a known risk that can be controlled for. The other might be better... but also might be much worse. It's an unknown.
> What if a country doesnt have any other thing to make profits than oil. Same is the case for gulf countries.

Not sure if it has recovered since the 1990 war, but Kuwait was an example of a better long-range strategy if your main immediate source of income is oil -- you invest a large share of the profits from that in other things, while using some of the proceeds from both oil and the other investments on services for citizens. Its not as much short term benefit in citizen services, but its better for long-term stability (well, up until the fact that you have invested in a way that makes your returns better when oil prices are low gives you conflicting interests to your neighbor who hasn't invested in other things the way you have, forming one of the reasons they use their investment in one of the largest militaries in the region to invade, occupy, and ravage your country.)
Ten Dropbox Engineers Build Lossless 'Pied Piper' Compression Algorithm
Those are still good odds and given enough bankroll you will win. Which of the cases in the article do you think disproves that?
If anyone cares, I learned a lot teaching that class. Happy to share.
That would be a strange, rude and unhelpful way to point out a conflict. It's just poking fun at the politically paranoid that lash out at anyone that points out their mistakes.
Do you have any data at all to back this up, or are you speculating for emotional reasons?

Oh, "probably". Got it.

Taleb is very smart and very practical. I doubt he falls into the perma-bear trap. Even Japanese equities have had long positive runs that have not been worth fighting during their brutal bear market.
Look at the Github.. I laughed. :)
> outsourcing the things in the list above

Other editor plugins leverage the `hh_*` binaries to achieve this. In fact, the way they are written are specifically for that use-case, as far as I remember.
Disagree entirely. Anticipation is just a function of memory - of having enough training data that you can glean potential outcomes and their probabilities through the attributes that surround them.

That's used in AI all the time already.
These seems like architecture level problems rather then framework level.
I wouldn't classify those as "type problems" but rather "using types to solve problems". I have no issue with the claim that great type systems make some... ahem... types of problems go away, although it's often trading one type of complexity for another. My issue is with the claim that "long term development is intrinsically better with static typing".
"“The markets are overvalued to the tune of 50%, and I’ve been saying that for some time,” said Mr. Spitznagel"

I always enjoy quotes like that. I wonder if the markets have gained 50% over the time he's been saying it.
The React Native Book
I just want to shout out to Remix (FKA Transitmix) from the YC W15 batch - http://getremix.com/

Some wicked-smart former Code-For-America Fellows working on this YC-backed project.
Nassim Taleb buys options whose counterparty has multiple ways of hedging,

Suppose Taleb buys a put on SPX (S&P500 index) from an counter-party with a strike price of 1880, most prudent counter-party would re-hedge themselves by spending some of Taleb's premium to buy a cheaper SPX at a strike price of 1800.

Alternatively, the counterparty might put on dynamic hedge; meaning if SPX drops and it gets closer to Taleb's strike price, the Taleb counterparty will have to rush out and also short number of shares of SPX proportional to the option's pricing's sensitivity to the SPX, otherwise known as the delta of the option contract.

Suppose the counterparty didn't hedge properly or the market was super-volatile like this week Monday and counterparty didn't act fast enough to hedge and is brankrupt; then usually the counterparty's broker has to steps in (e.g., Charles Schwab or TDAmeritrade for retail investors or a huge investment bank's brokerage services for a hedge fund).

Suppose the trade is so huge that the broker defaults (e.g., when Swiss Franc de-pegged and blown up lots of retail forex accounts and forex brokers), each broker also has to go through a clearing broker who are the third-level of guarantor of the option contract; the two biggest one's for equity and options markets in US are Goldman Sachs Execution Services and Apex Clearing. Their sole job is to maintain a huge account of cash proportional to the trades they settle in case of settlement issues.

Now suppose the GSEC and Apex defaults also; then I'm not sure anymore, I'm guessing that the guarantee responsibility falls upon the charter members of the option or equity exchange - the burden of debt is distributed to the member of the exchange (brokers, banks). If all the exchange collective members go bankrupt, then I guess at that point, that means collecting your option payment would be your least problem...
Cochin International Airport Is World's First 100% Solar-Powered Airport
Plural of anecdote is not data, right? ;)

As someone who competes against them for talent, and having seen dozens of examples from different parts of their business, Amazon is an extremely competitive employer on the tech side for experienced employees. They typically pay nicely above market
I'm not claiming that good type systems aren't useful, I'm claiming that the statement "Go is better for long-term development because it's statically typed" is more like FUD than actionable information.

I also agree that good type systems can reduce some forms of complexity (while often introducing another, but that's a different discussion).
Lifetime Comic and Toy Collector
c2.com lacks any sense of design or taste.

It has the very best design! http://motherfuckingwebsite.com/
Venezuela has higher per capita oil reserves than countries like Norway [1]. Why is it in such a bad state then? Shouldn't they have at least decence economy if not as good as Norway?

[1] http://www.nationmaster.com/country-info/stats/Energy/Oil/Re...
ProtonMail Android v1.0.3 has been released
>> I'm purchasing a cat for a circumnavigation. Where could I have such a conversion done?

That company does not exist any more - it got bought and ultimately disbanded. The boat did cross the Atlantic BTW and IIRC used no fuel to do so. I always thought it was a really good use of the technology. There are independents and small companies out there that can do that type of work - search for electric aircraft projects and find the people behind those. For a single boat you'll want an industrial drives and controls guy who can also deal with the battery and system issues.
eugene is just THAT good. and also in the U.S., the first tenure-track position after a Ph.D. is called "assistant professor", which differs from terminology used in other countries.
OP already did her/his best.
Well, I am very impressed.

14 bit = 2^14 = 16384.
Optical or some kind of hall-effect? I am going to guess hall-effect.

When I read "permanent magnet synchronous motor" I think stepper-ish motor. Is that what the joints are? No gearbox, custom stepper-ish motor, with the 14-bit encoder giving feedback not just on the position, but also the load?

What voltage do these custom motors run on? I will guess .... 48V.

It is a very sleek-looking arm.
NASA starts year-long isolation to prepare astronauts for Mars
But doesn't someone needs to print some money at some point? Let's say government issued $1B bonds, central bank bought it but in return there needs to be some extra cash needs to be printed and handed over to government? Government can't pay road construction crew with bonds or some credit notes, right?
Oh Please.

Do not scapegoat Venezuela's social spending and socialist ideals for the hyperinflation problem.

Norway has much more generous social programs and yet they do not suffer from the same problem.

Is it really hard to admit that economics of a nation is really complicated and doesn't just boil to an argument about ideology ?

Venezuela's problem is corruption, nepotism and having an economy that is highly dependent on a single export.

What happens to america if tomorrow ppl stop treating dollar as the reserve currency ? America's main export to the world.

Anyway - I do not expect the mouthpieces of wallstreet at bloomberg to think outside their shell.
It's unlikely that a terribly boring strategy will in fact be profitable. (Comparatively speaking.)
Consider checking the return value of malloc (e.g: https://github.com/doches/progressbar/blob/master/lib/progre...) You're setting users/yourself up for a disaster if you're assuming it will never fail.

The standard [0] states that the size of `char` will be 1 byte. So there is no point in doing the sizeof operator on char. (e.g: https://github.com/doches/progressbar/blob/master/lib/progre...)

6.5.3.4 - Paragraph 3

> The sizeof operator... (page 80)

[0] http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1124.pdf
The 299m Americans who don't live near an airport will be able to continue using that spectrum after this goes into affect.
Sorry, but your logic is flawed and you're making a mistake. There's no good reason to consciously reduce the user experience for one class of user over another. It's baffling to me.

You think your user's are going to be loyal to you ("true user") even when you're not loyal to them? Very strange.
What would you call someone who has strong opinions about something they refuse to research?
I absolutely may have the layers the wrong way. My working knowledge of Windows is very limited compared to Unix and I may not have fully understood how Windows is put together.
I see; I thought it compiled to BEAM code directly. I'd wonder then if there's anything representable in the Erlang AST that can't be represented by Erlang itself; it doesn't look like it so far.
Ouch. I deny that my comment has anything to do with strength of character.

I was treated well, and everyone who I had contact with over my 18 months was similarly treated well (with the exception of forcing client developers to go "on call" for server issues that our team knew NOTHING about...that was cruel and unusual, but even that didn't require 80 hour weeks, just the occasional 2am pager beep).

Our branch of the org chart was happier (according to internal surveys) than Amazon at large, but those internal surveys absolutely didn't paint a picture of tons of unhappy people.

That said, I'm sure there are bad managers at Amazon, just as I had an awesome manager. There are just too many people there for them all to be perfect. But the picture from where I stood was honestly as positive as I described.

So don't throw around aspersions of my character when you don't know my situation, or what I observed.

ASIDE from the fact that I DID leave Amazon and sold all of my stock, so it's more like "the hand that fed me for a while."
Please eat you billion dollar argument yourself
About this article, I say oh jeez.
Rust is interested in zero-overhead memory safety and data race freedom, while D doesn't seem to be. From a design perspective, that's a major difference.

Note that the safety benefits must of course be weighed against the number of moving parts in the type system you desire for your project.
Me neither, but after playing with the 2D+Phase view it is starting to make sense to me now [see below for improvised mini tutorial].

I've studied quantum computing previously, but never thought about plotting the state space and visualizing it... very cool. Like all things programming, we all knew that sooner or later it was going to be done in the browser.

A. Hilbert space

// The quantum state of an eight-qubit register:
VectorSize 8
// this defines a 256-dimenstional quantum states space:
// a_0|0> + a_1|1> + a_2|2> + ... + a_255|255>
// where a_i are complex coefficients
// you can "see" these coefficients and thus "see"
// quantum states in the 2D+Phase view.
// The color/intensity of the bottom left corner
// represents a_0 the bottom right corner is a_15
// and so on until top right corner a_255.

// Note this 256 dimensional vector space is the "logical"
// space we work in, while the "physical" space consists
// of eight individual qubits addressed by zero-based index.

// The arguments Quantum gates act on individual qubits
// 0 = least significant qubit
// 1 =
// ..
// 7 = most significant qubit

// The qubit register is initialized to the all-zeros
// qubits state: |00000000>, which means each of the
// means a_0=1, and a_i=0 for all other i.

B. Quantum gates

// SigmaX(n) := 1 ⊗ ... ⊗ 1 ⊗ (|1><0| + |0><1|) ⊗ 1 ⊗ ... ⊗ 1
// \__8-n-1__/ \____n____/
//
// the NOT gate "toggles" the n^th qubit in the register
// while leaving all other qubits unchanged (1 = identity trans).
//
// Note that applying the operation on the physical qubits
// allows us to address the large quantum state space.
// For example, applying \sigma_X gates on the three
// least significant qubits is written as:
SigmaX 2
SigmaX 1
SigmaX 0
// this combination of operations transforms the sate
// |00000000> to the the state |00000111>, which is
// in the "logical" quantum space corresponds to having
// prepared state with a_7=1 and all other a_i=0.
//
// There are other gates like the SigmaY, SigmaZ, and Hadamard [1]

Okay so who cares?

// well, it's kind of neat that you can access and compute
// in such a large state space (see [2] for the def'n of ⊗)
// sure it's difficult to interact with quantum systems
// (state preparation and measurement), but damn the space
// is big so it's worth checking out what kind of computing
// you can do in there that you can't do with ordinary bits.
//
// An eight-bit classical register can represent any integer
// between 0 and 255, a eight-qubit quantum register can
// represent any state in the vector space \mathbb{C}^{256}.

There are already several useful things you can do in the quantum world:

// Then there are multi-qubit quantum gates.
// The qubits on which they act are specified as a range
//
// QFT 0, 8 // totally written by pythonistas...

[1] https://en.wikipedia.org/wiki/Quantum_gate
[2] https://en.wikipedia.org/wiki/Kronecker_product
I was an SDE III, and I had some hard-to-find skills. I'm also a crazy awesome developer who they decided they REALLY wanted to come in full time after I'd done a few months of contract work. Total comp was comfortably past $250k/year, counting signing bonus and stock.

I was based in Seattle, though I worked from remote. I was told I could have made Principal within a year if I were willing to move to Seattle. Which I wasn't.
There's still a point, in terms of readability and consistency. Certainly there doesn't seem to be a downside aside from a few extra characters.
Why speculate? Just go check their annual returns.
My own experience was anecdotal, so not a problem.

Obviously there ARE still sections of Amazon that are broken. Others have suggested as much in comments as well.

Sorry your friends had such bad experiences. Hope they found a better employer.
How funny you should mention that. That's what Goldman did with AIG. AIG sold puts on basically the entire US housing market. GS, et al, were on the other side of this trade.

If AIG couldn't pay off, effectively Goldman's house is burning down, but their fire insurance company (AIG) has just gone broke. That is, until the US Government bails out AIG (and by extension Goldman).

GS has argued that they didn't need AIG b/c they were flat exposure to AIG. Technically, this may have been true, but unlikely. In any case, if AIG went under other folks who owed GS money would not be able to pay because AIG could not pay (and AIG owed everyone money). So really GS was very much tethered to AIG.

But you do bring up a good point. It's very difficult to make money betting on the end of the world, because if the world ends, who will be around to pay you. For these reasons, central governments/banks have been the underwriter of end of the world insurance through their lender of last resort functionalities.
The difference is that no one (or nearly no one) dies taking the stairs. If you're going to replace one perfectly safe means of travel with another, the new one should also be perfectly safe.

But cars are anything but perfectly safe. In many parts of the world automobile accidents are a leading cause of death. Even in parts of the world where seatbelt laws and stringent safety requirements have reduced automobile deaths, they're still significant. What's worse, unlike other "preventable" causes of death such as smoking and obesity, automobile deaths disproportionately affect the young.

For all these reasons, I think the standard for driverless cars should be somewhat relaxed. Unfortunately, I'm guessing the "robots killing humans" mentality may still dominate...but if we can get past that I think driverless cars will have a larger impact on the demographics of death than almost anything else in the last 50 years.
We do have driverless trains.
Curious how they did on Tuesday.
Redundant != consistent. But I agree with you, there isn't really a downside. I'm being pedantic here. -pedantic
How are we to know the percentage of celiac sufferers in the past compared to now when the methods we have to diagnose are difficult at best. Also celiac is 'under the radar' of many physicians and many modern cases go undiagnosed (myself until this year).

The writer made many good points but, in my experience, should probably have done more research in this area.
Zombie Factories Stalk the Sputtering Chinese Economy
I see your point and don't disagree.

Using these semantics then, this is all user-layer stuff, and even less of an argument against "UNIX" itself. :)
"The original meaning is that a gambler who raises his bet to a fixed fraction of bankroll when he wins, but does not reduce it when he loses, will eventually go broke, even if he has a positive expected value on each bet."

Yep, that is correct, but the kelly criterion requires fractional betting, which at some point in the real world is not possible, especially with options.

This is because there is a limited amount of options you can sell/purchase, so the fractional bet will always decrease as your bankroll increases. And there is also a floor where you cannot purchase below if your bankroll falls below (though your investors would have wiped you out by than).

That is suboptimal
How often is knowing malloc has failed useful? You going to segfault either way.

I always use sizeof with char just to stay consistent - if you don’t you will get caught out one day when you change something and forget to add in the needed new sizeof.
Gotcha. Understood.
I personally am just missing one thing to give me confidence in self-driving cars - transparency into their algorithms. I don't need to get deep into them, but some general information on how they "think" for accident avoidance would help me.

Just as an example, lets assume some debris on the highway. I am sure the self-driving car can avoid it, or stop until there is a clear space to go around it. But what if a human is tailgating? Does the car ignore that? Or does it (facetiously anthropomorphically) think to itself, "Hey, that is a human behind me, tailgating, at 75 mph. Swerving left to avoid this debris would put the human-driven vehicle on a path to collide with it, because the poor sap doesn't have my reaction time. I'd better hit the brakes instead, to communicate the danger."

I know that is an edge case, but edge cases are where accidents happen anyway, so I'd like to know what to expect from self-driven cars.
"The original meaning is that a gambler who raises his bet to a fixed fraction of bankroll when he wins, but does not reduce it when he loses, will eventually go broke, even if he has a positive expected value on each bet."

When you're selling deep out of the money puts you can't just assume there will be a buyer to satisfy the fractional betting condition mentioned by the author in the (theoretically correct) kelly principle.
It doesn't apply so much to the big cities but in smaller cities and towns, it could be helpful for infrastructure planning/improvements - street lights, drinking fountains, bus stops around common pickup and drop off locations. Parking spaces around common UberPool locations, etc.