skysight-inc/HackerNews huggingface dataset:
Amazon's own data centers are tiny (compared to most) that taking one out would almost be a waste of time. Even one of their large colocations would probably be a waste.

If you wanted that type of destruction, and be noticed, you would need a city leveler type event in a data center heavy area.
It is also extremely slow.
And the known RAID problems didn't get better.
> At the event, Peterson outlined his criticism of transgender people, arguing that the idea that biological sex and gender were independent quantities was “wrong.”

No, he's actually anti-trans too.

http://www.thecrimson.com/article/2017/4/11/peterson-talk-dr...
If you've performance reviews, then you also most likely have some kind of metric, and if you've a metric people will start to game it.

A colleague of mine always said: you get what you measure.
Bitcoin splits as new currency takes off
> Farming the plants needed to produce this fake meat takes up land, potentially (and most likely) more land needed to produce equal amounts of meat.

And it will often take up land that is more fertile, and as such has a higher biodiversity cost, than what is needed for grazing animals (which can be done on land more barren or harder to farm).

It is often forgotten that you can herd animals in ways that coexist with the rest of the ecosystem, while farming plant based food (especially products like grains or soy) requires you to raze all existing life in the area you wish to use for farmland reducing it to a monoculture with no room for diversity.

(But it should be made clear that this only counts for grazing animals. Industrial meat production where you feed the animals grains gives you the worst of both worlds).
Never used it but the new voice recognition in Firefox uses an open source service called Kaldi:

http://kaldi-asr.org/
Fixed for you -

The Chinese judicial system, prisons and government obviously have many flaws, arguably getting worse, and has a difficult relationship with human rights. However, the Chinese government does not do things like operating Guantanamo Bay or cause civilian deaths using WMD as excuses. How many civilians got killed in Iraq as a direct consequence of US invasion? Their lives worth less than those human right activists?

Censoring winnie the pooh? then tell me how come there are tens of thousands of winnie the pooh related products (toys, books, clothes etc) on Taobao.com?

https://s.taobao.com/search?ie=utf8&q=winnie+the+pooh
You might also be downloading the software from a webpage. ;)
The problem is not AI, in fact. It's harvesting of personal and private data. Technology just makes gathering and analisys easier.
> Which isn't to say that I'm not open to the idea of having a 1:1 lab-made replacement for meat that is indistinguishable from the real thing. I most definitely am. If you could provide me with lab-meat at even just a small premium I'd probably go vegetarian where that option was available.

Question: does that count as going vegetarian? To me that's just going techno-carnivore.
I do eat some of these foods. And foods from elsewhere. the truth is this: Sometimes I want a different texture. Or something my mother made growing up. It already takes a bit of doing (immigrant, so different ingredients). Artificial meat helps me make the texture more similar to what I remember.

Also, more options for variety and stuff.
>The Vertical Tabs test pilot thing was [...] to test these APIs

Except that Tab Center wasn't a way for them to test the new WebExt APIs, as it was still based on XUL. See here: https://discourse.mozilla-community.org/t/whats-all-this-abo...

>maintaining [the old extension API] ate up a crap ton of resources, so don't come up with that move being a waste of resources

Arguably not a waste if that meant preserving the most powerful extension environment out there, and also one of the very few reasons for people to stay with Firefox.

Signed: a Firefox user
> In a business where ideas are ideas, you should always cite the source.

Why should this not apply everywhere else?

E.g., Stripe citing Paypal for their idea, Google citing Altavista, and Facebook citing Myspace.
The question is if we need to care about what is used inside. Actually I feel that when there is at least 4 GB RAM (better more) then I can do anything. I didn't cared about computing power for many years and I'm software developer who runs a lot of things during development. That's why I care about how it's pleasant to use instead of technical details. :-)
+1 for this. I think 16G iPhone6 exists to promote sales of models with larger memory. Now I have to uninstall an app to install a new one on my iPhone(16G), EVERY TIME, it's painful. Next time, I will definitely go for 64G.
This is very vague. Can you specify what math you are looking for?
FCoE died a death <2013.

Expensive hardware, with little gain sadly. It was a nice idea, however at its very core is a fairly large problem: converged network adaptors are problematic.

Unless you have lots of bandwidth in said adaptor (ie 56gig inifiband) you are going to get contention between network and disk IO.
> insults two legends in crypto

Who?
See https://en.m.wikipedia.org/wiki/Goodhart's_law
are you suggesting that RHEL has been a bubble?
I imagine many vulnerable people would be A-OK with having their junk filmed if it saves them from a police beating.
Facebook Stories Can Now Be Made Available to Public Followers
That's an opinion, of course.
The UK labels generally show per serving and per 100g together.

In fact, I think that's now the norm in the whole of the EU.
Of course the info needs to be included in the paper if it cannot be found elsewhere. I didn't want to imply otherwise. Whether the friend needs to be a co-author is of course up to them and certainly depends on the size of the contribution, but that is beside the point of both citing the source of a certain idea and making sure the reader is able to verify its validity.

In fact, I personally lean towards often including arguments even if they can be found in sources you cite. If you can provide a much clearer argument than the source (and it doesn't detract from your own work), you should include the improved one in your work. If it is a minor detail that is both worth citing as well as easy to include, then I think you should include it to avoid requiring the reader to hop around from paper to paper to get an understanding of your work. You should make your work as accessible to the reader as possible.
> do not actually mimic the inner workings of our brains.

Maybe they actually do. http://www.nature.com/articles/srep27755
How Many Gigatons of CO2? (visualization)
No, it qualifies you as Lange & Söhne watch owner. We don't know if he bought it himself or why he did it. Not every Porsche owner is a petrolhead either.

Having said this, I am not disputing that he is a watch guy. I believe he is because he says so. As far as I am concerned this is enough.
Maybe someone needs to tell the author that different people have different requirements.

Most of his argument is about the touchpad. I don't find the touchpad particularly relevant: Weight, battery mileage, keyboard feeling and screen quality are vastly more important for me (roughly in that order).
If you haven't done so already (and are male) you might try growing a beard? I've seen a few 'young' team leads go that route and it is surprisingly effective.
This part of the README pretty much tells you everything you need to know:

Features
--------
- Log of all commits from HEAD.
- Log and diffstat per commit.
- Show file tree with linkable line numbers.
- Show references: local branches and tags.
- Detect README and LICENSE file from HEAD and link it as a webpage.
- Detect submodules (.gitmodules file) from HEAD and link it as a webpage.
- Atom feed log (atom.xml).
- Make index page for multiple repositories with stagit-index.
- After generating the pages (relatively slow) serving the files is very fast,
simple and requires little resources (because the content is static), only 144 a HTTP file server is required.
- Usable with text-browsers such as dillo, links, lynx and w3m.

Cons
----
- Not suitable for large repositories (2000+ commits), because diffstats are 152 an expensive operation.
- Not suitable for repositories with many branches, a quite linear history is
assumed (from HEAD).
- Relatively slow to run the first time (about 3 seconds for sbase,
1500+ commits), incremental updates are faster.
- Does not support some of the dynamic features cgit has, like:
- snapshot tarballs.
- file tree per commit.
- history log of branches diverged from HEAD.
- stats (git shortlog -s).
this is by design, just use git locally.

>Perhaps the default view should be README and file listing like in GitHub, so it would have been even more obvious.

This would actually be pretty easy go do, since one would just have to re-link "index.html" from pointing to "log.html" to "./file/README.html"
Is that relevant?
> Well npm requires you to login through their CLI in order to publish packages... The only difference is that you use a password instead of a key. No difference.

Yes, there is a difference, released must be digitally signed on maven. They are not on NPM, so a hacker can hijack your packages just by obtaining your npm credentials.

That's crypto 101 and you can't tell the difference?
> "Need" as in "will you use it?".

Well, many of us have experienced a botched system package upgrade or two. If the file system supports snapshots, then the package manager could automatically ensure fully atomic package upgrades.

That should be reason enough, I should think.

Re: The data loss issue: Yes, I've actually have XFS completely throw away a file system upon a hard power-off + boot-up cycle. (This was ages ago, I'm sure it's improved heaps since then.)
When publishing a paper/book with a certain publisher there is an interaction between the prestige of the publisher and the prestige of the author:
An author publishing with prestigious publishers is considered prestigous; a publisher that publishes prestigous authors is considered prestigous.

Since publishers are commercial entities, their prestige is an asset they want to protect.

So there are other incentives at play when it comes why citing ArXiv is currently not en vogue.

I always find it refreshing to see how pre-print driven reserach communities like physics operate in comparison.
Because developers will code apps around Electron -> Chromium. It'll get more focus because of that.
One more company with a "pricing" page that has no pricing information on it.
Ouch?

What's the replacement then? ISCSI, or going back to FC? Or is everything cloud something these days? :)
Bitfinex blocked by banks
Productivity Chrome Extensions That Will Boost Your Focus
Jarvis, a command line personal assistant for Linux and MacOS
GDPR Mini-Webinar Series – Episode 5 – Fines and Penalties
This isn't direct lobbying for new laws, etc., but it's certainly a private company going "we need you to lock up more people or we're going to screw your town" and politicians scrambling to help them out.

http://www.santafenewmexican.com/news/local_news/company-pla...
I'd forgotten about Firefox mobile. I agree, it's very slow.
Former Ferment built on top of Scuttlebutt can be considered - https://github.com/LolaShare/LolaShare
My company uses quarterly reviews. Here are the metrics my company uses to review each developer:

1. We have an in-house developed tool that tracks git and mercurial commits and calculates the test coverage and code quality for each individual developer.

2. We use jira to track the number of points each developer burns (points are shared between developer, reviewer and QA). We also track the number of bugs each developer introduces because closing a bugfix is not possible without first assigning the developer who introduced the bug to the jira task.

3. We use peer reviews where each team member rates each other team member on a scale from 1 to 5 (3 being considered sufficient) on aspects like availability, communication, reliability and result orientation.

4. Team leaders offer subjective input on each team member.

Of course, many of the metrics will be skewed or won't reflect the reality, which is why the team lead has the right to make adjustments to the final mark.

This being said, one of my colleagues and friend was "forced" to quit the company because he scored really low on the jira burn rate metric. He was given a tremendously huge task which nobody cared to properly estimate and break into smaller tasks. As a result he spent 6 monts working on the equivalent of 2 weeks of estimation points. The management (including the team lead which is otherwise a great leader and an awesome person) didn't want to assume any blame for this.
Ask HN: Smart Home survey
Hey everyone, I need your help in answering a short survey for our Smart Lighting project. Since this community encourages a lot of creative ideas, I am curious to understand the ideas behind home automation. It would be really nice if you could spare a couple of minutes to answer them.
Please read the description in the beginning to get an idea of the project and answer the questions accordingly. Thanks in advance!

https://goo.gl/FNoEb1
We've had 320 applications so far. We'll try to respond to everyone, but there's a ton of applications that simply haven't read what I wrote above. You need to address the time-zone issue if you're in the US or Asia, and you need to show strong, recent, professional JS experience.
Most SAT solvers work similarly. The authors extended a technique (RUP to DRUP to DRAT) that creates a co-witness for the SAT problem. (This witness is not polynomial in the input size but proportional to the solving time.) The SAT solvers can output this format without slowdown. It is essentially printing some data structures (learned clauses) in the non-hot loop. The rest is clever heuristics, parallelization and work stealing.

The new technique creates smaller and easier witnesses. The solver they used output this witness during solving and saved it. They also created a formally-verified witness verifier. Finally run the verifier for every witness in the sub-problem.
And it is indeed incorrect because the constitution and the bill of rights do apply to foreign citizens who are visiting the us. Of course there are laws which are designed to protect citizens but don't protect foreigners but they are not actually part of the constitution
Seriously. They're behind in speed, security, quality of the developer tools etc. and introduce new useless toy features and one re-design after the other.

I appreciate a lot of stuff Mozilla do outside the browser for the open internet, but the development of Firefox is pretty bad and it looks like the project leaders are incompetent.

Firefox is a sad example of how a successful software can be overtaken by a new competitor within only a few years due to a lack of focus.
you should listen to his arguments before making such a swift assumption. He isn't anti-trans at all, and in fact has quite a few trans supporters - his argument is that compelled speech (legally mandating the use of non-binary pronouns) is a line that should not be crossed. In one of his videos he said that if someone asked him to use a pronoun decently he would do so, just that he strongly disagreed with the legislation.
Building a Music Recommender with Deep Learning
Seems like his void has been filled by Mixcloud now.
It doesn't matter if they are experimental or not. It doesn't matter if they will make it into the release or not. There is one very certain thing: these experiments divert resources and people.

"Fast and more responsive" is just one aspect. Because "we're getting faster" and "these are just experiments" lead to a situation when "Browse against the machine" [1] uses FF for work and Chrome for play, and pretends it's ok.

[1] https://medium.com/the-official-unofficial-firefox-blog/brow...
I suppose that to get an estimate of the number of actual users, you have to scale that number of downloads down by a factor of 10 - 1000, depending on if and what kind of dependency cache JS toolchains use (esp. around CI/CD).

But yeah, everyone contacing an author directly doesn't scale at all.
> You either support freedom of information, or you do not.

You don't give a damn but pretend that you do to the public.
Why don't we just make user-tracking for advertisement purposes illegal?

That would solve a lot of problems, because the only reason these companies are interested in our behavior is to influence us.
On the contrary, RHEL ships a relatively small subset of packages, and is especially stingy on kernel features in order to make the distribution supportable.

Btrfs is definitely not gone from Fedora, for example.

(Disclaimer: I'm on the virtualization team at Red Hat).
Because men commit the vast majority of violent crimes in the US and are therefore much more likely to encounter a lethal response from the police?
Is Docker corrupting data when using overlay or overlay2?
Literally his own words -

> At the event, Peterson outlined his criticism of transgender people, arguing that the idea that biological sex and gender were independent quantities was “wrong.”
It is not goal directed.
the article doesn't back up your claim with evidence at all.
Why having real values is essential for a thriving company culture
I tried to switch from aufs (which performs poorly with writes) to the "recommended" filesystem overlay2 (and later overlay) but the container wasn't building anymore.

It seems that using overlay or overlay2 file systems corrupts data between intermediate containers during build.
Management at my company really likes to use jira estimation points as a metric, which is why I always argue for more points and occasionally snatch low hanging fruits (overestimated simple tasks). I'm aware it's stupid, which is why I always point it out, but nobody seems to care. I was the "most productive employee of the year" last year and while I didn't cheat by any definition of the word, it certainly did affect my priorities.
I'm not saying that it necessarily shouldn't apply everywhere else, but it's certainly a fact that in those industries the business is _not_ the idea (at least at that grand scale). The business is the timing and follow-through. Abstract ideas are a dime a dozen in most industries. The idea of providing an improved search engine, or simplifying financial transactions is relatively trivial (for each of those companies there were certainly hundreds of failed ones that all had the same grand idea). (This triviality is in contrast to the specific method--for example, PageRank--that was used in the case of Google.)

As a side note, why do you believe that it doesn't apply outside those industries? I'm sure if you asked Brin and Page, they would say they were inspired by (the limitations of) previous search engines. Ditto for Stripe and Paypal and Facebook and Myspace.

Academic ideas are (hopefully) much more specialized than these broad ideas. In business they are more comparable to patents and for patents prior art is of course extremely important (enough so to legally invalidate your legal claim to your idea!). In contrast to patents, however, there aren't strong legal mechanisms to enforce priority of ideas and that's why being honest and open about it (community policing of these ideals) are especially important. If academics were to entirely stop caring about citing their sources, academic research would probably totally cease to function.
I doubt it it's happening in a widespread manner - at least for now.
Shell command injection on Mac via Sublime Text third-party click handler
There is a verified DRAT-trim (the proof checking format used) implementation in Isabelle/HOL [1]. Apparently it is faster than the original:

``We have presented a formally verified tool chain to check DRAT unsatisfiability certificates. In single-threaded mode, our approach is more than two times faster than the (unverified) standard tool drat-trim, on a benchmark suite taken from the 2016 SAT competition.''

[1] Lammich, Peter. "Efficient verified (UN) SAT certificate checking." International Conference on Automated Deduction. Springer, Cham, 2017.
those aren't his own words though are they? they're someone paraphrasing his words. If you can link me to a quote from him directly then I'll believe it but that statement is ambiguous outside of context. For example, it seems that born-male-sex individuals are more likely to be transgender than born-female-sex individuals, which suggests non-independence of the factors. Is this observation transphobic? I don't believe it is. And that's not me citing Dr Peterson's argument - just one I've noticed personally.
Should have used an image thumbnailing service for the blog post (15MB of embedded images)
I'm using ZFS on my FreeBSD laptop. Snapshots not only make backups safer (by making sure the complete backup is taken at the same time, and by zfs sending and receiving them), the boot environments feature also make upgrading safer.

I also really like that I don't need to partition my disk, if it turns out that /tmp needs > 10% of the disk for whatever reason: no problem!

And as I like my data, I appreciate checksumming and copy-on-write.

I haven't noticed any bad slowdowns compared to ext4 on my Debian laptop I used before.
What's described in that doc is even easier today thanks to Operators (https://coreos.com/operators), which, to quote the description page, are "application-specific controller[s] that extend[s] the Kubernetes API to create, configure and manage instances of complex stateful applications on behalf of a Kubernetes user."

Disclosure: I work on Kubernetes at Google (and wrote the doc you linked to).
> the security team is collectively responsible for making security updates and frequently creates updated packages without maintainer involvement.

How can they do this if a packaging (and especially backporting) a fix requires deeper knowledge of the package which probably only the maintainer has?
When I discussed my discovery with a friend of mine who is doing his PhD, he was not really excited about it and once I showed him the features of TypeScripts typesystem, he immediately explained me why it has to be turing complete.
So in theory, this result is nothing new and nothing "newsworthy".

However, even being myself a CS student close to finishing my BA degree and stronlgy interested in CS theory, I didn't know that result and I couldn't imagine how powerful TS's typesystem is. So, there actually are a lot of people who underestimate the power of typescripts typesystem completely and who could write even safer code if they knew about it.

I don't know exactly anymore how I "rediscovered" this turing-completeness-property, but at that time I was developing a "fully" typed SQL builder as an alternative to knex (https://github.com/hediet/ts-typed-sql) and did some research on how to make certain SQL constructs typesafe in TypeScript.
For example, one thing I needed, was a type RecordTypeToJson<T> which could recursively transform a sql record type T to a proper json type: https://github.com/hediet/ts-typed-sql/blob/master/src/AST/T...

Without the devices discovered in the TC-proof I wouldn't have been able to implement that particular type. And once I recognized the power of TS, I found some other useful devices, e.g. how to use overloading to report custom error messages for invalid types (https://github.com/hediet/ts-typed-sql/blob/master/src/AST/Q...) or how to track whether more than one column is selected (https://github.com/hediet/ts-typed-sql/blob/master/src/AST/Q...).

I hope that these ideas inspire other libraries as well!
Commenting just to say had this is a great startup story.