skysight-inc/HackerNews huggingface dataset:
Ask HN: Have people been punished vigilante-style for their Internet crimes?
I hear all these widely publicized stories about twitter and domain names being stolen, Bitcoin thefts, etc. and I also know that sometimes the 'bad actor' can be traced after investigating the theft. My question: Have there been cases of people punishing these online thieves in a vigilante way? I mean sometimes it is millions of dollars lost/stolen and I can imagine that at some point someone would stop at nothing to get punishment. Do we just not hear about these cases?
Well, sort of. What happens when you run out of fuel (hydrocarbon or electric)? You have to know that it's a hydrocarbon-based engine, more so you need to know it's a spark-based engine (gasoline), not a pressure based engine (diesel), or even something else (CNG).

Also, if I want to get the most performance out of the car, or do something nonstandard, I need to know about the energy extraction process in order to pick better fuel or to adjust timings in the engine. (Sure most people won't, but if you want to, it's nice to have the information available).
source: http://www.johndcook.com/blog/2014/02/10/real-world-haskell/...
It's pretty good here (MA), but the really successful high tech area here is the medical/bio/ informatics and biotech. It's amazing how much development there is in the biotech industry here.
Flagged. Boycott Novell is not a reliable source for anything. They think pretty much everything is a Microsoft conspiracy or a Bill Gates conspiracy. Here are some of their claims. Bill Gates controls PBS, the BBC, and most major newspapers. Also the medical journal The Lancet. Gates' work in Africa is part of a plan to commit genocide there to clear the way for Western recolonization. "Teach for America" is a secret Gates front out to destroy the teaching profession, presumably to clear the way for Gates (who they identify as the de facto Minister of Education in the US due to his control over the Obama administration) to take over the schools.
There are a number of technologies that I'm interested in right now (machine learning, "NoSQL" databases, graph databases, computer vision analysis, Node.js, amongst others) so I will just casually read about these things as time goes by. When the time comes for a new project I'll try to use one of them (but usually only one, too many new technologies and you're spending too much time just learning APIs). This has helped me to continually pick up some new techniques. Not sure if this is a silver bullet but it's been working pretty well for me. I try not to stress too much about jumping on the latest tech - I'd much rather wait and have others try it out and let me know if it does/doesn't work!
Does any one else find this alarming?

In the late 90s Google dominated its competition largely because they were susceptible to keyword stuffing. In the following decade they allegedly heaped on layer after layer of algorithms to determine the best rankings beyond simple page rank.

Today, they use nothing more than simple keyword scoring to power their Google Play search.

This algorithm is so simplistic anyone over a certain threshold must be completely purged from the store, even if the app is highly rated by many users. No other alternative means exist.

Is Google's search algorithm really as complex as they've been telling us it is?
If we allow people who we consider morally reprehensible to practice their business without question and profit off of us, perhaps there is something flawed with the business-as-usual approach.* It is only when you take a stand against these business-as-usual mindsets that pervade our culture do things change. We can't always expect perfection by people speaking out, but if we yell and scream at people who are angry and browbeat them into complacence, the problems (Rice's awful track record) are deemed acceptable by society and are likely to repeat themselves.

*By business-as-usual, I'm referring to your statement -- that someone can freely practice business no matter what acts they've committed, or wrongs they've perpetrated on humanity.
This is bad news for California.

Which states are left with the non-competes?
You're right with a strict reading. "In general, dependent types ..." should be a statement about all instances of "dependent types" or (weakening to one common English usage) a statement about typical instances of "dependent types". In neither case, are they undecidable.

A loose reading (probably overly loose, but possibly what was intended rather than what was expressed) would permit something closer to "Dependent types, in full generality, are undecidable to type check." which I believe to be the case, where actual implementations are more constrained (though decreasingly so!).
Short answer: No.

Longer answer: Sort of. An array has an element type and length associated with it (and it ATS at least, the type-level length isn't kept at run-time) and that length is set when the array is created, and modified if elements are added or removed. However, functions can require parameter types or provide return values of "array T n | n > 0 && n < m" --- the array cannot be empty and has to be smaller than some limit.

There's a good deal more to dependent types, but they are much more flexible than simply attaching the length of the array to its type.
The big question... is this actually useable at Starbucks? If I show a barista a 3rd-party, non-Starbucks affiliated app, and ask them to scan it, will they do it? Or just look at me like I've grown 3 heads? Even if it is a valid barcode (and still not clear on where that's coming from either - I don't understand the 'crowdsourcing a gold card' thing - can someone explain?)
that you can proactively fix an issue before some/many/most of the users become aware of the issue.
Website Democracy forces everyone to think the same, or leave.

If that were true then arguments on the Internet would be rare.
Pardon me for being realistic, but I would say exactly the opposite. If the CAs were compromised, that would be the biggest story by far in Snowden's documents, and it would have appeared in the newspapers by now.
6MB bg image is too big

Edit: was too big (they fixed it)
Yes, I wasn't really taking any positions on either piece. My comments on this page were more to quickly summarize (in a reasonable way) some of the theme's involved in the posted article. As I do think they are legitimate (and interesting) questions.

Some of the limitations (I think in line with your own notes, above) involve the language and linquistics of how these ideas are presneted. One purpose of such elementary paraphrasing is to simply cut through that, to the core elements (at least ones I found interesting).

Stepping back a bit, I appraoch these questions from a form of functionial structuralism. That is, from the ideas that problems knowable in advance can be (at least in part) solved through technology. In politics, this is much like a SW problem: you have "political technology"--which is a fancy way of principles and ideas--which helps people organize complexity and prioritize decisionmaking and routines. At its most abstract basis, this has nothing to do with "formal organization" or "corporations" or "governemnts", but can be things so simple as tit-for-tat, memetics, and similar versions of abstract reciprocity. For example, if we know that trustworthiness is a problem (and intitively, we have detectors psychopaththy -- and manipulative, unprincipled opportinism -- its cousing), game theory tells us that tit-for-tat can make progress on even some difficult game-theorectic problems (prisioners dilemma).

And I think here in these two essays we see people struggling to conceptualize and evaluate what re real problems. And real/observed anthropological responses to them.
You can't, in good faith, argue that Iraq was about WMD proliferation.

First, we didn't go to war with Pakistan or India to prevent them from getting nukes, despite the fact that the historical tension between those countries means that actual use of WMDs is terrifyingly likely.

Second, if people who have a history of using such weapons are inherently ill-suited to having them (a possible counter-argument for my first point, since Pakistan and India have never used them before), then why on earth did anyone let Bush's national security team (including Rumsfeld) so near the red button when they actively participated in Hussein's use of those weapons.

When you make an argument based on a point, and that point turns out to be invalid, the argument is weaker. That is what my point has to do with the original argument.
There's no reason to be absolutist. Android itself is relatively open. The play store is slightly less so.
VRT (people who maintain a ruleset for Snort) published free rules for detecting Heartbleed attempts. If you read their blog post about it[0] (and the comments), the first 5 bytes of all the Heartbeat messages are unencrypted and you are able to detect the lookup within those first 5 bytes.

[0] http://vrt-blog.snort.org/2014/04/heartbleed-memory-disclosu...
Kickstarter solves classic problem at parties
It's a shame that existing conventions got broken.

bold, _italic_. Underlining is only used by typewriters or for links and is barbaric and should be avoided for almost all other uses.
Great point. We grouped the anomalies into simpler categories in order to make the project a bit more digestible. However, some of our initial analyses suggested that daily minimums have indeed increased more than daily maximums. Do you have any links to journal articles that discuss this theory?
"Is not "accept when we lose" completely contradictory to the rest of what you're saying?"

This is the price of democracy. Not everyone disagrees with you for malignant reasons. They can have legitimate, ethical reasons for disagreeing with you.

"You say that we should get out and do things to fight for what we believe, and then you turn around and say we should just let it go."

I appologize if that's what it sounded like. I'm saying we have to accept democracy's outcomes if the democracy is actually functioning (i.e. no ballot stuffing). If you don't like the outcome of a vote, continue to work within the democratic process. Lobby for an idea through Publicity. Lobby your congress critters. Keep working within the political system.

Keeping tallies of the thought-infractions of citizens in the private sector is not healthy though. I see no difference between that and the assassination of the jesuit priest in Syria last week.

A healthy society should be supportive of and accepting of diversity of opinions and lifestyle. That means more than just being nice to LGBT folks. Even people with religious beliefs you find abhorent have the right to prosper to the best of their ability, as long as they are not violating our laws.

edit My point is ultimately proven.
They don't look at the app - they (or you) just point the scanner at the screen
Help me collect a list of the best Chrome Extensions for developers
Bush isn't actively dropping bombs on schoolhouses. Bush isn't actively detaining and torturing people in black sites. These are things that were pioneered by Bush and perfected by Obama.

If you hate Bush, you need to hate Obama, or you're simply an unreasonable hypocrite. This isn't up for debate.
> is that political discussion need not be furious debate and talking past each other.

No, but it's pretty much bound to wind up that way. The effort to put forth a well-considered, nuanced, reasoned point of view is an order of magnitude more than that required for a snarky one-liner about "dude, like, the US is, like, totally not a democracy and stuff". Which means that the latter out-competes the former.
Wow, you even have support for desktop notifications in this! It makes a lot of sense to have a wrapper for in browser and out of browser notifications. Looking forward to trying this out.
Only until you scroll.
Nope. No other color scheme seems to be working for me. I'm on linux; Crunchbang.
A bit more polish on that sentence could make it in a poetic gem. Seriously.
The only thing this article said which I agreed with was the wiretapping part. The other stuff: torture, Chevron, the war in Iraq, etc had nothing to do with Dropbox
I get why Google suspended the app. That was excessive use of the keywords. What I don't get is why this seems to be an absolute suspension with no recourse. It would make a lot more sense if Google gave them a chance to change the listing to comply with their terms then reinstate the app when it did. Better for the developers and better for the users.
From Vanity Fair's Snowden Exclusive: A Tense Few Days in Hong Kong
Poverty and Violence Push New Wave of Migrants Toward U.S.
These are more tactical (i.e. low-level) techniques that big strategies that encapsulate entire languages.
Donate to OpenSSL, they are too important to fail
What, you don't like computed non-local come-from's?
France Just Created A Law That Makes It Illegal For Anyone To Work Past 6 PM
Serious question: why is GnuTLS very often not considered as an alternative to OpenSSL?
The Ways to Control Dreaming
Secure connections can be easy and accessible.
Edit: I should also note that the press really likes the testing stuff, but it's half of what we do. Check out the Traffic Inspector as well: https://www.runscope.com/docs/debugging
Not everything has to be a life-improving challenge - sometimes you just want to ship some code!
The issue isn't whether old browsers can display new content, it's whether new browsers can display old content (or even old content mixed into new content).

If a new standard were to replace the old one, it would mean losing access to use swathes of the internet. Just look at how hard comparatively trivial upgrades of IPv6 or HTTP v2 are - and there you merely need to deal with ultimately replaceable machines - upgrading content formats just isn't easy.

Sure, as a webdev it's nice to focus on the shiny new stuff, but I'm under no illusions that the old stuff is going away any time soon.
According to the Play Store, mobile Firefox is in the "50,000,000 - 100,000,000" installs category. For a platform where Chrome is the default browser (as opposed to Windows and IE), that ain't too shabby.

https://play.google.com/store/apps/details?id=org.mozilla.fi...
I found it too difficult to figure out how to install updates on the ZTE Open, so I have only installed the official 1.1 update.
It's vital to keep your nose in real problems if you're working on tools, otherwise it's easy to go off into the weeds.

Additionally, a substantial part of research/creating things is time not spent working on it. It's really similar to working out: the rest time is when the growth occurs, and the time at the gym provides the impetus.
They do fluctuate based on location, most (if not all) quick serve restaurants fluctuate their price based on location.
Past threads about lucid dreaming:

https://news.ycombinator.com/item?id=4047370

https://news.ycombinator.com/item?id=4032812

https://news.ycombinator.com/item?id=54901
Yeah, less power means greater inference. You can model liquid types in a DT language I believe, but you'll never have the same convenience.
http://en.wikipedia.org/wiki/Internet_vigilantism
The 4 Step List Building Plan to Get More Email Subscribers
From my point of view, this is not too unlike what we have without Bitcoin. With USD or CAD, consumers still have to make a decision whether it is worth exchanging a number of dollars a point in time for something else when instead they can use that money to make more money and eventually have "30 bucks next year".

I can see how making more money with Bitcoin is different than with USD or CAD though, if I were to consider only what you've laid out. With the latter two currencies, I would have to learn about different investment strategies and figure out what would actually make me more money, things as a consumer I don't even know about. But with Bitcoin, I could just hold onto them and except to have more money in the future.

What I am trying to say is I don't think what you've laid out is something new, this incentive–to hold onto money so I can more the future–already exists with our currencies today, but Bitcoin happens to give a little spin to that incentivize–which is it'll easier to have more money in the future.

I would love to hear from a real economist too but I don't think it hurts to take our brains out on a little walk.
Would you be willing to do a little write up or make a blog post about your process or something?

I've been meaning to setup encrypted backups for a while. At the moment mine are all unencrypted, but are stored on hardware under my control that I have direct physical access too.

I'd like to use a convenient offsite storage provider, but have no interest in trusting them with data. Tarsnap would be ideal if it was actually Free Software, but the current license is a deal breaker.

Already use gpg in my workflow for some documents and password management. Do you literally just tar and then gpg the result or is it something more involved? It seems that would be fairly bandwidth heavy.
We Need to Talk About the Test
Navy's Railgun Now a Reality – Uses Lorentz force to hurl projectiles at Mach 7+
I'm sorry to digress, but...

...what's with the 6.3 MiB background image?!?!
10 Startup companies that manage their images in the cloud – Part 4
It's not unreasonable to want to protect the company's intellectual property

Even in the absence of a non-compete, you can still sign a NDA, and in the event of a disclosure or misappropriation, you can be sued into a pile of primordial ooze.
I see typos like this pretty regularly.

https://github.com/go-gl/glfw3/commit/c48f1acb53fec41115b731...
What we want to say is "the front page is a zero-sum game". Every political article forces out an article on hacking and startups, and attracts the kind of people to the site who want to talk politics, not startups.

Can't you folks that want to talk politics just go somewhere else? There are tons of sites on the internet for that kind of discussion. Don't wreck one of the few that's good for tech and startups.

https://news.ycombinator.com/item?id=6120530
Thank you kindly for your comments. As you suggest I think my next step will be to get some professional advice.
It's not censorship when a large percentage of the members of a community express that they aren't interested in a particular conversation, and don't think it's appropriate for the community in question.
This is an excellent idea. Maybe this way you could even A/B test different copy.
In the book The Artist's Way by Julia Cameron she talks about "morning pages". Every morning write 3 pages of anything. Works for me and it is a nice daily meditation exercise.
Tessel Progression
http://rationalwiki.org/wiki/Globalresearch.ca

Biases matter. My first impression reading your link was that this is a crazed rant, not a rational, methodical weighing of the available evidence. These sort of organizations exist to continually whip up a froth of partisan furor, and so are always suspect. This is not a good source if your goal is to do anything other than preach to your own choir. This is the type of "proof" that keeps ideological opponents talking past each other.

Honestly, I lean liberal, but I make a concerted effort not to get frothed up by liberal media. I think that on balance those sources cause more harm than good. And really, life just doesn't fit into nice little outrage inducing narratives, but you would never know it if you only consumed these sort of news sources.

[edit 3:27 CDT to add the commentary, i.e. everything other than the link]
I use the "don't break the chain" idea as well and it has helped me out tremendously. I currently have three separate calendars for April taped next to my computer so that I can see it every day/all day as a reminder. I will not have any leisure time until I mark an X for the day on all three calendars. The three calendars are for improving myself professionally/career (coding every day), physically (gym), and mentally (reading 1 hour).

I highly recommend that methodology for anyone trying to build a [productive] habit.
"Spammy" or not, A policy like this one is pretty subjective, and therefore can be used by the app store owners to reject whatever they wish, to cut competition off for example..

Google and Apple not only are the owners of the app stores, but also are publishers of applications onto those same stores.. giving a pretty bad conflict of interests .. that may be a bad news for people innovating in areas were you will have to compete with them..

Imagine if this was happening in the nineties, what Microsoft would have done with Netscape back then, with all this power, to let or not let the users of windows to choose what they want to install or not?

Im pretty sure the "app censorship switch" will get used here and there.. and this policy is just a example of a hole they could use for this reason
Here's what Anders thinks about C# to js cross compilation at about 2m 20s into this interview at Build.

http://channel9.msdn.com/Events/Build/2014/9-010

"That is darn near impossible to do with any level of fidelity that is meaningful"

"If you're going to write for the web, write for the web."
Artifactory and Grails
I know nothing about crypto, but I found comparing both codebases at a high level very instructive from a pure software engineering / project management standpoint:

ftp://ftp.mozilla.org/pub/mozilla.org/security/nss/releases/NSS_3_16_RTM/src/nss-3.16-with-nspr-4.10.4.tar.gz

https://github.com/openssl/openssl

https://www.openssl.org/source/openssl-1.0.1g.tar.gz

In terms of sheer architecture, those two are almost epitomes of a very well maintained project (NSS) and a very poorly maintained one (OpenSSL). The OpenSSL codebase looks like it evolved for years with seldom any cleanups being done, with many people doing contributions, each person in its own unique style without much unification going on. The directory structure is chaotic, documentation is sparse, commented out code is laying around without any documented purpose, and browsing code at random you find things like this:

/* This should be using (bs-1) and bs instead of 7 and 8, but
* what the hell. */
if (bs == 8)
l=(l+7)/8*8;

It's pretty much what I would expect to happen if you simply gave everyone interested commit access, reviewed and refactored nothing, and only protested if something gets broken functionally. It's like an orchestra playing without a conductor, just a collection of "stuff" loosely connected together and corrected only as immediate needs surface. It might contain incredible individual pearls of crypto-wisdom of course, and tons of work has been put into it, but the technical debt is huge and paying it now all at once would be hard. I looked at GNU Emacs code a while ago, and had pretty similar overall impression, they for example have a test directory where every individual test suite (file) is done in a completely different style, being by a different author.

If you look at NSS on the other hand, you can tell there is someone who actually cares about the health of the codebase on a day to day basis. The directory structure is much more thought out, there are clear separate modules, there are way more tests, you can generate test coverage statistics, most function signatures are documented, there doesn't seem to be much redundant stuff in it, and so forth.
It works great. We've tested a bunch of times. The barista just points you at the scanner.
True arguments and debate on the internet are rather rare. Its generally a curbstomp in a single direction towards the predominant political opinion of the specific website.

For example, you've got Huffington Post vs Dredge Report. If you've ever visited the "conservative side" of the internet, you'd recognize it as totally night-and-day compared to the side that us (typically) liberal technocrats view.
"Don't want to" is a bit uncharitable. We want to, but have limited resources and a lot to do. We actually recently rewrote the certificate validation library and it is currently on Nightly. Check it out!

Of course, it is open source, so patches are always welcome. (Firefox dev here)