skysight-inc/HackerNews huggingface dataset:
Are they? Two local markets near me that bake bread on-site use the already employed staff. Putting dough into oven and setting a timer isn't much work, so usually the person behind the meat counter does that.
BuiltWith, perhaps one of Australia's most profitable companies, has zero staff
Rats didn't get this in fast enough. Look at the explosion of helmet debate comments below :O
>You know you can Google it but I believe you haven't tried it yourself to do exactly what the goal of the question is, otherwise you would not answer with a plain Google query.

And you'd be wrong. In fact when I did it, I did it with a similar Google query, checked the first 2-3 results, settled on one site with instructions (it's a very simple setting anyway, it's not like you're hacking anything) and went on with my life.
execCommand paste is limited by browsers, so synthetic events don't have the content (see section 8 of http://www.w3.org/TR/clipboard-apis/). although that would increase the capabilities of web apps so people could nicely integrate custom copy/paste, it seems to be a security risk (eg you can grab the clipboard contents and paste to a hidden input field, then post to server without the user knowing).

you can plug into the paste pipeline and replace the data pasted when a user causes paste, either by clipboard or clicking on the browser menu/context menu though, just using the html5 events. You don't need a separate library for that.
Who is "they"? You think somebody is forcing Musk to do those presentations? Elon Musk is the CEO. He does the presentations himself because that's his decision and that's what he wants.
Must be making about $10m/yr
Oh yes, for places that drive on the right, that obviously makes more sense! It might not be for the same reason, but I've definitely felt like drivers have 'more priority' over crossing pedestrians when in mainland Europe. Even on a pedestrian green light.
I was going to say much the same thing - the same is true of all the 1%ers, as well as syndicates like the 'Ndrangheta.
>and to even find anything about iOS at all you have to start looking at the 4th or 5th result on some random domain

Add "iOS 9" to the query if you're running that, and obviously prefer well known domains, like MacWorld, Zdnet, etc.
The flag link is visible if you reply to a post or click on its timestamp.
> and now there are potentially two different instances to choose from in the other module [...] to preserve class coherence

I know the standard arguments for class coherence (Set etc.), but I haven't found any of them convincing. Relying on two values coming from two different places to be the same indicates that the design of the code is wrong. It's like writing a function f x y but you must only ever call it with identical arguments x=y. The right thing to do then is to give f only one argument to begin with.
One Idea!!!
Text field autoselection and programs being 'helpful' by copying things to the clipboards is one of the banes of my life. I wish there was a way to just disable all this, globally. If I want something selected, I'll select it myself, thanks.

My problem with text field autoselection is that it's wrecking my muscle memory of how to interact with text fields. My reflexes know that a single click places the cursor, a double click selects a word, and a triple click selects a line... except when the text field has autoselect turned on, which I can only find out after I've committed to the action. And they all behave slightly differently.

Example interaction:

- click on text field to place cursor.

- text field autoselects. I swear.

- click again to place cursor.

- hasn't been long enough since the last click, which means it's interpreted as a double click.

- text field selects word. I swear.

At this point I'll either force myself to wait for a second or so, to make the interaction time out, and then click again, or else I'll be too impatient and the madness continues as my third click is interpreted as a triple-click.

Seriously, wish there was a way to make this all stop. If I want my text fields selected, I'll do it myself, thanks.
I remember having corrupted disks that I had kept too close to the speakers and CRT, but I can't say whether the corruption was actually caused by the magnetic fields or not.
Following this "small data" concept I was also working on an app that works with a kind of "binary communication". You guys (and girls) seem quite critical, so I'd be really curious to hear what you guys think of this concept (sorry if this is considered self promotion, it just seemed appropriate to mention it here.)
The idea is a messaging app where recipients can only reply Yes or No, and is intended for quick questions when you don't need an excuse (i.e. "Have you sent the file yet?"), the idea is to gear for wearables and provide a swappable tinder like interface for quick questions.
http://www.getmoshimoshi.com
Another problem solved by adding cats.
It's worth noting that even after letting 47 people go, they have positions open on their careers page. New CEO trying to make his mark by dealing out a bit of worry to the underlings.
17 Practical ‘On the Job’ Workplace Tips for Success
I got that data from our SaaS application that offers storage using those 3 providers. Our target market is much more business over consumers, I suspect the figures look different in the consumer market.
If one reads about Weimar politics, one striking thing is how basically nobody wanted a democracy. The Communists didn't, the Nazis didn't; Von Papen, Chancellor second before Hitler, of the "Centre" Party tried to get the monarchy re-instated, and ruled Prussia effectively as a dictator. Ending democracy was basically the one thing a majority of Weimar politicians could agree on.
Bigotry via Software License
There are legitimate cases to use something like this;

for example, our organisation has a 'secret server', a centrally audited webserver which stores passwords and controls who can access which passwords.

Personally I think the implementation is shitty.. but without displaying the password in cleartext, copying directly to the clipboard is a preferred solution.

(even if you can potentially mis-paste.)
I'm still not convinced that the internet.org version of net neutrality violation is a bad thing. If it gives access to several million people even a limited set of services, I think it's still a net positive. Sure Facebook makes money on it but why do I care!
What if you'd have a way to disambiguate in such cases, just like you do with method overriding?

Tie the type definition to the point where the data is created. Default to the local definition, but have a way to select the other one if you need some particular interaction between modules. Wouldn't that solve the conflict?
In Germany there is (evidence-based) speculation about some collusion with government officials trying to prevent stricter controls of the testing procedures that would have made the cheating easier to detect.
The 3210 glory era of 'indestructible' Nokias had the glass under plastic (polycarbonate?), and weren't touchscreens.

That was also the big era of replaceable phone cases. I think people who are worried about the frailty of the phone buy secondary-market protective cases these days.
I think the presentation mentioned that the keyboard is extended by another row of keys on-screen. Not great, but that is how they intended to fix that.
While it reimports everything into Evernote it doesn't keep the notebooks or stacks you've setup.

Really annoying if you're importing in to another account.
>I guess they want us to hypothesize that magical "Data Fairies" do this syncing?

No, they hypothetize that the average user wants a high level description, not to read about servers, incremental sync protocols, etc.
I use DEVONthink too for the same reason. The only thing DEVONthink lacks is cross-platform support. It's a pity that it's not available on Linux or Android.
I was in Paris this weekend-just-gone and sat on the bench on Sunday on Champs-Élysées watching all these people walking down the road. I thought it had always been like this. Then I saw the police at around 6pm start to ease it up and march in front of the cars to open the roads again and back to normal with cars beeping their horns and nearly hitting cyclists.

Now it completely makes sense why that old French man sat next to me and wouldn't stop talking about the cars and pollution.
A cartoon guide to Flux
> Isn't gerrymandering a much more complex problem than that makes it out to be? I've always thought the problem was that it's actually difficult to even come up with a definition of what fair is.

That's perhaps true, and I observe what you say to be correct, but the lack of an acknowledged fair solution means that the existing solutions are all (party) political.

When Party A is in charge, they gerrymander in one direction, and when Party B is in charge, they then gerrymander in exactly the other (or perhaps a convenient tangent). The purpose of gerrymandering is to unfairly extend the period that you're in power.

Having an ostensibly party-neutral solution that all parties can agree to is a useful solution.

It's not immediately clear that this solution will really be fair, but it's not immediately clear that it's unfair, and at least it removes the politicking over boundaries.

If even a few regions start using this solution with the recognition that it is party-neutral, then parties in power elsewhere will start to be pressured into doing the same, to avoid appearing undemocratic.

It's a one-step improvement on what happens now.
Do you use task manager (Hotdog menu > More tools) to kill tabs that you are not currently using? Also chrome 46 looks to be getting much better[0]; although I have also noticed a sizeable improvement with 45.

[0] http://thenextweb.com/apps/2015/08/20/chrome-is-finally-gett...
Is That Really a Cappuccino?
> Analogously, Apple only has iOS. There's no SafariOS.

I'd say the Apple analogy would be iOS vs.MacOS. One could argue that the iPad Pro makes more sense if it ran MacOS.
Cool, I did not know that SETH and PvNP were different
The problem with roundabouts in the states is circular:

Nobody likes them or knows how to use them so they need to have tons of signs and restrictions on them so people don't kill themselves or go around the wrong way (the ones near my parents house actually have stop signs at every entrance). This complicates things and stops them working very effectively, resulting in people not liking them or knowing how to use them right.

If they had simply dropped them in place without comment, people would have spent a few weeks crashing into each other and then figured it out and they would work fine.
My 90's TV
>there are some cities in Europe... in which road traffic can still cross on a green light for pedestrians

Warsaw has Right Turn on Red, which in itself can be fine.

The real fun comes from the frequent Right Turn on GREEN junctions that leads to pedestrian crossings showing green for pedestrians, and on which the law demands drivers to give way to pedestrians.

It's crazy dangerous. Too many car drivers plough through regardless, and huge numbers of people just ignore the possibility that there are terrible drivers out there, leading to them being in the right for crossing, and sadly dead for not having looked before crossing.
But protective cases makes my point about poor design. If the only way I can stop my phone being damaged during normal use is to wrap it in 3rd party protective case then the design failed.
The State of JavaScript on Android in 2015 is poor
Interesting. I used both Evernote and DEVONthink on OS X before. Now, I'm storing all my notes in plain text org-files on my Dropbox - but without version control. Do you share your git-repos via Dropbox or somethink like that? Or do you have a git server somewhere else?
The London Underground Rent Map: Where You Can't Afford to Live, by Stop
>Everyone else has screwed up synching and screwing up synching means lost files! Lost photos of loved ones! Lost ideas, lost important documents! Dropbox is worth the price because it gets this right.

If they rely on Dropbox getting syncing right to not lose "important files, photos of loved ones, ideas and important documents" then they are doing it wrong.

They should backup anyway, and only then trust Dropbox for plain syncing. Dropbox is not backup.
Transpose: Structured Notes to Manage Your Business and Life
>Even on a pedestrian green light.

Yup - here in Warsaw, that's way more of a give way signal than a stop, thanks to quite often drivers and pedestrians having a green light at the same time!
I must admit that having been through multiple generations of tools and approaches to support distributed programming - ONC RPC, CORBA, SOAP and now REST the one I liked least was SOAP - largely as it seems to favor initial ease of use (particularly in tools like Visual Studio) than long term operational support and ease of debugging.

Interesting to see that they had started using JSON Schema for specifying documents in a RESTful world - I've just started that myself and it seems to work fairly well.
Bigotry - top contender for the 2016 most watered down word in the English language award.

I think that the licence is perfectly reasonable.
This is fairly common, if not ubiquitous.

Use key-based authentication, disable password auth in sshd_config and install sshguard.
Nice high level overview of container security via SELinux - anyone interested in running containers should read this.

We are exploring different operating systems for running containers and CoreOS seems like a good candidate.
Tell them about the wonders of tethered phones or whispering quietly Internet dongles.
FYI, in Pinboard it's possible to combine tags for filtering, like this: https://pinboard.in/u:kr4d/t:chicken/t:soup/t:recipe/
'Social dining' startup VizEat scores partnership with Airbnb for Paris event
> my countrymen planned to respond by nuking the Soviets and starting World War III for some fucking reason

That there was such kind of thinking is supported by other sources, not as the response to the situation in Yugoslavia but to Korea, at the same time, here's from RAND:

"when the Korean War began in June 1950, the question
of whether to launch an atomic offensive against the Soviet Union
resurfaced within the Truman administration. Seeing the North
Korean aggression as an act prompted by Moscow, U.S. officials met
with their British counterparts in July and discussed whether, if the
Chinese intervened, the United States should respond with an attack
on the Soviet Union.28 Receiving no support for such a move from their
principal ally, they quickly dismissed the notion; yet when the Chinese
did cross the Yalu in November, Central Intelligence Agency (CIA)
Director Walter Bedell Smith asked his NSC colleagues “to what point
will the U.S. be driven [before it will] attack the problem at its heart,
namely Moscow, instead of handling it on the periphery as at present,”
and on January 3, 1951, the JCS issued a paper arguing that it
was “militarily foolhardy” to fight a land war against China while the
“heart of aggressive COMMIE power remained untouched.”29""

But you are right that the claims in the article appear unbalanced, writing just about Yugoslavia and then claiming something like "but the US actions in Korea changed everything."
VeraCrypt Patched Against Two Critical TrueCrypt Flaws
Yikes, it's worse than I thought, even: The study found that nearly 80% of the population fails to hit key national government targets – performing moderate exercise for 30 minutes at least 12 times a month. It found that just over 8% of adults who could walk had not – with the exception of shopping – walked continuously for five minutes within the previous four weeks, while 46% had not walked for leisure for 30 minutes continuously over the same period. Almost nine out of 10 had not swum and a similar proportion had not used a gym.
IMHO I just think that this retrospective isn't relevant.
This measures have not had time to really show what it can do.
I just think that the past windy and sunny days made the pollution go away. Not really representative of the result of such actions...
It's very scary that the world has become a place that people think it's normal to arrest people just because they are a member of a group without any evidence that person has committed a crime.
Tierion: Record and Send Data with the Blockchain
The only thing I took away from that page was the fact that they removed the pipe symbol. Basically rendering 20 years of linux programs garbage. (I guess we can remap it, but wtf).

The pipe symbol is like the windows-button of linux – except way more powerful.
Om Next talk at ClojureNYC
VR Art: the new wave of mind-bending creatives
I almost got used to the old interface, it was pretty much the same for 7 years so I had plenty of time, the new one introduced this year I can't seem to adapt to. What were all those employees actually doing?

A blessing in disguise is that this made me find an alternative which was trusty Atlassian Bitbucket, along with their free private repos each can be accompanied with a markdown tolerant wiki, sure it's not quite the same but as a developer notepad bitbucket wiki has worked out quite well.

The latest news just locks me further into migrating all remaining bits from evernote, then again if the 47 employees let go were responsible for web client new material UI (there is no support linux client) and the remaining employees rollback and want to do as little innovation as they did between 2008-2014 then perhaps I'll reconsider
You're misguided. What you describe is not really an issue for dependent types. Your attitude seems to be shared by a lot of people, so I'll try to clear things up a bit. I think it helps if I use refinement types (as used in F), which are just dependent types in disguise.

Taking your example, I would have written a function f* that takes a list (with an arbitrary type of elements) and produces an integer. Its basic ML type would be:

f : list 'a -> int

Now taking your example, assume that, for whichever reason, f only works for lists of length 5. This would probably never arise in practice, but I'm just going with your example. First, we have to say what "works" means. Intuitively, it means that f produces a reasonable output. Let's say we have defined a function p which says whether the output is reasonable. In F, I can state all of that by giving my function f* the type:

f : l:list 'a{length l = 5} -> x:int{p x = True}

I can only give this type if I can convince the compiler that the result really satisfies p - this is one point I'll get back to later.

Now assume I want to use this function later in my code to deal with some user provided input. Assume I have a function read_int_list:

read_int_list : () -> list int

I can now combine this function with f, but only if I ensure that the length of the read list is 5:

val process_input =
let inp = read_inst_list ();
let res = if length inp = 5
then f inp
else -1 // error

This will now be accepted by the compiler, since it will be able to deduce that inp is an admissible input to f, because the function call was guarded by the if condition (I'll also get back to this). Note that the code above is absolutely no different than what you would write in any "regular" programming language (including ML). What is different is that in a regular language you could forget to add the condition - but not in F. Of course, the error handling code above is not sensible.

So interacting with user input and output is absolutely NOT a problem for dependently typed languages and their ilk. In fact, there is a full-blown implementation of the TLS protocol in F.

What is a problem, however, are the two points I hinted at: convincing the compiler that your statements are true. This is done in one of the two ways. First, you can manually give "hints" to the compiler, which is normally very tedious. Second, the compiler can try proving them automatically (F* for example leverages an SMT solver), which is great when it works, but often doesn't work.

So the real problem is that producing proofs is quite time consuming, and thus expensive. The world, as you put it, is not completely wrong: very often, a buggy program is cheaper than a correct one. Heck, people still stick to OpenSSL over the above verified TLS implementation - and for good reasons. The exceptions being programs used in NASA rovers and such - which is where you're starting to see dependent types being used. I certainly won't use them for my projects - at least not until the systems get massively better at producing proofs. It's partly happened with the advent of the SMT solvers, but it's nowhere near enough.
I'm not sure what you mean by "a pedestrian green light". I have never seen a pedestrian green light that wasn't accompanied by a red light for cars? Unless maybe you're talking about cars turning left or right at a green light (therefore crossing the path of pedestrians who also have a green light)?

I think drivers reasonably respect pedestrians in such situations at least in France, but for regular crossings, yeah it can be quite difficult, even though pedestrians theoretically have priority. It's usually better in core city centers, especially those cities which have extensive areas with reduced speed, pedestrian areas, etc. Nantes and Lille centers are somewhat comparable, but even in the "shared space with pedestrian priority" in Lille's very center (which is almost entirely allowed to cars), cars try to not stop for pedestrians, while in Nantes which has extensive car-free areas, cars will stop and generally drive more gently in most of the city.

And just over the border from Lille, in Belgium, things are completely different and cars sometimes stop even if you didn't intend on crossing! I don't think there is any homogeneity in "mainland Europe" on this topic.
Now imagine those birds demanding food are carnivorous and large enough to bite off your head.
The reason is twofold. One, research into dependent types is still ongoing. Two, type system researchers promote provably correct programming as the advantage of dependent types. IMO the far more important advantage of dependent types is expressiveness and simplicity: they generalize a vast swath of different type system features and extensions to a handful of simple constructs. Well, arguably just a single construct: it generalizes the usual function type A -> B to the dependent function type x:A -> B(x).

This subsumes a lot of things like generics, existential types, GADTs, higher kinded types, rank-n polymorphism, etc. You can even use it to do record types, polymorphic variants, modules, refinement types, etc. The dependent function type is a universal lego block for types.

Even more striking, it unifies the type level with the value level. Instead of having a language of types and a language of expressions there is just one language. The type List<T> takes a type T and gives you the type of lists with elements of type T. In dependently typed languages this is just a function List(T) that takes a type and returns a type. Instead of having F<T> at the type level and f(x) at the value level, there's only one kind of function that does both.

I have no doubt that we will eventually be programming in a dependently typed language, the only question is when.
I'd never enter a roundabout with an approaching car signalling that they are intending to exit

Too late to edit but thinking of it, neither do I. It just allows you to start planning/reacting earlier.
instead of dropbox, there's syncthing: https://syncthing.net/