skysight-inc/HackerNews huggingface dataset:
The economy is weird right now in a lot of ways, especially due to excess consolidation. You see a lot of big companies who make tons of money almost too easily, which serves to drive them away from point in the effort to pursue other corners of the market. It's like the RadioShack problem writ large. Why bother selling electronics components when cell phone plans have such a huge markup?
Thanks for this, I like the idea of looking at it as a break after 20 years fulltime. It is a nice way to think about it.

Maybe any move to part time isn't a plan to be part time forever, just that it is the right thing right now. There's a lot of people who think the only way to achieve anything (ie starting/growing a business) is to put yourself 100% into it, which then costs time spent with family, hobbies and yourself etc. Maybe going a bit slower for a while on some parts of your life is the right thing to do, then to switch the balance later if/when it is appropriate.
Because it was probably accidental. As opposed to using something like Lisp macros, where meta programming doesn't require using the type system language and shoving it into the shape you need, and is basically normal programming. Now that it's been discovered people are going to rely on the quirks that enabled it, and it's now an accidently designed meta programming language inside your type system. See C++ for why that is bad.
Virtue Rings – Set a Distinctive Style in the UK
Fwiw CMUSphinx supports wake words in the pocketsphinx project:
https://cmusphinx.github.io/wiki/faq/#q-how-to-implement-hot...
… for which Oracle owns the copyright.
arXiv is just a repository for papers to make them available before they are published/peer-reviewed. Just because a paper is on arXiv does not make it bad, but it doesn't mean that it is high quality either. Typically the people in the field will know which papers are important.
Hey Zack, are there any intermediate/advanced "mathematics for machine learning" books you'd recommend? I find the classic recommendations are not exhaustive enough to cover the kind of math recent papers have started getting into.
And this is what makes me worried about the design of btrfs. If after all these man hours Redhat thinks it still is not stable enough I worry if it ever will be.
That's just how raid mirroring works. Now sure why you mention it specifically for btrfs?
I used to work at a company that had a large cage in a local data center - one of the other cages in the same room was apparently for the local police force (we weren't supposed to know this!).

It wouldn't surprise me if those police systems have moved, or are moving, to Azure or AWS data centers.
Why is this even here? There are lots of good notebooks out there. I'd recommend ultrabooks. I don't even have one, only a Inspiron 13 5000 2-in-1. The touchpad is one of its best component. Large, smooth and the driver supports lots of gestures.

I use the tablet mode often also. Sometimes it's better to scroll by touching the screen. Weakest part is the audio part, the manufacturer's driver is glitchy and I can't find a good replacement.
> I'm not sure what you're referring to. Which UX issues are insurmountable in a web app?

You can get close to the look & feel of native app, but you can never get there.
The nuclear has been demonized (in popular culture) due to the psyops of the Cold War. A backslash against nuclear power generation has always been expected.

The use of GMOs has been demonized since corporations decided to patent them and sue farmers that owns naturally hybridized plantations. (see agricultural patent trolls)

Abuse is what generates criticism and resistance to the use of new technology. Yes, the reasons you hear may not be wholly technically correct.

Again, if the trust of internet users is abused, and those who browse are tracked and profiled and spyed on; then should we be surprised that there are publications like this?

That's how you get stories about creepy AIs. And a "technically wrong" label doesn't help, preventing abuse is much more effective.
Most likely Left Alt + Left Shift, if you're on Windows. I use it on purpose now, but man was it baffling when I didn't know what was going on.
It still makes sense for its elastic properties (from which EC2 got its name). You can't rent half a DC for an hour, but you can spawn generic instances from VMDKs on different providers with a fairly small abstraction layer.
McMansion: critic of an house in Montana
The ADL appears to be picked because they're a very powerful political lobby in Washington. This move is a fairly blatant attempt to curry political favor.

I wouldn't say that there's a moral equivalence between the ADL's agenda (promoting Israel) and, say, Amnesty's agenda (ending torture & political imprisonment).

Amnesty got hit by the latest "fake news" google update:

https://mronline.org/2017/07/28/new-google-algorithm-restric...
A failing business model.

Moreover, a valid solution doesn't have to solve every problem. Abandoning Kite is already a good start.
I found a bit of this recently when I went 1/2 time on my business after the arrival of my 2nd child. Only having 2-3 days a week meant having a clear plan on what needed to be achieved and made me more realistic about not taking too many things on at once. Those first few weeks back were some of the most productive I've had I think!
Didn't one of your benchmarks show that nodatacow on Btrfs resulted in a major performance improvement? But that might just show an issue with Btrfs's CoW implementation rather than CoW in general.
Very nice! Personally I'm using git2html (e.g. see http://chriswarbo.net/git/git2html/git ) with a few modifications. In particular, I've had to limit it to only using the HEAD commit, since the disk space becomes crazy (e.g. it seems to render the contents of every file to a separate HTML page for each commit).

I'll take a look at stagit, since it might be saner (plus the resulting pages look nicer, and I can stop maintaining my own patches to git2html).

What I'd really like to see is a JS implementation of the "dynamic" features like diffing, so rather than having to pre-compute and store them, they can be generated on demand on the client-side by fetching the required git objects, etc. over HTTP (would presumably require a clone to be accessible on the same domain as the HTML). That way, everyone gets the plain pages like now, but those enabling JS can browse repos more thoroughly.
Or to check all your npm modules within a directory:

grep -r -i --include package.json -E '(babelcli|crossenv|cross-env\.js|d3\.js|fabric-js|ffmepg|gruntcli|http-proxy\.js|jquery\.js|mariadb|mongose|mssql\.js|nodecaffe|nodefabric|node-fabric|nodeffmpeg|nodemailer-js|nodemailer\.js|nodemssql|node-opencv|node-opensl|node-openssl|noderequest|nodesass|nodesqlite|node-sqlite|node-tkinter|opencv\.js|openssl\.js|proxy\.js|shadowsock|smb|sqlite\.js|sqliter|sqlserver|tkinter)@'
A cross-platform UI framework utilizing VueJS
It's not bad, there are just some gaps. I expect a follow-up paper which explains everything thoroughly. I feel like my masters thesis should have started after that paper.
The text is there, just invisible. Disable CSS and it'll show up.
Maybe. I use gestures on touchpad all the time. When I tried to use Chromebook with Xubuntu, it didn't worked (even if Chromebook is actually Linux powered), at least two years ago. It's very addictive.

I will try that with XPS 13, looks promising.
Tbh I don't care if I can't mount it read-write as long as I can mount RO and get the data to a new filesystem. The drives are new so nothing to worry about for years (probably). And if I get a chance ("one chance") to re-mirror, even better.

It might be an inconvenient restriction, but when a drive fails I'm already happy that there will be no data loss.
Hmm, interesting, that sounds plausible, thank you.
True, if America had the same propaganda goals but a much more socialist attitude. As it is, one of those values is that the people who own this media should be incredibly rich. And those rich people should have more of a say over what is allowed, and they love copyright - the longer the term and the more violent the enforcement the better.
Losing employees incurs a significant cost. Projects miss deadlines, recruiters need to be paid and executives need to divide their attention.

If a couple of employees leave, they'll be limping.
The article begins "This is a story about myself." It seems clear the author is not trying to expound on modern psychology. They are describing the mental framework that they have found useful to understand their own thoughts and behaviour.
If YouTube exercises editorial control over their content, are they then liable? They are no longer acting as a "common carrier".
OCaml's _type_ system is not turing complete (unless you have a new striking example to provide, but this would be considered a critical soundness bug).

There are two undecidable bit in OCaml's typechecker:
1) Checking module types, due to the possibility of naming and manipulating type signatures, in particular in functors. It's extremely hard to hit by accident, since computing in signatures is quite unidiomatic (and unwieldy).
2) Exhaustiveness of pattern matching for GADTs. You can hit that one (although, not "by accident") fairly easily, so the exploration is bounded and always terminate.

As for Haskell, the base system for typeclasses is not turing complete, you need a specific combination of extensions which are known to be dangerous together.

Finally, to answer the first question ... Most dependently typed languages (Coq, Agda) are not turing complete. People who do research in type systems are usually rather careful about the whole thing.
For many people there is an ethical difference between killing animals and killing plants. Most of my vegetarian/vegan friends actually abstain from meat because they don't want to be responsible for the killing of animals, not because of environmental or health concerns (though they acknowledge the added bonus)
It becomes a problem if the people with the money want it. Grant proposals usually require you to list your important and relevant "published" papers.

There is actually two aspects about "published". One is archival, so people can expect to access the work decades later (if they have to pay for that is another discussion). The second aspect is peer-review aka quality control.

Personally, I once submitted a paper to a workshop. After submission, peer-review, and acceptance the workshop committee decided that they will not publish proceedings. I could have submitted the paper elsewhere, which I find weird. Instead I published it as a techreport. However, it is now unusable for proposals, because a techreport is "not published" even if it is properly archived and went through peer review.
Mossberg wasn't a "techie" in the sense of delighting in technology for the sake of itself, and so he wasn't that attractive to those of us that are. Rather he was a writer who appealed to people skeptical of technology and who wanted to know if a particular device would really be useful to somebody without a technical background for actual uses.
Best Way to Generate Revenue from Mobile Apps
App monetization simply implies to the techniques of generating revenue from the applications. However, knowing the technique is one thing and utilizing the same is another.
Also https://en.wikipedia.org/wiki/Fruitarianism
There's plenty of power below Turing completeness. Turing completeness is overrated.
The Best and Worst Dating Apps for 2016 – ARC
This is an interesting idea, maybe I should have a mini-retirement through to when my kids start school?

I had thought of a similar approach from the other side. Ie arranging my work as one off missions (ie raise activation rates 2x) and then deciding after each one whether I continue working or take a break. There are a few things getting in the way of that at the moment and I think I prefer the regular if smaller push of working part time. However, for a business owner I guess that could be a nice way to work if it fitted their lifestyle.
Gavin, a bitcoin developer, Satoshi Nakamoto himself gave commit access rights to Gavin.

They have not been ignoring this issue, they have been firing salvos and censorship left and right. Fighting the original bitcoin with all they had.
RHEL makes up maybe 99.9% of the Linux enterprise installations these days, so we can't overstate RedHat's influence.
True, it is not too much of a sales pitch, but still something that really can't be seen as impartial, for natural reasons (it comes from the company behind Mesos) and it looses a bit of clarity (Java doesn't equal legacy, you can run Stateful workloads on Kubernetes) towards the end.

From my point of view, the benefits of the two level scheduling are actually quite limited with respect to how the whole story is usually told. Some Mesos framework always use all the resources from the clusters and it might get tricky to really have multiple frameworks to run at the same time on Mesos. Also, sometimes those frameworks don't really offer so many additional features to justify changing the way you are already using Spark, Cassandra and so on.
What do you prefer about the Raspberry Pi Foundation?
You were perfectly clear, but just mostly incorrect, I think.

You are correct that Strict is a language extension that significantly changes the semantics of a Haskell program. It's a new extension so it didn't cross my mind. But besides Strict the number of extensions that change semantics of existing programs in a significant but non-forward and -backward compatible way is very, very small.

Basically, the summary of Haskell extensions is:

Around half of them are new features that should be in the language standard but aren't because a new standard hasn't been produced for years. Around half of them extend (not change) the language in powerful ways and are best avoided unless you really need them. Around Ɛ% are things that significantly change the semantics, and 0% are things that mean you're programming in a "different, incompatible, language" (all extensions are compatible across module boundaries).
Android starts to use it more and more. At least where it makes sense : icons and simple illustrations.

From discussions with iOS colleagues it seems that Android has seen a way stronger push for vector assets.
Probably because from day one the OS and SDK has been designed for unknown displays at compile time.
Should computers decide who gets hired
tech.palatinategroup.com: (spabreaks|yourgolftravel).com | Full Stack/Frontend Developers | London, UK |

Full-time Team of ~26 people (developers, designers, infrastructure) in a mature travel company (~250 people, ~100m GBP turnover, sending 300k people on holiday every year), working on customer-facing and internal (mostly-)web-based applications.

Things we do/use (in no particular order): pair programming, TDD, small cross-functional teams, Ruby, Rails, Python, Go, Javascript (sometimes with ReactJS), Puppet, Vagrant, Webpack, Varnish, HAProxy, Node.js, Git, RSpec, Jasmine.

Interview process: two rounds, first always remote, second on-site where possible - first is a (sometimes technical) chat (~30-45 minutes), second is pair programming with a few of our team (up to 2 hours).

To apply / ask questions: sophie@yourgolftravel.com
It's ok to play with the OS in order to learn.
There is a lot to be fixed about reviewers, but I have no clue how to do that.
"Need" as in "will you use it?". I played around with snapshots once and never really used them. So i clearly don't have a need for them on my laptop. Journaling on the other hand helps data safety a lot and i think it's not overly complex. I've had data loss happing in the past before journaling, but never again since then. So, wouldn't i need CoW for even better "data safety"? Maybe, but since i've never experienced data loss for so many years, i don't feel like the added complexity is worth it. On my laptop, for my usecase.

But that's only me. Your experience may differ very much :)
Actually http://git.2f30.org/stagit/ is the real host, what you linked was just a mirror. If you go up one level on the site, you can find a list of projects hosted by the 2f30 team, including stagit, which was made by Hiltjo Posthuma (one of the Suckless guys, iirk)
weird they say Kubernets are more comparable to Docker in Swarm Mode than Docker standalone, but then list the features of Docker standalone

not that I'd endorse swarm mode eh, it's very very early stages and lacks a truckload of features before it could be used in anything but the simplest node replication scenarios.
In my experience Debian seems to be more common in Europe. Here there is a mix of RHEL, Debian, Ubuntu and some CentOS. With banks and finance preferring RHEL.
I don't want a math paper detailing 200TB of data. I want a paper telling me the generation of the digital input, the method that was used to actually prove it if it's novel. I want the authors to show how they verified the result and if it's important how they verified the automatic verification. The paper will end with "Oh and by the way, we used this conjecture because it was difficult, it's true. You can verify it yourself."

I want this all so I can do this myself, so I can prove a run-of-the-mill conjecture and not waste my time with it. I want this because proving is difficult and there is more to SAT than mathematical proofs, it is used in the industry. I want this because I trust a verified proof that the airplane won't crash more than a human proof.

The availability of computer proofs does not devalue the study of mathematics.
It's surprising and perhaps telling that in this age of dash cams and camera phones there aren't plenty of videos of ball lightning.
(now I actually agree with you but). . . Good luck proving that.
Assuming that a merit-based system is appropriate for admissions, can we remove race & name (so race can't be derived) from the admission forms?

Then have a third party verify the student's ranking at how the student performed via local peer group (could be a derivative of their neighborhood, school, county, state, etc).

The local peer group rank calculation could influence the decision without revealing any advantage/disadvantage (perhaps a statistician could discuss the mechanics of how to make this most appropriate)

Example admission summary: Candidate XYZ graduated top 12% from their school, top 10% from their county, and top 24% from their state. Candidate played no sports, but participated in two academic societies, and accumulated 200 hours of volunteer service. The candidate was employed for 3 years before applying for university.
Kite injected telemetry into the third most popular Sublime package
Having used this one too, I can say with fair confidence that it is not good, unfortunately :/
>Snips, on the other hand, runs completely on your device, with nothing being sent to the cloud. This means it guarantees your Privacy, works offline and doesn't have variable costs!

Does this mean the language model will not learn as it is used more? I feel the main reason for sending & storing data in cloud is to train the algorithm to get better at recognizing & answering the questions.
It's not really evil as such. It's more the intersection of money and greed.

Musto has lied about a lot of things (some more bizarre than others), and clearly gives zero thoughts about the community side of things. Banzi and co have also some interesting history when it comes to acknowledgement of Arduino's history, especially in relation to the original wiring project and processing.

There isn't really an evil or non-evil Arduino. The original Arduino is a modification to Hernando Barragan's Wiring board to support the Atmega8 chipset. Banzi was Barragan's supervisor. Banzi and a bunch of other guys at IDII forked the project (for reasons Barragan says he doesn't know) and founded Arduino, eventually building the Uno, still based on the Wiring board.

The Nano and Pro Mini followed, and when Arduino realised there was money to be made, proceeded to fall out with each other.

Now we're in a situation where both Arduino orgs are claiming to be open source, but only some products are open source. Deals have been made with companies that will only ever provide binary blobs and require NDAs that mean that there are Arduino products out there that will never be open source hardware.

If Arduino was to turn around and say, "Hey guys, the Arduino Uno, Nano and Pro Mini are open source. The Yun, ARM boards and others aren't", I think people would understand. Instead, Arduino uses ambiguity to hide it's open source status.

There's huge sums of money at stake, and that's what's driving it. The push from Maker Magazine and Adafruit may have put pressure on Musto to step down (or not), but it's not like Adafruit don't have their own competing boards, which makes it a little difficult for Adafruit to get too close without facing possible accusations of competitive badmouthing.
I highly recommend checking out Bryan Cantrill's talk from Surge 2013 - Leadership Without Management: Scaling Organizations by Scaling Engineers

https://www.youtube.com/watch?v=bGkVM1B5NuI
I don't understand the point of this report. Any server in China always subjects to GFW's censorship power. Or does it mean that a Chinese customer of Amazon Web Service can not rent a cloud server abroad for VPN purpose?
Who defines vunerabilities? Standard users, power users, government agencies hiding a zero day?
It's interesting if Mozilla is running their own speech recognition system. I wonder whether it would actually be usable in practice... The problem is, I couldn't find any kind of online demo.
A redesigned UI is coming to Firefox with version 57. Maybe you'll like that one better.

Can't exactly argue with your other point, since you don't explain how Chrome beats Firefox, but as many people in this thread have already said, Firefox is currently picking up a lot of speed. You can try Firefox Nightly, if you want a taste right now. Or wait until Firefox 57, which will hit stable on Nov 14.
Google is actually working on this for the support libraries.
All the Android apps use them, so it is a good target (and of course it might be possible to extend it to other libs).
I guess it makes the most sense in the markets where data is very costly. By itself the support lib is not really big but if each KB counts, let's not download it several times.
I admit I've not been following his work closely but has he brought up these issues on any other topic than gender pronouns and "SJWs"?

A quick search also suggests he does have actual transphobic issues -

> At the event, Peterson outlined his criticism of transgender people, arguing that the idea that biological sex and gender were independent quantities was “wrong.”

And misogyny issues -

> “I think disciplines like women’s studies should be defunded,”

http://www.thecrimson.com/article/2017/4/11/peterson-talk-dr...
Isn't that irrelevant in that case?

If the type checker takes too long, sonething isn't right.
How about whatever is running on AWS GovCloud?

Water outages happen often enough - they distribute water manually with tanker trucks. When sewage is overwhelmed it overflows into a river and they tell people to not go for a swim. https://en.wikipedia.org/wiki/Sanitary_sewer_overflow
Why not both? Which is what is used in Europe.
Virtual Reality- a Fresh Perspective for Marketers [Gifographic]
> ...if the central authority periodically publishes the signed blockchain ledger/update, it enables "shared truth" that every participant can use, and each of them can verify that noone has "altered history", that particular constraints have been met, etc.

In other words, something like http://ledger-cli.org/ stored in a git repository with some input validation and signed commits would suffice.

Proponents call this "blockchain technology" because it sounds advanced. They can because nobody has a definition of what "blockchain technology" is. In my mind, if it could have been designed by any competent engineer prior to Bitcoin, then it isn't "blockchain technology". But that's just me.
> moderation

I'm not a mod, but I'm pretty sure moderators didn't touch this.