skysight-inc/HackerNews huggingface dataset:
I wouldn't mind using a rule where a certain number of DLs are permitted each year and that only the safest drivers get them. They are a responsibility not a right, yet we treat it like a right. Most likely self-driving cars will save us first, but if not some sort of leveling up system that awards points for things such as adherence to the speed limit or aggressiveness in acceleration/deceleration could be useful. All this information could be managed via a black box in your car. If you aren't in the top 80% or so, you shouldn't be allowed to drive.
Couchbase 2.1 released
Thanks, and true. GADTs are weird creatures when you first see them. I originally thought it was entirely a syntactic thing!

As weird as it is, I always recommend Agda/Coq for learning GADTs. It feels like overkill, but Haskell's DT stuff is really wonky, so it's nice to see GADTs expressed in a clean manner before trying them out in Haskell.
>It also gets a bad rap on HN because it is just not a very good language.

It's not the language, it's the ecosystem.

All languages have imperfections.

Javascript, which does not have a "bad rap" on HN is even worse.
They could easily send an email with a link to renew the OAuth token after 60 days though.
$400K Profits in year 1, rebrands to Eversnap to go Big or go Home
No, you don't get to have it both ways. I have routinely seen bikes dash through stop signs and lights when they don't have right of way. On more than one occasion of seen said cyclist get injured; the person driving the car gets blamed despite the bicyclist breaking the law. This is entirely unacceptable and dangerous, I don't care if you don't think the laws make sense every vehicle has to follow them.
That sounds interesting. What have you tried? What has worked? Why do remote workers need more effort to keep motivated?
If a user is using Dropbox as backup/sync as opposed to free long-term storage, 6 seems unbelieveably low.

I store my IM logs in my Dropbox. Every time a message is sent, 2 files are changed (the message log and the overall database). One conversation alone can fire 100 sync events.

And if you're like me and are a Ctrl+S addict when working on important papers or code, each Ctrl+S is a sync event.
No one is saying that Snowden should go home to be executed, which is the big difference with your analogy. They're saying he should go home to stand that fair trial to which he's already guaranteed.
why not just send them an email telling them that they need to re-auth to continue receiving notifications? Seems pretty simple to me...
The Physics Behind waterslides
What is the long term vision here? Is the idea that consumers will have little apps here and there that will procedurally interact with the owner's data on Dropbox? Or, is Dropbox making a product along the lines of S3 so that backends can consider using it too? I guess given how expensive space is at this point, that's not really an option.
It's a not a valid point, it's a silly point dressed up to sound reputable.

First he tried to minimize the accomplishment of having 40% of consumption coming from PVs by saying that it was from a very small percentage of the total energy consumption.

When it was pointed out that was over all types of consumption, he claimed that electricity could be a higher percentage of consumption if it were not from solar (presumably from nuclear plants).

That is where the goalposts were moved. He went from saying "Well, it's not really that much" to "Oh, it would be even higher if it weren't solar".

Let me point out a few things:

Germany is further north, and its population weighted climate is cooler. It has larger heating needs than France. Electricity is an godawful energy source for heating. Check out payback periods of solar hot water when substituting for NG hot water heaters vs electric water heaters. If Germany wanted to substitute low/no carbon heating they'd be better off with passive solar systems or geothermal - not solar PV or nuclear electricity. The very article he linked to was about France having to buy German electricity because they couldn't heat their own country w/ their huge nuclear fleet in a cold snap. The conclusion to be drawn there is that France's energy policy is flawed, not Germany's.

Also, heating methods aside, the metric is not honest. France has a smaller demand base than Germany (quick research: approximately 650TWh vs 525TWh in the mid 2000s) and Germany's economy is more industrial and energy intensive, which frequently doesn't permit electrical substitution.

Anyway, I don't have time to write more or edit this a bunch. But I hate to see poorly organized thought spreading anti-memes about clean energy.
I'm actually in the market for a similar service. We need simple/turn-key Redis clustering. Twemproxy lacks the features we need and I don't have the time to find alternatives.

-Sysadmin

Edit: Someone contact me. I want to give you money!
What I found fascinating about this is not only technological aspect of it, but the social aspect of it.

Apparently, there's some sort of hierarchical social structure, especially prevalent in anime uploads; basically people with higher "caste" would upload more popular anime.

I have heard of stories where those who are not complying these systems, or people trying to get out of the system (especially higher ranked ones) are shunned, either by giving anonymous tips to police, etc. (It has been rumored sporadic arrests being made by police, despite larger user base, are because of this.)
I'm a cyclist, and it irks me a little bit every time I see cyclists act as if the rules don't apply to them. In San Francisco, this happens almost every day.

As a pedestrian, I've almost been struck a few times by cyclists running red lights while crossing Market Street. Most of those cyclists yell at me for having the audacity to be in their way. In San Francisco, it seems that I'm the exception for actually stopping at red lights on a bicycle.
Amy Cuddy: Your body language shapes who you are
YCM developer - thank you. I spent about 45 hours a week actively coding C++ using YCM. It is wonderful. Your work is appreciated.
That is an interesting analysis, a right to do x trumps the privilege to do y. Is this the way the law treats circumstances like this?

I am not disagreeing, genuinely curious about the argument

ADDED: I did a little research and found other examples of privilege vs. right[1].

[1] http://constitution.org/cmt/right-privilege.htm
Second, you can't type a binary protocol. Yet, you have to somehow make the server work without a client or vice versa (for the initial implementation). That's going to be a lot more difficult. With HTTP, you could literally hook up a teletype to the Internet, let it print incoming requests and type the response back to the user agent. I've done this occasionally on a terminal emulator for debugging purposes.

That's a very 1970s way to develop a new protocol.

These days you specify the protocol in, say, an XML- or JSON-based file format, and then run a code generator to produce client and server libraries directly from the spec. This has the advantage that the implementation is derived directly from the specification, so there is little room for ambiguity.

Wayland is one example in the open-source world of where this is done, but I've seen the technique used in proprietary shops as well.
>Huh? What do you think people would choose, not having a dictator and having a government they chose, or having something to eat?

I don't have to think about it personally, we have history to tell us.

People risk their LIVES to get rid of dictators -- compared to that their economy (or even food) is of little importance.
Actually, in general as memory use increases GC takes more time, not less. It's rare that the number of objects stays constant and they just get bigger, and more objects means longer and more difficult tracing.

HN has this problem. If we use more than a quarter or third of available RAM GC destroys site performance. Switching to faster RAM helps, but adding more doesn't.
Thanks! HN search ahoy!
If is was a hit and run, then negligence shouldn't even be an issue anymore. A hit and run should automatically be escalated to homicide.
considering the amount of people biking vs the amount of people in cars, I'd guess that biking is the far more dangerous mode of transport.

According to this site [1], biking accounts for 1% of trips, but 2% of traffic fatalities.

[1] - http://www.bicyclinginfo.org/facts/crash-facts.cfm
TSA's gun policy: Confiscate it, Instagram it
Ask HN: How to tell a coworker his writing is incomprehensible?
I have a colleague that is writing important documentation in English by first writing it in our local language and then translating it using Google Translate (or at least borrowing heavily from Translate).

This generates very confusing text (not just bad punctuation like this text, heh). He normally asks for reviews, and I comment on the worst mistakes, but I'm embarassed to say that everything is confusing.

What should I do in this situation?
If anyone is looking for an alternative, we have similar service called "Radar" that will send you a weekly update on who has recently switched jobs or gotten promoted.

It also predicts who in your network is potentially looking for a new job based on their recent LinkedIn activity.

You can sign up for a free account at: http://www.bullhornreach.com
If you are using Ruby or Rails, there is a toolkit for integrating saml https://github.com/onelogin/ruby-saml
RCU is in wide use today. In fact, you probably rely on it everyday: inside the Linux kernel.

The biggest problem holding back RCU is not how hard it is to use (if you're qualified to write lock-free data-structures then it should be cake) but that it's relatively unknown and there are not many user-land libraries. I know of 4 available user-land implementations: two that I've written, one that we use at work and only the fourth, liburcu, would I consider mature and stable enough for wide-use. There's a third reason but I'll let you figure that one out by reading the Wikipedia article.

Note that it's not a magic bullet either because there are various possible implementations and they offer various trade-offs. A bit like the various GC mechanisms really. Funny thing is that I usually introduce RCU as a GC mechanism; albeit one that's far more specialized and offers many advantages over a traditional GC when it comes to lock-free data-structures.

Final note, I've written various mechanism for cleaning up lock-free data-structures and I'm fully aware of how difficult they can be to implement correctly. If nothing else, it's more complicated then using a GC where there's nothing for you to do. The point of my previous post was not to say that one approach or language is better then another but merely to point out that a full-blown GC is not required to build a scalable lock-free data-structure. Good thing for me since that's exactly what I do for fun :)
Most cyclists have no trouble traveling at a speed greater than 25mph, even uphill.

Most cyclists in the TdF, maybe. 25 mph is quite fast on a bicycle.
I see where you're coming from, I had a similar experience playing with HTML as a kid. That said, "compiling" HTML from text to an efficient binary format wouldn't have prevented browsers from including those compilers themselves and transparently compiling all plain text pages received. Newbies could keep on serving plain text HTML (until someone chastises them for it) while the web as a whole would benefit from the increased efficiency that comes from binary pages being the norm.

Your argument doesn't really apply at all to HTTP, though. No one "got their start" peeking at HTTP requests. It's solely the domain of those working on infrastructure (for some definition of that word). Anyone with any idea of what HTTP really is (ie more than "that thing at the start of a URL") should have no problem using a tool to convert between a binary and text representation of the protocol. It's not like you can just magically pull HTTP requests out of the ether, you need a tool anyway. There's no reason why curl (for example) couldn't transform a request you write into an equivalent binary protocol, or why it couldn't do the inverse operation when it receives the response. It's utterly ridiculous to me that there is such inefficiency in HTTP just to make things slightly easier on the implementers of curl and wireshark.
that sounds illegal - could you have reported his license? Something under assault using a vehicle or attempted manslaughter?
I don't think it's just about SSO. Exchange isn't cheap to license or keep operational. If you switch to exchange in cloud it doesn't reduce the costs that much. Hopefully soon Microsoft will realize the value some of their products (SQL Server and Exchange) isn't nearly what it used to be and that they need to adjust prices and licensing requirements.
You mean the very same justice system Snowden claims should have been involved in surveillance activities of NSA to keep them from risking tyranny? That justice system?
> but I can see both sides.

This isn't a "on the one hand, on the other" issue. Even the most foolish and aggressive cyclist is almost never endangering the safety of drivers around him, even indirectly. Yet all it takes is a nudge, honk, door opening, unsignaled turn, etc. to kill a cyclist.

Bicycle etiquette is for all practical purposes not a public safety issue, and IMHO responses of the "but bicyclists can be rude" variety to incidents like these only help perpetuate a driving culture aggressive to cyclists.

> In those situations, I think it's reasonable to ban bicyclists outright

Why not lower the speed limit, or add a bike lane? Just because you perceive the public roads as "car roads" and driving as "normal" doesn't make it so, and I don't think your convenience should trump someone's basic ability to get around.
> Riding a bicycle on a non-Interstate public road is a right.

That's a bold claim. Citation?
I think with NSIncrementalStore it would be totally doable, and a great alternative to Core Data Sync.
One "website" can have multiple backends: static files prepared with Jekyl for the CMS part of it, and a full backend for any dynamic bits. You can feed both in the same page with judicious use of AJAX.
Something I don't get about Dropbox API: Why can't I just throw URLs at it?

If a user wants to save <thing at URL>, I have to pull it to my server and push it into Dropbox. Dropbox could just have grabbed it directly and in many cases, won't even have to thanks, to system-wide caching.

(This is based on the last time I looked at the API; maybe this is supported now, but I don't think so.)
Yep, map tiles are from CloudMade! Map lib is Leaflet. I also made a Leaflet plugin for the user markers, which is on github: https://github.com/heyman/leaflet-usermarker
Yeah, but OTOH, a lot of people will use it just like a documents folder. So maybe there is a single Word or Excel doc that is updated at a time, once or twice a week. That's the other end of the curve.
"I up-voted his comment because I personally found it interesting, but most people wouldn't."

This is Hacker News, where arguments about whether or not promises or callbacks are better in Node can run off the right side of the page. Sometime the participants are even still making cogent points at that point, though I'll admit that's probably an exception rather than the rule. Still, this isn't a site for people who are going to go back to "celebrity gossip"... or at least as I assumed you intended it, as in gossip about Brad Pitt et al, rather than, say, Snowden gossip. Still. Ahem. I keep seeming to get sidetracked here. The point I'm trying to make is, yes, we can indeed pay attention to this sort of thing. Except when we can't, and we just pick it apart mindlessly. Sorry, sorry, went off topic again there. Most certainly, we like this sort of thing here. Probably to a fault.
Not disagreeing that KLM Capt. van Zanten was wrong.

The point is that they are not supposed to adversely effect safety and cockpit environment. It takes real leadership to encourage co-pilots/subborinates to raise operational issues in an appropriate way.

Some reports indicate KLM Capt. van Zanten wasn't as overbearing as the official report said, but he still would have been somewhat intimidating due to his status, and the fact is that he had opportunity to take 15 seconds to confirm with the tower, and/or Pan Am 747, after the co-pilot pulled the throttles back. He didn't confirm, and a crash occurred.

One very senior test pilot I know, commented that if a crew chief DID NOT ground abort them (usually before taxiing) because of a safety issue, or at least discuss the problem, and let them fly anyway, then the crew chief would be history. It would be considered dereliction of duty, and heading towards Article 15 Non-Judicial Punishment.

Needless to say, it is not that uncommon for this senior pilot to ground abort, and the crew chiefs do their job.
> BUT I THOUGHT V8 / MODERN JS HAD NEAR-C PERFORMANCE?

> It depends on what you mean by “near”. If your C program executes in 10ms, then a 50ms JavaScript program would be “near-C” speed. If your C program executes in 10 seconds, a 50-second JavaScript program, for most ordinary people would probably not be near-C speed.

I would actually reverse those two examples. A 10 second to 50 second jump probably wouldn't affect most user-facing programs that much, since it's either being done in the background or the user is staring at a progress bar. The UI of the application is probably (hopefully) already designed around the fact that there is a long-running process. But a 10ms to 50ms increase can be a big deal, since it's probably something that is intended to appear "instant" to the user.
It's not type "testing", it's using a strong, static type checking system before compilation as a testing measure. I.e., you never have to write code that asks about types, an automated program simply ensures that the types that your program expresses "make sense together".

This is often conflated with type inference where the program code itself is analyzed in order to compute what type it "ought to be". Some combination of type checking and type inference is a powerful, fast, comprehensive tool for encoding how your program ought to behave alongside the program itself.
Thank you for the great reply; nice to see a thought process and not just snarky one-liners!

I still think Constitutional arguments are more likely to get traction given their marketing potential: people get worked up when you tell them the Constitution is being trampled. These arguments may only be indirect ("chipping away"), but sometimes all you need is a toehold.
Jacob Jervey, the guy who was listed as co-founder and lead engineer of MyRedis until yesterday, was arrested for sexual assult. Maybe this had something to do with it?

http://vpsboard.com/topic/679-jacob-kiefus-jwj-jacob-jervey-...
Many companies in the A/B testing and optimization space publish a lot of resources in the form of blog posts, case studies and white papers that are well researched and based on real metrics. Here are some links to get started.

http://monetate.com/resources/
http://monetate.com/blog/
(Disclosure: I work at Monetate!)

http://visualwebsiteoptimizer.com/split-testing-blog/
http://visualwebsiteoptimizer.com/case-studies.php

http://blog.optimizely.com/

http://unbounce.com/blog/
Yver did say "elderly person". It seems pretty likely that you could kill a sufficiently elderly person by hitting them with a bicycle, which seems "as much as" you can hurt someone with a car.
It would be more appropriate to share stories of our personal interactions with the deceased and to discuss their contributions to the world.
Galaxy S3 Explodes Inside 18-Year-Old's Pants Pocket, Causes Third-Degree Burn
If it's not comparable, why are you complaining? Why should I have to respect you more than a car if you're not at any real risk of death? Seems like more effort than its worth, after all I don't really value your life at anything over 0.

Fewer than 2000 people die in plane crashes every year, despite the millions who fly. So I suppose we shouldn't make them follow any rules or safety procedures either, I mean it isn't as if those rules have prevented any deaths. Right?
The History of Typography, in Stop-Motion Animation
How many steps are there in your sign-up process? What's the progression rate for each step? What area needs the biggest improvement? Focus on that.
thats great!!
Disciplined MVP
Outsourced product development for startups, tend to be sub-optimal (Lack of alignment of vision, indiscipline w.r.t prioritization, cost over runs etc.).<p>We're running an experiment now. We tightened up the supply side. Picked 5 really good, elite app development companies (ex-product founders, shipped products, scaled to MM users etc.). Have signed them up to build 1 product every 2 months for $10K. The only constraint imposed on the startup/entrepreneur is that they can choose the hypothesis(/es) they'd like to prove and the decision on product features would be collaboratively arrived at, along with the dev shops.<p>With predictable cost, launch date and experience of people who've shipped products, I guess we would be able to nail a good MVP for startups.<p>I wonder if anyone here would like to opt-in for this. You need $10K cash though!<p>Sign up if you'd like to experiment - email me ashwin@contractiq.com
> And that whole talk about GCs sound awefully familiar. Didn't we have the very same conversation in the mid-90s when Java came out?

Yes, absolutely. The objections made by OP are not very different from those made in the 90s.

But...

Some of the core objections made then are still true today, they're just hidden from users because of advancements in both hardware and GC technology itself. In the case of mobile, however, you're much more hardware constrained, at least for now. This will likely change sooner rather than later, but for now that means that for hardware-constrained devices well designed apps written in non-GC languages will almost always outperform similarly designed apps written in GC languages.

In other words: it's going to be easier to get good performance out of Obj-C on mobile than Java, and certainly easier than JavaScript.

For the record: I like Java -- yes, even today -- and the JVM, currently use it for my day job. For webapps it's moderately neato. For mobile, though... Not as much.
Apple and Amazon end lawsuit over the term "App Store"
Good habits get shit done. My friend learns to dance every day for a year.
You can certainly have more than 9 tags on i3. In fact you can have tags with arbitrary names. They are a bit more difficult to manage with the default config, because only the default 9 have keybindings. But you can create your own tags and bind keys to assign windows to them or switch to them with a custom config.

You can also use a tabbed window layout (Super + E) to keep multiple programs full-screen on one tag. Then you can switch between them with the tabs at the top or Super + J, Super + ;.
As an old Java programmer, I'm astounded that Apple are deprecating garbage collection on OS X. Is ARC really a better approach on the desktop?
Reply from miles:

Actually, it's been a struggle for me. I've gone through two co-founders,
who, in their own ways, just didn't work out. Who knows, maybe it's me.
All I DO know is that my customers were starting to be affected by it,
so I had to do something.
The entire reason for this acquisition was for the customers.
They need someone who can take care of them like they deserve.
Suggestion: for an extra $1-2 include a simple but satiating shelf-stable breakfast &/| lunch, something like two packets of oatmeal and a couple "meal replacement" (ex.: Cliff) bars.