skysight-inc/HackerNews huggingface dataset:
Large enterprises also tend to require more sales and support effort, longer sales cycles, chasing after receivables, etc. All other things being equal, you have to charge more per unit for enterprises. (This has changed somewhat with lines of business just putting some things on credit cards but it's still a reasonable rule of thumb.)
Announcing F# 4.1 and the Visual F# Tools for Visual Studio 2017
Jack Handey is an actual person, the writer of the one-liners GP refers to: https://en.wikipedia.org/wiki/Jack_Handey (I'm not sure if he recorded the voiceover performance or not). Al Franken is a different actual person who also worked on Saturday Night Live and who is now a US Senator.
For shoes, don't look any further than american made boots. From construction to smoke jumpers guys who use these things swear by them and they remain an investment product (you care for and repair rather than replace)

Redwing:

http://www.redwingshoes.com/Red-Wing-Video---The-Factory

Nicks Boots:

http://nicksboots.com

Adams boots:

https://www.custommade.com/by/openroadboots/

Wesco Boots:

https://www.wescoboots.com/builder/About.aspx

Lover your products, a shame they aren't in my size. Tall (with corresponding large feet) is a demographic and one that is often short changed.
Your argument doesn't hold up. As you point out, most startups in the fund will turn out to be money losers. It therefore doesn't make sense to consider the opportunity cost of the $10m investment vs. only the unicorns but vs. the average return. An investment that returns more than the fund's overall target return is a winner. The opportunity cost is an investment in another company that will probably lose money, not a guaranteed unicorn.
Online Human-Bot Interactions: Detection, Estimation, and Characterization
There are regulated markets for gold.
Background from the article:

"April, a 15-year-old reticulated giraffe who lives at Animal Adventure Park in Harpursville, N.Y., is expecting a calf.

Since late February, when her caretakers made available on YouTube a livestream camera feed from inside her stall, April has been viewed many millions of times. Her fame is international: The BBC deemed the birth "the most anticipated since Prince George made his appearance in 2013."
I met a traveller from an antique land

Who said: Two vast and trunkless legs of stone

Stand in the desert. Near them, on the sand,

Half sunk, a shattered visage lies, whose frown,

And wrinkled lip, and sneer of cold command,

Tell that its sculptor well those passions read

Which yet survive, stamped on these lifeless things,

The hand that mocked them and the heart that fed.

And on the pedestal these words appear:

'My name is Ozymandias, king of kings.

Look on my works, ye Mighty, and despair!'

Nothing beside remains. Round the decay

Of that colossal wreck, boundless and bare

The lone and level sands stretch far away.
Nice is relative. People who make a lot of money want things relative to their interests. Areas become more expensive due to poor planning from civil servants more than Google salaries. NYC, DC, Boston, Atlanta, Austin, London, Brussels and Berlin are all cities which are also working on "solving hard problems" but they don't have nearly the cost of living problems that SF has.
Here's a few dozen: http://www.gettyimages.se/search/events/700018243?assettype=...
Continuous Delivery Values (2017)
With the latest Wikileaks news, it makes some people wonder if we all are potential "April" surveillance subjects.

Humans expect privacy and shudder at the thought of government agents surreptitiously watching them through device cameras. Do animals like giraffes, elephants, monkeys and dogs deserve privacy, too? Does it matter, and do they really care if we humans look on at their day-to-day lives?
I thought the same thing.

And they both managed to keep it civil several responses in. (Although one of the people is definitely nicer than the other -- I won't say which).
Protip: Put your non-dominant hand over your dominant hand instead of locking your fingers together. That way if something falls on you, your dominant hand won't be crushed.
It's fast, does what I want almost all the time with no extra guesswork, and runs all the software I need to run without having to monkey around with WINE.

I love Linux, I love Linux desktops, but they cut into my productivity because I spend time fighting <esoteric edge case> rather than getting my work done. Windows (mostly) just gets out of my way. It's cases like this - when it gets in my way - that make me reconsider it.
https://en.wikipedia.org/wiki/Al_Franken

https://en.wikipedia.org/wiki/Jack_Handey
6 Insane Technologies of the Future That Make You Say OMG
Out of curiosity, what would you do instead?

From person experience with a family member who had a severe case of alcoholism (and eventually died from it)... there's very little you can do to help somebody if they don't want to quit. After a while these behaviors start to negatively affect everyone else in the household, too.

(Also, keep in mind we're actually talking about an adult here... since they're old enough to join the military.)
> It can just mean that the subject has a whole beneath-the-surface thing beyond the conscious layer.

But doesn't that mean at some point you can't say effect A was caused by action B? There has to be some point where there are some number of possible outcomes but even knowing the entire state, you cannot predict which path will be taken and that any particular path can be taken reliably.
> You mean if you believe in scientism.

No. If you believe in science as a practice or a way to explain things or "operate" things (like someone that switch on a light and that have some knowledge about electricity).

If you agree with what science explains (how it works thus the Occam's Razor) and disagree with what science doesn't explain (yet or never), you create a duality.

The duality can be eliminated with the Occam's Razor and then remains what is explained by the science (with its hypothesis).

It's not an opinion. It's just a rationale.

Everything that will not fit in that paradigm will probably be rejected sooner or later (by science).

As writing and science has a beginning in human history, we may discover something more powerful than science to discover the rest.
It's not reasonable in the sense that the SEC should respond to the level of trader interest in BTC with something other than "don't trade it".

The SEC has a three pronged mission:

- Protect investors
- Maintain fair, orderly, and efficiently markets
- Facilitate capital formation

With this decision they missed on all three. No investor was protected. The BTC market today was not fair, orderly, or efficient. There was excessive capital destruction.
Or gholas.
I've been over several times, the water is great, but the sharks lurking about make the experience a little frictionful sometimes.
Compiling JavaScript to WASM or ASM.JS with NectarJS and Running It with Node.js
If you want to be successful, the single most important skill you can probably cultivate is the ability to communicate well and get along with people.

All else is secondary at best.

Most people in any job are at least competent. It's not that hard to rise above "merely competent" and you get many extra points if you're personable and can explain what you're doing to management. Quietly sitting in a corner, coding away, isn't going to get you anything other than average results.

Most of your list is luck, or chance. However, you can choose to work at a great company by only researching and applying to, great companies. The interview is where your interaction skills will prove useful.
"Nate, Nate" I said ever so many times, graciously telling my tale. You got it wrong. Horribly wrong. Let it go and move on. The US mainstream media is not there to report the news. It's there to shape public opinion in favor of the small group of elites who own it. It didn't work in 2016 because there's been an awakening; people want government that represents them and not itself and they're sick of being lied to. No-one really gives a fuck about what's on Memoerandom. This analysis reads like an in-depth textual criticism of the Hitler Diaries that's forgotten the main point about them: they weren't real.

Let me give you an example of how pathetic the reporting has become. This is an interview from Columbia Journalism Review (http://www.cjr.org/q_and_a/washington_post_bezos_amazon_revo...):

CJR: So you think news consumers in the future will make a decision on which Hillary Clinton story to click on based on speed? If they see a number of options and their experience tells them that The Washington Post is faster, then they’re going to read that one?

SP: Yes. And we see that already. I don’t know if it’s a conscious choice. I think it’s more about not hesitating to click.

CJR: I can’t imagine that’s a popular view in the newsroom.

JM: Well, it doesn’t really change our editorial strategy in any way.

I'm an old-school journo and I found a number of things in this disturbing. One: Hillary is assumed to be the winner. Two: The WaPo is admittedly trying to brainwash their readers through site responsiveness. Three: the article should mention owner Jeff Bezos's large contracts with the intelligence community and the ramifications of possible influence there. But it doesn't.

In short, it's propaganda.
I ran across something similar on United.

https://www.united.com/ual/en/us/account/enroll/default

Derp.
It's especially aggravating as a trader, because these big price swings are exactly the time you want to get some trades in.
The SEC's job (relevant to the issue at hand) is not to make it easy to drive demand in the US on the hopes that that might create conditions for mature markets in $COMMODITY, it is to assure that exchanges listing derivatives of $COMMODITY have adequate rules in place to protect against manipulation, including manipulation of the derivative through manipulation of the underlying commodity.

If the key driver for domestic demand for the commodity is readable derivatives such that one needs to create such in order to drive demand, then, well, too bad.

If there is sufficient inherent utility in the underlying commodity, you won't need to violate normal exchange criteria to create derivative markets to stimulate demand for the commodity, the commodity will drive itself, and create the conditions where it won't be unduly onerous to create derivatives markets that meet the normal criteria.
This is what the Marine's teach when they abandon ship http://www.survivalscout.com/guides/terrain/ocean/abandoning...

Basically cross your arms, legs and look forward
Fine with me as long as they don't have names like Glorfindel, Celeborn, Galadrial, or Elrond...that would obviously be impossible;)
>Bitcoin just went from a high of 1327.1926 to 995.9575 in the blink of an eye.

That is a loss of 25% of its value. This announcement does nothing to hurt the utility of Bitcoin or its application as a medium of exchange. That drop certainly seems like a speculative investment bubble popping.
The whole thing of the "new" Democrats and "new" Labour is making a show of staking positions that are essentially a middle finger to their core constituencies.
So basically everything except horizontal scaling?

Seems like a pretty big difference...
The market can stay irrational longer than.. 10 mins.
I'm going to quote the author here

> Our daughter at that point didn't feel it was a problem. She kept saying, "It's just fun, OK? It's just fun." And that would be interspersed with periods of depression and it not being fun, but her not being prepared to admit that. And as time went on we gave her an ultimatum. Looking back I don't know whether it was the right decision or not, but we said, "If you continue to use drugs, you can no longer live at home." And we kicked her out, because she continued.
Then her drug use got worse, and her friendship groups deteriorated more and more.

> I hated her. I hated her so much.

Am I really being harsh?

This is a mother writing about how she felt hatred towards her daughter. She hated her daughter for doing drugs and for socializing with the wrong people. As a result of her hatred she kicked her own daughter out of the home, which instigated a downward spiral that made things far worse than they might have been otherwise.
Performance is the big one. Win 10 - when it's good - feels like a super-polished Win 8. They fixed the "metro" app stuff to not be awful. It does a good job of getting out my way and letting me run what I want to run. It's when it intentionally gets into my way that I get cranky.
> Similar to my comment above, I find the ideas drawn from those experiments (that there's no free will) wrong.

Exactly. Pointing out that the mechanism by which we make a free choice is slower than our detectors and computer equipment doesn't prove anything. I've always found this interpretation bizarre.
https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
OSGi Bundles that help diagnose issues on OSGi containers., 1.00.005 released
I've only ever had opioid painkillers after dental work, and it's enough to convince me that I must _never_ try heroin.
You have my kind thoughts and best wishes.
Looks like I'll wake up tomorrow having still never heard a valid justification for believing in free will.
> There has to be some point where there are some number of possible outcomes but even knowing the entire state, you cannot predict which path will be taken and that any particular path can be taken reliably.

Why? It's not predictable whether any random Turing machine will halt, but whether that specific machine halts still has a deterministic, well-defined answer.
I definitely do not dispute the lists. One of them (Corona) is from the jailbreak group I started. They are certainly legit.

My issue is with the claim of 0-days, because the bugs are dead. You cannot hack an up-to-date phone with anything in this dump.
I only want to know one thing: how does the government intend to prove beyond any reasonable doubt that the Geek Squad employees themselves didn't put the alleged porn pictures on the device? Does Geek Squad have a chain of custody and other such procedures? Was the device tracked every single moment and NEVER, not even for a second, allowed alone with anyone outside the government (this actually seems impossible unless agents were present when the device was taken in)? Seems to me like that would be a good way for Geek Squad scumbags to make some extra cash from the government while the government looks the other way and tries to convict innocent people. Also seems to me like this case should have been dismissed already based on these concerns.
It's good for the library to be robust, but four code cleanliness issues (not triggerable remotely) hardly counts as news in the world of vulnerabilities!

Keep them coming, I'm glad that so many of us who use mbedTLS are reporting these little issues and getting a better library (with an excellent track record of very few serious problems).
"It is by will alone I set my mind in motion".- Piter De Vries

Whenever the question of free will comes up, I remember that phrase and side on the camp of free willers.
The question is "is this the best we can do?".

If it’s no, then clearly we should improve.
> You're assuming that the components are allowed to interact with each other in arbitrarily complicated ways.

Look, you can talk about worst-case (i.e. general or arbitrary) and you can talk about best-case. If you read my blog post you'll see that real-world software has been found to hit worst-case verification complexity, but neither worst-case nor best-case is what we really want. We're interested in the common case, which requires years of empirical observation.

While it is certainly possible that we'll slowly be able to improve formal verification for the common case (as an industry user of formal methods, I certainly hope so and believe it will happen in a few decades), there is no current indication that this would ever be affordable. Currently, proof of correctness of anything larger than a few hundreds or a couple of thousands LOC is simply out of reach for the foreseeable future. So I'm not assuming anything, just stating the worst-case, and noting that there is no empirical indication that the common case is significantly better.

> That's precisely why I'm not interested in mechanical verification anymore.

Well, that's the only approach that has been shown to work in practice on real world software so far -- and they work very well (although, again, not quite in the way people who have not had experience with formal methods think). Deductive proofs (with Isabelle, PVS, Coq etc.) is used only to tie together results of automated methods, or fill in the holes where automated methods have failed. Doing it any other way is simply not economical. Even the most avid supporters of manual verification (who've actually tried it on nontrivial software) would agree. I don't think anyone believes that "ordinary" non-high-assurance real software (aside from certain very small core components) would be verified by deductive proof any time in the next few decades. The only people who believe otherwise are those who haven't actually tried formal methods on real-world software.

> The difficulty lies elsewhere: in the extremely low probability that an unverified program will be correct.

But software requirements aren't for 100% confidence in correctness, if only because you don't get anywhere near that with the hardware the software is running on. So the question is precisely how much more correct a software is with increasing verification effort. Like I said, there appears to be a pretty steep curve of diminishing returns. End-to-end verification is almost never affordable, but it is also almost never required.

What the formal methods community is really interested in these days is how to reduce the cost of verification required to achieve current (and near-future) correctness requirements.
Wasn't that in Cyprus?
> institutional investors have restrictions on the types of securities that they can buy

Those restrictions exist for a reason. Trading unregistered things over-the-counter, e.g. private stock or Bitcoin, carries unique risks. One of those is around fraud. Most investment funds aren't equipped to do fraud diligence (and benefit from not having to do it on ETPs).
without surveillance on a regulated exchange

So we're going to have competition in exchanges, a free market of them with various rules/surveillance levels? Neat!
Rebuilding a site for a startup, thinking about a new product I want to start building soon, considering which JS framework to try next (likely VueJS), debating spending Saturday playing with TypeScript.
Can't they just file in another country? I mean, it doesn't really matter where it's traded; any decent bank will give you access to at least the LSE and Xetra in addition to the two big American exchanges.
Bioethicist like you are literally the worst people on earth.
I use realtimebitcoin.info
> 50x leveraged short contract

This is partly why SEC wants underlying to be regulated.
Jshell: exploring Java 9 REPL
I think the idea is addressing these people (like me) that were used to seeing those "Last edited on XX-XX-XXXX" notices at the footer of HTML pages and worry that the project may be dead/outdated if the date is old.

Now that I think about it, is this why people puts "Copyright $initial_year - $current_year"? Because as you rightly say, only $initial_year is legally relevant.
SEC Rejects Winklevoss Bitcoin ETF, Sending Price Tumbling
Having a set of concrete examples in mathematics is like unit testing in software. The second you get stuck on a theorem, you fall back on your examples. The second you run out of examples that explain a behavior or new theorem, you write down new examples.
Is transpilation overhead too much of a cost to justify the use of Rollup?
In theory the highest salary a programmer can make is infinite. Think WhatsApp founders, $20 billion acquisition.

The numbers in this post probably apply to less than 0.01% of developers. Most developers don't even come close, even in Silicon Valley. I have seen people make those numbers, including one million compensation, and the only explanation I can come up with is: right place, right time.

I'm sure there are exceptions, though.

There's only three ways to get above average returns over time: get into one of the top 5 tech companies that pay well and insert yourself into important groups and ride a fast track wave; become a premium freelancer and charge premium rates; or get into a rocketship startup and get a lucky outsized exit. Lucky because very very few startups have a good exit (for employees). Most die, or exit in a way investors and founders make some money but employees don't make anything. Hello liquidation preferences.

Bottom line: get good at what you do, stay in the top 25% in your area, build a reputation, and go to places where you can add value. Negotiate.
Is that a special law for repairing computers or just in general. What jurisdiction does that apply under?
What does it mean to be human? Analysing the genetics of ancient humans
ha, I messed up.. I added a complementary comment but I answered the wrong post ..

Here's the added paragraph https://news.ycombinator.com/item?id=13841394
Err, isn't that begging the question of free will?

Or am I missing some kind of humor there?
All drugs (weed, cocaine, heroin, amphetamines, etc.) should be as easy to buy as cigarettes are right now. Not for any ideological reason, just that it's going to suck a lot less than the status quo which creates black markets and throws addicts into prison.

You don't get to choose between having drugs and not having drugs. Everywhere in the world has drugs, you just get to choose whether you have an underground criminal black market that the state creates through its policies or not.

The whole decriminalization of consumption argument just moves the goalpost. You create the same problem The Netherlands has had with weeds for the past few decades, which is admittedly better than most of the rest of the world, but production remains and unregulated black market.
>No need to obfuscation

Suddenly, the web is no longer open to inspection. I was so eager to see any language other than JS on the web, I didn't realize what wasm really meant until just now. I know where this is going.
It clearly reduces some of the potential future value of Bitcoin, and predictions of future value are baked into the current market price. I guess you could consider that under your definition of "speculative investment bubble," but it really applies to any market price of anything.
"how does the government intend to prove beyond any reasonable doubt that the Geek Squad employees themselves didn't put the alleged porn pictures on the device?"

Well, that's the rub, isn't it? We're talking about non-law enforcement personnel who are going to be rewarded if they find something. And at that salary level, where people are frequently living month to month, it is indeed conceivable that somebody would place evidence just for the money.
And I take it not on the side of science then.
SEC isn't saying "don't trade it". They're saying don't register a security linked to it.

Registration means you're complying with certain laws. Those laws, in turn, make diligence easier for investors. If you remove those baseline expectations, marginal transaction costs go up.
It looks like Ken is currently employed by a company called Voxon Photonics which is developing glasses-free 3D holographic displays: http://voxon.co/about-voxon-photonics/
Show HN: Moments.yt – Share and discover awesome YouTube clips
Bitcoin fans will still try to spin this as good for bitcoin and that everyone needs to buy bitcoin now
gold is a precious metal.

bitcoin is a text file.
https://en.wikipedia.org/wiki/Gold_to_Go