skysight-inc/HackerNews huggingface dataset:
It's probably still 100Mbps download. Upload is much lower (10Mbps perhaps?) and the attack volume is determined by that.

I guess ISP specific attacks (with ISP specific boxes) wouldn't be that much of an issue as the ISP could be blocked. Will deny service to all users there, but the fault is clearly with the ISP, so they have to fix it. It's much more problematic if a generic router that's being used across the globe has a vulnerability. Filtering traffic will be much harder and ISPs will deny responsibility as it's not due to their machines.
It's subjective and entirely in my head, but the cadence of "I was like, what are you doing here?" feels so much better to me than your version. The like version feels youthful whereas yours is tired.

As always though, context is everything.
Philips disables (smart functions of) 2009 model smart TVs
I think it's important to understand what's meant when someone says some piece of software is "verified".

In this case, when they say LLVM is verified, they mean that they designed a formal correspondence between the (1) semantics of the LLVM virtual machine language and (2) the actual execution of the underlying CPU (in this case, modeled using actual assembly language). Essentially, this amounts to writing two interpreters (one for LLVM assembly and one for low-level assembly), writing a compiler to generate low-level assembly from LLVM assembly, and proving that the interpreter for LLVM assembly does the same thing as the assembly language interpreter running on the generated code.

The tricky part here is "proving that they do the same thing"; this means that, for any program written in LLVM, there is a corresponding program in low-level assembly that has equivalent semantics. Reasoning about all possible programs requires reasoning over an infinite family of objects; there are a few tools in mathematics for doing this, but by far the most useful for reasoning about programming languages is induction. Coq, the tool used in the linked page, is a very popular tool for writing inductive proofs on heterogeneous tree structures (aka, an abstract syntax tree).

Ultimately, they use Coq to define the semantics of LLVM by writing (1) execution rules (for example, adding two integers results in a new int in a certain register) and, (2) in the case of LLVM (but not low-level assembly), typing rules which provide certain guarantees themselves. Coq is a proving environment which provides a functional dependently-typed programming language which can be used to construct and verify constructive proof arguments about programs. For example, you can prove existence (that there always exists an assembly language program for every LLVM program), or type soundness (that an LLVM program that is well-typed never performs an illegal operation according to its type semantics).

Ultimately, the value of proving this correspondence is that we know that LLVM has (1) equivalent expressive power to low-level assembly and (2) that, barring any bugs in the way that a CPU executes its assembly, the generated LLVM code will perform the same operations as the assembly language that it generates.

Edit: As some follow-up posts point out, this particular project is more concerned with verifying intra-LLVM transformations (i.e., LLVM to LLVM). This is quite different from what I described; my post describes a verified compiler, similar to CompCERT.
He'd also famously construct a sailboat, sail around in it, and then torch it at the end of the season so he'd have to construct another one.
I think the back story here is that they are running MySQL as sharded key-value storage.

And at 2300 instances, it makes sense that there would be a few of them dying at any given time.

With this setup, using MySQL is pretty much arbitrary, any databases could fill in the role as well. E.g. It got me thinking that Redis+Sentinel could do the job too (if they don't need super durable transactions)
Exhalation is one of the best SF stories ever written:

http://www.lightspeedmagazine.com/fiction/exhalation/

(Somewhere out there is an audio version crisply and cerebrally voiced by Tom Dheere.)
Show HN: React Native Express – Learn React Native Through Interactive Examples
For a lot of people the comments on HN are the equivalent of the excerpts and the analysis - it's a place to discuss the article. Yeah you can't take part if you haven't read the article, like you can't take part in a discussion of a book you refuse to buy.
>But how do we convince everyone? By demonstrating it is better?

That would be an infinite regession, but free software is not about being better in a practical sense, but being better socially. You also make an assumption that everyone needs convincing, which is also not true.
Yeah man, and it has nothing to do with most media companies ending up being owned by just a few people. Give me a break.
I sort by Top Critical and read those reviews instead.

It seems to work pretty well to answer the question "Is this book not worth buying?" Or, if I'm not in a rush to read it, I just check out the book from the library first instead, then buy it only if I really really like it.
What would the explanation be according to Occam's razor here?
Smallpt: Global Illumination in 99 lines of C++
For anyone curious about Datomic this site has an excellent interactive tutorial for learning how to query: http://www.learndatalogtoday.org/
> Unless there's a significant financial incentive to do so (ex: 2-to-1 match), don't give people gift cards. Gift cards are the biggest scam ever pulled by the retail industry, or more specifically, perpetuating the idea that giving cash is taboo.

The problem is that cash often feels like not giving a gift at all. If you exchange fifty-dollar bills with a sibling, it feels pointless. Gift cards can alleviate that feeling. If you give your sibling an iTunes gift card it doesn't feel like nothing was exchanged even if they give you one back.

Gifts are also an opportunity to give someone something they wouldn't typically buy for themselves. Ideally that would be a thoughtful gift but if you can't think of one, cash is likely to end up in the "general fund", while a gift card to a restaurant or a massage or a bookstore will be used for its intended purpose (with some risk of it being lost or sold on some card resale site).
I have the same problem with Signal. Basically, I can't find anyone or be found because I rarely use my current phone number.

The phone number linking seems completely superfluous and has destroyed the user experience for me by preventing me from connecting with anyone else.

This design decision will become increasingly anachronistic in the near future, as phone numbers further diminish in importance.
I use this a lot, but I think it's a reasonable addition to the language. There's a suffix in Korean, "~는데," that's usually used between clauses to mean something like "although": I did Y even though X happened and stuff like that. But you can also use it at the end of the sentence, and I think the trailing "so..." is the closest English has to an equivalent of what that means.
As said in a previous blog post by Uber, they have thousands of microservices and over 8000 Git repos.

It's safe to assume that their infra is a giant clusterfuck :D

I would assume that they scaled by adding more and more engineers, that end up working each in their corners on different problems, without any basic shared tooling/ practices/design. Things get out of hands quickly.
To expand on what others have said (spoilers):

The movie basically cuts physics completely out of the story (no principle of least action, no diffraction), which makes the continuing presence of Ian awkward since he doesn't have much to do. I thought this was disappointing but inevitable; general audiences don't want a 20 minute physics lesson at the theater.

Less understandable for me was that the film also eliminated any of the functional interaction for how Louise (or any linguist) would go about learning a previously unknown language by interacting with a native speaker. All of the guess-and-check, experimental structure that goes into this lingual interaction is gone from the film. The humans and aliens talk/grunt to each other, look confused, and then Louise just periodically declares out loud that she's figured things out. In the book, laymen can at least get a hint of how a linguist (and physicist!) thinks and solves problems, but the audience learns nothing like this in the film.

Finally, the film has unambiguous communication backwards in time, violating the known laws of physics. I've talked to people say they saw this in the original short story, but I think a careful reading shows that, though the narrator adopts a framing of fatalism/predestination, none of the real-world events described by the narrator actually require retro-causation. In the film (spoiler!), Louise literally use memories of the future to figure out what telephone number to dial.

Also, the standard Hollywood tropes weren't as bad as they could be, but still distracting. Does every film featuring the military need a painfully one-dimensional rude hawkish general who inexplicably wants to attack the enemy in every situation?
Great, except when different customers requires different versions or different extensions.
I dunno, is it fair to say something is on the hype train if it's been around for 30 years?
I'm in no way supporting the complete ban by the CSPC, but I also think it's unfair to compare a toy that was on the market for a relatively short period of time with relatively small market penetration to a balloon which you can find in most American homes (with children) at some point during a given year. That's like comparing the number of railgun deaths per year to the number of handgun deaths. You can't be killed by something you never had access to in the first place.
I think cities in China will improve in the coming decades and develop their own unique identity. Many look similar now, but as they age, cities tend to change in thousands of little ways and all those changes add up to something new and unique.
The article points out under an "Update": "TP Vision is planning to compensate owners of these old TV sets with a Amazon Fire TV Stick."
Now try the same in Italy or Spain...

But seriously, Swiss and German trains are well known for their punctuality and reliability. Italian and Spanish trains, not so much. (I've seen all of them first hand, and found the stereotypes pretty accurate.)
WiFi Captive Portal Hotspot in Minutes. End-To-End Configurations
It's very much akin to the SV habit of starting a sentence with "So, ...". It's a helpful key that you don't really have to pay much attention to what follows.
$70 feels significantly overpriced: IntelliJ gives you full-blown IDE for $89. Switched to atom for simple text editing. IMO fair price is $15.
Why is that a relevant measuring stick?

Doesn’t it only matter if the film is worthwhile (however you may define that)? And why would that be defined by its closeness to the short story? That should be wholly irrelevant.

If you know something that is adapted in a movie then you might want certain ideas/words/characters/etc. to make it into the movie because you thought them to be quite worthwhile … but if you don’t know it?

I’m strongly in favor of viewing adaptions wholly independently from the source material. (Even if you like ideas/words/characters/etc. in the source material and those didn’t make it to the adaption. Oh well, then you can only hope for something else to pick those up. But that in itself is not a reason to dislike the adaption. The lone exception to this I can see is incoherent adaption, but incoherentness is usually something negative irrespective of whether something is adapted or not.)

That said, the central idea of the short story, the crux of the story, was very successfully adapted with this movie. I think that was excellently pulled off.
Aren't incentivized reviews banned now? https://www.amazon.com/p/feature/abpto3jt7fhb5oc
Given, I'm fairly weak in assembler (I've been learning), so I may not be the most reliable resource: GP has a point about my lack of experience, just not for the reason they think they do.
Yes, I used to find that too. It's because, pre-optimization, on older architectures, the compiler outputs chunks of asm as if from a recipe book. Loads of unnecessary memory access, pointless moving data between registers, etc.

A proficient human coder, on the other hand, writes assembler that is partly optimized by default.

But few humans could write code like a seriously optimizing compiler, esp. on modern pipelined architectures - that stuff is unintelligible. Which is as it should be, because modern processors are not designed to be programmed directly by humans.
There is an enormous amount of assumption about what would the Ax MBP look like. People assume the current MBP with a different chipset.

That's however not the trend that Apple is currently following. For example it does not seem likely you would be able to run the software you want on it, especially not VM or Java or server side component. Think of it - if you prevent that, you solve the virus and malware problem and that's something that people are actually quite ok with in their iPad and iPhone. It is just such a win for regular people that it must be what Apple would be going for.

Maybe Apple will do a special "Developer" application that comes with a developer friendly package, tied to your AppDeveloper account. It will probably allows you to do most of your development, but not the complete freedom you currently have on the MBP. (and it will probably be nice, as you as you develop in the Apple ecosystem for the Apple ecosystem) That's IMO the best case scenario.

Most likely they will simply drop the developer entirely. Sure they will keep some way of coding in a restricted fashion, but a professional that does not have the same requirement as a hobbyist home ios developer will find nothing in Apple product line. ( you can see hint of that: you would need plenty of different MBP configuration just to please a handful of people, while the market reality is that the new MBP is selling like hot cakes. Developer are just too difficult to please to be worthwhile )

That's the meaning of post-PC world. People using a PC will be specialist, there are going to be specialist brand to cater to their need. That's not going to come from a consumer brand like Apple.
Prof. Geoff Hinton remarking that “People should stop training radiologists now”
I read it. It assumes mutable OOP. Yes, "those people" need a safe place to play so they don't hurt themselves :-)

(I'm ignoring the error handling thing, as I have not done enough server side JS to have a good feel for how the Node API handles things like I/O failures)

IDEs are starting to have better support for Javascript (or similar dynamic/functional languages). In the near future, the IDEs should effectively have type inference. Once you relegate (mutable) OOP to a tool of last resort, and embrace immutable value objects plus (higher order) functions as your primary methodology, you get the automated error checking and much less drivel to read through during maintenance.

OTOH, I suppose this means the dynamic/FP languages will remain a productivity lever for motivated "experts" only, sadly. At least until there is enough butt-kicking in the market that Java (and its ilk) will be displaced as was COBOL before it. COBOL was "safe" and fast, but we finally reached a tipping point were it was too painfully obvious that it simply wasted too much time writing and reading it.
So like almost all problems in America it goes back to a broken federal government and regulatory regime which is partially to do with a corrupt, pork barrel Congressional culture and partially do with aggressive "starve the beast" underfunding approaches to government due to disdain for it.
PgConf US 2017, last week of CFP
Doesn't work that way with containers - they can all still have access to all the memory if you are confident you can safely give them access to it (and if you're not, then you certainly can't co-locate them in the same process.

But I have yet to deal with a server where adding more RAM was more than a rounding error compared to getting a fast IO subsystem.

And running them all on a single server means you need to take down all of them to upgrade any one of them, and are contingent on all of them being able to run on the same database version, and with the same extensions.
Because at American distances, airplanes are very time-efficient for moving people. And that's today -- they were even more so before TSA.

Trains would mostly be effective at covering those distances that are currently "puddle jumper" flights. Things which are an hour flight on a slow prop plane, but which take at least twice as long real-time due to airport and security hassles.
I agree; I never posted anything to the contrary.
Technically, I agree that limit/offset paradigm is flawed, however, the author just dismisses a valid criticism of keyset pagination with the following:

"keyset pagination has some limitations: most notably that you cannot directly navigate to arbitrary pages. However, this is not a problem when using infinite scrolling. Showing page number to click on is a poor navigation interface anyway—IMHO."

Sorry, but NO. Infinite scrolling sucks, because it fills the page (and therefore memory) with lots and lots of entries, and disallows me to quickly navigate to exact place in the view I need. If I know that what I seek was approximately on page 12 of last search result, I will go straight there (1 click) and navigate from here. I hate downloading the entire history and scrolling from the beginning.

Infinite scrolling is fine the first time, but on repeated visits is just not an option and destroys everybody's valuable time.
He's picked 3 out of 15, it's a little early to be so confident about your opinion. Or that he'll run a Cabinet based government vs. e.g. something more in the direction of what Obama did. Or that he won't "fire fast" if they don't perform or fulfill whatever promises he made to them, as Chris Christie found out. This is, after all, the guy who won the election because he went through 3 campaign managers, not despite it.

And Sessions may be a "dyed-in-the-wool Republican insider", more specifically a de jure member of the establishment, but his positions on immigration put him well outside of the de facto establishment.

I'd never even heard of Wilbur Ross before he was picked, he's not a notable "dyed-in-the-wool Republican insider", in fact, being "a trustee of the Brookings Institution" (https://www.washingtonpost.com/news/powerpost/wp/2016/11/24/...) makes him anything but that. Heck, per Wikipedia (https://en.wikipedia.org/wiki/Wilbur_Ross#Political_activiti...):

Ross served under U.S. President Bill Clinton on the board of the U.S.-Russia Investment Fund, and later, under New York City Mayor Rudy Giuliani as the Mayor's privatization advisor. In January 1998 he put $2.25 million in seed money into McCaughey Ross's campaign.[citation needed, and I add she is a Republican, but obviously of the NY variety] Although he was an early supporter of Donald J. Trump's presidential campaign, Ross in earlier years was a registered Democrat, served as an officer of the New York State Democratic Party and held fundraisers for Democratic candidates at his apartment in New York City.

It is absolutely, totally, and completely wrong to claim he is a "dyed-in-the-wool Republican insider".

His Education Secretary pick is a Common Core fan, that's enough for me (as in, not in a good way at all), but see my other comment about the current state of US K-12 public education. On the other hand, she seems best known for pushing private school vouchers (another bad idea, he who pays the piper picks the tune), but that's definitely not a partisan issue, plenty of Democrats are for it.
Now just to set up the redirect so your visitors can only view in https.
Those examples are obviously dangerous while magnets are not. A parent is going to leave their 2 year old playing with a loaded gun, but they might leave them to play with a bunch of magnets without realizing the danger.
Yes, you can. If anything, one of the downsides of Docker is that vs. e.g. OpenVz or full VMs the memory accounting is still much less mature and requires additional work to enable on many distros.
Code Splitting with Webpack2 and React Router
That's a good point, however considering that there are many thousands of books one might choose to read, by your logic the HN front page ought to be filled with "add to cart" links for those books on Amazon. Frankly even Amazon lets you read a few pages of a book and reviews before deciding whether to purchase.

I think the more important question is whether the HN home page should be directly supporting revenue generation efforts by media orgs. They contrive article titles to be clickbait, only to load a paywall when the user clicks with absolutely no context, no preview, etc.

This is about HN taking a stand against being used simply as a revenue generation "channel" by media orgs. I'd be hard pressed to find a more intelligent, wealthy, and influential demographic than HN readers. News orgs have realized this and they actively promote stories on HN to drive revenue.
> It sometimes feels like the security community is a bucket of crabs where any time something starts getting traction

The criticism of signal's closed ecosystem is not new, this is just another write-up of what has been criticized numerous times before.
This might be the best way...to be honest.
Svelte: The magical disappearing UI framework
GOLD: Follows Through Higher on Recovery Higher
Probabilistic Data Structure Showdown: Cuckoo Filters vs. Bloom Filters
According to this, they have more hsr than the US:

https://en.m.wikipedia.org/wiki/List_of_high-speed_railway_l...
Copying data is always going to be expensive, but it can't be avoided.

The lightest weight solution I've seen is restoring from a daily backup in something like S3, then setting up as a slave from a live master to catch up on the day's binlogs. Still a lot of data to move and load, but at least it's not the entire contents of the DB.

The best you can do is be in control of when data transfers happens so you're doing it when it makes sense and not in the middle of your highest traffic period (which is what frequently happens when attempting to automatically scale DBs in response to load).
Pick up one of these for the hacker/developer/AI enthusiast in your family:

https://getasteria.com/
You mean $10.5 MM, not $10,500.
There are some differences: a significant death is changed from an accident to cancer (probably a good change). The movie adds some extra international conflict plot, which perhaps raises the stakes somewhat but seems like weak plotting, and the movie is more explicit about the aliens' motivations. The movie also drops some of the math/physics exposition, which would have enriched the film and given Jeremy Renner's character more to talk about. The story has a really good depiction of linguistic fieldwork and linguist elicitation sessions, while in the movie the linguists are too busy freaking out about the aliens to give a good show of the research methodology.

I think the story is more successful, especially at jumping between the process of science and the grief-filled flashbacks; the film has to show the character's reaction to the flashbacks, which complicates the unfolding of the story. But I enjoyed the movie a great deal as well.
I suppose any third-party email relay would give you better delivery guarantees than you achieve yourself, at least at the outset.
On the contrary, Buckyballs was never marketed to children, and had clear warnings all over them. They were still pushed into closure by the CPSC. Even after they were clearly marked "Keep Away From All Children".

If we can't sell things to adults because they're dangerous to children, we might as well close... well, all hardware stores.