skysight-inc/HackerNews huggingface dataset:
> How are type families worse than fundeps? That's a pretty ridiculous assertion; the things you can do with fundeps are strictly fewer than the things you can do with type families.

It's not about how much you can do (otherwise, just use a dynamic language, you can do everything, even shoot yourself in the foot!), it's about whether the result makes sense, and how much effort it takes to make sense of it.

> You're dead wrong. The principled approach here is dependent types and full-featured type-level functions. Fundeps are a hack that let you implement a small subset of such functions (while type families gets us a bit closer to the ideal).

You wanna play the dependent type theory card? Type families as provided in Haskell are incompatible with univalence.

type instance Foo Bool = Int
type instance Foo YesNo = String

Please kindly provide the isomorphism between `Int` and `String`.

Case analysis only makes sense when performed on the cases of an inductive type, which the kind of all types is not.

> Such as?

The insistence on globally unique instances?

> How about we just use C macros for parametricity?

What does this even mean?

> ML-style modules have their uses, but they aren't nearly as elegant as a clean type-level solution.

See here for how modular type classes, as proposed for ML, would actually prevent the issues caused by Haskell-style type classes: http://blog.ezyang.com/2014/09/open-type-families-are-not-mo...
Those of us who live in Seattle tend to feel the same way. If you see someone carrying an umbrella here you can bet they're a tourist.
only for those with not expensive tastes
There was a wonderful post [1] on r/italy (unfortunately in Italian), by a guy that works in cinema that explained all this and more.

He explains not only the motion blur and the film grain, but also things like how color shift when white fades out (it's about different color sensitivity curves in real film).

[1] https://www.reddit.com/r/italy/comments/4te9hl/stranger_thin...?
Reminds me of the Hornblower books, where Hornblower has to pronounce French cities and landmarks with the mangled British pronunciation rather than saying them in the French. The books repeatedly make a point of him doing it, along with Hornblower's annoyance at having to do so.
Now here's something interesting. Here's Tesla's Gigafactory and nearby buildings in Google Earth.[1] There are three buildings about 3000 feet northwest of Tesla's that are about the same size as Tesla's building. There's another big one about 400 feet to the west. What are they? This is an industrial park zoned for Really Big Rectangular Buildings, the Reno-Tahoe Industrial Park.

The building to the west is PetSmart's distribution center. It's almost as big as Tesla's building. Just to the west of it is a WalMart distribution center. That's two buildings, but they add up to about the size of Tesla's.

The identically-sized buildings to the northwest are the Eagle Valley Industrial Center.[2] CBRE seems to be building two rows of 500,000 square foot buildings and leasing them to companies that need distribution centers. They have Amazon, Diapers.com (owned by Amazon), chewey.com (not owned by Amazon), and other tenants in the third building. Markings on the ground indicate that buildings #4 and #5 are coming along soon. The distribution centers aren't built as big single buildings because they need lots of outer wall for loading docks. Zoom in and you can see that semitrailers are docked along most of the east and west exterior walls. That's a distribution center - stuff comes in one side, and goes out the other.

So, while Tesla does have the biggest single building in that industrial park, CBRE has more floor space than they do.

[1] https://goo.gl/maps/4rWXYqxa1Eo
[2] http://ktrcapital.com/PDF/Brochure/NV%20-%20Eagle%20Valley%2...
Hard to imagine that R is more popular than Javascript.
Github downtime is pizzabreak time
Chrome flagging s3.amazonaws.com as a “deceptive site”
The TSA were stupid but to be fair anyone with an access to a few suitcases can build the key, not to mention that suitcase manufacturers and luggage lock designers had access to the specs.
I only understood a tiny bit of what you said, but I do get freaked out by the double slit experiment with single photons. It's like the photon is interfering with versions of itself in alternate universes.
Paytm and Zomato bag a spot in the list of ‘Breakthrough Brands’
What's worse, that or not speaking a perfect Frankish language of when in the land of Franks? At least the English tolerate all kinds of foreign mangling pretty well.
Personality Change Machine – Motu Patlu in Tamil
System Under Test: XTerm
So, the news is about the eights key being cloned, in addition to the seven keys that were cloned before. The title is a bit misleading.
Special Benefits on Unsecured Loans for Bad Credit People
So now the Chinese companies that did do that manufacturing are buying American companies.

America's hens have come home to roost.
The monopsony, which is infrequent in today's markets, is what caused these types of cities/towns. Specifically, a labor market monopsony.
Wow this is the second instance of Indiana judges' egregious nepotism I've heard about this month. It reminds me of Heidi Humphrey of the Indiana Supreme Court Ethics and Professionalism Committee and her handling of a case involving one Judge James Humphrey. I'll stipulate that as awful as the USA justice system is, the family courts are among the worst parts of it. The capriciousness is a feature, not a bug: that's how they extort more money out of both parties to a divorce. The intensely personal nature of the conflicts leads wives and husbands both to irrational, win-at-all-costs mentalities that harm children, and the family courts encourage a feedback loop of escalating conflict. All the various hangers-on (psychologists, facilities, etc.) get their share of money that could otherwise have stayed with the family and its children, and they're careful to donate enough of the windfall to judges' reelection campaigns.

One way to win would be to hire the local judge's favorite lawyer. The better way to win is not to play the game in the first place. Don't have children with unsuitable partners, and if you've made that mistake, don't compound it by dragging the whole family into court.

In other words: since the family courts do such a poor job, why would we want them to do more?
Just as a data point... I like and heavily use the core libs... And not once i used arrow, request or simplejson, while knowing them, because i didn't feel the needs
Are there companies out there that include Github as a critical part of their infrastructure such that if the web front end or GIT hosting goes down that their production servers are affected?

I'm sure there are but how many people would actually have been affected by this specific outage which only seemed to affect the web front end?
Micro – A microservice ecosystem
One of the reasons why we use the locks is to prevent the zipper from unzipping accidentally under vibration or rough handling. If they cut the zip tie open, and don't put a new one, the zipper won't have such protection for the second part of the trip. So a simple unsecure TSA lock and a tamper-evident sticker is probably an optimal combination.
I had something interesting happen to my fonts on a Linux machine a while back

http://imgur.com/a/LakuU

I still have no idea what happened, I logged out and back in again and it was fixed
I can see how not having those things would be frustrating. But speaking as someone whose last serious job had all those elements (autonomy, freedom to exercise judgement, and quiet privacy) and more besides (interesting work solving diverse engineering problems with tangible results that wow laypeople and impress domain experts), I would not have been happy in the long term had the company not folded anyway, because ultimately it was all in service of marketing and that is not something I feel contributes to the human condition. I would not have been able to look back at the end of my life and say, "That counted. I knew the world was going to hell, and by golly I helped fix it." Unfortunately I don't know if I'm going to be able to get a job that ticks all those boxes - I imagine they're rare...
> otherwise, just use a dynamic language, you can do everything, even shoot yourself in the foot!

Type classes allow huge flexibility while maintaining type safety, to a much greater degree than fundeps allow.

> it's about whether the result makes sense

Which they do. Perhaps you have some examples of when type families confused you or made you perform an error?

> Type families as provided in Haskell are incompatible with univalence.

TFs aren't dependent types. However, they are on the right track. Fundeps are farther away from the right idea. Could you explain to me what's wrong with your example? I'm not up to date on HoTT, but it seems like there's nothing in principle wrong with pattern matching on elements of *. That seems like an important feature of type-level functions.

>The insistence on global unique instances?

Why is this a problem? It makes sense from a theoretical perspective (we don't associate multiple ordering properties with the things we call "the integers"), and it's very easy to use newtype wrappers to create new instances if needed.

> What does this even mean?

ML modules are flexible, but backwards from a theoretical perspective. Parametricity is something that should be embedded in the type system, not the module system.

> See here

Interesting example. However, I doubt that the syntactic cost of using such a system is less than the syntactic cost of enforcing global instance uniqueness and using newtype wrappers.
See also these references:

1. https://en.wikipedia.org/wiki/Company_scrip

2. http://www.pbs.org/tpt/slavery-by-another-name/themes/compan...

3. http://clio.lib.olemiss.edu/cdm/ref/collection/aah/id/29047 (page 7, 'Abusive Practices')

4. http://www.smithsonianmag.com/travel/americas-company-towns-...

etc. etc. ad nauseum. This is a pretty well documented terrible thing.
Unfortunately not one that's still around :)
Cabbies. They probably deserved umbrellas then as much as they deserve Uber now.
Thank God Yahoo Didn’t Buy Google
I want people to be burdened by an over-abundance of choices, but elegantly displayed.
Would you recommend the MIT essential knowledge series?
True you would pay income taxes and reset the basis
You're missing the central point of the article, which is that Ur-Fascism is not an ideology or even a set of policies. It's a method of discourse and a political aesthetic.

Every political party and movement has supporters who feel this way. The problem is when they control the party.

BLM certainly emphasizes action for its own sake, but they don't run the Democratic party. Likewise, individual liberals might speak to a fear of "horrible racist uneducated people are nothing like us," but if you watched the DNC the message is one of unity: reach out to those people, don't drive them away.

You can dispute and justify all you want, but there's a reason that apolitical historians are coming out to point out current fascist threat.
Cars have 30 years of resale value, if they're cared for. Like many other electronics, phones have basically stopped improving in the past few years. Processor and battery technology are used at their limits, and a phone from 5 years ago still works well today, if you can get software updates for it.
What's better: bad tests or no tests at all?
Thanks, this is actually informative.
AFAIK bacteria aren't developing a way to get resistant faster; the problem is antibiotics over-use (and misuse). Also, if an antibiotic for which resistance was developed doesn't get used for a long enough time, the bacteria lose the resistance.

The bottom line is that we need to use newly developed antibiotics more carefully, continue researching new ones, and no Spanish flu like incident will happen (even without considering that the Spanish flu was a virus, not a bacterium).
you would pay income taxes and reset the basis
Maybe lugdunesis is killed by some antibiotics that aureus is resistant to?
Plug for the local Austin band, S U R V I V E, which scored the show!
Just so long as the two procedures stay completely separate.
>Yeah apparently we are not allowed to side with Oracle.

I think you're a little confused, what the heck has to do siding with one company with you insulting the people that don't agree with you?
How fast do you read that though? I'm like the grand parent post, 50 pages is an onerous commitment, something I'll only get done if I'm really really into a book and have nothing else to do that day, or am stuck on a plane. It'll take me around eight hours of reading to finish a short young adult book, for example.
Questions for 360 Degree Feedback
A template of questions for 360 Feedback Feedback
There are many ALS organizations, some larger than others. They all typically split their money between support and research, but a local ALS chapter will have a larger focus on providing support and equipment for people with the disease in the area.

ALSA got most of the support from the ice bucket challenge, and their focus will be more on research as a national charity, but local ALS chapters do a ton for a rapidly changing and expensive disease.
Early Adopters
Actually, the Kasich offer makes his fascist tendencies clearer to me. Trump is not interested in actually governing or implementing policies, he's interested in having a massive adoring audience.

Like historical fascists, he doesn't care what policies get him that power and adoration. He'd be happy running an isolationist government, but just as happy militantly dropping nuclear bombs in the Middle East.

The one consistent in Trump's political "career" is a worship of power. He's obsessed with winners and losers, and if you're winning he likes you. If you criticize him, he hates you and will try to destroy you, whether it's legal or not. I don't think he could, as president, tolerate a free press.
> It is so funny how people side up with Google for doing the same thing as Microsoft.

Really? Now it is clear that you're just not being serious
Badgeville's Wiki is pretty good - https://badgeville.com/wiki/
"In the minds of many Brits, umbrella usage was symptomatic of a weakness of character, particularly among men. Few people ever dared to be seen with such a detestable, effeminate contraption. To carry an umbrella when it rained was to incur public ridicule."

This sentiment is very much alive today. I'm always surprised how I seem to be the only person carrying an umbrella in London when it rains. Especially bankers seem to prefer getting soaked.
Everything You Need to Know About Costing of Mobile App
Which is a peak, because Facebook is neither new nor special even in the third world.
> if an antibiotic for which resistance was developed doesn't get used for a long enough time, the bacteria lose the resistance

That would suggest that we need a few more antibiotics to cycle though, by the time we get back to the older ones they will be efficient again.
Oculus is still a seated experience, NOT room scale!

Even with Touch controllers, there's only a limited space to use it.

Plus you can't magically manufacture something you didn't plan to release - Especially not in a short time period.
If you are naive about data access, like in this case of inserting into an array without preallocation, C++ STL collections are pretty slow. I once wrote an algorithm that made heavy use of dictionaries in C++ and Python and the Python version was significantly faster. C++ just does not have fast general purpose collections in the standard library.
Passwordless login with phoenix
The TSA was created for legit safety/security purposes. The organization itself is assuredly a clusterfuck, but airlines and airports doing their own security again isn't the answer.

The answer was reinforcing and locking cockpit doors. Everything after that is just for show.
New Transport Advancements in the Anniversary Update for Windows Server 2016
> Windows' one's battery life promises

As in promises that Microsoft has made or as in what Windows Edge actually delivers?

Because so far, from what I've heard, there seems to be a pretty big discrepancy between those two, but I haven't seen any actual benchmarks, so could also just be nonsense...
Weird, I missed it too when I first read the article, even though it is bang in the middle. They should have mentioned it in the text maybe.
Just sticking with the pure types there's currently no generic stream model that works well. No stream fusion system fuses all cases (even in theory) and they also fail to fuse the cases they're supposed to handle too often in practice.

I haven't looked at pipes, but I'm guessing it doesn't all fuse away either.
this is just 80s synthpop made with ableton live after everyone saw Drive
>It carries too high of a risk for financially-minded people (looking for a return on investment) to throw money at it.

As opposed to the risk of searching for some completely new thing that may not exist?
> Type classes allow huge flexibility while maintaining type safety, to a much greater degree than fundeps allow.

Um, aren't functional dependencies an add-on to multiparameter type classes? I don't see where the opposition is.

> Which they do. Perhaps you have some examples of when type families confused you or made you perform an error?

I already gave an example above. I defined two type instances that violate the principle of not doing evil: https://ncatlab.org/nlab/show/principle+of+equivalence

> TFs aren't dependent types. However, they are on the right track.

Dependent types are a good idea. The way Haskell attempts to approximate them is not. Parametricity is too good to give up. With the minor exception of reference cells (`IORef`, `STRef`, etc.), if two types are isomorphic, applying the same type constructor to them should yield isomorphic types.

You know what type families actually resemble? What C++ calls “traits”: ad-hoc specialized template classes containing type members.

> Fundeps are farther away from the right idea.

Functional dependencies are a consistent extension to type classes, which don't introduce a second source of ad-hoc polymorphism, unlike type families.

> Why is this a problem? It makes sense from a theoretical perspective (we don't associate multiple ordering properties with the things we call "the integers"),

What if I want to order them as Grey-coded numbers? In any case, the integers are far from the only type that can be given an order structure, and many types don't have a clear “bestest” order structure to be preferred over other possible ones.

> and it's very easy to use newtype wrappers to create new instances if needed.

Creating `newtype` wrappers is easy at the type level, but using them is super cumbersome at the term level.

> ML modules are flexible, but backwards from a theoretical perspective.

ML modules are plain System F-omega: http://www.mpi-sws.org/~rossberg/1ml/ . Where's the backwardness?

> Parametricity is something that should be embedded in the type system, not the module system.

It's type families, as done in Haskell, that violate parametricity! Standard ML has parametric polymorphism, uncompromised by questionable type system extensions.

> Interesting example. However, I doubt that the syntactic cost of using such a system is less than the syntactic cost of enforcing global instance uniqueness and using newtype wrappers.

I can't imagine it being more cumbersome than wrapping lots of terms in newtype wrappers just to satisfy the type class instance resolution system.
I find it interesting that exaggerated description of the pocket calculator at the end sounded a lot like a smart phone. Looks like predictions about future tech can be accurate after all.
KmsNano Automatic Activator Final 2016 Windows 7, 8, 8.1
Portland as well. It's seen as a sense of pride, probably because the rain here is light.
Phones don't need to be any thinner.
Nit: C++ Standard Library != STL
Is ISIS actually globalist? As far as I know, they don't openly incorporate Muslims from other cultures.

I think they're more imperialist than globalist: they must cast their reach wide to liberate the oppressed Muslims of other nations.
I like how every generation of every phone is marketed as "This time, the camera does true colour!" - I wonder how much real difference there is between gens.
Driverless cars need Australia's lat/long coordinates to be corrected
Chess players create better software. An interview with Hack Reactor CEO
How to Schedule Pins on Pinterest with Viralwoot  – ViralWoot
I manage two small (5 people) teams where everybody works remotely, and we have daily "stand-ups" using hangouts. They usually last just 10 minutes, and I find them very useful not just because of the info sharing, but because they help getting better team cohesion - which is difficult with remote work. They're well worth the small disruption of development activities.
Which is why I always eat my boogers, and seldom, if ever, get sick.
I understand, but I guess I've just come to believe the only things that get funded, whether by VCs or by governments or by internal approval in an established company, are low-risk incremental variations on consumer bullshit, generally encased in two or three layers of political bullshit.

This is true in academia, law, medicine, start-ups, finance, defense research, food innovation, climate science, optimal philanthropy, policy analysis, media, advertising, education, consulting, urban planning, and design.

For most humans, they have near zero chance of earning a living in any way in which this isn't true.

So even though many of us desire the bulk of our labor (the huge chunk utilized to earn a living via a job) to contribute to "something that matters" the option literally fails to exist.

Worse is that some of the areas that are bad on the low-risk, incremental bullshit projects and politics, such as working for NGOs or non-profits that supposedly "have an impact," often rob you of everything. Not only do you end up having the same non-impact as if you had worked at that marketing job, but also you are paid far less, and the other working conditions are worse.

I haven't yet heard of anything apart from some rare, niche aspects of things like professional athletics, professional music, professional acting, etc., that offer someone the chance to explore work that they believe is meaningful. And even then you have to usually hoof it doing bullshit and/or low-paying stuff for decades before reaching a point in which you can explore what you find meaningful.

I'm not saying anyone else should see it like I do, but my feeling is that in terms of a constructive impact on the world at large, I need to first recognize that I'm just one of 7 billion and pretty much nothing I do will matter. Heck, pretty much nothing Bill Gates does will matter in even just 50-100 years. So then I should look for tiny, marginal ways to explore meaning, and probably if I let my mode of employment just be about gaining capital, then outside of work I might be able to do more that at least feels meaningful to me.

That's just how I see it though. I am certain others have found many different approaches that work for different people.
Chromecast and the idea that a TV is just a "dumb screen" is fairly successful.

VR might become a thing.
So in other words the high quality of life which you have due to living in society is what stops you from leaving society for the higher quality of life outside of -- er wait, what?
Another acquisition to put Minecraft ($2.5B) in perspective ...wowzers.

Have to admit I am kind of bummed after just buying a Vizio TV.
Yeah, I didn't know they were an Austin band at first (I'm from Austin, though I've been traveling for the past several months). I learned they were from Austin when friends started congratulating them and tagging them on facebook.

Their other work is quite good, and available on bandcamp. I've been listening to their stuff pretty much daily lately.
100 yards long, not including endzones, and 53.33' yards wide. Convenient, eh?