skysight-inc/HackerNews huggingface dataset:
You're welcome: Keen's been great to work with. Mostly just organization: as far as I can tell you've recently started maintaining some of the docs at the Github repo, but much of the original writeups were on https://keen.io/docs/clients/javascript/reference/. It makes it a little confusing jumping around and linking back and forth when you trying to figure out how to do a new thing. For my money (not much of it, but its what I have) Stripe's API doc reference (https://stripe.com/docs/api) which wraps both the concepts and the code samples into a nice little ball are still the gold standard.
exactly. this is fear mongering propaganda
Except for writing plugins in a way that seems to be tacked on at the end - whereas atom's packages are at the core of the editor.
> to avoid the risk of unnecessary reputational damage to Goldman Sachs

What horrible injustice, being known as failure in security for being failure in security. Poor Goldman Sachs.
Jiri Soukup (http://www.amazon.com/Taming-Pattern-Classes-Persistence-Pro... I've sworn off using C++ in the future, but keep this one book using it handy, it's got a lot of generally useful advice, much from hard lessons learned in VLSI CAD and other early industrial uses of C++) is fond of these, and I've found them very useful in times past. Particularly elegant in that they eliminate special case code for the beginning and ending of the list.
Because this is ambiguous in any language that uses that same character as the division operator. The compiler wouldn't be able to tell whether `foo/bar + 2` is "divide foo by bar, then add two" or "add two to the bar item found in the foo namespace".

Theoretically it's solvable by requiring whitespace to surround all arithmetic operators, which is actually a bit of an intriguing proposition because it would then also allow you to use dashes in variable names and have it be unambiguous, i.e. `foo-bar/qux - baz / spam` would unambiguously mean "divide baz by spam, then subtract it from qux in the foo-bar namespace". But nearly all languages try to avoid this sort of whitespace dependence (look at the ancient furor over the `> >` requirement in C++), and it would be quite a reach for Rust to start championing it now.
>>or a horrifically unbalanced diet

Heh, have you seen the average US citizen's diet? I think a significant percentage of diets among USA inhabitants can be called "horrific" without being an exaggeration.

We have stuff like this happening... http://www.heartattackgrill.com/heart-attack-grill.html

"Over 350lbs? Eat for Free!!!" ---Seriously, that's a policy of this business.
Awesome work, sdegutis!

I love your Zephyros and Phoenix projects. Keep working!

I really miss good tiling wm on MacOS X.
On the bright side, if memristors work the way I think they do, by 2030 you should be able to shut down any computer and turn it on in to precisely the same state as it was before, even if things are in mid-computation.
Very valid replies, I guess I'm being clumsy with the language a bit.

It seems odd to criticise Mailbox for only supporting limited services because where is the line to be drawn? If it extends to include Yahoo, Live, Outlook, does that cause it to lose its Walled Garden Supporter's badge? What about mail.com, hushmail, topmail, safe-mail, etc, etc, etc.

There is no possible way every feature could be delivered on every platform at launch (I already said this in another comment here), so I guess my point was that it seems unreasonable to bash Mailbox as a Walled Garden Supporter just because it started in one place. Everyone has to start somewhere - otherwise if the launch criteria is perfect, ubiquitous software there would be quite literally no software available.
Beautiful. Thanks for this!
Apple to License Algorithm - Will Allow Tracking of Random MAC Addresses in iOS8
Since others have described the high-level difference between checking and proving, I will point out that you might not want to use a dependently typed language even if you plan on doing some proving.

A large cost of formal verification is designing and implementing specifications. For this reason, even if you plan on proofs for some components, it still makes sense to use a tool which supports both model checking and theorem proving using a single specification. Especially if your interests are non-academic.

Type-theoretic proof assistants typically don't support model checking (or, it's at least fair to say it's not in the culture even where supported). So to use model checking, you have to re-implement the specification.
Yes, the "Sherut" taxi vans(that hold only 10 people) in Tel Aviv are great and far more frequent than the buses that travel the routes with fewer stops.

There are frequent Sherut taxi vans that travel between Tel Aviv and Jerusalem. As soon as there are 10 passengers, they go.

I wish NYC had Sherut vans. People would probably taking far fewer taxis and be much greener if it did.
Depends on what you mean by poor and rich. Plenty of people avoid seeking medical attention because they really can't afford it.

Statistically, those in the bottom 20% of income earners spend significantly more of there income on sales tax than the top 50% or top 1% or top 0.1%.
Most places in the world have this concept. I used shared taxis all over the Middle East. The biggest issue I think is poor documentation and standards, which can make it challenging for visitors to know how to get around.
C-g (as in quit https://www.gnu.org/software/emacs/manual/html_node/emacs/Qu...) is the 'proper' way but yeah, not the only one.
Why not post the source article: http://www.reuters.com/article/2014/07/02/us-google-goldman-...

Bruce isn't adding very much here.
There is more to business than startups. If you can program, then you can bootstrap a "lifestyle" business.

I don't love that term, but people know what it means. You can make a business that doesn't depend on traction and scale.

Find a prosaic need, and serve it. Could start with consulting, or products. Start small, stay small by Rob Walling is an excellent primer, as is the four hour workweek. The latter glosses over how much effort is actually required to make a "muse", but the mindset is spot on.

I'm currently doing this. I'll never get a $10 million payout, but I've built good revenue streams and have complete freedom of time.

And I did it without knowing programming. You've basically got a superpower in the internet world. You can program AND you have a baseline of entrepreneurial knowledge.

Just shift out of startup mode. As long as you've got enough money or time that you can work on something new without starving, it's not THAT hard to make a business that gives you freedom.

(No guaranteed success, but the odds are significantly better than in a startup. This talk by DHH is a good overview)

https://www.youtube.com/watch?v=0CDXJ6bMkMY
I'm not sure why people seem surprised by this.

Any sufficiently (i.e. correctly) encrypted content/traffic should be indiscernible from any other of the same scale. While there are ways to infer what sort of traffic is being carried from certain packed inspection and statistical techniques (a bulk HTTP transfer will look different to a peer-to-peer one and both will look very different to an interactive SSH session, and so on) you can't do that for the content.

There are five groups using Tor and similar by my understanding (in no particular order): criminals (including terrorists, people trafficers, illegal drug industry people, and so forth), the oppressed and freedom fighters (depending on your point of view a lot of people in this category might belong in the first one instead and vice-versa), the paranoid who think the whole world is out to get them, those wanting to protect all their content+comms whether secret or not out of principal, and those who are simply experimenting with it (out of "random" interest, academic interest, or because they work in a relevant/related field).

The proportion of nefarious types (relative to the total user-base) routinely using Tor is going to be significantly higher then the proportion of such who are not, so the authorities are naturally going to look to Tor for that reason. They are not saying that they think everyone using Tor is a terrorist, they are saying some are but we can't tell who so we are going to check everyone.

The only way this will change is if everything is thusly protected, so there will be no difference between the diversity of Tor users and the diversity of the overall population.
Is it possible to move windows from one desktop to another?
Me too. Excuses for lazy system administrators: http://imgur.com/nWU9EH2

EDIT: just the screenshot: http://i.imgur.com/nWU9EH2.png
Simple keyword recognition à la "He said Treadstone! Track him down!" only happens in movies. If a one-man startup can develop the technology to analyze a bunch of packets to and from a person and determine whether he is interested in rocks on top of hills or the anonymization tool, I'm sure the NSA can do even better.
Indeed. There were some serious issues in the late '80s and on, like removing the tax safe harbor for consultant programmers, and the ACM was nowhere to be found on these issues, which is one of the things that prompted me to drop my membership. Maybe if I was an academic I would have viewed it differently, but....
NYC has been making great efforts to improve bus service. They are adding more buses to routes, but they also have a system where you purchase ticket receipts from machines off the busses and can enter through both front and back doors. If you're caught without a receipt, you get a substantial fine.
Point about IMAP is right on. All else is utter nonsense. Author mistakenly assumes that user experience plus features carries on to IMAP which is..wrong.
This looks great, but my favourite thing might be the Principles section:

> Hydra must be stable. It should never crash
> Hydra must be lightweight... never use more than 10 MB of memory
> API should be completely transparent
> API must not be bloated

I think these principles should be the standard to which we all hold our software. Looking forward to testing this out!

Edit to say: it would be really great to see some more complete code samples but I'm sure that'll come in time.
Lol what about Tor developers?
I concur. I had to test a new IMAP Server for a Linux distro years ago, a lot of complexity.
Obviously, it was _______

And if this one is blanked out, too, then you know I'm the newest addition to the Watchlist.
Internal Server Error

The server encountered an internal error or misconfiguration and was unable to complete your request.

Is this another excuse?
Split pills in half. Or just take them every couple days, instead of everyday.
Does chrome also have a cloud to butt plugin? If so it may become my main browser (again).
No, I meant having unreadable parts.

Sorry, I'm thinking too much about flipping bits and soft errors at work...
Colloquially, "progressive" usually means "w.r.t. income". I.e., dMarginalTaxRate/dIncome is positive.

By definition, a sales tax is not regressive w.r.t wealth - dMarginalSalesTaxRate/dWealth = 0. The fact that consumption / wealth goes down up as money is shifted from savings to consumption is simply a mathematical identity and not very interesting. I.e.:

(consumption + 1) / (wealth - 1) > consumption / wealth
Interesting - I do something similar, except that I fast for 24 hours before getting on the plane. Nothing but water for that period. Once on the plane though, I generally eat the first meal - it helps me to go to sleep on the plane - but no alcohol. Of course, if your someone that can't sleep in a plane seat, you're probably better off with your system, as mine is all about getting me ready to sleep on the plane.

The other trick for me is to try and arrive at night, so I can pretty much go straight to bed. When I wake up the next morning I'm in the right timezone.

If for whatever reason I can't organise to arrive in the evening, I just suck it up and stay awake until a normal bedtime (no cheating, although it's tempting, going to bed early will just leave you out of sync with the clock). It helps if you can be outside in the sun during the day whilst doing this.

One last thing, sometimes your problem is not having to stay awake until night, but that night arrives too quickly because you've flown east. In this case, my solution is to prepare by making sure I only sleep 3-4 hours the night before, meaning that even if it's 5pm bodyclock time and midnight wall clock time, I'm nevertheless ready to go to bed.

At any rate, I'm no longer young, but I travel at least a couple of times a year, and I have zero problems with jetlag.
> So, ultimately, your assertion is that people cannot make educated guesses about their behaviour in unfamiliar situations?

I didn't say that at all, but you do love a strawman don't you.

> Aaron Schwarz taking his own life instead of facing a maximum of 6 months in prison is completely normal.

Plea bargain of 6 months + felony charge was turned down.
He was facing ~35 years + felony charge. But don't let the facts stop your rightousness ;-)

> It's unfortunate we don't have any data whatsoever to disprove that...

But we do: http://en.wikipedia.org/wiki/Suicide#Psychosocial_states

You'll note that: Hopelessness, loss of pleasure, depression and anxiousness all increase the likelihood of suicide. It's pretty reasonable for us to assume Aaron was feeling at least one of those. Again, lets not let fact or data get in the way of your "informed" opinion.
You might have a record in the Hitlerian maincore database.

http://en.m.wikipedia.org/wiki/Main_Core
Sounds like something the advertisers wouldn't be very happy about...
A Letter to Wealthy Men Who Date Young Women
So, let me get this straight. You're upset, because a proprietary software application that supports proprietary protocols from proprietary service providers, is not using open standards? If only there was a solution...
Time for an upgrade from my current dasKeyboard. USB 3, with a single cord -- yayy! The built-in hub now faces to the back, so I don't hit it with the mouse -- yayy! Still no palm rest, though...
Token-based one-time password authentication
I didn't mention it cuz I figured if they're monitoring calls for it then they're damn sure monitoring posts for it and I didn't want to end up on a list. But what the hell, I'd rather learn more about what this is really all about. And that's the thing: the word wasn't even that crazy, unless you're on line at an airport (apparently) which I wasn't.

The word was "bomb".

(...Now that I think about it, I was at a train station. Not a major one though, doubt if that's related.)
This looks great, and reminds me of AutoIt on Windows in some ways.
Bruce "just" added the right audience to get the story picked up on HN -- nothing wrong with that.
I'd like to commit a bugfix:

git commit -m "$(curl -s programmerexcuses.com | sed -n '/<a.*>/{s/<[^>]*>//g;p}')"
I suppose everyone here is already on a list anyway. Everyone who leaves a criticism for the NSA. Everyone who up votes this conversation and other similar ones. Everyone who contributes to OSS Privacy. Everyone who misspells Thor.
How useful can this really be when there's so much noise?
Understandably GS is not a very sympathetic figure, but in general I don't think it's unreasonable to wish for an email "undo" if you fat-finger the recipient address and realize it immediately.
It's a pretty basic and obvious problem with keyword searching and data reduction that will have been solved a long time ago. A very simplistic model would have words like 'Tor' and 'Tails' increment an 'interestingness' counter, along with other terms like 'Bomb', 'Jihad' and so on. Once the counter passes a threshold, you look at the messages. As I said, this is basic stuff, there are much better and smarter ways to do this. In fact, there are entire large companies that exist to write software that carries out searching of data by keyword; Google springs to mind!

Do all these people writing 'I searched for Glastonbury Tor, now I'm on a terrorist watch-list, stupid NSA, Hah!' really believe that they system works like that?
> This is not real source code of XKEYSCORE as you wouldn't hard code Tor or any targeting vectors in to the source.

The article mentions both source code and configuration files.
This looks great. Will try it out. It has always surprised me how OS X has such a poor window placement story given how much emphasis apple seems to place on User Experience.
Short answer would be historical reasons.

https://en.wikipedia.org/wiki/Unix_filesystem

"Contains locally installed software. Originated in System V, which has a package manager that installs software to this directory (one subdirectory per package)."

Solaris made extensive use of /opt, that flowed into some Linux packagers. It then fell out of favor as everyone put everything in /usr
Yes. It's less efficient, but not significantly so. The term you want to punch into Google for more information is "micro CHP" (combined heat & power).
(if you have to submit to a memorization-based screen) I didn't see source materials to review for canonical algos/data structures questions. The 2 books by McDowell and Guiness ("Ace the interview" and "Crack the interview" ) are good, along with

http://algorithmsandme.blogspot.com/p/blog-page_27.html

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

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

http://www.quora.com/Which-are-the-frequently-asked-intervie...

I could put up alist for math for ML/data science as well)
Yes, they probably can. One of the early NSA leaks showed that the NSA had compromised the private networks of many large tech companies. It would be safe to assume this gave them access to tons of unencrypted data about users and behavior. The NSA is using a graph database to store all sorts of data and then joining data across domains to get a fairly complete picture of your digital life.
I'm having a hard time getting outraged at either party.

We give companies a hard time for lax security practices. GS recognizes an error and is trying to take steps to reduce the likelihood of a data breach. What's wrong with that?

Google wants to protect its users from unnecessary interference in there email accounts, so it asked for a court order. What's wrong with that?
Yes, it does. But both Disrupt to Bullshit and Cloud to Butt are available for Firefox as well, if you don't want to switch. Disrupt to Bullshit's Firefox link is not searchable yet, but it's https://addons.mozilla.org/en-US/firefox/addon/disrupt-to-bu...
Internal email should be easier to encrypt, if anything. Because the company can control both end-points, so can make the encryption automatic.
No, I don't think this article is providing facts.

The US government created Tor and has been a major sponsor since it's inception. It would be against US government (State Department) interest for people to stop using it.
How so? The $100 you invest that turns into $120 isn't taxed again. Only the gain of $20 is taxed.
Because What The World Needs is Another Memcached CLI
Perhaps the author fails to see that introducing more functionality is additional support. A developer or team has to now support and bugfix more then just Gmail and iCloud which already hits 80% of the market share for this use case. Just my $0.02.
Webpgr: Build infinite websites. Swipeable, Linkable and SEOptimized.
I see my GET request for show_ads.js is failing. So perhaps that nonloading javascript is suppose to make it appear but it's non working at the moment... Now, which excuses from the site would apply here?

Here's the first one that might make sense that showed up on my refresh: "It worked yesterday"

UPDATE: Must be Ad Block blocking it.
Sorry, Folks, Rich People Don't Create The Jobs
The best thing i saw in a month. simply awesome, might force me to move from Safari to Chrome :)
Or, make a Safari version! If there's enough interest and no one else does it, I'll get around to that at some point.
It would be very interesting to be able to reproduce that happening and be able to test what it does and does not "detect".

I would imagine that foreign terrorists would speak in their native language. Any sophisticated terrorist would use code-words (Get on the train and trigger the Goat). Does the system pick up if you spell out a word?

It's certainly possible but there's not much reason why the phone calls would consistently drop unless that was their method of preventing terrorist activity.

It's known that all calls around the president are monitored for X miles, so the technology is certainly in place and in use.
Are you using Adblock or similar software?
A Stirling engine just requires a heat source of some kind. Unless you don't cook your food, you have access to fuel of some kind.
I've always used vomiting as a threshold for irresponsible, binge drinking.
For the "closed-source-but-non-programming-power-user" alternative to this, I'm a huge advocate of BetterTouchTool (http://www.boastr.net/). You can easily bind window snaps to everything from keypresses, to four-finger-sweeps on the trackpad, to dragging window titlebars to the screen corners. Also it's so much fun to infuriate friends when they try to use my trackpad and it moves windows all over the place.
You left off the one that is perhaps most directly relevant to HN: their approach to technology. Contrary to popular belief, they are not opposed to adopting modern technology. They are just cautious about it, wanting to understand both the good points AND the bad points of it first (unlike most of us, who ignore the bad points until we have become dependent on the new technology and it is too late to do anything about the bad).

There's a great article called "Amish Hackers" that goes into this here: http://kk.org/thetechnium/2009/02/amish-hackers-a/
Mmm, looks about right to me...

Think of it a bit like crm114, but less hairy, bigger, and searching all your traffic.

That's not directly part of a selector but a support library, so I highly doubt anyone is targeted purely on that - but it is probably part of attempted traffic correlation attacks on Tor.

They're not very successful.)
Somebody think of the children!

How is being promiscuous bad? You've just talked about how it's bad for children to go through a divorce. Or are we talking about slutty children? What about male sluts? In fact who is talking about marriage at all?

Sounds like you have a preconceived notion and then try and justify it.
His lack of commentary speaks loudly.

gs.com > gmail.com > nsa.gov > irs.gov who will love to see those accounts
boring... compared to what? Being dead?
So in a way you could say the economy is held hostage by capital? We have to play by capital's rules or suffer the consequences.
What would you possibly be insinuating atoponce? Thoughts of opennes and freedom? Some GNUs running around in my head, are you suggesting freedom in our IT world?
The End of Incentivized App Downloads Will Bring New Opportunities
It would seem like an effective waste of your time. Do you really imagine the NSA cannot filter out things like that? Keywords generated by a program are easily recognised by source or content, and are simple to filter out. I imagine they are looking for a sequence of events like: 1. Search for 'Tor', 2. Download of Tor application, 3. Encrypted traffic from the same source. Look up CEP (Complex Event Processing [1]) systems and what they are capable of.

[1] http://en.wikipedia.org/wiki/Complex_event_processing
Why so negative?

If any industry is to call itself disruptive surely it should be ours.

Edit: -4 points and counting but nobody to dispute whether negativity is actually a bad thing or whether the technology industry hasn't been "disruptive". Well okay free-minded people, do your thing.