skysight-inc/HackerNews huggingface dataset:
That I've seen enough of it firsthand. They may offer the same product to Allstate, but the products are developed with government customers in mind. I'd cite Sandvine, but I'm not personally aware of them selling to the NSA - although it wouldn't surprise me. I've also sat in the room as people discuss the best way to do business with the NSA, and the consensus was that for some kinds of products the best approach is to develop the thing and sell it as a packaged product without a care given about selling to anyone else.

Sure, they might sell to someone else, but nobody involved cares about that.

What I've seen suggests that there are really two commercial security sectors. One centered on the west coast and focused on the private sector. The other is centered on the east coast and centered on the US government. It's all commercial, after a fashion, but the two don't typically interact very much. Each tends to think of itself as "the security sector".

Well. Except when Mandiant decides to point fingers. Then there's briefly lots of interaction.
> Reoffense tends to be measure a number of years once released (such as 5 years) and not over a lifetime (because in that case the length of a prison sentence would matter).

It matters anyway. If you give someone a long prison sentence, their personality will be different when they get out. Crime is a youth phenomenon.
Same here, 2013 has a real sense of exploration and survival. I don't play a lot of games but I picked this up during a steam sale a while ago and am really enjoying it.
Gambling goes beyond table games. Pre-IPO startups are more like the propositions bet on at a sports book or racetrack.

Actually, there are a lot of parallels between a startup and a racehorse. If you evaluate a horse's past performance, trainer, position in the field, etc you can bend the odds. It's still gambling!
Fan-made Super Mario 64 game pulled after Nintendo cries foul
> When did laundry and cooking and doing work at home cease to be a social function and instead move into the sphere of "work"?

Do you realize that you're basically implying that housewifes were chilling at home while their husbands were doing the real work? Home work has always been real work, but us men didn't really feel it before we had to do more of it due to gender equality.
The Man Who Makes Hollywood's Smallest Sounds
I'm pretty curious too. I've heard and tried Meteor but looks only ideal for creating quick weekend webapps, not something used for production.
No if you read the opinion they very specifically do not rule on whether collecting the data is legal, they only ruled that in the case of GPS trackers you must actually place the tracker on the item to be tracked which is considered trespass of property which means it requires a warrant.
Don't worry, the SEC will eventually fully open the doors to retail investors investing in private equity. Imagine the bubble when the companies don't even have to disclose the bad news!
Just publicized, did not invent! But thank you very much.
My wife likes to order some detergents, soaps, and other supplies from Amazon, but one rather cumbersome aspect is all the extra packaging that has to be torn down and recycled or thrown away. Since my wife doesn't like to bother with such things, I end up spending 5-15 minutes a week deconstructing Amazon packaging. I would rather pick up these types of supplies while getting groceries, but for some products Amazon is cheaper.
I'll give this a whirl. Meanwhile, I've briefly looked into introductory articles on Lambda Calculus on more than one occasion, and I'm always left wondering if it would benefit from a more readable notation. Here's an example:

S1 ≡ (λwyx.y(wyx))(λsz.s(z)) = λyx.y((λsz.s(z))yx) = λyx.y(y(x)) ≡ 2

I realize that LC is of interest to CS folks who probably think in code fragments that look a lot like this, but for someone like me, the notation gets pretty impenetrable, pretty quick.

As I understand it, a number of developments in science and math (calculus, newtonian mechanics, maybe even algebra) remained the domain of philosophers until someone came up with a teachable notation.
OP here:

In the last 2h I hacked this together.

It's simple and maybe lacks some features.
As I'm very short on time - writing my bachelor thesis - some help would be great: https://github.com/TimDaub/hnwisdom

:)
NSW Government plan to privatise playgrounds
MetaOcaml's type-safe staged metaprogramming is not strictly a macro system, but it is morally equivalent: http://okmij.org/ftp/ML/MetaOCaml.html
Dll Files Fixer 3.0.81 License Key and Full Serial Full Free Download
It's not a matter of innocence, it's a matter of reasonable doubt.

That said, I don't believe in the US justice system. As I don't live in the US, I don't have to worry about it much, either.
I believe Respondly uses meteor.
If You Didn’t Kill That Zombie, Maybe I Won’t Either
Is the course content available online?
You should have brought it on a (excuse the pun) tablet.
I'm bad at copy editing.
I'd like to hack one of them to do something more interesting. I suspect it's probably quite capable under the hood and could be re-purposed. Sort of a double edged sword though, what if you got malware on your Tide button?
Seriously, the same people who complain about "accredited investors" being a privilege of the 1% are also going to use the phrase "predatory lenders." So, which is it? Can people be tricked into bad deals or can't they?

I'm pretty sure if anyone could invest in private equity, overnight you'd see a flood of get-rich-quick ventures crop up and you'd see a lot of people lose everything.

I'm not sure if I think the current legal system is fair, but without acknowledging the huge amount of risk involved in changing it any argument against it is hard to take seriously.
What you're doing now is re-answering a question I posed upthread without addressing the question I just asked.

Yes, of course, every enterprise product company in the world --- in security, disaster response, configuration management, issue tracking, document management, what-have-you, every single one --- sells to FedGov. They all have special teams to do it. And FedGov has special requirements; for instance, Common Criteria certification.

Now: can you answer my actual question? How on earth did you feel you'd be able to defend your statement that most commercial security work is thinly-veiled NSA work? That's not just not true, it's almost literally the opposite of true.

Is your answer "there's this East Coast sector of the security industry that sees itself as the whole security industry that is almost entirely thinly-veiled NSA work"? If so: can you name 3 companies in that East Coast security sector? I've worked in security for just about 20 years now and can name many, many East Coast companies, and very few of them have ever done work for NSA, or, for that matter, done work that would be interesting to NSA.
Unless your compiler strips them out!
If you have a windows desktop on your lan, using RDP via the chromebook does okay in a pinch... when I used mine, I'd typically have several SSH windows, and an RDP connection open. Worked really well for me. Though I really wanted VPN, and the ability to run VMs, so broke down and bought a new MBP (my prior one was stolen).
I just had a flashback to my PB and the combined sound card / modem -- that sometimes almost worked.
Thank you for explaining! While I think I understand how your example works and how it's useful, I think I need to read more to understand what “existential types” are, since I’m pretty sure you’re not talking about dudes like Camus. And I’m not totally sure I understand them well enough to write a type checker for them. Which I think means I still don’t really understand GADTs.
The cost is at least another box to fold, move along a conveyor belt, fill with padding, attach a label, route for shipping, gas/diesel/electric energy to deliver from end-to-end and waste to recycle.
Q3 2013 is a long time ago. According to NPD, Chromebooks had 14% market share in 2014, counting retail and commercial (read: education) channels. Growth was up 85% year over year, too, which is amazing in the context of a stagnant/declining laptop market.

http://betanews.com/2015/02/24/2015-is-year-of-the-chromeboo...
Replay server responses from a HAR file
I don't know why it's so important that some random HN contributor be polite about this. Isn't everyone here speaking to you, and not your friends? Why does their tone matter so much?
Most of the western states have totally messed up "water rights" laws.
That's the point.
Here is further discussion of this: http://blog.metaobject.com/2014/06/the-safyness-of-static-ty...
"Most" was never my contention. I used "much", which implies a significant amount (dollar-wise, true) without contending a majority.
You said people were misinformed, then you changed the topic to Snowden's personality and high school record. Just what misinformation are you referring to, and can you provide some non-anecdotal evidence to correct the misinformation? Are you saying that it's Snowden's personality and high school record that people are misinformed about, or the NSA?

Who was misinformed and who was spreading misinformation when Clapper directly lied under oath when he was testifying in front of congress?

How about focusing attention on the content of the leaks, and the misinformation the NSA itself is spreading, instead of Snowden's personality? I'm more interested to know how your DoD friends think about what was leaked, and what Clapper lied about, than who leaked it.
And I said virtually none of it is, rebutting your claim, which I think is farcical. Can you defend it with specifics?
Introducing the Surface Watch
Forget about today. How many Google SREs are NSA assets today?

It's not about why you collect the data. It's that a massive database of such information exists. The intent in mind when building a system has no jurisdiction over the potential uses later.

If the NSA wants the data and it's inside of a US-jurisdiction entity, they will get it. Period. Maybe they NSL some people with legitimate access and make sure they know they go to federal if they let their boss find out. Maybe they recruit some SREs. Maybe they blackmail the night watchman in the building that holds the equipment that has the dark fiber L2 encryption keys so that they can get the inter-datacenter link monitoring going again.

It doesn't matter what people intended when they built it. The fact is that it exists and the men with guns and a money printing press want it. Game over.
The thing is, most people are replacing a junky old Windows laptop that's just too slow/malware-ridden to use anymore, right? Keep that thing around, drag it out when you need that 5% app, and use the Chromebook the rest of the time.

I mean, if you buy a tablet, you don't worry that it can't print out Excel documents, right? It's still the best device for doing what you're doing with it. So with a Chromebook -- it's a better general-web-use device than a Windows laptop, particularly at the price points that Chromebooks live at.
No More FoundationDBs
>Being present in the world is a form of productivity for anyone creating things for people.

Beautifully said.
As someone who uses cljx and leaves "lein cljx auto" and
"lein cljsbuild auto" running in the background, how is my workflow going to change when I switch to reader conditionals?
NSAKEY or NO NSAKEY...it's clear Microsoft is in bed with the NSA. I don't trust ANY of their crap products.
Only about 10 years too late?
The problem is not throwing out the baby with the bathwater.

Locking down web browsers to protect the grandmothers is not a valid justification for making it so that people who do know what they are doing cannot make changes.
I was expecting to see WPScan - it's had quite the refinements throughout the years.
Leidos, ManTech, and Endgame (provided you're willing to allow Atlanta) come to mind. All do substantial amounts of security work. Mandiant, too, though they're now owned by FireEye.
Vanguard plans on loading mixed content on HTTPS pages
I enjoyed it, but thought it suffered from a lack of...Tomb Raiding. I missed the puzzles that defined the earlier iterations of the game (and provided the name of the franchise.) The little single room tombs they put in the new game were so easy as to barely be puzzles at all.

But the rest of the game was fun, so I'm looking forward to the next instalment. Hopefully they'll throw in some actual Tombs.
> Everyone knows what happened in Detroit and Milwaukee and
> St Louis and other blighted cities, but do people actually
> stop and think about what really happened?

I don't think it's limited to those areas, that's just where it's just really obvious because they were hit the hardest. There are so many areas of the country where manufacturing was a good, steady job.

On a positive note, I work for a startup that's been sitting at two different tech incubators in the past year, and it's clear to me that advancements in technology will continue to create jobs.

Many of the jobs in factories weren't low-skilled. I think our perception is skewed because we have more power in our pockets than a Cray in 1994. The knowledge worker is the new machinist. Machinists were the skilled workers who could fix machines. Knowledge workers can write software to keep business processes running, administer systems and networks to keep them running.

What is the next wave of highly skilled worker going to be? Will the rise in MOOCs redefine what a highly skilled worker is?
Responsive SQL, please!
This reminds me of the people who, at the dawn of the smartphone age, were proudly boasting of their dumbphone's week-long battery life vs. the nightly recharging required by smartphones.

Until they realized they were completely missing the point, since they were comparing a phone to _a pocket computer with a constant data connection_. Most have since stopped boasting and just silently plug in their phone every night.
>I wish my errands were that eventful, but they just feel like chores.

"Attitude is the difference between an adventure and an ordeal," said somebody wiser than I.
Pentagon Personnel Now Talking on 'NSA-Proof' Smartphones
Try it out on your Windows laptop, if you want, and you'll see how it works. My understanding is that this functionality is there to some extent, but I haven't used a laptop without wifi in long enough that I have no real idea.
Exactly.

This is also why I think Snowden did the right thing: he may have "betrayed his country" by helping inform the public about what is going on, but it was his moral responsibility to do so. If he had kept his mouth shut, he would have become an accomplice to the crime.
You can spin it all sorts of ways. Keep in mind the 'PC' market includes all those legacy Windows XP computers which are languishing in peoples homes, businesses, corporations, etc...

Chromebook sales are a much bigger part of current PC sales. And vendors do keep expanding their Chromebook lines. If it was a failure they wouldn't.
We should be suspicious of all ideas.
A filter to exclude referrers from ycombinator.com would offset some of that.
I've actually considered USB before in years past and discounted it because the speed of USB sticks was very bad (in the context of keeping all your files on one, compiling from one, etc).

Thinking about it again in light of your comment made me realize there very well could be USB 3.0 thumbdrives with suitable speed (based on some Googling around it looks like there are some that are quite fast, but you have to be really careful with brand/model since it appears there is a very wide spread between the performance of different USB3.0 thumbdrives). But, yeah, I suppose using a fast USB3.0 thumbdrive would be another way to achieve this sort of setup.
Wow. Way to bias the discussion by segueing into to wine and/or whisky! We're not discussing neither wine nor whisky, so... maybe you'll dispense with the hyperbole?

What is your actual point and what is your evidence?
Google Maps – PACMAN for 2015 April Fools' Day
That’s a really fascinating post! Thank you! I’m still not sure I understand GADTs (in part, here, because I know very little Haskell indeed) but this helps.

Do GADTs allow Turing-complete computation at compile time, like C++ templates? Are there limits to what kind of correctness properties you can use them to get compile-time machine-checked proofs of?
Doctrine Indoctrinator 0.0.1-alpha1 – a Doctrine mapper usage Validator
If I understand right, you'll be able to eliminate the "lein cljx auto" and instead the reader(s) will be responsible for using the correct platform-specific snippet.
Higher number of defaults just leads to risk re-evaluation and debt repricing, it doesn't change anything structurally.
Thanks for pointing that out! Just fixed the outstanding SSL config issues for the marketing site, and brought it up to 'A'
The NSA is looking for top talent. For them, the alternative is not hunger, but a slightly worse salary or less interesting job.
Aggregating Facebook Likes
Which one of Facebook's API's would I use to cumulate/aggregate what user's Like?
Tidal costs too much to be the future of music
http://www-formal.stanford.edu/jmc/progress/arithmetic.html
Given that the context is that culture matters and that HN attitudes are relevant, I'm attempting to make the point that being rude does not help shape the attitudes in the way we-the-commentariat want.
If I had to make a bet on the next important web framework, I would pick Meteor. All in.. :)

Edit: They have made another good decision: seduce windows devs. Next one I believe it will be to support SQL.

They have a large and diverse fanbase, probably the most open community for newbies and the new generation of devs - the ones that come from different backgrounds - and I have also the impression that I see a larger percentage of women here than in other frameworks, that might mean something; they use the ubiquitous javascript; they promote ubiquitous computing; they have good funding; they have credible and fresh marketing; technically they are, IMHO, at least good enough. These are some of the reasons make me 'bullish' on Meteor.
The Lockheed Martin Hypersonic Technology Vehicle-2 (HTV-2)
Maybe

http://skepticalscience.com/climate-change-little-ice-age-me...

OR

http://skepticalscience.com/solar-activity-sunspots-global-w...

Lots of good info on the site. There is a very, very, vanishingly small chance that current climate dynamics aren't caused by humans. Doubling the CO2 in the atmosphere will have consequences. It's inescapable physics.
Don’t Read the Comments – Let Diffbot Analyze Them Instead
Tangentially: anybody have an expectation on longevity of a 2015 machine with decent components vs. one from that era? Are 2015 capacitors still as troublesome? I expect having fewer moving parts (as well as there just being fewer separate (visible) parts in general!) probably will help modern machines last longer.
Inflation is not a secret, they're shooting for an average of annual 2% rate

http://www.federalreserve.gov/faqs/economy_14400.htm

The markets, however, figure that out, and price that in. Which is why countries with weak currencies don't have an option to borrow in their native currencies.
The hair-shirt environmentalism of laws like "restaurants can only serve you water if you ask" is... it's really kind of appalling. It's like if you came into an emergency room with one of your arms literally torn off your body and they wouldn't, you know, triage you, but instead sent you to talk to a doctor about how you're ten pounds overweight and how you really need to lose that weight or else god think of the negative health consequences.
My understanding of the job market for mathematicians is that it's not nearly as friendly as that for programmers, but I'm far from knowledgeable here.
Network Security Checklist for Every Business
Not in the US, so I don't see that ad. Good point about lot more to lose, though I wonder if 2FA through phones makes losing phone access a risk as well.
With no reasons as to why, this reads like either a paid comment or a fanboy/girl.
Would you care to expand?
Less prone to cognitive biases, though.

People all want to feel that they're doing good things, and not evil. They'll rationalize all sorts of things to believe that.
Crystal analyses public social media to help tailor emails
By that logic why do people buy iPhones? They can wait another year and get the same model cheaper or get a much better one for the same price.

The iPhone 6 just had record sales so empirically there are other factors for consumer purchases that are stronger than the "waiting for items to be cheaper" factor.
Futures and Streams for Rust
My wife is into Photoshop (as a designer) and Illustrator, but uses them on Macs exclusively, so I can't judge there. It is crazy: Adobe got flack for not supporting macs well enough with GPU acceleration when macs were going out of style....and now, Macs are back with a vengeance and they are neglecting Windows instead :)
Two giant government contractors that happen to have small security teams, and one tiny boutique firm. The funny thing is you didn't mention Raytheon or Lockheed, both of which have teams that I suspect are larger than the three teams you mentioned put together. All of them are dwarfed by the commercial security industry. Most of them are backwaters nobody in the field thinks about when they think about security.
I think most people want one device not two, and they want to improve their experience with everything, not just most things. While a Chromebook met 90% of my mother's needs, the 10% of functionality it lacked was 75% of her usage.
Terminal: The Fastest Linux Cloud
Employees don't make decisions of choosing "what tool I would like to use", otherwise a ton of non-tech employees may even go as far as using things like Facebook chat.

The original OP actually provides the real answer (under the greying of the words).

CIOs/CTOs at bigger companies make the decisions that cost money (evaluate risk when depending on external communications tools), so with the right network and the right investors, Slacks high-level sales team managed to get the guys at the top to buy into their product and thus, even less than 1000 organizations gives them 500,000 paying customers per month.
The one upside - the tax I had to pay was on the value of the shares. The value was zero, so I had to pay zero tax.
The Samsung ARM Chromebooks have one.
rsync.net looks like a great service but it's just not really worth it to me at the moment, I just have too much data for it to be price effective.

With 800GB of data, I can send it to:

- SpiderOak: $130/year (1c/GB)

- Google Drive: $10/month (1c/GB)

- Dropbox $10/month (1c/GB)

- OneDrive $7/month (1c/GB)

- Amazon S3 $24/month (3c/GB)

- Google Cloud Storage $16/$8/month (2c/GB standard or 1c/GB Nearline)

- Rsync.net $160/month (20c/GB)

And that's not even taking the backup providers into account.

I definitely see where rsync.net would shine for business users because it looks like you have great support but for a regular guy who wants to backup his few hundred GB of photos and sync some files it doesn't make much sense.
Yeah, I'm not convinced that's a good idea, but I think they are at least putting some extra limits in place so that they won't gamble their whole 401k away.
As a .NET developer, I've been looking forward to official Windows support for a long time. I am installing it now!

I'm hoping with better VS support for Node.js, there will be more MS shops playing around with Meteor and Node.