skysight-inc/HackerNews huggingface dataset:
Aww, my product (Preemptible VMs) got ignored from this section:

> A current market-design challenge for Amazon and Microsoft is their big cloud computing services. These digital services, for example, face a peak-load problem, much as electric utilities do.

> How do you sell service at times when there is a risk some customers may be bumped off? Run an auction for what customers are willing to pay for interruptible service? Or offer set discounts for different levels of risk? Both Amazon and Microsoft are working on that now.

Maybe we're boring because I fought (and won) for flat pricing instead of making this auction-based like Spot. We didn't ignore the economics though, auctions are a great thing for a fixed, exchangeable pie; much less clear for price elasticity, and an effectively infinitely scalable business.
The most responsive people are likely going to be early stage founders (pre-A). Message them on LinkedIn or via email and try to get a coffee chat with them. Do this by letting them know their time isn't going to waste and what you want to talk about. This helped us a lot in the early days.

Note: IMHO most people want to help, but they want to make sure their time is wasted
Keyboard access is definitely something Windows does better than Mac, what with all the `[Alt],` shortcuts you can quickly chain together. My favorite: [Alt],e,s,v in Excel, for pasting values.
$0.02:

As an Australian, I do agree with you, but only looking at them from what government services are provided. In terms of the industry, I think health/fitness is possibly the largest in terms of misinformation because no one wants to do simple exercise and eat well, everyone is looking for a shortcut to get bigger or smaller.

So I don't think that they're specific to the American perspective in a larger sense, but I do also see where you are coming from. Then again, neither of us are American!
Piling on to the general theme of the rest of the comments here:

I really wish there was a more popular middle-ground between YAML and JSON. People use YAML because it's the next step up from JSON if you need comments, etc., but I think most purposes would be better served by the likes of JSON5, HJSON, or TOML (for example) if only any of those were as popular as JSON and YAML.

I implemented a YAML parser from spec last month. It (YAML) goes to great lengths to provide human-friendly features, trading off computer-friendliness to an fairly extreme extent.

Eliminating 'plain' scalars (unquoted strings-as-values), folded multiline literals, tags, anchors/aliases, and possibly directives, as a sort of reduced yaml would make the language a lot less silly for the kinds of things a lot of people end up using it for.
> I didn't say anything about “the last process”, though

Of course. Sorry. For some reason my mind read i as N. It was late at night... I'm convinced the proof follows from your invariant, but the inductive step is a bit tricky, as i is not the same for every interleaving. My proof is simpler, as the invariant holds for -- and more importantly, maintained by -- every step made by the system, and there's no need to consider various interleavings. It also doesn't require induction on N.

> The formality comes from the use of explicitly given deduction rules, not from the use of a computer.

That's true and I said as much, but doing so is extremely laborious. Do you actually use natural deduction?
"There are rapists and murderers among them" is a very different statement than "they are rapists", which is what Trump actually said. There are rapists and murderers among the citizenry as well. That does not make "Americans are rapists" a true statement.

> There is a case for banning immigration from specific countries

But that is not what Trump has proposed. He has proposed a ban on Muslims. Muslim is a religion, not a nationality.

> partially hearing

That excuse has be thoroughly debunked.

> his daughter is married to a Jewish man

Jews are not the targets this time, Muslims are.

> he has many muslims living and staying in his buildings

Because he is not legally allowed to discriminate against them. Yet.
Do paths of source files appear in the binaries when you compile with debugging disabled? They should only be required for the debugger.
We had a customer named Echo. He couldn't make a payment because our credit card processor looked for common Unix shell commands and filtered them out. I think we ended up creating a discount code just for him so that he'd get the item for free to make up for the annoyance (zero amount due meant no call to the card company).
CooleyGo is a good resource. This article about shareholder agreements is probably beneficial to read:

https://www.cooleygo.com/founder-shareholder-agreements/
{Not suing Microsoft, guys. First, this is almost certainly my fault (I AM on TIFU, not techsupport). Second, I am English. We don't sue. We complain in the pettiest medium available to us.

LOL
Go to the gym, get a trainer at least for the first few times. After 5 days a week, 3 months of 1.5 hour training you will look different, and that's what matters most in dating. New fitting clothes are important as well (though your size will change a lot).

You can look at goodlookingloser.com as well (all other ,,PUA'' sites are BS), but any guy in the gym can help you get started on your looks.
I have seen the end of the line for this kind of corruption and it is not pretty. Once it starts it spreads like a cancer.

After some years we'd have doctors, engineers, lawyers, banker, nurses, safety inspectors, police officers who got into those positions by cheating. Then because they did it, they don't mind hinting and advising their children to do the same, and so on.
Video is now available here :
https://atscaleconference.com/videos/real-time-data-compress...
I should add that I also speak from direct experience on this issue - working for a F100 firm, we were held up by the Chinese government for years from selling into their market until a state-related entity launched a carbon-copy competitive product.
I've been using C# and .NET for about a year.

Here are the books that I have found helpful.

Framework Design Guidelines - how to design libraries that anyone from Jon Skeet to Mort can use successfully

Effective C# - how to implement the usual idioms properly

CLR via C# - this is a dry read but has answers to many questions I would have never thought to ask.

C# in Depth - others have already commented on this
How or why has YouTube allowed me to block advertisements for over a year?
I run uBlock Origin, I love uBlock Origin.

I'm just left scratching my head as to how or why Youtube hasn't been able to force advertisements on me somehow?

It can't be that difficult for them, can it?

Just send advertisements through youtube.com instead of googlesyndication.net or whatever runs their video ads now.

How could adblockers ever block youtube.com?

I'm just curious if anyone has any insight into how I have successfully been able to block for so long. And if there is a strategy behind my being allowed to do so?
You should lobby hard for more even gender balances in the workplace. Publish blog posts, send out tweets, talk about it at the pub, etc.
I always hoped that some monitoring software like nagios would pick this up as a plugin.
I'm not really sure why you need an electronic lock on an airbnb, you're either there to flip the place or you have an onsite person to flip the place, well in large numbers of airbnbs. The ones I can think of that don't need it wouldn't have internet generally. Interested in what you see as the benefit over one of those punch code locks that hold the keys that are like $14 on amazon or a schlage deadbolt for $150.
Two thirds believe Britain is on the right track following Brexit vote
It's the iOS equivalent of never removing the protective film from the factory. Keeps your device looking pristine, too bad you never get to actually see it.
This looks like a great course to take along with the [FUN](https://www.fun-mooc.fr/courses/parisdiderot/56002S02/sessio...) MOOC coming up later this month.
So, either there's a global conspiracy to silence you, or you might be immature and/or kind of a jerk. Go back and read what you literally just wrote right here on HN; one of these is far more likely than the other.
The Throwaways
Strangler pattern FTW, well that and never have two systems share the same database. Always have one source of truth.
AKA Whonix.
Cute. However conflating or equating what Douglas Crockford has done with Brendan Eich is in my estimation unreasonable.

As far as anyone can tell, at worst Crockford has a conversational style that isn't excessively concerned with political correctness or charm. He used words like "gonads" and "promiscuous" in a way that can be misconstrued.

At worst, Brendan Eich can be accused of working to actively work against the aspirations of a community because they are different to him, even though these aspirations don't materially affect him.
We're ruled by politicians, bankers and corporations who lie, cheat, bribe, tax-dodge, and break the law with impunity. Why shouldn't the rest of us?
I don't think this adequately covers why Facebook is no friend of the open web. What the company tried to do in India with FreeBasics (and I'm a co-founder of the campaign that fought them off), was carve out a part of the open web for themselves.

Factor this:
1. Websites had to apply to be available to FreeBasics users, else not.
2. They had to conform to Facebook's technical requirements (which could have arbitrarily been changed by Facebook), and more importantly, comply with Facebook's own terms and conditions.
3. The data-cost differential between the open web and FreeBasics meant that users would have gotten some information, but would think twice before accessing the open web because it would cost them to do so.
4. This is from sources, but the figure that Facebook mentions for people accessing the open web after "trying" free basics is merely the number of people who have clicked on a link, not those who have bought data connections. So it's hardly an on-ramp.
5. In India, we have the only data ever released about FreeBasics, in terms of users: only 20% of users who used FreeBasics till May 2015 had never used the Internet before.
6. There's a better way of increasing Internet access than this. Facebook has ignored other models for providing Free Internet access: the equal rating models from Mozilla, for example.
7. Countries in the EU where Zero Rating has been implemented showed that ISPs had a lower tendency to drop data rates for regular usage.

One journalist in Gujarat (an Indian state) told me how retailers stopped pitching FreeBasics to customers because the service was being marketed as "FreeNet: Free Internet service", and customers found that they were being billed for using sites other than FreeBasics sites.

We run the risk of Facebook becoming the primary and perhaps only site accessed, as has been indicated by surveys done in Indonesia (by LirneAsia) and Nigeria (I think; by Quartz).

The bigger risk is the notion that because the platform is entirely controlled by them, they define the norms, they get to control creation of content and services. The Internet, when access is neutral, is a place where all users are equal, and all users are both consumers and creators. A better product or a smarter strategy, or fund-raising capability has the ability to challenge giants: Facebook beat myspace. Non-neutral Internet access creates separates consumers from creators, and reduces the freedom that creators have to innovate.

Facebook is doing what is best for its business, not for the open web. Look at what has happened in case of Instant Articles, and the reach of fan pages: Facebook is prioritizing publishing on its own platform and giving that content greater reach with users. It has also deprecated reach for fan pages. Of course, it's not that changes in google search and youtube's algorithm don't hurt creators, but with Facebook, what is clear is that the intent isn't increasing relevance: it is exercising control to improve monetization. Publishers who are going with Instant Articles are missing the long game: the bait-and-switch.

So yes, Facebook celebrating the open web looks hypocritical.
Not to make light of your individual plight, but it's the new normal for the world:

"TOKYO — A survey conducted by the National Institute of Population and Social Security Research revealed that 61.4% of single men aged 18-34 do not have a girlfriend and that 49% of single women in the same age range do not have a boyfriend."

50% of women under 34 in the US are single now. Half of them have never married and the other half are divorced. Younger milles don't even think of dating - you just go to tinder and there's nothing tender about it.

When you develop, you have a plan and strategy. You have to learn new languages and tools. Social, physical and mental self-improvement require the same. Anybody who is trying is going to have a leg-up on the competition.

Take a language class at the local CC, travel. Volunteer as a docent at the Symphony. I have a teenage relative who couldn't function outside of a tinder hookup. He went to Europe alone for a month this summer stayed in hostels. He met scads of people, made int'l friends and is far more confident in himself now.
I imagine they cloak themseleves as a "tutoring service". They know exactly what they are doing. It is a bit like when during Prohibition companies would sell grape juice, yeast, and other ingredients needed to make wine and then put a label on the kit saying "Just to let you know, it is illegal to mix the contents of these ingredients, let them sit for X amount of days at T temperature, and then consume the resulting product".
Agreed 100%. Another place to consider is soup kitchens. But as jfolkins points out volunteering your time to help others is very beneficial personally and that makes you more attractive to others. The fact that you're sacrificing your own personal time to help others is very attractive to perspective partners. Not only that, but the dividends you personally collect from helping others will benefit you immensely socially regardless of if it directly delivers a life partner.

First off, you'll realise despite your less than ideal situation that you have a life that's demonstrably better than the people you're helping. Not in a "I'm better than you" way but in a "I've got a lot to be thankful for" way. Not having a partner pales in comparison to struggling for food and shelter. This will give you more perspective on your own life and allow you to more honestly recognise how good you have things.

The truth is that with a more positive view on your own life you will be more attractive to others from both a friendship and relationship perspective. It's not a light switch situation, you won't wake up tomorrow and be a different person after volunteering once. But given time a life with volunteering with become your new normal. If you didn't have new friends and possibly a perspective romantic interest by then I'd be surprised. Still, give it time.

And in the end, even if you don't find a partner out of it you can hold your head high as you've helped a lot of people in the process. But in all honesty, I suspect that you'll find the changes in you that are derived from regularly helping those less fortunate than you will in fact make you a more attractive perspective partner to the opposite sex.

Good luck!
On the other hand, G. B. Shaw: http://www.goodreads.com/quotes/536961-the-reasonable-man-ad...
No. There is no such thing as the sequence of rational numbers in an interval. The rationals have a total order, and they can be enumerated, but the total order of rationals does not define an enumeration of the rationals and hence the rationals are not a sequence. If you want to dispute this, tell me: what is the next rational after 1/2?
Parallelism and concurrency are fundamentally different things. Parallelism is running independent computations simultaneously. Concurrency control is managing the use of shared resources by temporarily granting exclusive access to them to individual computations.

Imperative languages tend to blur the distinction between parallelism and concurrency, because the global state of a process by itself can be considered a shared resource. But in functional languages, it's natural to expect a sharper distinction: Because most data structures are logically immutable, the primary use for concurrency control is managing the interaction between the program and the “outside world”. On the other hand, parallelism is a powerful tool for speeding up the program's own internal calculations, even when no interaction with the “outside world” is involved.
That doesn't really help. A situation where you suddenly need to go over 90kmph for a few seconds or two minutes is very rare. Much more common is a speed limit of 120 where it's a constant danger to be at 90, and the tone effectively prevents staying in the safe range.
> but the inductive step is a bit tricky, as i is not the same for every interleaving

Ah, the joys of nondeterminism! It gives “there exists” an, ahem, “interesting” meaning. This is why I only do imperative and concurrent programming when it's absolutely necessary (e.g., when no functional and deterministic program could be asymptotically as efficient).

> My proof is simpler, as the invariant holds for -- and more importantly, maintained by -- every step made by the system

My invariant is prettier. It doesn't need to be maintained “throughout the computation”, because it's a static assertion about the program: “regardless of the interleaving of operations, there exists some i such that...” Almost invariably, the program is a much simpler mathematical object than the computations it gives rise to. Dijkstra noted “that our intellectual powers are rather geared to master static relations and that our powers to visualize processes evolving in time are relatively poorly developed.” https://www.cs.utexas.edu/users/EWD/transcriptions/EWD02xx/E...

> It also doesn't require induction on N.

Induction on the program counter is even harder! The inductive case of my proof doesn't even look at the entire computation: it looks at most at three processes at a time. It's literally less work than what you propose.

> Do you actually use natural deduction?

In the design of type systems, yes. If I want to prove something by hand, hell no. Natural deduction is much nicer to prove things about than it is to prove things in.
Chegg.com has online contract tutors. Don't know if they're any good.
> look different

And feel different.
Just keep right except to pass and you'll be fine.
What software defined radio would screw up your sensors? The ones you listed above are all door or ir. Or did you just mean the motion sensors?
"going in the right direction with the jetstream in your back"

Indeed, I often think the choice of jet for AF-1 was chosen for that reason, Mach 1 capability.
I think it was a blog post that was talking about why Atlanta had so many capacity issues with the DDOS. I just tried to find it and now cant.

Dallas has been superb though, definitely go with that if you can.
Node.js: Be a good dev: offer dependencies
Before alarm clocks, Brits paid people to wake them
Hasn't Tor failed to meet its goal so far? With only 900 exit nodes, it's totally feasible to block them all, which is exactly what China has done. If Tor isn't usable for hopping over the GFW, it hasn't yet fulfilled its true potential, has it?
TIL:

>The strangler pattern is a software architecture pattern where a legacy system or feature is strangled with new code.

>Make something new that obsoletes a small percentage of something old.
Put them live together.
Rinse and repeat.

Strangler Applications http://paulhammant.com/2013/07/14/legacy-application-strangu...
Meanwhile the Kochs have likely given around seven figures to ALEC[1], which has pushed aggressively for enhancing the laws[2] that Charles Koch is now, apparently, deeply opposed to.

Maybe it's a turn of heart, but I'm rather skeptical.

[1] https://www.thenation.com/article/alec-exposed-koch-connecti...

[2] https://www.thenation.com/article/hidden-history-alec-and-pr...
That's a great point. It was educational to read an article from one of those high-brow economics or policy journals after the housing crisis warning about regular citizens noticing that banks and other institutions are happily using bankruptcy as a strategic option. The fear was that people with underwater properties will stop feeling guilty about bankruptcies and will walk away from their mortgages. Basically making the same calculated business decision that bankers make. Paraphrased the message was "careful, or the plebeians will start doing what we are doing"
Hi,

I am very interest in this. Deep NN are quite an interesting subject and something I'm personally quite curious about.

I also use youtube recommendations quite a lot for some fairly specialize interests [which I'll keep unstated for now]. My current impression has been that the recommendation system has only gotten worse in the last ten years and is now nearly broken (I get recommendations from third party websites now).

As I recall things, Youtube removed most user recommendation controls 5-10 years ago and the guesses it makes still haven't made up for this loss.

But there are other things I find even harder to understand. I find that when I'm not logged in, after choosing 5-10 videos, youtube will start to recommend good stuff, indeed things that I'd like on my regular recommendation list but which I never do see there.

My impression of my regular recommendations is that serves nothing but crudes averages, videos that I just assume someone pays Google to recommend. ("Sports" "celebrity fails", etc).

Which brings me to shock that the cream of the cream of AI somehow deploys this to me. I get that Convnets have made quantum leaps in image recognition competitions. AlphaGo was a clear advance. But where is the progress here? If the recommendation engine is categorizing videos, either the categorizations don't correspond to my experiences or its using the categorizations incorrectly. Broadly, my impression is the algorithm is swayed by whether a video is broadly popular rather than whether its in a given category. And I work hard to prune every off-topic suggested video or suggested topic, yet I get what seems like poor to worthless quality recommendations.
Patches are difficult to accept on a public-domain project. That is one real advantage of GPL over BSD-style licenses or public-domain - it is easier to accept patches.

I've had a lot of help from Dan and Joe and Shane and others on SQLite. Stats here: https://www.sqlite.org/src/reports?type=ci&view=byuser
I figure theirs a dark basement somewhere with hundreds of people cramming out hundreds of post cards a day industrial revolution style.
I've gained a massive, massive respect for Mike Rowe over the past 5-10 years. He works to make the world a better place through education and understanding, and this post is a perfect example of this. Kudos to him for speaking out and standing his ground, rather than crumbling to nonsensical public pressure.
Mr. Null's second cousin.
"Tech fields have an inherent disuse for seniority. Beyond five years, no one gives an f how long you have worked with a given toolchain/language."

For front-end work maybe, lower down the stack, five years might not be enough to handle the more important things like the corporate RDBMS. A few grey hairs to oversee the youngsters is quite the norm the closer you get to the real value and money of organisations.