skysight-inc/HackerNews huggingface dataset:
My favorite petition came right after a few of the early responses, titled "We demand a vapid, condescending, meaningless, politically safe response to this petition."

I can't find it on the petition site anymore.
Outside of the opinions being expressed, some technical comments.

1. I'd like to learn more specifically what kind of output polymorphism you would like. Right now the outputs are universally quantified, but linked. I've written it in other ways as well, but I could not find any reason in practice to use that added complexity.

In particular, the universal quantification does force you to use the output of the step since there is no other way (in scope) to produce values of the needed type. For that use case at least the RankNType is exactly what you want.

2. Profunctors are not really needed at all. It was more to demonstrate that Moore and T have nice structure. The same holds for Category (and my note about Arrow). In all cases, this is just giving nice organization to regular properties of T and Moore.
Startups Need to Build Solutions, Not Technology
Ex-Employees Say Home Depot Left Data Vulnerable
I'm not saying anyone is stupid. Rigorous statistical thinking is not particularly linked to intelligence. What I'm saying is: without rigorous statistical notions, good experimental science is impossible, and not nearly enough scientists have the required statistics and math background. Hence the banality of bad science among some experimental fields.

Maybe you are a software developer (I don't know). In that case, you might have noticed that quite a few software developers around you are, well, incompetent at what they do. The same goes for managers and every other demanding profession. Scientists are no exception. In fact, to be a good scientist is actually much more difficult than to master a trade.
The administration only responds to trivial petitions or petitions that already side with their policy. Typical. Obama claims that his is the "Most transparent administration ever"

http://thehill.com/blogs/blog-briefing-room/news/283335-obam...

Journalists loudly disagree:

http://gazette.com/journalists-criticize-white-house-for-sec...
That is easy -- parasites are relatively rare (or the ones they prey on will be gone and the parasites would starve).

So when those Dark Triad people are tired, they are tired mostly with the sheep -- not with other Dark Triad people.
Are there any controls in the study to account for the possibility that staying up late chronically induces those traits of narcissism/psychopathy? Seems like the obvious hypothesis given the correlation.
I pay X/s, I want X/s.

I don't understand how in Bolivia I can pay that, and have exactly that with minimal fuss. Meanwhile I hear absolutely insane stuff coming from my friends ISPs in the US. I pay $90/month for a 2MB connection, and get precisely that, either for torrents, Netflix, PS4 online or plain old http downloads.

I can even call tech support here and have a live-person helping me figure out why my internet is not working immediately. No robots, no telephone-software redirects.

You guys don't have that level of quality because Comcast is bribing all of your appointed officials. There is no competition! My father in Boston just got internet and had to sign up with Comcast because there was literally no other choice where he lived. He paid for the service, and guess what 5 hours after the installation technician left the internet didn't work. He called them up, which was a 3 hour hold, and they wanted to charge him $80 for a technician visit. $80 FOR A TECHNICIAN VISIT, they didn't even want to check his internet remotely, like they do here in Bolivia. It's all nickle and diming, and you can't do shit about it.

The FCC is working for Comcast, not for the people. Don't you get that?
Despite three comments I see no motivation for your claim that the paper is obviously utter garbage.

Edit: Removed the rest. Not needed. Bye.

Edit 2: A general discussion of the quality of papers (which everyone with some time at U ought to know about) and a discussion of me personally is as typical a "changing the subject" strategy as it can be.
In almost every meaning of that sentence—no.

One simplified model of transducer happens to be similar to half of a particular monad. It's very disingenuous to say that "transducers are monads" or even "transducers are a particular form of monad", however.
What does your startup do?

How are you able to offer EV certificates so cheaply? I thought they were typically ~$1000.
M-W defines "bribery" in relevant part as: "money or favor given or promised in order to influence the judgment or conduct of a person in a position of trust."

It's only "bribery" if the recipient is in a position of trust. The ISP's are not. They are just businesses operating their wholly private networks. Paying someone to use their private property for your benefit isn't "bribery." It's a basic commercial transaction. E.g. it's not "bribery" for me to pay an Uber Black driver more than an Uber X driver to take me somewhere.
Their monopoly puts them in a position of trust?
Instead of ISPs throttling someone, what about they building bigger pipes for everyone ?
I am in favour of net neutrality but worry that everyone is defending a status quo that is still bad. For most consumers and buisness access to the net is hardly free in a financial sense. Entry level bandwidth on AWS/Azure/App engine is still very expensive and seems completely overpriced compared to storage.

For the consumer lack of last mile competition and monthly contracts make competition almost impossible on a day to day basis. An entrepreneur could setup a WiFi hotspot in an area with poor coverage but no one would use it because we are all trying to do everything on a 3g data plan.

I want competition for last mile access that allows the consumer to connect based on the best connection available regarldess of who has provided it. Companies should be paid for providing bandwidth and it makes sense to ask large players like Facebook and Nextflix to pay the bill ($0.2 per GB to guarantee a fast connection to the user should be reasonable). The only way to break the telcos is to fund open compeition.
How does this ISP issue affect the internet outside the US? I'm guessing it's not really going to change "The Internet" as a whole, just us in the US.
Nexus 9 tablet can be presented on October 16
Who are you to say that, for him, giving his customers a "warm fuzzy feeling" isn't worth paying a few hundred dollars? It could easily increase revenue far more than that.
#2 is still a huge problem. Half the time I can't figure out what a new startup or project actually does for me. All I can tell is that they claim to be innovative and better than their competitors.
I'm not sure you can say "wholly private networks" when they use public infrastructure...
Ehhh.

The globalization is more about economics and cost minimization than capability. The Australian bauxite mines are the richest and cheapest mines to operate, which makes other sources of aluminum not worth exploiting, but aluminum is still the third most common element on Earth. The plant ingredients could presumably be grown -- albeit far more expensively and perhaps not in large enough quality for full-scale production -- in greenhouses or under grow lights anywhere.

So it's not so much that many nations couldn't produce a can of Coke by themselves as it doesn't make economic sense for them to produce a can of Coke by themselves when the raw ingredients can be had much more cheaply as an import.
JS conflicts (as described)? Today? Really?
I agree, that's the strategy I'd probably like to stick with as long as the support folks end up taking the right steps.

Unfortunately, listening to someone "mansplaining" also involves making inaccurate statements which almost feels like you are being cheated.
Where did you go? Some places have plenty of water. We don't all live in California.
Good Guy Greg OBSD
Sounds a bit like reinventing Stored Procedures for Redis to me :|
Cool stuff.

Have you considered inferior shell for unix commands?

Does your markdown resemble scribe from racket? I have been considering doing that.
Here's a start:

http://en.wikipedia.org/wiki/Oracle_v._Google

http://arstechnica.com/series/series-oracle-v-google/
What are Altium and Gerbers? https://github.com/OculusVR/RiftDK1/tree/master/Schematics
I'm hearing an awful lot about Rust on HN, even though afaict it still does't have a basic http package yet, limiting the main types of apps I would build with it. Maybe I'm in the minority, but perhaps we can slow down on Rust news until it's a little closer to usable?
What does evaporation have to do with anything? When people are talking about the drought and competition of water, they are talking about the net water available, not what is lost through natural processes.
I'm guessing this is about what a disaster it is to use software, still to this day, but I just can't deal with his storytelling style. Takes forever to say "OpenOffice has a shitty bug".
>You can have an insanely complex typesafe haskell transducer

How do you come to this conclusion? I can't even see how that is possible other than outright ignoring reality and just making up something you like the sound of. It isn't even complex, much less insanely complex.

>you just test your code out in the repl while developing in clojure and just kinda rely on the fact that core infrastructure or popular libraries will generally work.

And then get bitten by the fact that "generally work" isn't adequate.
What public infrastructure? In most places they pay for their rights of way.
You should also do it for purely selfish reasons. Chrome is sunsetting SHA-1 for use in certificate signatures, and Chrome will eventually show SHA-1 certificates as insecure.

Referring specifically to this point, and not to your wider point about moving away from SHA-1, "because one browser maker said so" is rarely a good reason to do anything.

Google has an irritating habit of deciding it knows best for the entire world, but often it gets that call wrong and winds up degrading the experience for people who aren't in its chosen group of blessed users. The Firefox team are similarly arrogant at times.

However, in the real world, large organisations also use browsers to access intranet sites, and their requirements -- particularly with regards to security -- may be different to users surfing the public Web. Developers do need to do things with sites that aren't fully configured yet or are in transition from one system to another even if those things might not be a good idea when surfing the public Web. And so on.

So, I urge you to support good practices by making solid technical arguments for them. For example, in this case you could explain or link to information about why the SHA-1 issue matters for those who don't know. Please don't promote browser makers as authoritative sources of best practices instead, because often they aren't.
Yea, unsealed or released would be better words (depending on the situation).
Wow, one needs a super premium $595 "Wildcard Plus™" plan to secure an entire domain. Is this normal or a blatant ripoff?
If you are looking for a way to pay for last mile improvements, maybe you should look at the $75 million a year cable companies spend to try to make sure they won't have to? https://sunlightfoundation.com/blog/2014/05/16/how-telecoms-...
>> For the consumer lack of last mile competition and monthly contracts make competition almost impossible on a day to day basis.

In the USA. In the UK I can choose between about half a dozen companies with prices as low as $5 per month for usable broadband. I don't think I've been 100% satisfied with any ISP but only in the customer service area (and mainly because network issues are hard to diagnose). Speed and price are generally OK and there is a lot of variety.
"A long web page means you have failed to organize your site properly."

I think this is outdated. Longer homepages—ones that scroll down and appropriately present the content with good flow, organization, and spacing—are just fine. The Docker homepage[1], for example, is not afraid of the scroll bar.

I only bring this up because I think the opposite idea of trying to cram everything above the fold or spread it out across 12 micro-pages creates even more problems.

[1] https://www.docker.com/
They do not have legal monopolies. Technically they are mostly de-facto oligopolies. If oligopolies put you in a position of trust, then we can apply the same reasoning to Google/Bing in search, or Google/Apple in mobile OSes, Pepsi/Coke in soda, EBay in auctions, PayPal in online money transmission, etc.
There Is a Second, Secret DNA Code Which Controls Genes
Scottish Independence, Yearning for Freedom, the Struggle Continues
From the website:

> uselessd (the useless daemon, or the daemon that uses less... depending on your viewpoint) is a project which aims to reduce systemd to a base initd, process supervisor and transactional dependency system, while minimizing intrusiveness and isolationism. Basically, it’s systemd with the superfluous stuff cut out, a (relatively) coherent idea of what it wants to be, support for non-glibc platforms and an approach that aims to minimize complicated design.
>> I don't understand how in Bolivia I can pay that, and have exactly that with minimal fuss.

Exactly! Anyone who thinks fast lanes are necessary must not have looked at how the internet works in the rest of the world where we don't have such huge problems with net neutrality.
Codeproof Story
Haha, you must be thinking of Symantec (we have an account with them and they don't give us good rates).

They retail at $300 typically but resellers pay dirt for them.

Our goal is to improve the way you buy your SSL/code signing/SMIME certificates. We have agreements with every large authority to give the buyer the best price for each product. We hope to take on VC funding to build our own root authority.
Prediksi Skor Bola AC Milan vs. Juventus
Altium: Schematic and printed circuit board design files for Altium brand software.

Gerber: Standard format output files understood by printed circuit board manufacturing companies. These are output by Altium and every other printed circuit board design program.
Can also be viewed in a Gerber file viewer.
What ISP's say to companies who want to use the internet, "Either you pay us to access your customers, or we break your kneecaps." This is about both monopolies and mafia business tactics.
I like how they leave out potatoes because of keto mythology claiming they are just starch with no nutrients. I guess all that potassium, vitamin C, B6, niacin, folate, iron, etc. doesn't count because reasons.
Prediksi Skor Bola Atletico Madrid vs. Celta Vigo
> Personally I daily have about 12 tsp of sugar (in coffee) and a coke. I'm shredded, btw.

That's what I was like too, before I turned 25. That's just how it goes, independent of your diet (within reason).
Promises and Events are not mutually exclusive. I can imagine a lot of scenarios where both would make sense.
But as you said, it doesn't feel right to overuse the EventEmitter mechanism where it's not really needed.
The right to have a legal monopoly? I only have a single high speed internet option, and they know it.
Best Ways to Use Instagram to Promote your Products – 8 things to implement now
Kind of interesting, according to the case file, the PACER records were being pulled en masse during normal court hours (typically when courts are also accessing the PACER database). A user noticed that PACER was going slow and notified PACER of the apparent slowness. Looks like they investigated, shut the PACER system down and were able to detect the requests were coming from an Amazon Web Hosting account linked to Swartz.

I find this interesting because it wasn't some flag on the PACER system screaming "HEY SOMEONE IS DOWNLOADING THESE EVERY TWO SECONDS" but instead was noticed because some law clerk was irritated at how slow the server was at responding.
doing 2 of them....so there's a lot of room for improvement :)
What the 17th Century Can Teach Us About Vaginas
I like reading this stuff. Sure, I may not use Rust for any real application yet, but it's been teaching me a whole lot on different paradigms than I am used to. I think these articles are great because it pushes boundaries in understanding. And this is a science we are talking about - experimentation is a lot of fun!
> Entry level bandwidth on AWS/Azure/App engine is still very expensive

How is that a net neutrality issue?

> Companies should be paid for providing bandwidth

They are, that's what you pay your ISP for and that's what Facebook pays their ISP for. However why should your ISP be able to demand money from Facebook?

What you are proposing is exactly what the cable companies are proposing. Guess what, it doesn't fund competition because if, say Netflix, doesn't pay the protection money, they get throttled to hell where the cable companies service obviously doesn't. Now, Netflix might be large enough now to pay it so you say we have 'competition.' What about the next startup? The company that isn't large yet? That is where competition dies and that is what the cable companies plans are protecting.
amazing ideas, will definitely try them out!
I assume their rationale is that if X% (say 5%) are the ones who stay up late into the early hours for their scheming they are less likely to be noticed for what they do. However being inactive when the other Y% (95%) are active isn't as risky as anyone plotting against you is easily going to be witnessed.

There's a problem with this theory though. A lot of the witch trials contained accusations about late night activities, which given that a lot of it was obviously fraudulent (IIRC the last witch trial in Sweden[?] ended with the execution of several of the accusers after one confessed after the execution and the flogging of the witnesses for perjury) it would be arguable that we actively targeted those who were 'night time chronotypes'.

One could equally argue it wasn't that narcissist and psychopaths got ahead by being active late at night, but that they were the ones who were best able to survive being active late at night. Narcissists are typically well aware of what those around them think of them - they're charming but distant. Psychopaths are not likely people you'd want to openly confront with weak accusations, and Machiavellians are not people you wanted to openly accuse! There's quite a few witch trial stories where the accusers end up being punished, which to me sounds exactly like the work of a Machiavellian.

Survival of the fittest works two ways. One is "out performing" and the other is "out surviving". Why do we still have alligators, crocodiles? They certainly don't out perform mammals, neither do snakes or other reptiles. They all live on the fringe and "out survive" the mammals. Reptiles excel at surviving - low metabolism and low water needs means infrequent hunting and infrequent drinking, which are two things mammals can't survive without.

The Dark Triad personalities could easily be the reptiles of the personality world. They don't thrive, they just out survive.
Man has created big surfaces of water in hot dry areas. A significant portion evaporates before it can be used...
The ones you name have fringe competitors, but fringe competitors that offer slightly less refined services and products at lower prices.

Because of the way the internet is, to use a fringe competitor you usually pay more to get less. (Satellite internet, home LTE providers).

Around here, Verizon and ATT recognize that their only competitor is Comcast (or other company on the list to be bought by comcast) so they set their prices slightly higher and rely on marketing to add perceived value for about the same service. It may not be explicit price fixing (though it probably is), but it's still not good for national economic health or security.
Well, this post read my mind. Literally my first thought waking up this morning was "why don't I have some way to use my .vimrc over ssh?" I open up Hacker News and voila!

Very nice - clean and simple.
saw these photos. looks dreadful.

http://www.theatlantic.com/infocus/2014/09/dramatic-photos-o...
I wondered about that too, but after hearing a talk by one of the lead tech dudes involved with The Guardian and the like, and after seeing some of the 'frameworks' that are popping up specifically for this purpose (Ractive.js comes to mind), I think that even after an initial 'slump', we'll start seeing more and more of this kind of stuff.

In fact, I'm betting on it by trying to find a market for being the creator of things like this. I haven't gotten started yet, but it's at the top of my 'business opportunities' list. I think I mostly just need to find someone who is good at visualizing data, or dive into that myself.
Difference is, I can choose google or bing, and pepsi or coke. I can't choose time warner or comcast, they already picked that for me. I only have a single high speed internet option.
Perpetual Traveler
This shouldn't be news to anyone who's old enough to remember the internet in the 90's. Back then Microsoft named their EMCAScript implementation "JScript" to avoid problems with Sun's trademark (I'm sure everyone on here is already aware that Oracle bought Sun a few years back).

However I don't think this trademark is worth anything to Oracle any longer. Trademarks need to be defended or they're lost. This is why Wordpress have strict rules about how themes and related websites cannot contain the name "Wordpress"; and why you often see ridiculous cases about large companies sending scary legal notices to independent enterprises but then quietly settling out of court for token licence fees like £100 a year.

Javascript has long since entered the public domain so I suspect it's too late for Oracle to capitalise on their acquired trademark.
I'll check it out, thanks. It might come in handy after I read a couple other books.
I think the criticism that they don't normally respond to petitions is valid so I don't really want to point this out but they did respond to the petition to allow cellphone unlocking and that has affected change. Of course, the petition wasn't the only cause of the change.
Internet has long provided the opportunity for a new comer to challenge the status quo because of net neutrality. Now we are creating a barrier of entry and it is going to be hard for new startups. American dream is correlated to equal opportunity for everybody irrespective of the background. That's what is stake at here.
> They are just businesses operating their wholly private networks.

Operating a private network for profit and deciding what may be transmitted via that network should be entirely separate concerns in 2014.
Really? I find acre-inches pretty intuitive. Maybe convert to hectare-centimeters?
Interesting to see you can jam something like this into Haskell despite its inappropriateness. The (genuine) Agda proofs are much, much nicer.
New AppStore ripped off an app that Apple shut down a year ago
You can see more on this link:
https://www.facebook.com/photo.php?fbid=10152720188975747&set=a.172224195746.121565.660640746&type=1

Whole story:
http://appricot.com/post/69685530021/we-built-it-everybody-loved-it-and-now-we-have-to-say
Absolutely, companies like Kimberly-Clark and Johnson& Johnson for Kleenex and Band-Aid dedicate millions to ensuring you understand a clear distinction between the name and what it is. Hence the Jingle "That's why I'm stuck on Band-Aid BRAND and Band-Aids stuck on me." Emphasis mine. When do you ever hear the word Brand in a jingle or marketing message outside the 60's?" Only when the product is in danger of loosing it's trademark due to common use (or crappy naming teams like the ones at Microsoft).
What's the mess we're in again?

Capitalism. Nobody gets paid to think about the big problems.
How come no one even bothered to remove his full address and ssn from the records?.. On the other hand, even the very names of people who approved and drafted the documents are removed.
> WHO ATTENDED THE CEREMONY: Peter Jonason

Sorry only one of them showed up, although it was a multinational group.