skysight-inc/HackerNews huggingface dataset:
Thanks for taking a look. As mentioned, it's not a framework - it's a way for me to add simple styling without having to find/add/replace existing class. It may not seem useful to you as a complete solution like bootstrap - but when writing custom directives, it really helped me.
The precise technical innovations of HoTT are just that, technical. I'll try to focus on a practical consequence of those innovations.

If you know anything about data structures you know that a lot of times, 2 different instances of the structure will be considered "equal" even though they aren't exactly the same.

For an overly simplistic example, if you implement a list as a binary tree so that you can support things like append faster you might have a type like this:

tree = node(tree, tree) | leaf(int)

but you will consider things to be the same even if they aren't exactly the same tree, since you are externally presenting a list:

node(node(leaf(1),leaf(2)), leaf(3))

and
node(leaf(1), node(leaf(2), leaf(3))
for example.

However when you implement all of your list operations (which will include tricky rebalancing), you will have to manually check it, which is hard.

In HoTT you can choose to have the type system help you check it by saying

tree = node(tree, tree) | leaf(int)

and asserting to the type system things like

node(node(t1,leaf(n)), t2) = node(t1, node(leaf(n), t2)

then when you write your rebalancing function the type system will have you prove that you preserved equalities like this.

You can already simulate this in theorem-proving languages but the technical details of HoTT allow you to

1) Directly encode these statements in the type system.
2) Get some properties of equality for free.
3) Lift functions on isomorphic data structures for free.

The 3rd one basically means that if you prove your trees are equivalent to linked lists you can use any function that uses lists for your trees and vice-versa.

All in all, if you're just interested in programming HoTT is probably not important to you. But if you work on verifying things like safety-critical systems or complicated mathematics using theorem proving assistants HoTT is probably going to be a big influence on the "next generation" of proof assistants.
Where have you heard RAM played out of curiosity?

One of the weakest aspects of the album in my opinion was the utter lack of relevant situations where the album could be played. You can't play any of the tracks at a club, party, or even just casually hanging out with friends. It's an introspective, needy album, unlike Homework and Discovery.

I haven't heard any RAM tracks played anywhere after the initial Get Lucky phase wore thin.
No, for instance anything with a zipper can pretty much be opened with a pen instead of a knife. Just poke through and it will unzip. Depending on the zipper quality you should be able to just rezip it.
I'm simply extrapolating current trends.

Extrapolating current trends doesn't work in the face of exponential mumbo jumbo.

Who would have expected training a character-by-character network could produce reasonable output? http://karpathy.github.io/2015/05/21/rnn-effectiveness/

Sure, there's no "understanding" or "consciousness" behind the output, but purely statistically, it generates something readable by humans.

Also, let's not forget scale. A human brain has between 100 and 200 trillion synapses connecting ~100 billion neurons to make consciousness work. Our toy neural nets so far aren't anywhere near those levels.
Some landlords will install a £100 smoke alarm when they realize that they can get real-time notifications that one of their buildings is on fire. Others will do it as a fancy feature to attract higher-paying tenants.

And when the price falls to £30, as happens with these things, a lot more will do it.
They cannot add liquidity. They HFT can only make money when there are slower traders willing to buy and sell.

Thus, by definition the liquidity already has to exist (market participants wanting to buy and sell) for HFT's to profit.
Earning and Retaining Customers with Social Media Analytics
Put a bitcoin url there with the amount you think you lost by me refusing to be told to buy an Apple product, and sure, I'll send you some dust.

If micropayments will never work, via bitcoin or anything else, then another alternative is Google Contributor.

https://www.google.com/contributor/welcome/

But there has to be a better way than trying to get me to buy shit I don't need. Our web browsing experience shouldn't be powering consummerism.
Agree, to get quality time you need quality people. This is hard to achieve with a group larger than, say, 3 people.
I would personally pay a lot for an e-paper based laptop specifically for text editing. For writers, or programmers, I don't think you can beat e-paper. No eye-strain, outstanding battery life, perfect visibility in direct sunlight...
Sounds interesting what would you use it for practically?
I'm not sure there's a single, standard usage. Among (mechanical) watch enthusiasts, who certainly have an axe to grind on the semantics of time, a "fast" timepiece is one that advances too quickly, usually on the order of a few seconds to a minute per day.
Fair but the Apple of today is also a very different company than the Apple of 1996.

Before the Jobs/Cook era, Apple used to have terrible inventory management, that isn't a problem any longer.

Apple used to be extremely dependent on third-party distributors, they now are one of the most profitable retailers in the world, they also have built wide distribution networks far beyond "computer stores"

Back then, Apple had burned through most of the company profits, Jobs and Cook built a tidy trust fund worth approximately $250 billion cash-on-hand

Apple is in a far better position now to handle a debacle or stagnation, assuming one was to happen.
[paper] http://is.muni.cz/repo/1299983/https_client_identification-p...

[slides]
http://is.muni.cz/repo/1299983/https_client_identification-s...
Two interesting problems.

One is that a free market might result in "better" purchaser decisions, but a free market requires a meeting of the minds and some patients won't have minds, temporarily or permanently, and those that do have a staggering power imbalance of one uneducated untrained individual vs a thousand person highly trained organization. We're not talking about two commodity traders exchanging with each other. This is before we get into "state of mind" and panic, someone having a heart attack can't focus on contractual negotiations quite like the guy across the table not currently having a heart attack. And then there's the timeliness issue, and geography...

The second, is medical care cannot be treated as a commodity. I was horrified at the "taylorism gone wild" in the article where one surgeon used twice the bandages as the other, and therefore is bad. In the real world that will be implemented as "well, yes I know your tumor was a completely different size and shape than his tumor, and bandages cost almost nothing compared to a human life, but we have beans to count and quotas to stay under so you'll just have to bleed to death because it would take too many bandages to save your life" or "well yes half his patients are permanently crippled and none of hers do, but she uses twice as many band aids, so we'll have to downsize her and keep him, to stay under our bandage budget". Without a commodity of interchangeable identical product, you can't have a free market or at least not the gains of a free market. Its interesting that the medical system admits as such... there are specializations of patient disease clusters, but despite the best efforts of centuries of work we still can't specialize beyond a very shallow level, we have cardiologist specialists not specialists in 25% arterial blockages of the left ventricle, even though its "obvious" that if it were implementable, specialization to that level would be very helpful. This is before we get to the issue that you get what you count, so if you count meaningless metrics you'll get excellent meaningless metrics, not health care.

A better model for the economics of health care would be fine art. Or maybe education. Notice how the money spent correlates strongly with how much money is available, and has little correlation with results, at any level beyond bare requirements. Or how attempts at taylorism style management provide laughable comedy results. Health care does seem to "fit" better with fine art or education, than with accounting or a manual factory assembly line.
Really, it doesn't matter if they've broadly leaked or not -- from very early on in the "TSA must have your keys" period, theft by TSA agents from luggage was a noteworthy problem. The spread of authority may be a problem, but when the original authority isn't trustworthy in the first place, problems start long before any spread.
You're missing the point of the discussion. The point is that observation is a far less straightforward thing than it's sometimes made out to be. It is clear with hindsight that Galileo was indeed observing the moons of Jupiter, but it was far from clear at the time. The reports of people who didn't see anything are no more "anecdotal" than Galileo's reports that he did see something, and there is little reason to doubt the veracity of either set of reports. It is well known that there's a certain knack to seeing things through telescopes and microscopes, and if you look through one for the first time you may simply fail to see what a trained observer sees. Neither the telescope nor human visual perception were well understood at the time, and it must have been difficult to know what to make of the conflicting reports. Feyerabend's entire argument depends on the assumption that Galileo was - at least in retrospect - doing the right thing. However, the right thing in this instance turned out to require the violation of pretty much every prescription of the "scientific method".
The group began with head and neck cancer, treatment of which turned out to involve 160 processes requiring measurement. To assess outcomes, it asked patients which they thought were most important. Head and neck cancer patients wanted to be able to talk and to swallow. (Survival, which many doctors had thought was a top priority, was not something patients raised; many assumed they would survive.)

That parenthetical note is perhaps the clearest illustration I've ever seen in my life on the communication and expectation gap between experts and non-experts.
The $60 RPi screen is higher resolution, mounts with four screws (vs this one with three separate PCBs plus the LCD), and has an interface designed to be controlled by the RPi GPIO pins. I don't think saving $17 is worth losing all of that.
Cloudflare has a few options you can choose from for cloudflare<=>origin connections. I've tried them all out and they've worked as advertised as far as I could tell:

I set up Cloudflare with their "Strict" SSL option, which requires that my origin servers use a valid TLS certificate. I paid the CA toll to get a cert for my site, and I use that cert to serve connections from Cloudflare's servers.

They also have a "Full" option, which allows you to use a self-signed cert (with no validation -- you might be able to require validation of self-signed certs if you're on a paid plan) on your origin servers, which is slightly more secure than the "Flexible" option, which uses HTTP (with no encryption) when connecting to the origin server, even though it then serves the content to end users over HTTPS with their own (valid) cert.
I guss only dummies can understand this...
I don't understand how paying directly or not has anything to do with choosing a surgeon. Plently of socialized medicine system you get zero choice. Some 1/2 socialized, you still have to pay if you want a choice in surgeon.

I'm not against socialized medicine I asking how do you think not having "market forces" fixes the problem you're suggesting
Amazon's Restaurant Delivery Service
I also opt out every time. At one point the FSM came to me in a dream and told me that I shalt not go through a pornoscanner. And who am I to doubt the word of noodle?
How much would you pay?
Yeah I messed that domain up. Thanks.
Show HN: Pensamientos – Open your thoughts to the world
Memcache Full HTML in Ruby on Rails with Nginx
But then you'll create bloat. Multiple classes assigned to an element is far more efficient then repeating properties with the same values over multiple classes in the stylesheet.
I have created an app which aims to let young people to express theirselves freely. The idea behind is that in moderm social networks we have an identity and we have to take care of what we say, we are not completely free to express ourselves, we need to be anonymous in order to say what we really think. I created hte app inspired by a famous instant messaging apps. Right now it allows private chat, public anonymous chats in your contacts numbers and private anonymous chats. But I am thinking about expanding the funcionallity adding public chats based on topics. I will also add in the future other features as group chats and file sharing.

Any feedback or critic is welcome.
It seems so right from an Adam Smith invisible hand point of view: offer choice, allow people to shop around, and costs will go down, right?

The US has already been running this experiment—the results are in, and it's a huge loser. Everything you need to know is in this chart:

https://en.wikipedia.org/wiki/File:Total_health_expenditure_...

It turns out that everyone pays a lot less when you treat healthcare infrastructure like roads, dams, the power grid, or any other infrastructure— it has certain high fixed costs which build and sustain it (financed from the general tax base), and apart from that, it should be available for use by everyone.
Performance Metrics: What to Measure, How, and Why?
Care to elaborate? In medicine, just like almost everything else, you will find a "standard" for each type of procedure. Do they sometimes take more or less time? Yep, but that all plays into the standard over time. So when you have an outlier of the standard you can evaluate what went wrong or what was different to better understand the variables that play into these elements of variance. Medicine is a science. The more we treat it that way the better... you cannot just throw your hands up and deem it ridiculous.
Really great site. It's clean, look forward to seeing the complete interactive book.
Ooh yes my mistake. I had "Human After All" in mind.
I think Bruce Schneier has a term for coming up with theoretical threats and then "fixing" that threat through an elaborate system.
Blur detection with OpenCV
IT is actually possible to build a very simple pedal yourself. You can tape two tinfoil "electrodes" on cardboard and fold it so that they touch when it's completely folded. Then also put some sponge between the folded cardboard so that it releases reliably. If you connect a mono audio cable to the electrodes you have a working pedal. This worked in a pinch for an electronic drum set and it is also much quieter than a real pedal.
Are you sure it was the same amount of money? Before the TSA, airport security agents were very minimally trained and there were no expensive body scanner machines.

I would not be surprised if the TSA version of airport security cost 10x the previous version.
The alternative is that their ads don't get shown, so would you prefer worse or nothing at all?
I'm using a kinesis keyboard with the "savant" pedal, which can be configured to do anything you need.

I used it for a while as "shift", then ESC and control, then I stopped. Not so much because it wasn't efficient (I still think it's better than using caps-lock, not so much for other keys), but because it enforced a more rigid posture when sitting. I like to move the feet a lot, and change the sitting position. Instinctively I tended to stay more rigid instead of moving the pedal.

But YMMV. If you tend to abuse shift to capitalize words, a pedal is worth considering.

I also just used a mouse attached to a piece of cardboard, controlled with the foot just by sliding it on the ground. Just too hard to control fine movement. I briefly tested just a mouse with the bare foot, but the foot joint just doesn't has the versatility of the wrist. It was also annoying that I had to use a keyboard combo to perform the clicking (since I used the toes to hold it).

Trying costs nothing though, so have fun and try for yourself. Pick a crappy keyboard, and construct a lever with a V shaped piece of cardboard. Position the pin on the back on the key that you want to "try". It won't be as rigid or comfortable as a pedal (you cannot "rest" on it), but you can get a feel of how it works. I let several of my colleagues try the pedal since I don't use it anymore, but it's not something that is easily appreciated.

It certainly requires some training to get used to, especially to generate control sequences. I would advice to try one before buying for this reason.
7 Frameworks for Predicting Online Marketplace Success
Nobody who uses it really likes Emacs list and Guile didn't get far. Not the best success stories to give.
Ask HN: Resources for learning ASP.NET?
Hey Guys,

For any of you who at one point or another had to pick up ASP.NET what resources did you use?
A knife leaves obvious traces. Using a key both avoids making it immediately obvious and adds ambiguity – since most bag theft happens as part of organized rings inside airports, that's significant because it allows the airlines to avoid paying compensation by requiring hard proof that something expensive was actually in the bag when it entered the system and missing before you left.
Full-Stack Developer, Hamburg Germany, ONSITE

nodejs, golang, hadoop, docker, elasticsearch, etc

d3media builds adserving, analytics and other tools to power marketing campaigns, custom on-site features, and activate advertiser data for targeted campaigns.

We are looking for a great full-stack dev to join our team. You should be willing to work on everything. (little bit of UI, application servers, message queues/services, hadoop and infrastructure/provisioning)

As a small team we don't have the luxury of people working in silos "owning" pieces of our stack. Currently we are one american, one spaniard and one german on the dev team. This is a great chance to work on interesting problem space with scalable loosely coupled systems and a big influence over the future setup of the team and technology.

If you aren't local we can discuss remote for the right candidate or we can help you relocate.

http://www.d3media.de/karriere/full-stack-developer.html
A Theory of Cheap Control in Embodied Systems [pdf]
This is the sad reality. The last bastion of true journalism now exists within NPR (at least to a degree) or outside the United States. Sensationalist media with only a surface approach to journalism has become the rule and no longer just the exception.
"if you are required to return the cartridge"

I'd love to see the exact legal language that even specifies that condition "required to return".

After all we can assume that most people don't do that or actually that those who don't return the cartridge almost certainly suffer no legal jeopardy for that inaction. If you are required to do something by a contract, then you would expect some degree of enforcement when the contract terms haven't been met. My guess is that Lexmark can't show any action they take for cartridges not returned.

I've often noted how companies that sell laser cartridges will give you a free label to UPS the cartridge back to them. They cloak it as "recycling" but it serves two purposes. It gives them a free cartridge to refill but it also takes away a cartridge that could be used by a third party that would a sale from the company.
Hi, thanks for taking a look. Could you tell me why this won't work without JS?

My motivation to write this is because I always have to go back and make quick margin/padding/etc changes and I hated trying to come up with more class names.

As mentioned, this isn't a framework. It was a way for me to add styles when writing styles to custom directives.
Granted it's not all that new, but Calling All Stations by Genesis was probably the worst I've ever heard. It did so poorly it killed the tour and put the band into hiatus. Pretty impressive results for a band that had been on top for decades.

Yeah, they lost Phil Collins, but forgetting how to write music or lyrics was a real surprise. George Starostin's review nailed it...
6 Reasons OTT Content Will Dominate the Connected TV Market
Understanding Linux Load Average – Part 1
Math is certainly not for everyone, but I actually found that once I started diving into pure math (NOT what was taught in my school's math curriculum) it was a whole new world.

Did your school actually teach pure math?

I bet a lot of programmer types had similar frustrations to the computationally intensive version of math taught in many high schools when they knew that these processes could simply be automated.
Crowdfunding medical devices raises money – and questions
Data Science Workflow
"Quickly" without writing tons of Forth code, not. And it still wouldn't match 200.000 npm packages or a million or so for Java.
Hi, thanks for taking a look.

I don't think it's a "better" way, I wanted to explore another way of adding quick styles without having to come up with a class name.
The Frog and the Whale; Docker Packing JFrog Artifactory 4 Is Production Ready
The Sims.
That sounds like a loophole a patent infringer could easily drive a bus through. "I'm not infringing the patent, I'm just reselling these patent-infringing items that were manufactured by a company in China that - oh dear, doesn't seem to exist any more."
I would be very surprised if the federalized version wasn't much more expensive -- for one thing, because its centralized its a bigger and more profitable target for vendor lobbying for requirements that necessitate the purchase of particular goods and services (whole body scanners, etc.)
On the radio. Get Lucky and Lose Yourself got lots of play on my local independent radio station (The Current in St Paul, MN), and I still hear them fairly often. I also heard Get Lucky at a water park last summer, and I hear it in restaurants now and then. Just two songs from the album, but I think that's average.
Why not have a second tank? Then if the first one is empty use the second and refill the first.
That's pretty much guaranteed not to fail, unless you have someone that doesn't fill the tank. But that's s different problem.
That's what I do at home and it is only for the occasional grilling, not anything like "we can't eat / have heat unless this works"
Im not much of a BMW fan myself, but I can appreciate what they do. My high school girlfriend had a 95 318is that I remember being a dog of a car. At ~2800 - 3000 pounds and having 136 hp it was grossly underpowered. The handling wasn't all that great, and at least in the case of the 318 had no tilt or telescoping steering wheel that for me was in a awful position. To top things off, the engine exploded while on a road trip about 40 miles outside of Houston while going about 75 mph. It was almost comical had it not been so dangerous, it literally spit oil onto the windshield when it blew.(The car wanted us dead)

BMW has had a target on their back with the 3 series since the 90s though, and with every new generation pundits predict the fall of the 3. I think some of the criticisms are warranted, its getting really porky, expensive and not as fun to drive and toss-able as it once was. However, you could say that about most cars in the segment(A4, C series) and the a lot of the reason for this is safety requirements and buyer preferences for more luxury items these days. If I were to buy a BMW, I think I would want a late 80s 6 series. Those are beautiful cars, I shudder to think what the maintenance costs would be though.
Show HN: Encrypted Communication via GitHub Using Node.js and SSH Keys
While I found this list to be quite good is it a common thing to write an article based on "facts" pulled from reddit? (see note at the bottom of the article)