skysight-inc/HackerNews huggingface dataset:
One way of testing/verifying concurrent programs is to build a model of the program, and then see if the model satisfies certain properties. This is fairly tedious and does not scale very well. However, while it wont prove anything, it can be useful to build some kind of model; it can often point out some flaws in the design that you missed.

All in all, I think its sort of like a programmer learning the basics of discrete math. You're not actually learning how to program but it can change the way you think. Obviously, if you go to deep (which perhaps CSP is) you might get a bit off track.
I think you should rephrase your first line, as it would seem to me the majority of anything is always less anything than the top. (i.e. half of the people are of below average intelligence)
To be really fair, Columbus was searching for India when he first discovered America so I doubt he even knew what he had stumbled upon
Parrot is built by a French company. In French, distortion is spelled distorsion. You should not look any further for the reason of the mistake, which is (very) hard to spot for a Frenchman.
I'm sad theres no scala support
Everyone's favorite actual loophole is of course the commerce clause butterfly effect.

"The flap of the wing of a butterfly affects interstate commerce, therefore it can be regulated by the federal government"
In an overall Windows user experience? Definitely moving windows between screens. Selecting tabs is a pretty niche and uncommon feature across the OS.

It's not about which action is more common, its about the fact that the titlebar drag gesture is universal cross windows 7/8 and is a key element of the user experience.
There are exactly two apps I've used in the entire history of windows 7 that broke this interaction: Chrome and FF. The fault is on those browsers breaking expected behavior, not Opera for doing what windows users expect. The FF UX team admitted that they overlooked this but its understandable that they're keeping it as users have come to expect it.
"The Germans are looking for leaders working for large-scale U.S. tech firms, typically companies that have 10 million or more users,” Hurtig says. “They want tech leaders who have experience in scaling, with products like mobile, apps, and websites.”

http://venturebeat.com/2014/05/16/wanted-in-berlin-young-ame...
This won't replace broadband, but for a different reason.

The article suggests the satellites would operate from LEO orbit which generally means a few hundreds to 2,000km above the planet. This is less than 10ms even accounting for ionospheric effects.

Bandwidth would be a huge problem, though.
Ah, I had clicked around briefly and must have missed it. Just saw a "does music etc." statement. It certainly made me chuckle to make the connection; one hell of a motivator to "do more stuff" too.
This all seems rather bonkers. But 1Password isn't exactly the impartial "they've spent more time thinking about this so they must get it right" party. Their entire product and way of thinking depends on being able to auto-enter passwords. Anything that interferes with that, regardless of whether it works or not, is going to get a thumbs-down from them.

As for pasting into the second password field on change-password, maybe they don't want people copying out of the original field and pasting into the second? I'd get that, and the organization-wide costs of password recovery are probably very significant for a company like PayPal. . . . But don't all browsers already disable copying out of password fields?

This is the silliest kind of arms race. Users try to keep ahead of security nonsense, and self-styled security gurus keep on trying to stop them.
They may have sandboxed it, using something like lxc-containers.
I hope everybody who thinks it's a good idea to "forbid" pasting in password fields at least uses the same trick (onpaste="return false" or something similar) so that I can remove that attribute from the HTML before pasting my password like the insubordinate fool I am. :P

Blizzard does the same as Paypal, I noticed: not allowing pasting of passwords when changing passwords, but you can paste it when logging in. Thankfully, I noticed yesterday, Starcraft II allows me to paste the password in-game! That was a nice surprise. Looks like they've given their policy some thought, at least.

The only reason I can think of is perhaps reducing the risk of people not knowing their password when accidentally pasting the wrong thing in the password fields. It's possible that your clipboard contains something else since you copied your password. Which is understandable, but it seems to me like they're replacing one problem with another whereby everybody gets to deal with the new one, whereas the old problem could be circumvented with a password-forgotten function that everybody has anyway.

Yeah, not a big fan of this practice all in all.
Do we have to have one or the other? Can an office have private/personal work spaces, and communal open social places that can sometimes host real work? I feel often that managers/owners feel they have to force one or the other on their staff, not considering that their people are probably very diverse, and seek differing models from individual to individual.
The Height of Enterprise SaaS – Full Integration with Microsoft
Microsoft and salesforce.com are announcing a strategic partnership that will integrate salesforce with Office 365.
Actually, after playing around the system doesn't seem to be ephemeral, so hopefully something along the lines of Docker as mentioned below.
You can find it on YouTube. It doesn't ring very loudly, but I suppose that would be a requirement for constant 174-year operation.
Idris has a type class that is pretty much this: https://github.com/idris-lang/Idris-dev/blob/master/libs/pre...

Here's an example interaction. There's a difference, though, since + is only for {Num instance,Fin} addition while ++ is {String,List,Vect} concatenation.

https://gist.github.com/reynir/b3d32f07d69366dd2bc3
Here it goes: https://www.youtube.com/watch?v=1Dx1-f8xQio&feature=kp

Not as dynamic as one would expect, though.

Edit: Reproduction, easier to see: https://www.youtube.com/watch?v=uKwSHtQwzD8
Strange the article seems compelled to mention that its not an example of perpetual motion. Why not also say its not magic, nor controlled by the gods?
Germany offers a freelance visa which you apply for in Germany

also possible: border official saw U.S. passport and maybe bank account balance
Also http://codepad.org/ which is a lot more bare bones but free.
Chrome was the first browser to handle that one pixel specially, and Firefox followed quickly (around version 4 or so). For some reason Opera never copies it.

It used to be a big deal when I spend most of my time with a single monitor. With dual monitors, Xmonad keeps a one-pixel border around the active window so "move the mouse all the way up and click" doesn't work anymore. You choose your own poison :)

Only when reading this thread that I realized there are people preferring Opera's behavior, which is kinda eye-opening.
What's your job? Do you have a greater need to concentrate or to socialize? Not criticising, just asking. I need to be able to go talk to people only sometimes but I need to go to a quiet place and think without interruption more often.

The best office I ever worked in was a series of long corridors with many closed offices and two developers to each. It had large meeting rooms at regular intervals, a lunchroom with table football and that was about it.
I'm a limey myself, I was just thinking...

If you really want to find differences in political opinion, bring up a really volatile subject. I would be interested to hear the views of HN readers on the Falkland Islands.
Inevitably there's a limited amount of floor space; somebody ends up on the wrong side. I'd say, why not have closed offices space entirely, and let the socializers wander from room to room?
Four employees in one 10x10 office works pretty well if you flex time and remote work so heavily that for all intents and purposes its a private office most of the time. In theory all four people might be sitting in there around lunchtime or adjacent to staff meeting time, but not most of the time.

That is 100 sq ft per 4 employees whereas giving each employee a tiny 6x6 cube (although I live in a 8x8) would be 144 sq ft per 4 employees, so if you go with offices you actually use less space than cubicles and if you are flex timing it the employees feel it is much more spacious.

I currently work in a team of 4 flex timers each with 8x8 cubes, in a sea of cubes, and I'd much rather have a nice 10x10 with a door for the 4 of us. We'd save a huge amount of real estate this way and get more work done.

You can of course fit far more than 4 employees in a 10x10 office if you ultra-flex time it. More than two decades ago I was baby sitting a large IBM financial mainframe network (SDLC, source route bridging, that kind of thing) and we had like ten people assigned to a 10x10 but due to 24x5 coverage, not to mention remote work, we never had more than two people in the office at a time.

I've never in my life so far, worked a job where everyone works precisely 9-5 M-F so I can see where non-flex time lifestyles might be more difficult. I would have a serious problem tolerating rush hour driving twice a day, five times a week, but thats another matter.
the movie posits the dumb people reproduce faster because they start sooner (i.e. football guy gets cheerleader pregnant when 16, smart girl waits to have a career before getting pregnant) and since getting to reproductive maturity doesn't need special skills it still works out in favor of dumb people (i.e. by the time smart couple has 1 kid dumb couple has >=1 and their descendents have >=1).
Terms of Service aren't law.
E-mail privacy hasn’t been updated in 28 years. This could be the bill to do it.
Taplytics (YC W14) is hiring an Android Developer
Well the damage was already there wasn't much he or anybody else could do about that so giving the guy a chance to make up for his mistake wouldn't have hurt.

Then again I'm sure he was really pissed so I can't blame him for doing what he did.
A little more commentary on the difference between realtime stenography and automated speech recognition: http://blog.stenoknight.com/2012/05/cart-problem-solving-ser...
In France, Reduce your Health Insurance bill by tracking steps with wearables
Isn't it done to prevent some sort of exploit? Though I can't quite imaging what - selecting and copying (scraping) would be far more dangerous. The original exploit was of that type - a paper system console was replaced by a CRT, and some clever person sent a log message that did cursor-control, select and copy, and sent that back to themselves thus copying the sysadmin's login credential.
It wasn't just a GUI, it was even a browser extension.

I'm surprised there isn't a popular point-and-click Windows GUI for ARP spoofing yet. Something like driftnet but all sorts of data, and with automatic spoofing done.
Thanks for pointing this out. I still don't know how to see all of this in a home NAS context however. It would be really great if someone could explain.

Lets say I have 6 SATA ports. I have 4 drives that I collected from various computers that I now want to unify in a home built NAS:

A. 1TB
B. 2TB
C. 4TB
D. 1TB
E. -empty-
F. -empty-

Now all my drives are full and I want to either add a disk or replace a disk; How do I:

1. replace disk A. with a 4TB disk
2. add a 4TB disk on slot E.
I noticed that the terminal supports vim and nano. Wish it supported emacs, but I'm still impressed.
"life is an absurd circus; we're all clowns trying to amuse ourselves in the face of inevitable death and meaninglessness"

This is full of win. I will soon annoy everyone I know with this new mantra. Thanks!
Thanks for sharing this time suck!:)
All good points, and I agree with you that project management as a task isn't going away. Of course my original comment was coined towards the agency style workplace (and meant to be a bit tongue-in-cheek), that's where I experienced the worst permutations of the role.

I'm not saying that there aren't any good ones somewhere else, but I just haven't really met any.
Age of reproduction unrelated to smarts. More like hormones.
And now you see why Zuckerberg doesn't want people seeing his friends list. They'll make speculations and assume certain things without any strong evidence.

Of course, you'd think that'd encourage him to pressure devs to change this "feature"...
Or the incumbent ISPs will sue them to hell for a few years to stop it.

http://arstechnica.com/tech-policy/2010/05/lousiana-fiber-ne...
Windows on ARM can run any software compiled for Windows on ARM. It can run Notepad because they compiled Notepad to run on ARM. It can run Office because they compiled Office to run on ARM.

They arbitrarily disallowed anyone else from doing the same thing. This is what killed RT. It's a computer that they gimped so that they could call it an appliance.
While I find that very interesting, that hoax which I just found on the bottom of the wikipedia page made me quite lough tough... http://en.wikipedia.org/wiki/Well_to_Hell_hoax
Is Android App a Worthy Choice for Enterprises?
Something I never see discussed, what is ZFS's effect on battery life? I have not put it on laptops for this concern.
Backdoor age and disability discrimination.

At some point, when an organization loses the purpose for its existence and selecting leadership comes down to office politics alone, the selection process becomes attrition. Since excellence no longer matters (there isn't real work for a person to excel at) the leaders are selected by subjecting people to artificial stresses and seeing who cracks (either a full-scale nervous breakdown, or just a passive loss of interest) first. Those were the weak, the less dedicated, etc.

Open-plan offices make that attrition faster, and provide more insight into who is next to crack up and entertain the crowd with an open-plan-induced panic attack.

That's also why this toxic micromanagement, in the name of "Agile" or "Scrum", that programmers are subjected to will probably never go away. When there's no good way to pick leaders (because the work isn't challenging or interesting) the stress of being watched, hour by hour, is a powerful attritive tool.
Libertarians can fall on a left-right spectrum the same as anybody. Hayekian liberals are generally monetarists (Austrian) that fall on the "right libertarian" spectrum. They tend to favor a state of a similar size and purpose as many Objectivists. Enforce rule of law, property rights, national defense - little else.

Some fans of Austrian economics will go further, sometimes all the way into anarcho-capitalism.

Other sorts of libertarians might be left-libertarian, anarchists, marxists, distributist, geo-libertarian, all sorts.
This is common knowledge now it seems on http://reddit.com/r/fitness also look at stronglifts.com
Wish I knew this 20 years ago...
Basically: squats, barbell exercises is key.
Starting strength recommends a gallon of milk a day...
Closer to voluntarist.
Math Trick Multiply Using Lines [video]
Didn't see any answer to what are, IMO, the two most important questions:

* What flight time does it have?

* If you pre-order today (not that I'm going to), when can you expect to receive it?
For throw away accounts I paste my password on the browser URL field and drag to the password input. So hardcore.
It used to be trivial to break out of docker containers, if you had root within them. I suspect that is still the case.
I don't think its a generational thing so much as a self inflicted culture thing. I was in college in the mid/late 00s and being social/collaborating never suffered for us having offices (two grads to a lab/office usually). We used computer labs or the common areas instead of conference rooms but same same.

That said in addition to a mandatory visitors chair, white boards everywhere. Just fucking everywhere. Nothing seemed to help collaboration like being able to start water cooler level talk about a problem and with out even noticing transition to hashing it out on a whiteboard.
A new name might be a better idea. Otherwise the next person will make CanCanCanCan, which is actually a legitimate english sentence.
Advertising is inherently evil, and Google is an advertising company first and foremost (it's where the vast majority of their revenue comes from, after all).
Boston, MA.

Stack: Ruby on Rails, Sinatra, HTML5, CSS3

I just graduated thoughtbots Metis program and am now on the market. I have years of experience shipping software for clients.

Info: http://piratebroadcast.github.io
This might just be the Hacker News effect, but it currently seems unacceptably slow.
This would be almost trivial on top of the existing Java support as well.
Note to people complaining about the waste of gas and CO2 emission: this is a drop in the bucket. Vast quantities of gas from oilfields is flared, deliberately, continuously.

http://www.resilience.org/stories/2013-09-03/gas-flaring-the...

"140-150 billion cubic meters of flared natural gas translates into 270-290 million tons of C02 emissions per year. Accounting for roughly 1% of global carbon emissions"
So would LOS. LEO sucks because you definitely aren't going to be using a dish, doubly so if you want continuous connections. At least not on any large scale.
Difficulty has minimal impact on pay. It's really just a supply / demand issue and plenty of people want to be a game dev at least for a while which drives down pay.

Not necessarily total compensation but defiantly pay / hour.
Catnap: Create REST Resources for ExpressJS
Oh, I'd love to work on such an interesting tasks and be paid by AT&T :)
That's true, and I've never really understood it. Most people get worked up because the NSA is accessing gigantic data-warehouses; they're not upset that these warehouses exist in the first place, or even question the original purpose of the collections.

I genuinely don't understand that.
Your website is a bit withholding for my taste.. clicked around looking for a decent flight time approximation (vs. weight, conditions etc.).. Found nothing.

unchill.
LEO satellites transmissions have only 1-2% the latency of geosynchronous. The internal latency, cache capacity, etc. of newer routers will be better, too. Not ideal, but not too bad.

In theory, satellite Internet could have any capacity you want by flying more satellites. But that's always going to be more expensive than other ways of providing coverage.

In a real case, I expect this to be part of a terrestrial, drone, and maybe even balloon network.
iridium lives!
Show HN: Newsatlas.io – Visualize current world news in realtime
NT might have system objects structured in a tree for privileged access, but it's not quite the same thing as having everything as a file system object that's transparently accessible by any application.

eg, you couldn't use Notepad to edit those NT objects, where as you could with Plan 9's design since.
See also (different source about the same bell): https://news.ycombinator.com/item?id=5995422
Those are shared/team offices, not open offices. And I agree: it has been the most effective configuration I've worked in. I used to work in an environment with 4-5 people per (large) office. It worked out really well, and we'd reconfigure the seating arrangement as needed. Where I'm at now the entire building only has three private offices, the rest are completely open. Those type of spontaneous, collaborative discussions are helpful, but tend to piss off the other ~10 people within earshot more often than not.
Rough Guide To America's Top eCommerce Markets
I have found these :
* http://truecrypt.ch/
* https://github.com/bwalex/tc-play
Another thing lots of applications with custom title bars get wrong: double-clicking the top-left corner of the window (where the icon is, usually) should close the application. (Firefox is an offender here, too, though Chrome is not.)
Not at all, because there is no coercion.
I've always found things like this amazing. The "Centennial Light" is a lightbulb that has been in near-continuous operation for 113 years!

http://en.wikipedia.org/wiki/Centennial_Light
Why? I hate advertising, and believe it's gotten way way way too pervasive in all aspects of modern life, but I still wouldn't even say it's inherently evil.
Why stop at having an office merely "open"? Hot desking is the new thing - it's nothing to do with cost saving, it's all about "flexibility". Except that your organisation might also have a policy against working from home. There's no implicit message that you are simply a replaceable functional unit, not at all. You might even find there's no desk left when you arrive at work - who doesn't love the suspense of arriving for an oversold airplane? Now you can have that at work every single day!

Truly modern offices have hot desks AND are wired for teleconferencing - right in the open areas! That's right, if "open" is good for communication then a 60" screen on the wall with video cameras pointing at you is even better! You can share in the dull roar of collaboration with people on other continents ALL DAY! In the average open space you can fit at least two, maybe three such screens. When you have them installed, get the tradesmen to come during office hours. It costs way more if they come after hours and your employees should get the chance to see drills, saws and nailguns operated by professionals, they may learn something.

We all know there's nothing that stimulates productivity like the sound of productivity, right? So when you plan your next office, leave the kitchen open too - the scrape of chairs on the tiles, the sound of the dishwasher being unloaded, the happy PING of the microwave - not to mention the aromas of hot food - all these things will make employees feel right at home. Using only the most modern materials in the office - lots of glass and steel - will ensure the entire workforce shares the joy. You don't want to be damping the precious sound waves with carpet or plasterboard.

I wish I was joking.
Asus Goes Nuts With Their Transformer V Dual-Boot Win8/Android Laptop
There is tangentially a correct aspect to it, in that playing geolocation and SPOF games are non-productive so they fit well with an open office.

If you need to talk to Dave, first of all Dave being a SPOF is a bug or management failure to be worked around. Secondly geolocating Dave is almost certainly non-productive. If you need to converse with Dave you call/text his phone to maximize productivity.

This is an insightful observation about the core values of open office vs alternatives... an open office simply isn't interested in productive activity. Its interested in non-productive activity, which has been proven over and over in scientific studies.

Its unpleasant, perhaps even inhumane for a large segment of the population, and unproductive for everyone but in a cause and effect relationship the bug is in the core values of the organization, that productivity doesn't matter. Its not that they don't know its non-productive, its that they don't care that its non-productive.

Also note you can't fix that core value epic fail by merely generating a new, technically superior architectural fad. You merely end up with an organization that's non-productive that has really nice private offices.

In that way its kind of like a HOA... I don't want the weirdos and dirtbags to be hidden, I want to be able to glance at a companies office and tell instantly if they have screwed up values, so in a weird way I want failing companies to implement open offices, so I can identify them and avoid them.
"Everything"? Where's Erlang? Where's Lua?