skysight-inc/HackerNews huggingface dataset:
When 70-80% are reflown, that might be true. So far there has not been any cost savings whatsoever...
> I'm not falling for your "deadbeat" strawman. If the IT bubble burst, and I was out of a job with no backup plan, who'd be rushing to put me ahead of any other dole recipient?

At the very least I wouldn't be saying it's a great idea to spend billions of dollars propping up your job when nobody wants your company's services at a price the company can afford to provide them at, and if we have to spend billions of dollars, we might as well spend it on retraining people.

> Yes, it is more reasonable to give it to businesses.

Wait, precisely why? What's the upside of propping up unprofitable businesses? There's basically two - ensuring that the industry stays in the country, and jobs. Ignoring the first due to it being nearly impossible to put a price on it without knowing what our trade risks re other countries producing steel are, why do we care so much about jobs that we're willing to spend money keeping them around? Well, the answer is that it's essentially welfare that we force people to work to get.

> Maybe it is, who knows; what's your the point? That if this investment is a waste, we might as well waste it some other way?

If this investment's primary goal is to keep people in jobs, then we might as well provide people with the ability to move into jobs that the economy actually requires, instead of ones which it's categorically stated that it doesn't require.
Heheheh, no problem. I recognized it was your article, Tom. Sorry to be pedantic. Jose is really just way too complicated. Go Dukes!
Ask HN: Does AMP only work on Google infrastructure?
We are having a debate about AMP (Accelerated Mobile Pages), I was wondering since AMP is an open source project. If you can run it on a different CDN network? Or this a way for Google to control the internet?
> Web apps need: concatenation, substring, find/replace, maybe with regexps. All of those are implemented in C.

join and gsub?

http://benchmarksgame.alioth.debian.org/u64q/program.php?tes...

> Web apps don't tend to implement entire trees in pure Ruby.

Nor do other apps but that is what Hans Boehm came up with as a simple GC benchmark.

http://hboehm.info/gc/gc_bench/

> What exactly are you getting at?

You don't seem to know what is shown on the benchmarks game website.
PHP is fine. How do you feel about Drupal haters?
What's wrong with just running it in a container?
Redesigning household items to help domestic robots
I'm cheating here because I live in Washington, DC, and in an area close to Rock Creek Park. But in order if time to get there: the hiking trails of Rock Creek Park, about 10 minutes walking; the nearest riding stables, about 10 minutes driving; fishing at Roaches Run, 25 minutes driving in light traffic.
Personally I don't like switch statements at all, especially the ones that require manual control flow management. I can vividly remember multiple bugs over the years caused by forgetting to add "break" to a switch statement.

Unless you're optimizing for performance (which is rare in my domain), control-flow statements are a smell and should be avoided. Each branch has some "implicit" state that is being fragmented and has to be manually managed by the programmer.
Apple iOS 10 API for speech recognition
Read a little further in the README.

var token = jwt.sign({ foo: 'bar' }, 'shhhhh');
var decoded = jwt.verify(token, 'shhhhh');
console.log(decoded.foo) // bar
var decoded_unverified = jwt.decode(token); // NOTE: no secret!
console.log(decoded_unverified.foo) // bar
Employing a Recent Grad at Your Veterinary Practice – What to Think About
Don't forget to redefine numbers!
I've been using http://www.expandrive.com/apps/expandrive/ for a while on OSX and Windows
"To keep reading, please enter your email address".

How about I hit the 'back' button instead.
Can you clarify here? Are you accusing the Colombian police of this? Like most developing nations with a history of corruption (particularly narco-corruption), kidnapping is a danger, but like most violent Colombian crime, has become progressively less common.
Ah yes I forgot about the dual ethernet ports, it might be really nice paired with a good ethernet switch as a router system!
I think their warehouse and office is in the same place.
I thought it was pretty clearly defined: they product offspring which can reproduce and produce viable offspring among themselves but not with the original population
The way this is set up means that the content creator has no idea how funding works.

1. Toll revenue goes to toll facilities. Private public partnerships (PPP's) need to be repaid and the tolls collected go directly to the repayment of the bonds, maintenance, and general operations.

2. Transit siphons monies away from the use tax. Transit exists only because of the user tax. While people see autos as bad, they fund the transit that provides movement for poor individuals. I am okay with this.

3. State and local roads is oddly worded in this phrase and brings a warning to my periphery review. Most states have amendments and/charters that require fuel funds to be allocated to the roadways, Wisconsin (http://www.wsdot.wa.gov/Finance/fueltaxes.htm), Florida, and a number of others that do not take money from other sources. In fact in Florida, the highway funds are raided yearly to fill in budget gaps.

The best I can come up with on how this chart was made to get the 50% concept is that FHWA provides matching funds for projects, the reason is that they want to provide a carrot to meet federally required mandates, such as interstates and state roads on the National Highway System. If you kick in these monies, which is free money, then you can get there. However, this is an advocacy program.

One last note. The writing is on the wall for the gas tax long term. The federal level is already having a shortfall in revenue because of the CAFE standards increase. This is why states like Oregon are trying out the Vehicle Miles Traveled tax, because they need to switch out how the roadways are paid for.
Great News! I was bragging about this everywhere on GitHub [1], [2], [3].

There is a huge problem for me for the last couple of months that will end with TypeScript 2.0, which is >Where should one publish, contribute typescript definition files and how?<.

I'm really happy that TypeScript's team decided to go NPM-only on that.

1 : https://github.com/typings/typings/issues/223#issuecomment-2...

2 : https://github.com/shyiko/tsdm/issues/4

3 : https://github.com/DefinitelyTyped/DefinitelyTyped/issues/21... ( July 2015 )
Personally, I don't mind when security researchers go "on tour" and redo their Defcon talk at smaller Cons. Not everyone can afford to travel to Vegas. Not everyone wants to spend their limited vacation time on it. Watching it on YouTube is not even close to the same thing as being in the audience and getting to ask questions.

Con talks should not be presentations. They should be conversations. If I just wanted the content I can watch the replay on YouTube or you could have saved us all a lot of time by writing a whitepaper.

Cons are not all about the talks. I love a good CTF. I love going out for drinks and just bullshitting with like minded security professionals for a couple hours. I love meeting new people in the field. I love when people do dumb shit like hack the menu at the restaurant that was dumb enough to use an iPad for their menu in a town full of hackers.

An hour talk is the format for giving someone a high level introduction to a new topic or technique or technology that they have little to no experience with. It's deeper than a blog post, but lighter than a white paper. If you really want to turn a newbie in a reverse engineer, or something similar in scope, that depth probably should be a one week bootcamp, or a structured multi-week course (online or in class room).
You assume because people don't have to do what other people tell them to do to survive (i.e. work for pay), they will do nothing? Sure some will just sit and watch TV, others will build things, study things, make youtube videos, put on shows, travel, and generally do the things that make them and others happy.
You said key size does not matter. This post doesn't seem to relate to that at all.
I'd argue a lot of people would find that a good answer. The worst they'll say is "cool, sounds interesting".

You've probably had some bad experiences, but you'd be surprised to know many people are not out there to get you for being different.
Then you must address the fact that SCOTUS is now adjudicating law based not on the law itself or precedents or logical reasoning, but how the individual judges personally feel the law should apply... which is why congress is hemming-and-hawing over it.

also, much like Soylent Green, companies are now 'people'...
Imagine powering an exoskeleton with it.
There are (marketing) interns in my company who's work isn't far off doing that.
This is very similar to my "How To Set Up Your Linode For Maximum Awesomeness" guide:

http://feross.org/how-to-setup-your-linode/
If you're a library author, then our feeling is you want to use `--save` because that saves your consumers the need to install the declaration files themselves.

If you're writing a project that won't be consumed by anyone as a library (e.g. command line tool), it makes sense to make that devDependency.
UBI, at any level reasonably sustainable with modern or near-future technology and achievable productivity, isn't comfortable, its at best an alleviation of severe poverty (and a mitigation of some of the harms induced by means-tested social benefit programs in pursuit of alleviating severe poverty) for those who can't find a way to make more, as well as boost to those who can but who are still net beneficiaries after considering whatever tax or other mechanism is used to fund the UBI.
> It's fixing faucets, and trimming bushes, and cleaning out rain gutters, and keeping cars maintained.

I see people doing all of that every weekend in my suburb. Definitely not something you should shy away from sharing.
It's a lot easier to stop horses breeding.
Your complaint is that an eight year old computer should run a just announced os.

Most people would be fucking ecstatic that their 8 year old computer still works and runs a current OS.
[EmberDaily.Tips] Alias
Interesting. I went to Microcenter once and got a tablet for $20 bucks. Nothing fancy though...had Jellybean installed. I will definitely check them out for the pi zero...hope I am not too late to the party.
Second Gravitational Wave Detected at LIGO
And if the rail system extended as widely as the road system, we wouldn't have had semi-trucks in the first place.
Recent Tim Ferriss podcast interview with Christopher Sommer, former US national team gymnastics coach, it's long yet unusually good > http://fourhourworkweek.com/2016/05/09/the-secrets-of-gymnas...
Front end Weekly – Issue 3
I've wondered if this creates an unintentional selection process, even if the scammers aren't aware of how it works. Like, if the linked paper is correct, then the most successful scamming strategies involving Nigerian princes etc. propagate among the Nigerian scamming community (even if they were originally created by a complete moron), while the people painstakingly crafting believable scam emails end up with worse results and either leave the scamming trade or adopt the email format of a more successful acquaintance.
> Do you think Clinton or Sanders would have a bigger chans of winning against Trump?

Sanders by a landslide, according to a bazillion polls by almost all major polling organizations throughout the entire campaign.

Generally, the polling has indicated the following:

• Sanders beats every GOP contender by a big margin.

• Clinton beats most, by a small margin, and loses to Kasich.
Research for Practice: Expert-curated guides to the best of CS research
Tock – A secure OS for embedded platforms [pdf]
that still makes no sense as far as 'intelligence' goes. First off, rural and urban birds have different overall diets. if you stick a french fry in front of a rural bird, it might not know its supposed to be 'food'. Same can be said with water-bugs and urban birds. there are too many factors to consider - though they could have and just not reported the specific metrics.
How to Engineer Secure Things: Past Mistakes and Future Advice
Bollocks. They were talking about computers taking our jobs 30 years ago when I was in School. Everyone seems to be working more hours these days rather than less.
Some work is power, other work is neigh slavery.
Apple Finally Shuns Adobe’s Flash, Blocks It by Default on the Desktop
http://netinfo.ladbs.org/ladbsec.nsf/d3450fd072c7344c882564e...
I think a big part of the problem is that we have a concept of cynicism at all. It's very similar to the conspiracy theorist label. There are known conspiracies. Big ones. It's not that crazy to be a conspiracy theorist. It is crazy to think that we've been visited by aliens or that the elite are reptiles. Thinking those things does make a person a conspiracy theorist. That doesn't mean that all conspiracy theories are crazy. In the same way, not all cynicism is petulant and hopeless. But when a population is trained to recognize and dismiss cynics that is frequently what they become.
"before shipping" is "after shipping" if your shopping in US shops though.
I actually studied one mind-numbing material science book with medieval swords in mind to keep interest. Seems like the vikings got it right with high carbon steel. The only good improvement to it would be boride or hard chrome coating. But the main function of such would be temporary stop to corrosion.

The major problem of swords is fatigue while notched. Low alloy steels are some of the best known materials for this. But they don't stay sharp very well and hardened high carbon steel can just cut through such beam. When you go from high carbon steel to very high carbon steel, you get additionally "left over austenite". A real time hardening method which helps both against nocthing and against fatigue. The stuff spontaneously quenches itself under stress(!). A reaction more commonly known to happen in manganese steel, but here it happens to lesser degree.

https://en.wikipedia.org/wiki/Mangalloy
Have the Discourse developers ever commented on whether they deliberately didn't support visualization of the thread structure? The software appears to know the thread structure (because there's a specific UI to reply to, and quote, a particular message), but it doesn't do much to show it to a reader -- or provide other thread features that you might find in a news reader, like marking a subthread as read or hiding it.

Do we know if this is something Discourse might support in a future version?
The most interesting thing (to me) in this piece, is how many pivots Netflix made/is still making. Many of those moves were very much unsafe/risky (which is why the networks didn't make em themselves)...brave for what was already an established company then.
> Everyone seems to be working more hours these days rather than less.

At lower real hourly wages. Which is the effect of automation competing with human labor, it doesn't outright destroy jobs, it just reduces the market-clearing price of the forms of labor it is able to compete with.
If you are in a decent metro (or near to one) check out Craigslist. I've seen quad-core Xeon boxen (HP Proliant and Dell Poweredge) for <200USD in my area. If I drive about 2 hours away, the prices are about 30% lower and about twice as many available.

Might also google office or company liquidators in your area. You can often snag IT equipment and servers for fairly cheap from them as well.
That depends what it is that you want to specify: a function or a computation (i.e., a machine). In TLA+ as in "reality" computations are not functions, and functions are not computations.

We'll start with a function. It's basically `[a -> [a -> a]]` or `[a × a -> a]`. More completely (to show that `a` is abstract):

CONSTANT a, f
ASSUME f ∈ [a -> [a -> a]]

`CONSTANT` means that a can be anything (formally, any set)

If you want to specify a computation, that, when terminates[1] returns a result in `a`, the "type" would be `[](done => result ∈ a)` (where [] stands for the box operator, signifying "always"), or more fully:

CONSTANT a, Input
ASSUME Input ∈ a × a
VARIABLES done, result
f ≜ ... \* the specification of the computation
THEOREM f => [](done => result ∈ a)

So the first type is purely static. A set membership. The second has a modality, which says that whenever (i.e., at any step) `done` is true, then `result` must be in `a`.

------

[1]: Let's say that we define termination as setting the variable `done` to TRUE. BTW, in TLA as in other similar formalisms, a terminating computation is a special case of a non-terminating one, one that at some finite time stutters forever, i.e., doesn't change state, or, formally <>[](x' = x), or the sugared <>[](UNCHANGED x) namely eventually x is always the same (<> stands for diamond and [] for box; for some reason HN doesn't display those characters)
Strongly disagree with your disagreement, why? Bay Area traffic is horrible because of the low density and poor street planning of the past, pushing people into cars.

Modern urban planners call it “induced demand” for traffic. [0] I recently saw a Planning Department presentation about one particular neighborhood of San Francisco (slides here [1], web site here [2]), and the key issue is that traffic is horrible because there are too many parking lots and transit is impractical. Even in San Francisco, neighborhoods like the Outer Sunset practically require you to have a car, especially if your daily routine deviates from doing home -> work downtown -> home.

Significantly more energy and time are lost in the suburbs. I’m concerned about long-term sustainability, and it takes tremendously less energy to walk 3 blocks to a grocery store than to drive 3 miles. For an extreme, outside the Bay Area, example, my grandmother moved to Tucson because she thought she could play with friends who live in Tucson, but then she discovered that Tucson is spread over 200 square miles, and she would have to drive an hour to reach her friend. They play much less than she expected.

Not to mention the vast expanses of roads and pipes necessary to keep the suburb working. I hear the bonds that are used to finance suburb infrastructure inherently require growth, in that without growth, they would be unable to afford the upkeep. I think this is behind so many crises about poor infrastructure maintenance across the US. [3]

[0] http://www.wired.com/2014/06/wuwt-traffic-induced-demand/

[1] http://default.sfplanning.org/plans-and-programs/planning-fo...

[2] https://www.sfmta.com/projects-planning/projects/transportat...

[3] http://time.com/3031079/suburbs-will-die-sprawl/
No offense.

I just started using typescript and the the tuts already weren't up to date, which let me believe typings is the "new" way.

I met the pains you talk about and think npm is the right way :)
Thanks for that! I've been looking at picking up some old PowerEdge units, and never thought of that!
The merits of an emoji referral code
May Marks One More Record Hot Month for the World
It is a way for Google to control the internet.
One problem with embedded OS's are that they have to be designed for security from ground-up to achieve it. You need support for partitioning, resource control, prevention of user-land DOS of kernel, and so on. Getting that onto a MCU isn't easy. While Zephyr project was nice, it didn't have these attributes & didn't support MMU/MPU's. Glad I found this one! Also uses Rust internally to be safer but supports C in user-land. Working on C++ and Lua support.

Related papers below.

Ownership is Theft: Experiences building an embedded OS in Rust

http://iot.stanford.edu/pubs/levy-tock-plos15.pdf

Note to Rust team: I hope they submitted their findings to you all for evaluation. Part of reason for this submission is in case they didn't. Might provide helpful design or compiler feedback for language in this sector.

Github page for Tock for any wanting to help

https://github.com/helena-project/tock

Levy's page has numerous papers with interesting security tech. Includes key-value stores, covert channel mitigation, & Haskell web apps.

http://www.amitlevy.com/#publications
Also, FireHOL [1] is an interesting option. It also has a DSL for managing firewall rules. The custom service port definition is a little weird, but overall I like it better than ferm.

[1] https://firehol.org/
David Heinemeier Hansson: LeMans 24 Hours – Numbers Tell the Whole Story
Constraints are limits you think against. Like grounding. Paradox of choice somehow.
Celsius Didn't Invent Celsius
Reminds me of https://en.wikipedia.org/wiki/Project_Steve and to a lesser extent http://www.catb.org/~esr/ecsl/.

Also, if you are named Isabella, you can visit the Isabella Stewart Gardner museum in Boston for free as a result of a provision of the founder's will:

http://connect.gardnermuseum.org/site/Survey?ACTION_REQUIRED...

"Please note that, in order to be true to our founder, Isabelle and other variations and spellings do not apply."

I guess Katie Conf is being a little more flexible about spellings than the Gardner Museum.
I'd be curious to know what his custom software looks like and what performance indicators he keeps track of. I'm assuming it's written in Ruby.
Ask HN: Twitter Scratch Reel?
Does anyone here have early access to Scratch Reel? It was announced last year but I just heard about it today - it makes your gifs "scrubbable" but only a few accounts have access as far as I can tell.

I've got a project that posts gifs to Twitter so I'm trying to find a way to get us into this program.
You bwt :-)
At another point, Netflix created a dedicated device through
which to access its content, only to decide that adapting its
service to everything from mobile phones to TV sets made more
sense. (The Netflix device was spun out into its own company,
Roku.)

Pretty sure this is a factual error in the article. As far as I know, Roku existed as a consumer electronics company independent of Netflix for years before it produced any Netflix streaming devices - anyone remember the Roku SoundBridge series of home audio devices?

I’m not clear on the actual relationship between Roku and Netflix (they are both based in Los Gatos) but saying the Netflix hardware was “spun out” into Roku cannot be accurate.
I can assure you that anyone with a net-worth north of a hundred million dollars (that's how I define "rich tourist")already takes the right precautions when traveling overseas.

The kidnappings that you are describing are locally known as: "paseo millonario" Which main goal is to get you to the nearest ATM to withdraw as much as your bank limit allows. There was a notorious case a few years back of a paseo millonario gone horribly wrong when a DEA agent named James Terry Watson found himself at the wrong place at the wrong time.

There was recently another tourist
who made headlines when it was revealed that he had traveled all the way from the Netherlands deliberately to go on a week long drug binge in Bogota's skid row. The hoodlums who ran this place known as "el Bronx" held him hostage when he failed to pay for the drugs he had already consumed. Here's a video of the Dutch guy escaping from his captors:http://www.semana.com/nacion/multimedia/bronx-bogota-asi-sec...
Why Netflix thinks its personalized recommendation engine is worth $1b p/a
Byford Dolphin
We're currently not aware of any live production sites up and running right now from our users. However, we do have an open Github repo (https://github.com/scaphold-io) with production-ready boilerplates for React and React Native with Relay. Within the week, we'll release more that use client frameworks like AngularJS and React with Apollo Client.

To provide examples of what we've seen so far, we've seen block chain models, chat bot apps, and music apps hosted on Scaphold to give you an idea of how complex they can get.