skysight-inc/HackerNews huggingface dataset:
So Firefox does support multi-processed tabs through Electrolysis (its IPC layer). From what I understand this is used primarily on Firefox OS to sandbox app runtimes.

Doing one process per tab, which is what Chrome does, comes at a very steep cost in increased memory usage. If you compare a Chrome and Firefox instance holding 20 or 30 tabs, the memory consumption is going to be dramatically different.

Bill McCloskey did a nice writeup on this back in December: http://billmccloskey.wordpress.com/2013/12/05/multiprocess-f...

His article explains how you can try out the experimental multi-process support in Firefox, but that it works differently to Chrome's. I think Chrome's way of doing it wastes a lot of system resources and that we need to be more clever about how we spend a user's system resources.
Functional orgami is hella hard to debug. Their is a reason functional programming relies so heavily on equational reason and pure FP relies heavily on static typing: the alternative, actually debugging programmers, is so painful that you just want to avoid that at all costs.

A loop is way easier to debug than a filter or a map, you just step through it. Who cares about code length? Haskell doesn't become a usable language until someone comes up with a decent dataflow debugger, if that's even possible.
That graph is something else. Interestingly if you saw that for an athlete today, how many people wouldn't automatically assume drug use?
Alimay Sports | About Us
Sperner's lemma feels very much like eBay's proxy bidding - you put the maximum you're willing to pay in, and eBay will bid up to that value and not over.

And then with ten minutes left, you go back to the auction and start desperately typing in higher and higher numbers because you have to have teh shiny, rationality be damned.
Ask HN: What can I do with unwhiteboard.com?
I was inspired by this post https://news.ycombinator.com/item?id=7520216 a while back and decided to turn it in to a service where you email whiteboard photos to an unwhiteboard address and receive a processed clean pdf in return.

I created it because I thought it would be fun. I don't see it as something that I could turn in to a service that people would pay for.

My question is what now? I did a Show HN yesterday with not much response. Where else could I try get some users for this? Or perhaps this is a solution to a problem that does not exist.
Finally, the javascript decodes to something like this http://pastebin.com/13HrVgBr
The 10 Commandments of Typography
I've seen something like this before. They tend to go after index files and javascript files.
This is fairly straightforward ratware. Is there anything in particular you wish to know about how it operates?

browser.php is an amusing one for reversing obfuscation tricks, if anyone wants practice.

You should treat the server as compromised and rebuild from metal, by the way. I know that is annoying as heck but they clearly got code execution and you can therefore assume they had root if they wanted it and that any attempts to detect whether they did are useless because their rootkit makes the box lie to you about its current state.
X-Men has/had (I haven't read any story-lines from the last 20 years or so) length arcs where the animosity from government is split between fear over mutants and anger over the destruction, and where a lot of the fear is driven by the massive amounts of collateral damage.
Computers are formal systems as much as an alternating electrical current is a complex number, same with programming languages, even though both programming languages and formal systems can be viewed as abstract entities. Technically speaking all that can be said is that certain programming languages can be models for certain formal systems, and there is a big difference between being a model for a formal theory and something simply being only a formal theory:

http://en.wikipedia.org/wiki/Reification_%28fallacy%29

Programming language designers of most popular programming languages have no clue about neither denotational nor operational semantics and make use of no formal theory whatsoever.

Anyhow, I do not deny the importance of various kinds of mathematics for programming, in some selected places and in the sense of writing programs that do mathematics. I am saying two things:

- The attempts so far to turn programming itself into a single mathematical theory have failed miserably. Can you name one really important algorithm that was discovered by doing derivations in a formal axiomatic theory of programming? There is the "Algebra of programming" theory by Bird, the "Elements of programming" by Stepanov, but nothing particularly striking seems to ever come out of it, only proofs of things we already know.

- There are hundreds of aspects of programming that have nothing to do with mathematics and turned out to be of far bigger importance than finding effective means of formal correctness proofs of programs. To give one example, programmers have to work in teams with the size of problems we are dealing with today, something the formal methods people never seemed to address much, and issues with communication and coordination cause much more problems than simple logical errors in algorithms.
More often than not it is lack of any methodology, patterns or best practices.
>> It's ridicioulous that people need to be afraid to release stuff but sadly enough this is the case.

I'm conflicted on this. The MPAA abuse their power regularly but it's hard to deny it's now easier and cheaper than ever to access and watch movies. That takes away a lot of the justification for piracy and creating tools that facilitate it.

Edit: And here come the down votes. Don't down vote if you disagree with someone - reply. If they add nothing to the conversation then down vote.
The Neovim development path -- by design -- had no chance of upstream-downstream merges. It is a departure, not a premature mistake, but a decision.

The code had to be re-factored to let the community in -- the Vim code is a horrific legacy cruft-fest that terrifies even the most brave developers. But it is a historical working one, which is hard to argue with -- look at those styling commits, they are wonderfully sane.
Meh. I don't mind it, and it drives some of my eCommerce sites through WooCommerce. Nothing huge of course, but annual sales in the six figures. It's not that bad, really.
Googling the comments is always interesting to do. Unfortunately they don't lead directly to the actual source this time.

I find it fun to reverse-engineer these sorts of things when I have the time; it's almost like a multilayered adventure game.
Yeah - I have "unlimited" data (I'm averaging about 8GB/month) but only 1GB a month of allowed tethering. Once I go over that 1GB, it stops working until the next billing cycle - other telcos do things like cut the bandwidth to a trickle or only allow it off-peak.

Consumer laws about fine print appear to have no teeth when it comes to UK mobile telcos (who e.g. are legally allowed to advertise 1GB a month as "unlimited")
"Fourth Tier LLVM" JavaScript JIT enabled in WebKit Mac
I'll see that when I believe it.

Counterproposal: there are two primary modes of advertising.

1. Brand awareness and signalling. The key element here is ubiquity, that is, the extravagence of your ad spend is the message, and the waste is the key part. The message transmitted is "this is a solid, reputable, and highly profitable brand".

Or in the words of Davis, et al: “It is not so much the claims made by advertisers that are helpful, but the fact that they are willing to spend extravagant amounts of money on a product that is informative.”

Not my idea, it's from Don Marti's "Targeted Advertising Considered Harmful":
http://zgp.org/targeted-advertising-considered-harmful/

2. Detecting intentionality and delivering optimality.

There are relatively few times when I'm actually receptive to online advertising. And at those times, I run into the obverse problem: the content presented is copious but the information presented is sparse. Most critically, I've yet to encounter an online shopping or search interface which can perform the primary function of a semi-competent sales clerk: to register what I don't wan't and am not interested in, and provide me with a "dismiss with extreme prejudice" option.

Stop showing me chargers when I'm looking for a cheap laptop. Stop showing me deck chairs when I'm searching for a desk chair. Stop showing me low chairs when I'm looking for a drafting chair. Stop showing me backless stools when I want one with a back on it. Etc.

Or: Why don't search engines simply ask for the appropriateness of a given result and modify the result set accordingly?

Addressed in greater length here: http://redd.it/24107v
Given how much money is at stake, I don't think the telcos are daft enough to let simple faked headers defeat their tethering detection systems.
Enjoyed the presentation, a link to the slides[0] would have saved some googling

Is this: https://github.com/hannestyden/hyperspec the HyperSpec you refer to?

[0]: https://speakerdeck.com/johnsheehan/building-api-integration...
Corrected links (here because HN is no longer allowing edits to the original):

Junk Mail's Endless Summer: http://www.huffingtonpost.com/todd-paglia/junk-mails-endless...

Second link, seems to simply have disappeared.

Snail Mail Spam Subsidies Stuttering Towards A Stop: http://www.the-american-interest.com/wrm/2011/09/08/snail-ma...

Found another link in searching for the new URL's of these three: Subsidizing Junk Mail in the Great Recession: http://www.huffingtonpost.com/todd-paglia/subsidizing-junk-m...
Really? In my very primitive tests, Route53 is considerably faster than Cloud DNS. And DNS Made Easy is faster than both of them.

Personally, DNS Made Easy is my favorite provider by far. Extremely fast, reliable, and priced very well. Plus, you don't have to deal with a sales guy unless you really want to.

I love it when Dyn or other big providers try and woo me. Thousands of dollars a month for DNS? Bahaha.

robert
In this case the user who gained access to the database was seen as doing it for a reasonably "noble" reason, relatively speaking (to find information about another user whom some disliked), so from what I can see there hasn't been much backlash against him even though his full name was posted in a few places. It was kind of a self-hack.
There's pretty good evidence that there were subtantial Saxon and Frisian settlements in Britain before the Hengist & Horsa incident. The old idea that the Saxon shore was actually an "anti-Saxon shore" still has some adherents, but to say that it is being reconsidered is something of an understatement. And Bede's account (and similar stories of the era) fail to explain why Old English had a much closer resemblance to Old Frisian than it did to Old Saxon, or why Celtic monuments disappeared from the southeast of England long before the invasion was supposed to have occurred. Yes, the Germanic peoples pretty much displaced the Celtic outside of Wales, Cornwall and the north of Scotland, but the story as most of us learned it seems to be horribly oversimplified and "heroed up" (with the Frisians largely edited out by Saxon-descended writers).
> Programming is like building a bridge.

Not quite. When you build a bridge, you'd better doing according to spec, or it will collapse. The specs better be sound according to the known (mathematical) laws of physics, or it will collapse. Lot's of theorems to use, and lots of proving your design is sound.

Software is often more lenient, and as such less mathematical than bridge building.

But that doesn't help my point.

How would you go about proving a mathematical conjecture? You think, you talk to colleagues, you try approaches, you design tools (notations, programs that do math…). That's less formal than you might think. Heck, the proof you provide in the end is often not even machine checked! Coq users are often more rigorous than the most die hard mathematician in this respect.

Just like software writing and bridge building, the process of doing math is not mathematically formalized. In that sense, there is a lot more to math than math.
>> "Imagine if Universal embraced Popcorn Time and called their fork "Universal Popcorn Time", and modified it such that their catalog was entirely available. They'd have a real chance against the iTunes/AppStore/Netflix's of the world."

What? iTunes, AppStore, and Netflix are stores. Universal isn't competing with them and doesn't need to. They exist to sell Universal's content.
Take a look at DNS Made Easy.

robert
It's not the "I, Robot" books, it's the quadrilogy sometimes called the "Robot" series (confusing, I know). "The Caves of Steel", "The Naked Sun", "Robots of Dawn", "Robots and Empire".

These are without a doubt my favourite of Asimov's books :)

Earth has evolved to a point where the population lives in Cities (capitalisation is important!) -- massive, hundreds of square miles completely enclosed with no outside areas at all. They might as well be space stations.

Transit within these cities takes place on 'strips' for local transport -- think of them as 'lanes' on a freeway. The first strip you step on to is an acceleration strip (onramp), which gets you up to speed to then step onto faster strips.

There's also an "Expressway", which is basically a metro, which you step onto from the fastest strip (I think there is an acceleration strip too) which takes over when you want to go longer distances.

Then for even longer distances you have aircars (planes!).

It's a really good system, but only for highly, highly urbanised areas. I think there's only 2 or 3 cities on the planet at the moment truly dense enough. New York, and perhaps central London.
I'm still using BASIC. I use it to teach my 6 year old son (and his 3 year old brother) to use computers. We have many, many solid quality hours as a team, huddled around my still-working old 8-bit machine, typing in programs, playing existing games, and so on.

The old 8-bit machine is the only system in the house that I can reliably leave my two boys with, knowing they won't get up to any mischief (no Internet!) and which they can fully control, themselves.

I'm constantly having the thought that its sort of a travesty that 8-bit, low-power machines like this are out of style - they're still highly useful machines. And I'm pretty sure my kids will know how to push pixels before most of the other kids in their social group even get their first XBox ..
I don't agree with this. Usually, the typing does half the debugging for you and when you have a real bug (as in, the program does something but not what you intended), you debug at the reasoning level, not at the "is there an overflow here?" level.
Those ungodly edge cases are what makes vim usable everywhere, and the default of the defaults on so many systems. That trusty vi command that works a certain way has been dependable since the late 1970s.

But, that misses the point of Neovim a bit -- Neovim is about letting the community in (with all the good, and bad that comes with that). I suspect most people won't shift over to Neovim until either (1) They want to actually contribute something and find Vim proper far too daunting, or (2) because of the entirely new plugin model, some amazing plugin is only available on Neovim and it drags them over from Vim.

The Neovim plan seems to be "in months to gain momentum, in years to gain trust" -- which is really the only way you can do it.
> no new content would show up on PT

This does not logically follow from your argument.
Run time and runtime are quite different in usage (the former is a time, the latter is a piece of software).
For some time now, Apple have been working on using LLVM as a fourth tier JIT. For those not familiar with the concept, the modern JS JITs have a series of tiers optimised for different workloads. e.g. JavascriptCore starts in an interpreted mode (low compilation time) and when a function/loop is invoked enough the code is compiled under the baseline JIT for higher performance. These tiers are documented at: https://trac.webkit.org/wiki/JavaScriptCore

The FTLJIT is documented here https://trac.webkit.org/wiki/FTLJIT and as the name suggests, converts the JavascriptCore internal representation to LLVM IR, and then uses LLVM to generate machine code. As documented on the JavascriptCore wiki page, it will be used for functions invoked thousands of times or loops traversed tens of thousands of times.

This is Mac only for now, and requires extra work for e.g. Linux or Windows support: https://lists.webkit.org/pipermail/webkit-dev/2014-April/026.... So - anyone built this and done some benchmarks?

As always, if you're interested in LLVM, Clang and related projects you should subscribe to my mailing list http://llvmweekly.org and follow @llvmweekly on twitter.
After dealing with quite a few hacked wordpress sites. My general advice is to install something like afick on site creation.

http://afick.sourceforge.net/

Then you do have a reasonable idea of what's actually been modified after the fact.
>>And no, Javascript isn't the answer.

You're right! Lua is the answer. And so is LuaJIT! :)
Several years ago my parents' AOL account (with a very poor password) was compromised. This was a legacy account, now free, but which had previously been a paid dialup account.

Attempts at recovery failed. Memory's a bit hazy, but whatever security questions were in place, if any, didn't work. The credit card number that had been used to pay the account was long-since forgotten.

Contacting AOL directly got nowhere.

The upshot was that we had to simply switch to a different account (and service), change contact information, and hope that nothing critical might be sent there inadvertently.

It does raise the issue that identity on the Internet is a difficult thing to establish and prove, or even retain.
Bathrooms are the most prevalent form of gender segregation on the planet, and they must have easily-communicated disambiguating symbols to work as such.

I think it's perfectly reasonable to consider them a prevailing example when discussing a thread about gender-identifying symbols.
Me: Oric-1 (also 48K) with a better BASIC than the ZX Spectrum!

I still have this machine, and its still being used (by my kids).
Seth's Blog: "I didn't have time"
Great to hear of another Oric-1 user! :) Did you know its still getting software written for it? (Please tell me you didn't already know about http://forum.defence-force.org and http://oric.org .. in case you didn't, and you loved your Oric-1 like many of us do, then you're in for a great surprise..)
How much stress would radiation outside the Van Allen belts add?

(I could probably find this out myself, but it was quite a few years ago. I assume a sheet would be damaged by gamma?)
In the same spirit, you should check out LOAD81 (from antirez, the redis guy):

http://github.com/antirez/load81

Really wonderful toy!
> Edit: The moderation on this is baffling. Does anyone genuinely believe users want to customise to achieve reasonable defaults?

They might find your position unreasonable, and your absolutism not contributing to the discussion.

It's absolutely not given that Chrome's behaviour is the "reasonable" default.
Design, front-end, Ruby development. As of 30/04/14 it's £400.
It seems like a lot until you take into account a woman of middling weight wearing high(ish) heels, which (when in good condition) often have a "footprint" of about 1/16 of a square inch (and much less if, as is often the case since the lift material doesn't last very long, the heal has been worn through to the pin).
James Lovelock reflects on Gaia's legacy
Just wanted to say that I wrote the 2nd article you mentioned, and I fall more into the category of "engineer that just wants to play with things" rather than "run a mission-critical business", so take my article with a grain of salt. Thanks for the good summary!
> That's true. So it's even more important to retain them by having sensible defaults.

What's sensible about mixing three things (location, history and internet-search) into one location?

In Chrome I can't find anything in my history because the browser starts searching the internet instead. It's a horribly frustrating user-experience.

Which you cannot even customize. In Firefox you can customize the behaviour. I know which browser I prefer.
I am convinced that Vim's greatest asset and risk is Bram Moolenar. Bram is a talented, experienced developer, and I commend him for creating Vim. But he is the only person with write access to Vim's codebase. The primary author of NeoVim is Thiago de Arruda. Thiago tried to work with Bram, but was rejected.[1] Patches similar to Thiago's have been proposed before, but were also rejected.[2] It is for this reason that Thiago has forked Vim, and I wish him luck.

It's important to remember that everyone involved is trying to improve Vim as they see it. I think this is a prime example of how the benevolent dictatorship model can fail.

1. https://groups.google.com/forum/#!topic/vim_dev/65jjGqS1_VQ

2. https://groups.google.com/forum/#!topic/vim_dev/-4pqDJfHCsM%...
> Programming language designers of most popular programming languages have no clue about neither denotational nor operational semantics and make use of no formal theory whatsoever.

That may explain why so many of our popular languages have several glaring flaws. Java doesn't support tail calls dammit! We had to wait for scheme to finally have lexical scope! C++ is impossible to parse!

> The attempts so far to turn programming itself into a single mathematical theory have failed miserably.

Wait, what attempts? I've read many Haskell papers, and did not stumble upon such a thing.
I am beginning to think time4popcorn might be the NSA! :O
Is the following talk by Simon Peyton-Jones in OSCON 2007 lost?
Here's a link to dead links of the talk:(http://www.haskell.org/haskellwiki/Video_presentations#Introductions_to_Haskell)

As I undertand in the talk he uses Xmonad code as an introduction to Haskell.

It seems that the links return 404, and good 15 minutes on google didn't turn up anything. Maybe anyone is aware of backups or something like that?
At various times, books, e-books, and kindle fires.

Amazon actually shifted the pricing on books and e-books by selling them at below what they were buying them at for prolonged periods of times, and drove rival book sellers out of business by doing so... and then didn't raise their prices.
3 Common Questions about T-Shirt Design and Copyright Law Answered
T-shirt designer must read.
Only a bit of math goes into building a bridge, though. It's not like the construction workers are continuously solving differential equations. Even when the specification is being written, math is just a tool to deal with constraints that are not identified using math. Quite similar to programming actually.
How to Create textarea into a rich content/text editor using jQuery
The PHP Shell Detector has a large DB of shells that it can help you identify: https://github.com/emposha/PHP-Shell-Detector

As others have noted, a compromised shell can never be trusted again and you should re-deploy from scratch.
It's even easier to think juggling is about catching, while it is entirely about throwing.
Secure Introspected tunnels to localhost
"Monads: fitting square pegs in round holes since 1991"
It's obviously American centric because American media has been dominate at a global level for decades. That's the reason so many people know who eg Tiger Woods and Jordan are: American media made them famous to a degree far exceeding their accomplishments. The same holds true in music, movies, tv shows, and so on.

Jordan was widely regarded as one of the most famous people on earth for 15 or 20 years. His name is even more famous than his picture. I don't think there's much debate to be had about his global fame frankly. As basketball globalized rapidly in the late 80's / early 90's, it was his image intertwined with it, and it perfectly coincided with the rise of global media.
I have specifically mentioned two such attempts.