skysight-inc/HackerNews huggingface dataset:
Personally I store bookmarks as a flat file, with some javascript magic for tagging, and store that under git:

https://github.com/skx/bookmarks.public

It's portable amongst browsers locally, but obviously it's not an extension and requires more effort to work with.

(I tend to bookmark things in my browser for a few days then mass-update the git version and delete from the browser.)
Types are the world's most popular verification technique. The whole intent of types is to automate many of the proofs required to guarantee the correctness of the program rather than having the human operator get bogged down in verifying the details themselves. Now yes, you can't verify all aspects of the program but types can still get you quite a distance of the way there at comparatively very little cost compared to more heavy formal verification techniques.
hang on a sec....

Long time developer here, came from vs to eclipse and later Netbeans and Idea:

Tell me: don't you still have to buy resharper to get the same refactoring tools that I get for free in eclipse?
As a German I don't see this as an issue. Some German politicians have deep connections to enemy states, so why wouldn't the NSA spy on them? It's in our best interest even, because those politicans are a danger to Europe and Germany itself.

As a German I very much see that as an issue. If there indeed are polititions having "deep connections to enemy states" (who do you mean?), I want the democratic process to handle that, not the intelligance agency of another state. What do we need a parliament for, anyway, if you think a practically unregulated third party is the right way to handle domestic discourse?
>They've done a pretty good job of scaring people into securing their APs

How is this even remotely a bad thing? It's trivial to MITM people on unsecured networks - I can't think of a single consumer router that actually does DHCP snooping to prevent it either.
Measuring memory used by third-party code (in Firefox)
I would at least put C# on the table for consideration though. But that's because I really like C# and have a bit of experience developing in Xamarin with it for both the CLR and mono, so I know the workflow and tech CAN work on linux. The quality of some stuff out there, like this http://www.codeproject.com/Articles/168662/Time-Period-Libra..., is phenomenal. The concurrency stuff is pretty solid as well. But it's a different ecosystem too and you get casualties like ServiceStack.
This would appear to me to be the simplest way to allow this sort of attack to be blocked. Whether or not it opens up other avenues for attack is another question.
If you have outgrown Bizspark but are still relatively small the Microsoft Action Pack Subscription may be suitable for you.
Marc Andreessen on big problems
My thoughts on various programming languages
Curious to know how far the average visitor bothered clicking.
Can you explain the part where you are criticising Popperianism to me?(honest question) From what I gather, you seem to be criticising logical positivism more, but I only have a layman's idea of the philosophy involved.
Again: I'm also not a big ms fan (see my comment on visual studio) but why not comment when downvoting?
> I am not mistaking, I am comparing.

Yes, you are mistaking it. HTML is "relaxed" about various parsing errors. XML absolutely is not. If the input document so much as has a closing tag missing, parsing will fail, end of story. If it doesn't match your schema, parsing will fail, end of story. I'm not sure why you keep going on about this point. You're woefully misinformed if you think XML parsers accept malformed input.

> Which will be treated as a bug if other applications DON'T fail (which some undoubtedly will).

Are you talking about "my app accepts schema A and another app accepts schema A.1, therefore if I don't accept schema A.1 people will think my app sucks"? I'm not sure why you think this is an XML-specific issue.
What is that gif from?
hgroup was in the unfinished HTML5 spec but was removed.
That's very interesting. But it's not clear if you get the other important MSDN benefits, specifically dev licenses for Windows, Windows Server, and SQL Server.
> DL people are like...what's the difference

The dynamic typing folks don't care to provide a definition of types and overload the term to mean many things, the static typing folks have a rigorous one.
> which would be a huge economic loss for the US

LOL, I hope you're not being serious. The only ones TTIP and friends are going to benefit is Big Capital and American producers of chlorine-treated chicken. No thanks, it's enough you fuck up your own country, no need to fuck up Europe too.
Your analysis of SQL Server is spot on. It's the biggest expense going 100% on the MS stack.
مواعيد التقديم فى الجامعات الخاصة 2014 واخر موعد للقبول
Ah good reply - I fear I didn't do you justice.

Just on point 2 - you say it's a problem of matching the right material for the student.

Let's test that intuition. If you're an educator, and you needed to choose a proof to present to your students on say - the Binomial Theorem. Which of these two would you choose?

http://imgur.com/XEbBvEo

Or...

http://www.math.ucsd.edu/~benchow/BinomialTheorem.pdf

Now - I would submit that irrespective of who your students are - choose the second. It's explicit - it doesn't skip steps. No one left behind. If your students are clever enough to follow the first proof - which skips heaps of steps - then giving them the second proof isn't going to disadvantage them, because they can just skip it! It's a book! Sure - you've got more of a problem if you're in a lecture scenario - where more advanced students are going to get bored. But in the context of a textbook I really see no reason not to be explicit.
I actually found it interesting to see what was in HTML5.1 and not in HTML5, even though I agree the 5.1 version number is quite silly.
The above, and I'm on call 24x7x365 although I only get a call about once a month.

Also both the company and I have a motto of fail gracefully. So the automated testing system and the ticketing system decide they're not on speaking terms anymore, well, we could all set our hair on fire and run around and scream, or just buckle down and do it manually, 5x as slow and much more error prone than my integration system.

They expect me to fix anything 24x7 or have an excellent excuse (most recent excuse was my kid is in surgery so I'll go home and log in later) but they only expect me to invent or create new stuff in a much more restricted set of working hours (And the end users have absolutely no idea what those hours are...). Actually they're pretty pissed off at me if I make any production changes outside of certain work hours, unless I have an excellent excuse, so in the ebb and flow of work sometimes I have to read HN until I get the mgmt thumbs up if there's nothing else on my plate.

Enlightened self interest provides a strong motivation to automate the hell out of all error recovery and have backups to the backups. My systems for error recovery and resumption of production are much more complicated than the actual production itself, most of which is fairly simple although on a very large scale. I literally can't remember the last time I was woken up at 2am, although it could very well happen tonight...

(Oh and edited to add, I don't work in Ops. A drive fails in the NAS, a vmware server needs rebooting, they take care of it, that type of thing. The problems I get involved in after hours are higher level than ops, like somebody thought it would be funny to upgrade the software on a testing machine removing my access, or they changed firewall rules without telling anyone, that kind of thing, big fun)
Show HN: Lightweight and easy to use CSS3 transition library
The big difference is that Bizspark gives you "production" licenses. The Action Pack licences are restricted to non-production usage only.

We actually use the Action Pack today to get access to the latest VS Pro. But it's "limited to three developers", and the other MSDN software benefits are severely limited compared to MSDN pro (e.g. only certain editions of Windows Server and SQL Server).
Static Site Engine Battle Royale
Cool - hadn't seen that. I really like the catalog concept - we didn't have that in Iglu previously, have added a ticket for it. I'll reach out to Mads - thanks for the link!
Raju the elephant cried on the day he was released from chains
He would have to be very unlucky for that to happen, but admitting it online was perhaps not the best move.
Already exists... and has for years.

http://www.gasbuddy.com/GasBuddyiPhoneApp.aspx
> LKML has very strict rules as it's primarily used for patches the Linux kernel. Other mailing lists, as you may be aware, are not primarily used for software patches, since most human beings, as I would hope you realise but perhaps don't, are not software developers.

Your point being?

> However: you're arguing that the vast majority of email conforms to your rules

Please read more carefully.

> In fact, that that mailing list needs to tell people what mail clients to use seems to prove my point rather than your own.

Mind to elaborate?
> Does anyone know what the codenames are like? If they are easy enough to remember, then they may be easy enough to brute-force?

I don't know what they're like, but if you take a list of 5000 common words and use 4 random entries for each codename, there are 625,000,000,000,000 possible combinations. Brute-forcing the entire space at 100,000 tries per second would take ~200 years.

Edit: I made a toy jsfiddle version: http://jsfiddle.net/SwWZ9/10/

The wordlist is just a random sampling of English nouns (I couldn't find a quick source of common nouns long enough). It may contain profanity, watch out!
The repurposed definitions of B and I, when everyone remembers them as meaning "bold" and "italic" (and browsers still render them thus), seem really weak to me. SMALL makes sense really only because we have a concept of "small print". I will concede I can't conjure up a similar argument for CENTER, though alongside HEADER (the thing at the top of the page or a section thereof) and FOOTER (the thing at the bottom), it doesn't seem so ridiculous.

Let's not get started on the S/STRIKE/DEL mess.
I'm personally keeping my eye on the oh shell [0]. It adds some scheme goodness to the shell without throwing familiarity to the wind.

[0]: https://github.com/michaelmacinnis/oh
the article seems to be saying C# is cheap and fast because it has a really good set of libraries. i have no problem believing this. the question in a startup is, is it more important to have good libraries or a powerful language? e.g. lisp is the most powerful language, but its library ecosystem isn't reliable enough. whereas java is a weak language but has great libraries. (that's why clojure's awesome!)

i'm not trying to start any kind of religious war here, but this is personally why i (and i suspect many others) code their web apps in python. it's a reasonably powerful language with an excellent set of libraries to go with it.
> “Originally I created Xiki for my own use,” said Muth. “When I was supposed to be doing my boring job as a software dev at banks and insurance companies in Ohio 13 years ago, I started making this thing that let me run commands and navigate files directly from my notes. Ever since then I’ve found myself unable to resist working on it. I use it for everything.”

Isn't this a bit concerning? It sounds like this was created on employer time with employer resources, yet there is nothing about this in the Kickstarter page itself. It seems like there could be a potential legal issue because of this, but there is no reassurance that either it's already been cleared, or that it's a potential risk.

Seems like a big oversight that might prevent some people who read this from contributing.
Another equally potent idea is to build products which integrate with Microsoft's own, popular products. For example, the popularity of Excel caused me to build this: http://activemesa.com/x2c
I share the same sentiment and thoughts. Have you ever read Zen and the Art of Motorcycle Maintenance? If not I recommend it, been a great book to read and think about over the summer.
It's unlikely that an Orthodox Jew will fly an El Al plane. Possible, but unlikely.

Why do you think so? I have to admit that I was just guessing, but it seemed logical (most notably the fact that only kosher food is available). What alternatives does an orthodox Jew really have? Since it's just a guess and I certainly don't have any hard data, I could be wrong, of course.

True, El Al would make lots of money if it also flew on the Sabbath -- but it would lose the business of many observant Jews, who fly because of its adherence to these rules.

I was not even thinking about lost revenue, but about the fact that the planes just lie idle for a minimum of 24 hours every week. A plane, which is not in the air is a very, very expensive entity.

In any case: thanks for the insights.
> They left work and played volleyball and worked on their tuner car and went to family events and so on.

'They had interests besides developing work skills.' You say this like it's a bad thing. This is a very disturbing aspect of HN/startup culture: the disdain for reasonable life-work balance & non-obsessive programmers.

Life goes by fast, I hope you're stopping to smell more than just the new programming frameworks. :)
The internet loves potato salad!
Evolving Robots Learn To Lie To Each Other
I have a better idea. Make it so that some traffic receives higher priority than others, and force content providers to have to pay to play. Then limit competition at the ISP level so that to succeed you have to pay a monopoly to carry your traffic in a timely manner.

No need for something as heavy as what you propose.
The fork factor: an academic impact factor based on reuse (and Git forks)
I listened to an episode of Radiolab about 3 "Black Boxes" lately and the first one is about this mysterious threshold in the brain between consciousness and unconsciousness.

Here is the episode if anyone is interested: http://www.radiolab.org/story/black-box/
I'd like to echo to disregard this advice as well.

I work for a company with a lot of young programmers and I recently hired a bright guy in his 30's who decided change career paths.

Do what you love and work on side projects that you will love. It will go a long way in an interview if you can bring us and show off something that you loved working on.
Sharing Your Virtual Machine on the Web with Vagrant Share
What kind of refactoring tools do you get free in eclipse that aren't included in VS 2013 or 2014?
Although I had a lot of work to be done, I still clicked to the end :(
And now the $1.2m funding for Yo makes sense.
Germany building secure data centers
I know, I'm referring to using those built-in functions in place of Flysystem's API. Basically a proxy.
I think the OP video's demonstrated use-case makes xiki preferable to creating a shell script.

With a shell script if I want to run some copy-pasta from a blog post or somesuch then I need to edit to remove non-script parts, then I'm flitting between shells to make edits that will work. Then I use the script, and remove it. All just to run a few commands; copy paste, edit in place and ctrl+enter to execute seems far slicker to me (but haven't used it yet).

Xiki looks great for navigation too.

Currently I use bash/dash (Kubuntu) and the greatest change to me has been discovering ctrl+R (surprisingly recently!) and a couple of scripts that I made/modified following a post on HN that make an archive of input commands and enable me to grep it easily.
After all, USA is the biggest partner of the EU/Germany.
Germany can't afford a dent in the relationship with the
US.

The problem with "They're assholes but we'll let them do what they like because we need them" is America isn't the only country Germany needs. Germany also imports a lot of oil and natural gas from Russia, for example. And lots of electronics and manufactured goods from China.
https://github.com/adlawson/vfs.php/issues/7
<center>-al (central) information maybe? but yeah, i understand why they don't standardise it, but still i prefer a working <center> tag over

{
display: block;
margin-left: auto;
margin-right: auto;
}
Right. Eventually your business grows, you're doing $3M in revenue, and have 8 employees with a total burden of $1.5M. How much will it cost to run with per core fees for various components? Was the ease of use and maintability worth it (at this point, one can start to calculate but it gets murky)? Will it add or subtract from the infratstructure costs? I don't know, but I'm not going to go down a proprietary path to find out.

EDIT: Of course, it always depends on where you are coming from. If you are in a large corp. with MS tech already entrenched or come from that environment, it makes sense (as it seems many are that are weighing in). Or, if you are building to flip, and are most productive in this ecosystem.
>> LKML has very strict rules as it's primarily used for patches the Linux kernel. Other mailing lists, as you may be aware, are not primarily used for software patches, since most human beings, as I would hope you realise but perhaps don't, are not software developers.

> Your point being?

LKML is a poor representation of email users.

>> However: you're arguing that the vast majority of email conforms to your rules

>Please read more carefully.

If you're not arguing that, you're arguing that despite most email not being formatted to 78 character displays, email clients which can't display most email are acceptable, which seems even more ridiculous.

>> In fact, that that mailing list needs to tell people what mail clients to use seems to prove my point rather than your own.

> Mind to elaborate?

The presence of specific mailing list client guidelines indicate that most email is not formatted to 78 character displays, a notion which you were challenging earlier.
According to the article: Doctors, generally, are pretty bad with statistics, though better than most patients.

The bottom line? "A physician is someone who can help you but also someone you need to challenge in order to get the best treatment."

My take is this: Especially if you are savvy with statistics, you should ask tough questions about possible treatment outcomes.
CentOS 7 potential release
Testing Web Apps from the ground up
> "find the directory of the currently executing script"

Did you miss `$PSScriptRoot` ? Can piping that to split-path help you out?

Since PS 2.0 you got to write completely equal cmdlets in PS or .NET there's no different at all anymore.

Your link is dated 19 Jun 2007 which would be PS 1.0, 2 years before windows 7 came out. Were on 4.0 now 6 years later maybe it's time for another look.

I feel your reference experience with PS is out of date. You get to grips with how the get-help platform works PS is amazingly consistent. Where it isn't is busting out .NET.
That´s usually the case if you post poorly written questions, both in content and form, to SO. This is actually a good thing for you, as it forces you to think harder about the problem.

And don´t be afraid of SO users. They are there to help and some slating from time to time is good for your soul :)
The holes in holacracy
Introduction to Signal Processing
I think Sergey was walking Larry's answer back in order to not seem so radical.
Discussion from a month ago:
https://news.ycombinator.com/item?id=7852296
He could map arrow to keyboard.

Also, spoiler: http://superpixelquest.com/164.html
Clicked on first 10, then skipped to 100 by tweaking the URL.

Then jumped to 150 (when jumping to 256 didn't work) and then finished the last few.

Very reminiscent of 1980s adventure games on the Spectrum but my French isn't good enough to tell if that's the point of it.
If these numbers aren't at least a tiny bit exaggerated (which I doubt), let's see how you think about work days like these after 10 years of doing them.
VMWare: vSphere Web Client sucks so bad
I've used XCode and Eclipse before, so I have nothing to compare IntelliJ against.

The debugging experience is the key. The best thing a VS user can do to boost productivity substantially is learn how to use the debugging tools (navigating the stack, using Debug output messages, conditional breakpoints, the immediate window, autos and locals, etc.)

The plugin and extension community is awesome. There are two extensions every (web) developer needs - Web Essentials and Productivity Power Pack. These two are produced unofficially by MS teams as a platform for experimental features that may or may not make it into future VS versions.

Refactoring and code correctness is so much better in VS. Code Analysis, StyleCop, and third-party tools like Resharper make it a snap to analyze and correct code that may cause issues in the future.

This, and the planning tools that TFS gives us out of the box (whether you use git or the tfs vcs) is a boon to developer productivity.

Not to mention the great effort MS makes at backward compatibility. If you created an app in 2006, chances are it'll work on the latest version of .NET without much trouble.
Bitcoin exchange in France shut down by police officers
Very nice for 99 lines. Still a fan of Handsontable :P Jw, any other spreadsheet editors out there?
I believe that Gladwell was merely suggesting that talent is not innate and the difference is somebody's ability was due to the amount of time they put into it.

The top players might have spent several hours on a related field, like what futsal is for football.
With Amazon's KDP, you get to publish 'worldwide' (well, within Amazon's limits) as far as I can tell. I suppose there are other drawbacks, but for someone starting out who doesn't want to deal with that mess, it seems like it might be a decent option.
Cache coherency primer
Popper attempts to do away with induction. He does so by insisting that the only valid form of scientific inquiry is to refute provably false hypotheses. That leaves us with the vague notion of Occam's razor to find out which hypotheses we should go by.

The focus is on rejecting false hypotheses, not on proving correct ones.

Translated into statistics, this gives you p-values. To pretend they're not relying on induction, people test "the null hypothesis", hopping to statistically disprove it.

My point is that, in the absence of another hypothesis, there are an infinite number of ways you can disprove the null hypothesis. In real science, the actual hypothesis is always lurking in the closet, so why not actually model it and compute likelihood ratio?

There is actually a much more rigorous framework for epistemology, it's algorithmic complexity. While it's not practical to use (the most common version is uncomputable), it's an ideal that helps thinking about the scientific method.
“The American Library Association (ALA) opposes any use of governmental power to suppress the free and open exchange of knowledge and information or to intimidate individuals exercising free inquiry…ALA considers that sections of the USA PATRIOT ACT are a present danger to the constitutional rights and privacy rights of library users.”

http://www.librarian.net/technicality.html

https://www.gnu.org/philosophy/right-to-read.html
Looks like a release candidate.

> At this point we have a set of images that we consider release grade, pending final testing, we will move to release these unless a major blocker is reported.
Absolutely agree. I can't count the number of times I've seen some horrendous LINQ thing when a simple for loop would have sufficed, would have been easier to understand, and would have been far quicker.
Non-Souvereignty is largely regarded as a wild conspiracy theory. And really, what kind of evidence is there?

Inevitably, signs of "foreign control" turns out to be some form of competition, cooperation, trade or just plain common interests.

What counts more is that Germans are allowed to say anything they want, there is no evidence of tampering in elections, the press is free and extensive, and people can largely do as they please. Nothing is ever perfect, but claiming US sovereignty over Germay is just plain stupid.