skysight-inc/HackerNews huggingface dataset:
I've used it a bit for stuff inside Azure. It's difficult to find a problem where the model checker shines; state machines are far too simple (better to use P[1] or something similar), and something like cache coherence (the Hello World of real-world TLA+) isn't a problem I hit often.

TLA+ isn't only a model checker & theorem prover, though. The language itself is an excellent high-level way of expressing system design. Recently I've been applying it to eventually consistent systems, and writing an idea in TLA+ is a great way to flesh out the concept and spot hidden assumptions or edge cases. Lamport knows this; in the introduction to his TLA+ book, he quotes:

"Writing is nature's way of letting you know how sloppy your thinking is."

Followed by his own expansion on the concept:

"Our basic tool for writing specifications is mathematics. Mathematics is nature's way of letting you know how sloppy your writing is. ... The mathematics we use is more formal than the math you've grown up with. Formal mathematics is nature's way of letting you know how sloppy your mathematics is. The mathematics written by most mathematicians and scientists is not really precise. It's precise in the small, but imprecise in the large. Each equation is a precise assertion, but you have to read the accompanying words to understand how the equations relate to one another and exactly what the theorems mean. Logicians have developed ways of eliminating those words and making the mathematics completely formal and, hence, completely precise."

Most of the value I get from TLA+ is as a software design tool. It's also just a fun language to write stuff in.

You may also be interested in the AWS paper, which had excellent results.[2]

[1] https://plang.codeplex.com

[2] http://research.microsoft.com/en-us/um/people/lamport/tla/am...
Having been to many of these, they are enjoyable and cover an incredibly wide gamut of topics. It is great to see the invite upvoted.
The Ribbon is amazing when you have lots and lots of commands, many which aren't always commonly used. Few programs approach the sheer number of commands. IIRC, in Office 2007 it was like 1300?

One of the main designers ran a blog explaining the design process. Even if you hate the ribbon, the explanation of how they came to it (heavily driven by telemetry, eye tracking studies, etc) is pretty cool. http://blogs.msdn.com/b/jensenh/archive/2008/03/12/the-story...
Kafka at LinkedIn – Current and Future
Touchdown has always been buggy (it loves to go into battery-draining fits) and is extremely buggy on Lollypop. It also hasn't been updated in tech-eons.

It is so extremely frustrating to have to deal with a corporate Outlook server on Android. That's why I was excited that Microsoft finally put out something.
Setting Up a Client-Side JavaScript Project with Gulp and Browserify
> I feel like this begs the question of information inequality, though. If all traders were equally informed, then mispricing would be avoided as well. And without the complexity of trying to infer information from the trades of others.

If all traders were equally informed (perhaps by a law that any information you wanted to trade on had to be public), there would be no way for people to profit by digging up new information. We (society) like it that analysts have a financial incentive to figure out the truth about how well a company is doing - whether that be by coming up with a better model of how one industry affects another (which will ultimately lead to better allocation of resources), or doing the legwork to realise that a particular company is a massive fraud (which leads in a more direct/obvious way to better allocation of resources).

But we don't want them to just bribe insiders - that causes agent-principal problems, gives certain market participants unfair advantages, and all the rest of it. Hence the law, where figuring out these things through research is encouraged, but getting them from insiders is illegal.
I had the same thoughts that you're having. My specialty is client-side JavaScript, but my backend experience is almost exclusively ASP.NET. Having switched to a Mac in 2012, I found myself spending more time in OS X and Sublime Text, less time in Windows and Visual Studio. I've started scratching the surface in other areas (Python/Django, Rails, Node), but I really just don't enjoy them like I do the ASP.NET stack.

That being said, with the announcement of ASP.NET vNext and the open-sourcing of .NET Core, I've decided to double-down on the Microsoft stack (installing vNext, learning F#, writing more apps in ASP.NET, etc) since I'll eventually be able to develop ASP.NET apps in OS X, with all of the tools I could ever want.
My career started in SCO Unix, Solaris and SGI then went to Microsoft for years and finally in the past 5 years I am back to almost exclusively Linux and non-microsoft tech stacks. So I have been on both sides, and can say that each has their blemishes and beauty, but I greatly prefer non-microsoft stacks overall.

Like you, I am limited in some ways because I have kids in school, shared custody of my daughter and also really enjoy where I live, so moving isn't really an option. To make it work I do a ton of remote work and collaborate with people from all over the place.

To get started, just release some simple things into the wild on GitHub or pick your platform. You could write your own tutorial on learning node doing different common tasks, like reading files, writing files, network communications, API definition, project structure etc. It would serve two purposes, you learn how to solve real problems via node, and you help others with that same transition. You could even do the tutorial idea but use iojs (https://iojs.org/) to show how it differs etc. People would like that and you would be learning something of value.

As for remote work, it is doable especially now. Nice part about Javascript in general is even the diehard Microsoft shops will accept node more readily then they would say Rails or other tech stacks. Honestly, it does and doesn't make sense to me why that is but I have found it to be true overall.
looks like it could be interesting but very obnoxious ads
Would people involved with Wikileaks actually change their behavior if they were given proof that the US government was spying on them? I assume they are already operating under the assumption that that is the case. From what I have seen, the US government spying on that community is already taken as established fact within that community.
The Ribbon UI idea - to highlight contextually relevant options and hide irrelevant ones - seems like a worthy idea to copy. That said, using horizontal rather than vertical space would be good.
gold and blue, due to the price of the paint components, were hallmark of an expensive art painting through the history until very recently. Thus using those colors allows to exploit that association and puts your movie at perceived level of the old masterpieces.

That also correlates nicely with the fact that cheap or produced in other countries inferior color film (like in the USSR for example) didn't have good blue, was reddish-greenish instead, and thus this gold/blue of today also suggests associations with better quality.
I'm not so certain that public lynchings for homosexuality wouldn't occur. On the other hand, there's plenty of people on the other side of the fence who'd see conservatives jailed and beaten (They'd not sully their hands themselves, just require the increasingly large nanny-state to do it) for disagreeing with their concept of 'progress'.

Maybe we just need to open the floodgates and let these factions kill each other off.
Unfortunately this was my first thought as well. Although wxwidgets works on several platforms, it manages to look and feel alien on almost every. If you care about usability, I believe your application should be consistent with the rest on the target platform(s). Wxwidgets based applications are simply failures especially on Windows.

QT fares significantly better on the usability. Java's look and feel system works as well. You could also separate the V properly, and for instance use WinAPI wrapper on Windows platform. Just please, please let wxwidgets die already :(
VoltDB Aims for Fast Big Data Development
Where I live (just outside a very small town in Ohio) there are a few options, but they're:

1) The phone company

2) Satellite bundled with TV service, with an absurd data cap and high latency

3) Line-of-sight wireless. If it rains, it stops working

There's a cable company but their lines end just short of this road.

The only one that is both reliable and usable in practice is the phone company.

It's DSL with a possible max of 10Mbps down, but the actual line sync rate is 4Mbps, partly because the copper lines are quite long (it's amazing it can even hold 4Mbps looking at the line stats in the modem).

But it tends to be capable of sustaining that rate 24/7, there's no throttling at specific times etc. There is a soft cap of 250GB buried on their website, but pfSense routinely shows 1.5x-2x that sometimes and I've never heard them complain.

Netflix and Hulu work fine, but they're being prioritized by pfSense. Without it, if someone is watching a short Youtube or Facebook video elsewhere in the house, it will cause Netflix or Hulu to react by cutting bitrate severely (if possible. Apple TV will just pause and buffer).

It costs $120/month, and their breakdown shows only $39 of that being internet related.
NFL Mobile App Vulnerability Poses Threat to Super Bowl Fans' Personal Data
and if interested, error-diffusion dithering kernels:

http://www.tannerhelland.com/4660/dithering-eleven-algorithm...
I tried it. It works pretty well over the local lan, at least. What I really want to see is multi-user chats.
If you have time to study, you have time to build a project resume with the technologies you like.

It's not easy, but build a few apps, starting with the trivial and then increasing in complexity.

Is there a node or open source users' group near you? If it is a major city, the answer is probably yes.

Go there and ask folks about node jobs.

Another alternative is to focus on the client side javascript that your work has you do already. Even the MS toolset still uses javascript in the browser.
Because the correspondence comes:

(a) in the form of a valid court order hand-delivered to and served on your CEO at his home at 6am by two very grim federal agents who don't really like getting up this early, or

(b) if you're represented by counsel, it comes in the form of notification to your attorney by the court clerk that a court order has been issued (or perhaps notification from an AUSA if the clerk's office is slacking).
I would be extremely surprised to find out that was how it happened. More likely we (Mozilla) just have contacts at Telefonica from our Firefox OS work, and Telefonica happens to have this opentok software which provides a useful piece of making Firefox Hello work, so co-branding was a win/win.
for distributed protocols, you might want to try Alloy.
Basically it allows you to find counter examples (which are in this case scenarios).
http://www2.research.att.com/~pamela/zave_podc.pdf
is a well known example, working on the Chord join/leave protocol.
Random Commander (Music Generator)
What features of librato did you not find in Datadog? I'm a current librato customer and I from what I see datadog is better in most aspects. Also the datadog integrations are awesome. The collecd integration is just ok
Provide a proper test case to the developers and they will likely fix it. I've had extraordinarily nice experiences with bug reports to gnumeric so far.
How to write Premium JavaScript (humor)
One solution I've seen is comp time for exempt employees above your "normal" hours. So if you work 50 hour weeks normally, and need to for some reason work requires you to do 70 hours, you'll get 2 days of comp time. Now this brings up arguments about what are your "normal" hours and how to calculate that but it is an alternative without having to go hourly.
Jake Albaugh's @jake_albaugh open source random music generator. Hit "Performance" to start and "Randomize" to ... randomize.
The government can easily subvert the automated system (i.e. if you make legal@somedomain.com -> public record, they email your personal yahoo/gmail account which is not automatically posted).

OpSec notwithstanding. If the government doesn't know your other email addresses, this obviously doesn't apply.

If everything that comes to every one of your inboxes is immediately laid bare for the world to see, they cannot circumvent the process and also cannot prove that you knowingly and intentionally violated the gag order. I don't know anyone who does this, however.
You can do any of these things by building an API and communicating with it using javascript in the browser. This method generally leads to a more responsive interface as well, as you don't have to reload the page when the user favorites, friends, etc.
The Adventures of Robin Hood, the Errol Flynn movie from 1938, is an excellent example of three-strip Technicolor, and on blu-ray some scenes look like they were shot last week, not 80 years ago.
Lucee, a light-weight dynamic scripting language on the JVM
Insider trading was first outlawed in the United States by the Securities and Exchange Act of 1934. The major motivation for the ban was to increase the public's confidence that they could invest in financial securities without being taken to the cleaners by insiders who had a major informational advantage. [0]

Economic theory does lend some support for the idea that markets will perform better when the public is confident enough to participate in them broadly, and broad participation should drive valuations higher. (The latter is a dubious benefit.) But there is likewise plenty of theoretical justification for the harm done to markets by insider-trading laws. Markets are basically mechanisms for aggregating and analyzing information, and insider trading laws restrict the supply of basic facts. Mispricing ensues.

There are other justifications for banning insider trading, albeit all rationalizations post facto, as far as the legal history goes. Allowing a manager to trade her company's shares (particularly to short them) can put her incentives out of step with those of the company's other shareholders. But the managerial misbehavior that could provoke is already illegal under various other regimes. And the principal-agent problem is no argument at all for setting up a system like we have, one which bans trading by knowledgeable people who are in no position to influence corporate decisions.

But the economics are almost beside the point. The promise made by insider trading laws is that any Joe Schmoe can trade on the same footing as sophisticated professional investors, and that promise is a farce. It's a farce not only because the incentives will always drive some people to break insider trading laws, but because ordinary people do not have ready access to all of the legally "public" facts anyway; many of them are locked up in obscure or expensive databases. And if Joe Schmoe did have all the public facts, he would still lack the other big piece of the informational puzzle, which is the ability to interpret the facts properly. That more than anything requires real expertise.

In my opinion, the public-confidence angle is the strongest component of the case for outlawing insider trading, but I think it's a rather weak case in the end. The perverse truth is that if insider trading laws inspire the public to think they can play the markets on equal footing with sophisticated investors, then insider trading laws have succeeded in installing a false confidence; they have hoodwinked the public.

----

0. This has remained a main justification (at least rhetorically) for maintaining and strengthening insider trader laws over the past eight decades. For example, an act amending the rules in 1984 has this preamble: "Insider trading threatens ... markets by undermining the public’s expectations of honest and fair securities markets where all participants play by the same rules."
Yes, because no other browser vendor ever does that. coughGooglecough.
Isn't this true for mobile app pricing. I've heard stories where people raised prices and app sells increased. I found one article that supports this claim: http://autosend.io/blog/should-my-app-be-free-or-paid/
Reddit transparency report, 2014
Office whitout papers
cause I'm starting to excell in javascript and never even touched C#?
Superbowl postponed after tsunami threat made last night
What if the information they sold/use was anonymized and they gave you more rewards for card use for this information, would you be more inclined to use their card?
This reminds me of voronoi diagrams, except the vertices seem to be applied as a best-fit around contrast and hue differences--then the cell being filled with the average color of such.
I also don't like anti discrimination laws. I think they should be killed, but with an exception allowing the EEOC, anti-trust or similar to order particular sets of companies to stop discrimination for a period of time if necessary.
My discrete math and logic undergraduate course was in Coq. It was a brutal way to learn the proof process at first but it was worth the investment by the end. It's the logic equivalent of TDD.

If you are interested in computational logic you might enjoy Aaron Stump from UIowa's work:
https://queuea9.wordpress.com/
It's such a bad fuck up that it would justify someone pulling power cables from all iTunes Connect servers to disable access.
Reddit Issues First Transparency Report
I'm having a hard time thinking of non-public data that would be legal to trade on. The examples in the article and this thread all seem like public information. Anyone can observe a sales floor, or a parking lot, or a store entrance. Anyone can observe the IR radiation coming off oil tanks. Anyone can observe tweets.

Anyone with the time and means to do so, anyway. Anyone could do these things; but most don't. For the people who do, what is protected is their investment in gathering and analyzing the data. The law does not grant Person A access to the data set of Person B--true--but the question is whether Person B could do their own work to gather the same data set.

Whereas information that is only available, in any form, to Person A would be considered non-public, and not legal to trade on.
This icon style is called Sifr. There are five other styles available in the View section of the Options dialog, which seems like at least three too many. I'm trying Oxygen for now.
Tried it. Got this response:

Thanks for requesting an invite. We’ll send you one as soon as possible.

Your friends at Gmail
Right. It would have been nice to have a short yet more in-depth example in the article.
It sounds like he likes Minitest better for everything except that the output doesn't make it easy to run only the failing tests. Seems like that should be an easy patch if he just wants to be able to copy/paste like the Rspec output.

He's got a pros/cons for each, but the cons for Rspec seem like deal breakers: the DSL is weird and it's tough to tell what's going on. Minitest is just Ruby classes, plain and simple.

This is my own issue with Rspec (and apparently DHH's as well). Rspec's almost-english syntax has never appealed to me. I can never remember if it's `this.should eq(that)` or `this == that` or `expect(this).to be_that`...and those are only the variations I've seen in the last 24 hours. I'm a programmer—I can read code. `assert this` is all I need.
Moment iPhone Case
meanwhile, OpenOffice added some comic sans to their logo
http://www.openoffice.org/
Craigslist probably blacklists all of AWS, including Heroku.
It's true to a point, the RED isn't the best camera at reproducing colours. But then again most of the time you're going to be filming in RAW so it doesn't really matter as much since you get a flat image in post that you can grade.

An advantage the RED cameras have say over a Alexa is that they can film in 4k,5k,6k (Alexa only shoots in 2k). So that you can get a sharper image by editing in 6k, and then exporting in 4k or 1080p.

If you look at video cams for projects that need to be finished quickly, of course your not going to choose a RED. Canon Cinema Cameras (c100, c300) have the best colour science out of everyone (Sony and Panasonic are known to have pretty average colour reproduction). The only downfall with Canon cameras is that they use crappy codes and compression so when you start pushing to extreme looks, you'll get alot of noise and loose sharpness in your footage.

I use Blackmagic cameras, which aren't know for their colours either, but they own the industry standard grading software (DaVinci), so it is quite easy to get your footage balanced before you do a grade.
I have come to dislike all manner of menu based interfaces. They are annoying as fuck unless you are well used to the program, and then they keep changing them with different versions. What I would like is a search as you type entry field, similar to the Windows 7 start menu. I type in "cro..." and cross reference shows up, then I click on it. And it'd have the option of keeping the commonly used ones nearby for easy click. I havent used any apps that do this, but would love to see something like this.
How to Build Killer Products: An Investigative Blog Series
Good “For My Age”
FWIW - the long startup time is just the first time you launch the application, I think it's doing something with fonts, after that it launches pretty quickly.
Definitely! We have https://github.com/ClusterHQ/powerstrip#additional-adapter-i... and https://github.com/ClusterHQ/powerstrip/issues/8 for ideas... please add more!
So long as they used public information- why would it be illegal?
Agreed, I'm in love with Inkscape's support for SVG. Like some of the other posters here, I am fed up with Adobe and it's bloated software. In Adobe's defense, this is likely due to all of the backwards compatibility they need to do.

However, when it comes to using SVGs on the web, Inkscape is clearly the king. Illustrator has a bunch of nice and fancy filters and such, but you try exporting as an SVG for web and you will find a great deal of your design has been lost due to non-svg-compatabile "frills" Illustrator adds.
12000 defects fixed?!

OMG! One Herculean effort this must have been.
>how can you believe it won't have an impact?

For one, that's not how science works. Science isn't about belief, it's about proof.

Two, because you're not considering the scale of the issue. You're so focused on the absolute tons of CO2 humans produce that you've completely discounted how much is naturally produced.

If you want to think about global warming more scientifically (skeptically), I suggest a site like http://www.nipccreport.org.
Relax, we are the good guys
I'd really love to, but in both cases where this has happened, the documents are very very private :(
I would actually say that Microsoft is going in the direction that you want to be in. You may be able to jump a little ahead of the curve, and be in an excellent spot.

Everything from WinRT apps using Javascript for native development, to Windows Azure Mobile Services using Node for cloud code.

Why don't you work on how to bring the new open MS technologies into your area (probably something like back end systems at a credit card bank, for instance)?

With a 15 year .NET background, you'll get taken more seriously than a developer who just graduated from a 10-week MEAN bootcamp, for instance.
I wonder with social media, and how much easier it is to keep track of everyone if Dunbar's number should be going up?
I think going on a mission would be more about influencing the outside, than about outside influences.

Maybe they considered, quite correctly, that poorer people in disaster stricken areas are easier to influence.
ACCA F4 past paper 2011