skysight-inc/HackerNews huggingface dataset:
> If you've played WoW on the launch day of a new expansion, very little actually works. Servers are overloaded, there are too many players, basic bugs break core mechanics. The spikes are just too extreme to handle.

I have played WoW on the launch day of a new expansion -- in 2010. I experienced a single problem: mob respawn times appeared to decrease as the population of a zone increased, which meant that it was nearly impossible to complete certain quests because the mob respawn time was only a couple of seconds. (The particular quest I'm thinking of involved looting something the mobs dropped, which used a timed progress bar and was interrupted (and canceled) if you took a hit while looting.)

When was the last time you played WoW on an expansion launch?
size_t forever and always
Technically, yesterday. Since it is Saturday here in Japan. I played Friday lunchtime and saw many others doing so.
So I guess the question is what harm did this cause to others?
The K8s slack channel is pretty good for things like this.

You can either bind the container to a host port and register the ip of the node (or use the k8s dns or api to find the ips). Otherwise register a service with a nodeport and all the nodes will accept traffic and load balance internally.

You can get a list of ips from the DNS (instead of just the service ip), and I think that interacts appropriately with host ports.
> People forget almost every non-core game aside from Stadium has bombed or gone unnoticed.

Really? Pokemon Mystery Dungeon appears to be on its 6th game.
How Simple works to be more inclusive
When I first heard about this, I almost laughed. Sears -- the boring department store -- is trying to compete with the likes of Amazon Echo and Google Home?

But it actually seems like they've cooked up something much more interesting than you would think, especially considering the price.

It's a low-budget device (1/6th the cost of an Echo) that uses both automation (natural language processing) and human assistants (a la Magic+) to do shopping research.

But unlike Magic+, there are no fees associated with using the service, apart from the cost of the device.

Obviously, Alfie's range of services are more limited than those of Magic+ ... but Magic+ charges $100/hr.
Many times I wished there was a HDL for PCB design input instead of schematic tools, now that there is often very little discrete/analog parts in a board, because large chips include almost everything needed and you mainly spend time connecting them together, possibly with a bit of plumbing but not much, and the only remaining discrete components are very repetitive: a ton of similar decoupling capacitors, pull-up/down resistors, termination resistors, a couple of voltage divider resistors and a few other common functions.

That should be a great fit for a textual HDL instead of labouring through a schematics mainly linking pins to pins again and again. It would even be much more expressive, now that we often have chips so big that they cannot be represented efficiently as a single symbol on a single sheet but are split in smaller blocks looking like HDL ports without the flexibility; now that µC, SoC and other kinds of chips have pins that are so much muxed out that they don't have a clear, expressible function, meaning that grouping them in blocks is more of random choice than a good solution. And this multiplexing means that you'll often have to change and change again the connections of your wires in the schematic, and that would be much easier to do with an HDL.

-----

That's why my mind was blown when a software job forced me to use a graphical tool like Scade. It felt like coming 20 years backwards, when in electronics HDL were not popular yet and we had to design FPGAs and such with schematics. And that was even worse, because the graphical representation looks parallel, concurrent, as a electronic schematic does, except that it doesn't match anything on the software side: first the specification/design document you have to implement is generally sequential, not concurrent, and then the generated code and the way the CPU/computer works are sequential as well, not concurrent. So you have this weird looking graphical part in the middle, which looks parallel but isn't really, and messes with your brain because you have to perpetually translate between the sequential specification to it, and from it to what it really does sequentially.

An appaling moment to do this job and discover that they considered it an improvement on C/Ada/whatever regular programming. And I didn't mention the tooling; like when what could have been a simple textual diff turns into an epic nightmare you are never sure you can trust the result, if you manage to get a result.
The dropoff in interest has already started. I pretty much stopped playing last week. I got to level 14 and the amount of grinding required was just ridiculous (the amount of XP you earn per action does not increase as you level up meanwhile the XP required to level up goes up exponentially). The bugginess of the game really did not help.

The dropoff in interest has already, objectively speaking, started[0]. It's currently (as of July 22) 66% of its peak (per Google Trends). In my personal experience, interest on my college campus has already subsided. It's not completely dead, mind you, but the hype is over.

[0]: https://www.google.com/trends/explore#q=pokemon%20go&date=to...
If you sufficiently specify the runtime environment the proof can still work: Since the array is composed of integers, many C compilers/machine architectures will dictate a maximum size of the array s.t. there can't be overflow.
My take from the article was that he actually cares about how people experience the food that he makes. Still, vegetarian cooking is hard. Doing justice to vegetables within a restaurant workflow is hard. Very few restaurants can pull it off. If he simply feels that he can't do it justice, he's probably right. Those things might be regarded as the province of home cooking.
No. I have the OM606 engine. Hydraulic lifters eliminate the need for mechanical valve adjustments as on the older diesels.

About the only thing I've done abnormal on the car in 7 years is replace two glow plugs. (And when the second one went, I actually replaced the 5 that hadn't been changed yet, since they are cheap and I didn't want to take the manifold off again to change #3...)
You need to re-read the post

"It’s not about replacing other Windows-native tools such as Python, PowerShell, C# and more. It’s about removing friction when you just need to get stuff done quickly and efficiently in a modern development workflow."
It is not the verification that is laborious, although it can be computationally intensive, it is the specification. It is making sure that whatever it is you are proving is actually exactly and completely what you desire of the function.

In this case the proof did not properly account for the full range of inputs, of at least skipped over the fact that in real hardware the integer domains are finite.

There's a lot of formal verification tools out there though, they do make it easier,easy enough to at least properly verify the correctness of a simple sorting algorithm.
As someone who's nonbinary, I appreciate that they don't ask for a gender, and I like that they call me Riley instead of my legal name. Even if I were on the binary, the legal name change procedure is a pain.

You have to buy an ad in the paper for several weeks before they let you change your name, and there's no option for no gender. The latter part isn't as big a deal since I'm somewhat okay with male pronouns, but it's easier and cheaper if the companies I use make gender optional.
The nice thing about CDNs is that if the CDN is good, it will load the assets closest to your visitor, which is nice when normally these are 250ms+ latency :)
One possible scenario is he proved it correct assuming that the ints in the function were mathematical integers(-infinity, ... -1, 0, 1, ..., infinity). In realty all representations of numbers have an upper limit after which the representation will become corrupted or unsupported.
I actually started the project in Isabelle: https://github.com/Kha/electrolysis/tree/isabelle/thys. Automation was nice, translating Rust traits not so much. You really want them to be type classes, which Isabelle only supports for the single-parametric case.

As of right now, the project would probably be easier in Coq. But I'm confident that Lean 3 will eventually feature more powerful automation (and no Ltac). It is, after all, being developed by Leonardo de Moura, one of the creators of Z3.
ditto. UTC 02:05 03.07.2016

I wonder if this is related to them publishing emails containing unredacted ssn and ccn information...
From my stand point they have a free api to get her market data.
Dashboards and articles containing revenue stats for startups
I had a similar experience. Every highly rated recommendation was either one of my favorite movies or on my list of movies I need to see very soon but haven't made the time for yet.

It knew to put The Holy Mountain at 100% based off me loving the new Mad Max, feeling ambivalent about the Star Wars prequels, hating the 2007 Tranformers movie, and thinking Anchor Man was good but not great. Like, how the hell? It's spot on, but how did it get that from my input? Is there more info on how this thing is getting its results? I would love to see even a sketchy outline of the algorithm.
I've rated many films on Netflix. It would be cool to be able to import my ratings from Netflix (or similar services like Amazon Video or IMDb) into Taste.io. Your service would get a lot more data to work with. :)

So far the recommendations have been very good and I've bookmarked a couple films to watch later.
The lawyers will explain what they want to the computer. They will have no idea what the computer made of it, but the result will look close enough that they won't be able to argue they didn't get what they asked for.
If you don't mind, can you tell me which C++ matrix manipulation library you use at your startup?
Regarding the fridge thing, xbee devices communicate perfectly from within at least some fridges. Are phones substantially different?
Wow! Only two days? I've been diagnosed and treated for Lyme's twice. Both times it was ten days of doxycycline.
The various tipping services on reddit and other message boards that enable bots are anything but poor UX. Nothing else can come close to enable that kind of instant tipping.
How is Project Blocks different than the multiple (rather unsuccessful) failed attempts at graphical (even drag-and-drop) programming languages of the past?
Nice work. ps - millennium has two Ns in it
Don't they use a bitcoin payment processor like bitpay or coinbase which handles conversion?
HOW a SUPER SHEEP IS MADE
don't question the narratives. The narratives must be respected. The narratives protect us. The narratives know what is best for us. The narratives love us.
I think the best thing about these leaks is that it reveals how far divorced the reality is from the ideal of politics. No one had much optimism about American politics before this, I'm sure, but there was at least some hope that when one person yelled, "Marriage is one man, one woman!" and another yelled, "You're a closed-minded bigot!" that both of them, despite hating each other and engaging in a completely dysfunctional dialogue, actually believed what they were saying. This evidence lays bare what many suspected--not only is the whole thing a show, it's a show dictated by business and a bunch of people trying to figure out the best way to trick the American people into giving them power. I think even without Emailgate, Bernie and Trump would still have been popular, because even if they can't describe it exactly, people are starting to get a sense of the game behind the curtain. Now we see it laid bare.
Make your own liquid nitrogen at home
That name bothers me. I understand that people don't want to use the name GNU/Linux because it's stupid and overcomplicated, but in this case there is no Linux at all. This is quite literally GNU running on top of the NT kernel, so why use the Linux name at all?

On a side note, the irony of GNU/NT must be killing Stallman.
There were two things that convinced us to start using it, even for things like corporate blogs that had no login or user info:

1. Google saying it would help your page ranking

and

2. Free Letsencrypt certs
The bitcoin die-hards will lynch me for saying this, but: I think this is a good example of where using a side-agreement (sortof a sidechain, I guess?) would be a good thing.

So: don't accept bitcoin payments, accept coinbase payments, but only one per coinbase account.
its not a dangerous site anymore...

as of 7:15 PM PST.

https://www.google.com/transparencyreport/safebrowsing/diagn...
>P.S. The mainstream brands of Mexican beer are pretty good.
thailand, too. singha is an excellent beer.
And while I don't take all of the claims at face value, I do wonder why Google supports the TPP.
10 Facts Schools Never Taught You
Your view runs counter to the dictionary definition of snob

I'm fine with that.

If you want to make "elites" a foundation for a definition, you might as well just roll both of those up into "bourgeois," thought #2 is arguably more "asshole."

For me, an enthusiast might be someone who finds reasons to be into something (the opposite of my def of snob), but I don't think there's a word for simply liking stuff that is good. "Not completely depressed," perhaps.
Well, if that were the primary concern then USB tethering would work just fine as a solution.
I have that regardless of whether I have this separate keyboard/monitor thing. I don't really see where it is an advantage in that scenario?
Touche, and fair enough- although you would expect them to call out that limitation since it's both critical and highly un-general. Bytes are comparable, small, and common enough to at least accommodate an exclusionary statement in the proof.
It's the Linux OS API. It can run Linux binaries. So I'm fine with the name
My example was meant to support my assertion that:

> I think that blog post is mostly made for tech journalists who aren't actually very techy.

---

This statement:

> This is definitely a “by developers, for developers” Windows 10 feature, specifically designed to remove a bit of friction from developers’ daily workflow.

reads like a press release. I agree that implementing WSL will reduce "friction from developers' daily workflow", but the article did a fairly poor job at demonstrating that.
I'd rather see things compile to typed ASM or something. SPARK + Rust if we're talking intermediate language so we get SPARK's static benefits on some code with Rust's on other code.
The last of the US patents covering MP3 should expire next year.

http://www.tunequest.org/a-big-list-of-mp3-patents/20070226/
I was looking for something a few months ago, and a friend recommended this site he'd been using for many years: http://www.filmtipset.se/
How long till someone writes "Javascript: The New LLVM" or even better "Javascript: The New Rust"?
Hmmn, if it was one request, how did it cause other web servers in the farm go down?
"Current Status: Not dangerous."

Did this change in the intervening (clock-check) 4 hours, or is there some definition of dangerous I'm missing?
I suspect I'm the wrong person to answer that, having very little exposure to today's children.

Over the span of my youth (I'm 34, so consider this 80s-90s) I lived the transition from building forts in the woods and rafts on the rivers (never went well, never stopped us trying) to arguing over who's turn it was on the playstation.

Now I read articles about "free-range children" and parents getting in trouble for even letting them walk to school, and .. I realise I'm biased by my inputs (no-one writes articles saying "hey, nothing's changed"), but it seems like this is a different era. And damnit, I'm not old enough to call things eras yet.

But it does seem the 'mobile' has been missing in 'mobile gaming'. We've built an entire industry on "always available gaming" or "something to stare at on the subway gaming", but it's taken 34yo men playing what's basically an easter-egg hunt, to remind us what 'mobile' actually means.
Depends entirely on how well you generate your IDs. Yes, if you generate cryptographically strong IDs of sufficient length, then you don't need to sign.

Signing avoids the need to generate secure IDs, though, and can also avoid hitting to the DB for expired tokens. (Load from expired tokens is probably not a major concern, though.)
> you will lose more sound quality (it will sound worse)

If you want good sound, treat your room. Then buy _good_ speakers or headphones. Then buy a good sound interface. And only after that should you start worrying about signal qualities above 320kbps mp3.

Given as majority of people don't actually hear the difference form the first of these steps, advice about flac is only relevant to a really small amount of people, who are not only capable of hearing the difference, but also have gone through all previous steps.
I am still amazed that GM managed to lose that IP to Delphi. It was amazing tech (I worked on it).
20-year-old Windows bug lets printers install malware
Cygwin is GNU on top of the NT kernel. WSL is an implementation of a Linux ABI. In theory, you could run a non-GNU userland environment compiled for Linux on top of WSL.
I bet Apple transitioning to https-only has played a huge role in this. Even as an iOS developer I think this move was too drastic when there are so many http based websites out there. Nowadays when you build an app and even try to display a non-https image they don't render at all (unless you go through the trouble of customizing the security settings in the bundle, and even this is going to go away soon as far as I know)
Wow this great! Beautifully designed and delighted to see someone using 4 options rather than 5 it's so much easier.

Profile is at 90% and have only heard of 3 in all my top matches, very interesting. Ugestu from 1953 is the top at 100%, what exactly does the 100% mean? Excited to watch it now!
Actually, the Nissan Leaf can, although is be really conserned about the brakes at that point.
Please say it isn't so! Class is terrible syntactic sugar to please old Java programmers. I'd be really interested in why this decision would be made. Im just getting going in React and am looking to make a move away from Angular, because Angular 2 is so hyper focused on classes and decorators. I like React because it's closer on the purity scale to something like Cycle.js.

But nevermind me, React is a great tool, and this is a very nice and needed project!
Some of my coworkers have been using similar concepts to teach K-5 coding in a few school districts for a few years now. And the big, surprising impact has not been about the code, but about the problem solving... I'm getting the stories second-hand, but apparently the concept of debugging problems becomes so ingrained that they "debug" all their efforts. When they make a mistake in math, they debug their process to fix it. They debug what is wrong with their handwriting to improve it. They think of everything as a problem to be solved, work towards solving it, and are doing wonderfully across all subjects.

So the question of whether these kids will be coders as they grow up really doesn't seem to be that important of a question -- they are being taught how to succeed at whatever they try. I'm excited to see these types of programs move forward and become prevalent throughout our educational system.
Justin Kan [x], who's brother Dan is the co-founder that's unnamed in the picture of the BI article, snapchatted several times the Cruise deal being $1B / unicorn

I consider this article to be pretty poor, if they wanted to actually find the real price, they could've investigated some more instead of trying to infer from the earnings' reports.

[x] I believe he was also an investor in Cruise
Ah! Time zones are tough. I read a news article saying it was released about 12 hours ago; I should have guessed that it wouldn't have _literally_ been at the time the article came out.
> When stuff like this leaks, if any of the information is considered sensitive/classified/restricted in any manner, the act of it being leaked does not dissolve its restricted status. In other words, if you are a regular US citizen and you go to Wikileaks and look at something that is classified without having the proper security clearance, then you're now on the wrong side of the law.

I'm curious if you have any credible source (not part of the government) for this. This sounds very much like something government actors want people to believe.
Yep. In order to make a vegan dish that matches the complexity of a meat dish, you essentially have to recreate the entire life of an animal in a kitchen in a single day. You need to create the same complexity with heat, knife, and diversity of ingredients that the animal would've created over months and months of metabolism and grazing. It's extremely difficult, and there is a reason people prefer to just throw a piece of meat on the grill rather than risk their hand at plant-based cooking.

An entire falafel sandwich begins to approach the complexity of a simple fried egg, but doesn't even quite get there. And a chicken can create an egg in a day.

I say all of this lovingly, as a long time vegan. I have a lot of respect for animals.
Debug information, anyone? The author ignores the need for passing line numbers and storage symbols through some sort of debug dictionary.

The kindest thing I can say about this article is "simplistic".
If you have secret clearance, you're not supposed to dig into other information outside your clearance, even if the information has been leaked public.

The reasoning behind this was illuminated for me by an ex-contractor recently: your given security-cleared work clears you for some subset of secured information (say, A). There is some other information that is meant to be kept very secret, call it "C". People who know "C" are the kind that can't go to the dentist without the dentist herself having security clearance and a nice person in a black suit standing nearby to make sure the C-knower doesn't blurt out something unfortunate while under anaesthetic.

When security divisons are made, the goal is to prevent someone from knowing A+B, not only because A and B are valuable, but because A+B could allow someone to derive C, which is the real issue. The government doesn't have enough people to follow the whole security-cleared body around to every dental appointment, etc., so they instead need to ask people who have clearances to not go fishing for information they aren't cleared for, even if that information is easily accessible due to Wikileaks.

It's not a philosophy that scales to the Information Age, but there's method to the madness.
How do you know they don't need the women to survive?
A simple way to create and send interactive voice messages
Name: Fonoster

URL: https://fonoster.com

Pitch: A simple way to create and send interactive voice messages.

More details: Fonoster is a software-as-a-service to send interactive voice messages. This tool is oriented to developers that want to add telephony features into their own apps or services.

Stage: Beta. Only two founders.

Looking for: Beta users and advice
If all you need is Bash just install Msys. I use it every day to escape from crusty cmd.exe.
Because cities are places of opportunity and culture where people can come to better their lot. Everyone should have some level of access to them, though not necessarily a luxury flat. There needs to be some basic bottom rung available. And cities need fresh blood to continue to grow and thrive, or else it just becomes a retirement community/tourist destination.