skysight-inc/HackerNews huggingface dataset:
Even if you have had a perfect history of when links appeared you're still in the a rough ride. Furthermore, absence of the that information doesn't invalidate the author's approach (but having it might improve its effectiveness).

As an aside, you have use Ahrefs.com to get pretty decent tracking of when links appeared since it started (I think ~18 months ago or so). Given that the rate of spammy pages is increasing extremely fast and old spam pages are dying off, I imagine that in the not too distant future you'll be able to get decent link history for many sites.
Business Decisions to Help Your Business Stay Afloat
I tend to disagree with you in the sens that Damas-Milner seems to me as the typical exemple of an algorithm which seems simple but actually have subtle implication and trade-off. Robinson's unification which is at the center of the algorithm is already made a bit tricky by quantification as soon as you have polymorphism. Then, some rules have actually deeper implication and trade-off than it seems (especially let).

For people interested in type checkers, there is a couple of really good chapters by written by Peter Hancock in a book available online : The Implementation of Functional Programming Languages by Simon Peyton Jones. They entirely cover the theory and there is a complete implementation in Miranda. Here is the link :
http://research.microsoft.com/en-us/um/people/simonpj/papers...
Mind sharing your config?
OpenSSL hangs CPU with Python v2.7.3 on Windows
Is this really human? DNA tests on six-inch skeleton of 'alien-looking' creature
Improve Your Life #5: Perform a Random Act of Kindness
How Boston exposes America’s dark post-9/11 bargain
I have to ask, do you mean the hash key ? Or the British currency ?
Well, IANAL, but they say they are based on Ireland (in Amazon's EC2 servers), so Irish law (which is a subset of EU law) applies to their servers there.

I'm not sure what they keep meaning by "not safe harbour compliant", since the law applies all the time to all people in Ireland....
Hash key, i.e. #
No more fun and games: Zynga earnings wither as users flee the farm
Nice affiliate code on the book that the author keeps wanting the reader to buy...
I can accept Git >> Subversion and Varnish >> Squid but I'll take you on with sticks and pillows over Postfix >> Exim because that's entirely nonsense, sir, and I WILL NOT HAVE IT.
> implies that your codebase is a steaming pile of shit.

You went slightly overboard there I think.

It's possibly called shame because the style sheet is public, _it shames the author_.
nice use of for loops
Then have a look at Sean Stephenson and his talk about power connecting.

https://www.youtube.com/watch?v=gc0hoPfawuU
Maybe it's a self-referential, insular sense of what's a reasonable rate of expansion? Pensions for them, while the free market searches its sofa for spare change. How do we compete with India, Philippines and the rest of the world? Telecommuting, Bitcoins, the Internet, are we blind to what's coming? Ocean moats become puddles. It's an open playing field, yet we spend like the next Zuckerberg will save our ass. What if Zuck moves to China? http://www.forbes.com/sites/techonomy/2012/02/20/facebook-an...
Is really sequent calculus (http://en.wikipedia.org/wiki/Sequent_calculus) that odd, that you never encountered it in your math studies? I personally find it quite easy to read, with nicely structured proofs.
I wish Chrome would start implementing some of the ES6 stuff (especially arrow function syntax...mmmm): does anyone know where we can see that kinda status?
This is a great idea and to be honest the only time I ever use hacks is when I am adding in compatibility for IE8. I disagree with the !important declaration though. I use LESS for writing CSS and while it's definitely a valuable asset to have, the ability to nest and have super specific queries generated means when you'e writing media queries, you sometimes don't want to have to replicate the nesting and specificities instead of just going .element and using !important instead saves time and space. Why is everyone so against using !important? Sometimes when you're overriding CSS added to an element via Javascript you have to use !important, regardless of how specific you are.

Cool idea, but considering IE8 support is on its way out from developers what hacks are left we need to use? Using overflow: hidden instead of resolving a problem is just lazy, it's not a hack, it's plain lazy. Cool idea in theory and perhaps might have been helpful in 2008, but it's 2013 and browsers are all at a point now where we can use CSS and not have to worry about consequences or support except for maybe browser vendor prefixes.
I find text navigation in Apple less consistent than in Windows. It makes it harder to be efficient :

By default:

- Chrome / TextEdit

⌘ + → = end of line

ctrl + → = end of line

⌥ + → = next word

- Sublime / Xcode

⌘ + → = end of line

ctrl + → = next word

⌥ + → = next word

- Firefox / Eclipse

⌘ + → = end of line

ctrl + → = ∅

⌥ + → = next word

OK I realize now that I should never use the ctrl key for navigation... It's disturbing and useless !

This means you should tell a new Apple user:

For text navigation:

mac ⌥ = windows ctrl

mac ⌘ = windows alt

For pretty much everything else:

mac ⌘ = windows ctrl

Except: ⌘ + tab = alt + tab

He might kill you.
Why build a data flow creative coding platform on the web?
Oberon – The Overlooked Jewel [pdf]
This article presents selected facets of Project Oberon, the latter of [Pascal creator Niklaus] Wirth’s two large system-level design efforts. The leitmotiv of this project was a quote from Einstein, “make it as simple as possible, but not simpler”. And if any further evidence was still needed, Oberon provided the conclusive proof for Wirth’s mastery of The Art of Simplicity.
The inference rule notation is standard within mathematical logic, which is where it comes from. I'm not an expert on the history of mathematics, but I've seen inference rules for example in Gentzen's 1935 paper and I'm sure they are quite a bit older.

I haven't seen a notation that is easier to read than inference rules. Writing them as functional programs can be problematic, as the rules do not always fully specify an algorithm. One judgement may have different derivations. If one writes down algorithms, such as HM type inference, then one does in fact often use notation in the style of functional programming.

Incedentally, rather than abolishing the inference rule notation, there are actually tendencies to introduce them into programming: https://en.wikipedia.org/wiki/Epigram_%28programming_languag... (though it remains to be seen if this is a good idea)
> Technically, [Let] is redundant because it is a combination of [App]+[Abs] : let x = e1 in e2 is equivalent to (λx.e2) e1.

This equivalence does not hold in the HM formalisation.
It's well explained in the Wikipedia article :
http://en.wikipedia.org/wiki/Hindley-Milner#Let-polymorphism

[Abs] is monomorphic while [Let] is polymorphic. Using the Wikipedia article exemple : \f.(f true, f 0) will not be typed while let f = \x.x in (f true, f 0) will be reduced to (bool, int).
As Radim noted, there might be better approaches to using SVMs. One example may be Restricted Boltzmann Machines (see Hinton's google tech talk [0]). Some folks have tried using them to detect spam (or at least using RBMs as a part in another architecture), achieving better results than SVMs (they actually did a proper comparison). [1] [2] Might be something worth to be looked at ;) At any rate, RBMs are rather fascinating, I also plan to try experimenting with them when I have time.

[0] https://www.youtube.com/watch?v=AyzOUbkUf3M

[1] For a general overview of the study, here are its slides (pptx): http://users.cs.uoi.gr/~gtzortzi/docs/publications/Deep%20Be...

[2] The same study in full (pdf): http://users.cs.uoi.gr/~gtzortzi/docs/publications/Deep%20Be...
Show HN: Realtime UI Application Customization Framework for IOS
This looks like a winner to me! Don't have to spend ages looking through images trying to decide what's 'right' for me. Big fan of single button solutions! :) :)
I think in practice you could just do this with encapsulation - i.e. you'd create channel objects and yield on them, instead of assigning handles directly to tasks.
Or you build on a narrow isthmus:

http://en.wikipedia.org/wiki/Ring_of_Brodgar
tl;dr You left Heroku because they run on EC2 which uses too much power in your opinion, and bought a VPS from a green host and set up your own webserver.

Seems to me a bit more like a statement about EC2 datacenter power consumption relative to other large companies than actually migrating from Heroku to another platform.
It's not that overflow: hidden in itself is a hack, but it's application to counter collapsing due to floats. Already in the first paragraph, your link states that float containment is a side-effect.
While I do use it for this exact reason, it leaves a bit of an aftertaste. And when it comes to css, isn't that the definition of a hack?
Jobs, Gates and so on are all referred by their surname in formal writing. Take this example from an American new site: "Mr. Jobs will become chairman, a position that did not exist before. Apple named Tim Cook, its chief operating officer, to succeed Mr. Jobs as chief executive."[1]

Some of the less formal publications, such as Wikipedia[2], might drop the title (and as I had also done above), but it's generally considered improper to use first names in reporting.

[1] http://www-nc.nytimes.com/2011/08/25/technology/jobs-steppin...;

[2] http://en.wikipedia.org/wiki/Aaron_Swartz
For anyone doing Coremetrics dev: A tool for Chrome.
I got really tired of being tied to the official Coremetrics tagbar (and it's limitation to Firefox or IE), so I made this. I use it every day now. Enjoy.
Of course what is "easy" to read is always up to the individual to a certain degree. But this notation is used nowhere in math outside of logic. That should tell you something :-) Also in modern logic that is actually used in interactive proof assistants, this notation actually is not present any more, but then reintroduced when you write a paper about what you did!
Ubuntu 13.04 Raring Ringtail Released
The hidden pipe key is also annoying.

And the [ key, and the ] key, and the { and } keys. etc. etc.
I know this is a totally shameless post, but I am not asking for any money. I just hope this benefits some other developers.
> Irish law (which is a subset of EU law)

Shouldn't that be "superset"?
I think most people forget that Cleopatra was of Greek ancestry (being a Ptolemy) and a player in the relatively recent classical world.
I don't know about psychological literature, but in common usage where I'm from, "guilt" is what you feel when you know you've done something you shouldn't, whereas "shame" is what you feel when you believe others either do or will frown on something. In that context, I think "shame" is more appropriate — essentially, it's a collection of code that brings some degree of shame to the project, not code that you should feel guilty for writing. Think, "It's a shame I had to resort to this."
Erlang Fprof Output Confusing? Try KCachegrind.
I have those keys, how is it that they are hidden on yours? Special characters due to language?
Isn't this sort of notation used in Coq, at least when it displays your current goal?

Admittedly, it's an ASCII bastardization of the notation, but it's the same idea.
Internationalization for in-browser applications
Seclore Tech raises $6 million in VC funding for expansion
This is nice for larger funds to do, with fatter management fees. Smaller funds, not so much so.

There's not really a structure to take it out of the fund commitment, so this comes out of management fee. Smaller funds don't have this luxury though - if you're running a microcap fund, you simply don't have $250k free in your management fee budget for something like this. That's the salary for another partner really.
Sounds interesting. Really want to give a shot.
I don't like the notation, because there are usually a lot of implicit assumptions made for each particular set of inference rules. In order to understand the inference rules, you usually first have to understand what implicit assumptions are made in the current context.

In the current example, there is just no need to write Hindley-Milner in this notation. Using pattern matching and sets will do just fine.
Yeah, CS programs vary. At a SUNY school about 8 years ago, my experience was that it veered slightly more towards the practical, at least to the extent that we spent relatively little time with complex mathematical notation as we learned CS concepts.

Except for basic stuff like set theory and Boolean logic, math was for the required math classes.
Sorry, already running on EC2 by now...
Interesting, mine focused very much on higher level stuff like predicate logic and set theory.
Ha! I think you'll find that's a matter of opinion.

Personally, I loved studying CS (my degree was in logic so I straddled the worlds of Math and CS). It's a topic I find infinitely interesting.

Having siad that, Engineering is also very interesting. All the CS theory in the world isn't going to save you when you're trying to complete a large system full of lots of moving parts - many of whom are developers :)
Interesting, but can't all pre-orders be thought of like "buying a reservation" ? You don't pre-order a book, you're purchasing a place on a list which will be used to determine who gets the first books.
My personal favourite is http://wallbase.cc, but since that's already been mentioned, http://www.desktopography.net is also worth checking out.
Netflix' $3.3 Billion Off-Balance Sheet Liability
Design hacks - just enough design for an MVP
The proper desktop keyboard has a forward delete key, it's just the laptops (and BT keyboard) that have to make do with [Fn + Del].

The Alt-Tab thing for apps gets on my nerves as well, and I've been a Mac user for ten years now. However, it's easy to go into the Sys Prefs and change the default key shortcut for that to something reasonable. The functionality is already there, it's just hidden behind an obscure key binding.

Cycling through buttons in dialog boxes works with the Tab key. The first thing you need to do when you get a new Mac is to go into System Preferences and enable nav keys for all UI elements, it's a single checkbox.

The defaults on the Mac are a disaster, you'll have to revisit pretty much every single preference pane, but it's worth it.
Soluto Best Performing Windows Laptops
This is from 1 year ago (2012-04-26), not today (or tomorrow, depending on TZ)...
That depends on whether it's a personal handle or a public alias. eg an IRC nick on a private channel would be no different to their first name or a real life nickname amongst their friends. However a public handle like dmr (in the case of Dennis Richie) is -in my opinion at least- little different to how recording artists and actors often choose a pseudonym (eg David Robert Jones uses the stage name David Bowie)
Check the Chromium blog and their bug tracker.

If this were implemented, it would be hidden behind the experimental JS flag anyway.
Apache 2.4 has reduced memory usage, are you sure this still applies? Nobody is forcing you to use mod_php, in fact I'd say it's obsolete. I use PHP-FPM.
Well, of course the logic notation in question is used in mostly in logic contexts. In the same manner, as a student of logic I will not come across special notation from analysis.

Although I am not working in that area any more, when I used interactive theorem provers the one I used mostly would present the proofs in Sequent calculus. It showcased a nice connection between the logical framework and a small step operational semantics reading of te formulas.

In my view, it is important to understand the reasons for different fields choices of notation; it typically reveals interesting things about the fields in question. When starting out learning a new field, it often seems strange and un-intuitive, but after a while one starts to recognize that there are many valid reasons for why a certain style of notation is used. Of course, sometimes it is just an accident of history, and bad choices stick around :)

I've hopped around quite a bit in my studies (semantics, formal methods, operations research, theoretical computer science, pure algebra, logic), and I always feel overwhelmed with new notations and concepts. Nowadays I tend to expect it when trying to learn something new.
Correct me if I am wrong (or naïve), but wouldn't the US Supreme Court strike down a law that violates the Constitution, or at least invalidate it? How can a law apply that violates the Constitution?

As far as I know, the only thing that repeal or limit an Amendment is another Amendment.
I don't mind writing instead of A => B => C the following:

A
B
----
C

I just hate pressing everything into this style.
Richard Branson on Elon Musk (Time 100 - 2013)
That's how it's supposed to work, but it's entirely contingent on nine specially-chosen people seeing it that way.
ready and primed to purchase my ticket very soon!
Job hunting experience (and few advices)
Ha! Jokes on ivy league! I only applied to UCs! But yeah I often hear lots of my Asian friends talked about changing their race. Like if they're half white they would rather put white down. I joked about being blackanese.

Wow, good for Cal tech though, non race specific admission likewise for the UCs.
I have the hash symbol on my 3-year old USA MBP (shift-3). Why is your keyboard different? Why do is it alt-3 instead of shift-3? (Is it your country or age of laptop?)
The future of KDE: Wayland, Qt 5, uniform Plasma shell
Huawei is giving up the US market
It isn't right. What it is is humiliating. And humiliation is the entire point.
Nice catch, thank you! I've updated the article and gist with your correction.
I assume "Magneto" is in fact "Magento".
Wow! These are bookmarked worthy websites. Cool especially the Paranorman and My Life in 20 Years. :)
Wouldn't an easier solution be to re-balance the SAT? Or to follow the french/british model, and add competitive exams for admission to the most prestigious universities.
It certainly does. On my system, the whole syntax is highlighted a sort of off-white against a black background.
Man Convicted of Hacking Despite Not Hacking
Internet which poses no immediate physical threat to anyone, heavily monitored.

Guns, gun sales, nada. Massive loopholes in background checks, no monitoring, no database.

Boston "terrorists" were on watch list for two years, bought guns and explosives right out of stores.

ps. url clearly shows /2012/04/26/ but always a good reminder

I mean congress just voted back insider trading for themselves without penalties, who is watching these people?
In all the cases, not a single patient had been given CPR prior to our arrival.

There's your killer factor right there... The article did talk about people receiving CPR right away from a bystander. And that was the case of my colleague's mother too - they were sitting at the dinner table together when his mom's heart went into cardiac arrest, and one of them had been trained to do CPR.

It sounds like CPR is absolutely worthwhile, based on the statistics you quoted - there's a 10x or more improvement in success rate from immediate CPR. However, that CPR needs to be immediate. The obvious conclusion is that more people should be trained in CPR techniques.
I love Cursive!

... now if you'll stop being so cheeky about what you're up to, I'd be more inclined to give my email :)
Who will be upgrading from 12.04? :-)
How to Go Bankrupt
"The majority of French noblemen were cruel drunks."

The feodal system held together for about a thousand years in France. Give them a tiny bit of credit.

Also, insulting generalisations about a vast group of people doesn't do the rest of your arguments any credit.
The media coopted the term hacking to mean cracking or breaching the security of software or a system.

The good news is that the original meaning of the term hacking/hacker/to hack seems to have regained popularity in recent years.

You probably weren't the only person to think what you did but by reclaiming what is truly ours we can win. Note also that you are reading a site called 'hacker' news.

Personally I make it a rule never to use the term 'hacker' in the media coopted sense.
It's a strange approach to ui customization. Should check it out.
The Fourth Amendment is in considerable trouble these days.

http://fourthamendment.com/blog/index.php?blog=1&title=s... is a good but depressing overview.
Well, that's pretty damned cool.
She was lucky because there was someone who could administer CPR sitting right next to her when she went into cardiac arrest. They were unlucky because the first CPR they received was from the paramedics.
Maybe. But since US doesn't have a Constitutional Court, and only a Supreme Court, it could take a decade or more before the issue is even brought up, and then accepted by the Supreme Court.

In that time the government could do a lot of damage with one law, and when the law is threatened to be declared unconstitutional, they'll just argue for how "useful" that law was in catching criminals, terrorists, etc. It's been done before.

Look at FISA. NSA gets a "general warrant" (notion that hasn't even been criticized much yet), to spy on everyone that talks to foreigners online or on the phone...which is what, 90% of the US population? The loophole is incredible. Yet the Senate rushed it through with no debate, until 2017. And then they'll try to rush it through again.
Governments, responsible for more deaths than heart disease and cancer combined. Nothing.

https://en.wikipedia.org/wiki/List_of_wars_and_anthropogenic...

Edit: You added the question "who is watching these people?"... Do you think that loss of accountability might coincide with increasingly inequitable access to the practical and proportional means of defense against threats to private property and an individual's physical safety (ie, the right to defend yourself, not just plead for the help of a third party)?

I agree with you that the current situation is a subject for comedy:
http://boingboing.net/2013/04/24/tom-the-dancing-bug-usas-gu...
I'd imagine most people on 12.04 will stick with it until 14.04 comes out. 12.04 is an LTS release, and is supported for 3-5 years from the release date where 12.10 through 13.10 are normal releases, and are only supported for 9 months from release.

However, anyone on 12.10 should be able to "do-release-upgrade" and upgrade themselves to 13.04.
Orangutan from Borneo photographed using a spear tool to fish [2008]
The roundest thing in the world
Which is why life expectancy at birth was actually in the 20s:

http://en.wikipedia.org/wiki/Life_expectancy#Life_expectancy...
Now what about releease notes? :-)
(edit: some information is here https://wiki.ubuntu.com/RaringRingtail/TechnicalOverview )

Currently i am thinking of switching to LMDE (Linux Mint Debian Edition) because i don't really like the way Ubuntu is going with Unity, Mir, upstart, doing too much stuff on its own.

Anyone with experience from LMDE here? Is it stable? Pros? Cons?
Have you got an example of a more sane and easier to understand notation for type inference rules? I find the horizontal-bar notation quite readable.
A form handling library Flask-WTF had CSRF handling enabled by default.

http://pythonhosted.org/Flask-WTF/

This page outlines some further security considerations:

http://flask.pocoo.org/docs/security/
It does feel slightly odd to (finally) have arm listed as an available architecture for the images. And I say that as someone who has run Ubuntu on my "Android tablet".

I guess I'm just not yet used to "proper Linux" being something you can download for embedded-type architectures and devices without heading to XDA first.

Still. Definitely Good to see Ubuntu expanding support to the sort of devices which are actually new and interesting.
I've been using it for a month and haven't regret a single second of it. by the way, Nexus 7 and other MTP device users: plug your device in and enjoy full read write support by default :)