skysight-inc/HackerNews huggingface dataset:
Elementary Analysis: The Theory of Calculus by Ross

IMHO very easy, introductory book on proofs and basic analysis. It's not a novel, you will need some effort to think through exercises.

Getting through this book is like unlocking GODMODE on the first 2 years of college math courses (Calculus mostly).
I've been memorizing parts of Ruby with this method while reading "The Well Grounded Rubyist." You can import all my Ruby flashcards into Anki. Hope they help. Please email me if they do (email is in profile).

https://docs.google.com/folder/d/0B_WU5GXujPOVSl9WajFaaWlCTG...
> it's probably possible to encode some of the stack semantics into the type system, making running a program with too few or too many elements left on the stack a type error

Indeed, Factor does this. In addition to checking for stack (over/under)-flows it's what allows really powerful behavior like the ability to say "run both these words with the current stack" without having to explicitly state how much of the stack to duplicate.
If you're concerned about code theft, you can always just use a minimizer. That usually obfuscates your code beyond readability.
"Because they were granted to them as a right in order to justify having to string cable into homes to deliver a product that was nascent at the time in many communities."

I'd be willing to bet that the initial capital cost of stringing up the nation with cable TV cable has been recouped. Time to end the monopolies.
a desk on the internet eh ? Sounds like an interesting concept, care to elaborate?
If anyone interested I can sell my never-used startup domains.

- sciplex.com/info/org/net 12 years old, pagerank 2

- arsua.com
Infinite scroll annoys me, period, too, but for entirely different reasons (ones that aren't going to change with improving network infrastructure, more related to ComputerGuru's reasons).

When I start browsing the sort of page that web developers are prone to applying infinite scroll to, I usually begin with a sort of semi-subconscious assumption that I'll just read down to the end of the page, or just the first N pages (for some smallish N) or something. I start doing so, but for a while don't realize that I'm never going to reach that point because the page is continually growing as I read it, and thus lose my way of quantifying (admittedly very vaguely) how much time I've wasted^W spent on it and where I should stop. My usual solution is to hit the "end" key (or its moral equivalent) and scroll up from there, ignoring whatever loads beyond that point.

Now from the developers point of view this may be a good way to get me to spend more time on their page, but if they're actually "gaming" me like that, it really just makes it enormously more obnoxious than it already was to begin with. Gaming intended or not, it strongly disinclines me to continue visiting the site in the future.
> once you start drawing lines

The act of living in a society involves the drawing of lines and without those lines you don't have a society.

The difficult question has always been where to draw the line?
Alexander the Great and Aristotle
Setting up LIRC on the RaspberryPi
And then regularly threatening to remove that funding as they developed competing technology.

Google is not Mozilla's friend.
Google is not flat, and was the best company to work for in 2012 [0] because of how happy their employees are. In addition to meeting your made up measurements, significantly more people associated with Google have become richer than at GitHub; Google has made billions more money than GitHub; Employs more people; has more products; etc; etc; etc.

Flat works in small companies. It is impossible once they get above a certain size. They cannot be "more successful".. because they will eventually need to restructure as they grow larger.

[0] http://money.cnn.com/magazines/fortune/best-companies/2012/s...
IP law has everything to do with GMO: do you think Monsanto is going to let you collect seed from your GMO crop to plant next year without paying them a licence for the genes?
Do most stylists find appointment scheduling tedious?
Notably, it does not mean what the logical grouping of those words would mean: "begs for the question to be asked".

Of course, I believe I've seen "begs the question" used correctly exactly never, and there's an obvious need for a pithy idiom for "begs for the question to be asked", but we don't really have one.

This once again awakens my suspicions that the English language is an elaborate practical joke. And I say that as a native speaker.
Unique British problem caused by tea. What must you Americans think of us? (is it true that Americans don't have enough power through the mains to boil a kettle?)
> the biggest complaint is that you lose your place in the scroll when you return to the scroll page.

It doesn't have to be that way -- http://news.ycombinator.com/item?id=2592741
If you're paying for an operator anyway, you may as well get him to do the job rather than spend all that money on a computer and have the operator watch the computer. The operator is likely to need rotating in a watching job like that too, further increasing costs (I believe CCTV operators need to be rotated every 20 minutes, but that may be misremembering).

Unless you're suggesting that people can trust the computer to do it unobserved then there is little value in having the computer there. Which is a case, I might agree with. My first thought is I would absolutely love to have that job. I'd pay to have that job. Then I could optimise the hell out of it.
I went fifteen months without consuming any caffeine or heavily acidic foods to get my GERD back in control. I don't think I've ever felt the same mental stimulation away from coffee. I understand that since I've been drinking coffee for such a long time it could have long-term effects, but I can't find anything that supports caffeine having long-term effects on the brain other than some mood and sleep patterns.

So, I'd be inclined to believe my baseline levels are generally around where I am now (a cup of coffee every few days). Taking from that, I do have a lot of faith that coffee is still a great mental stimulant for me, and it's not just bringing me back to my old normal.

Of course, I know I can't provide anymore evidence of this other than personal experience. I don't happen to have an MRI machine in my closet.
I'm waiting with my popcorn in hand for some people to get pissed off and start a "revolutionary" movement to bring down mainstream media companies' attempts to hold on to their outdated business models with guerilla tactics. It will be called the RLO which stands for the Redditors Liberation Army. Sad part? I'm not even kidding...
Grid UI for iOS (GitHub link)
A "simple-to-use" UI component for iOS that displays photos from different sizes in a grid layout.
Maybe.

The problem is we don't know how many hoaxes are there and have _not_ been discovered. If there are a lot, then the model is failing, if there are only a few, then it is working.

Alas, without that data, we can't make a call on the wikipedia article either way.
That's not true, although it does take a little longer here than in the UK.

Mainly, we just prefer coffee.
I'm a little older than that.

Also, the JVM precludes TCE.
I thought some clocks used the frequency of the power grid to keep time. How are they reliable if it keeps fluctuating so much?
Nope. Must be XML.
Caffeine has nothing to do with ulcers in the stomach.
Chicago's version of 6.001, straight from SICP.
$500 smart glasses debut at CES
I can imagine the Kurzweil/Google press conference introducing your new
"cybernetic friend" going something like this...

http://www.youtube.com/watch?v=IKBJxZf-Dgs
Funnily enough, it claims to have been updated 49 seconds ago for me.

Guess they missed the whole "deleted" flag.
My point is that, in this case, it is not possible to understand what it means to "publish" something without understanding the implications of its publish_at time. That is, it's not an "implementation detail" but an essential part of the semantics of publication.

So, yes, if the original author left the concept of publication time out of the publish! method, that was probably a mistake. Likewise, adding a current_time parameter to that interface for the purpose of injection at testing time was also a mistake.

But my point is that both of these mistakes are downstream consequences of failing to recognize that, in this application, the published_at time is an essential part of the publication semantics and ought to be clearly expressed in the interface for publishing things. Had it been been expressed, there would have been no problem during testing because the interface would already work for any given publish_at time and not be hard-coded for the single (although common) case of publishing at now.

In sum, a better interface all around would have been to have the publish! method take a publish_at time that defaults to the current time. You can't really make the interface "simpler" by leaving it out of the method interface: it's essential to publishing something, so it must be there somewhere, if not spelled out clearly in the interface, then hard-coded to some value internally, where all it can do is cause trouble.
No. It doesn't fly. Have you ever wondered why there were standards, and why a standard is _called_ a standard?

According to this, "HTML5" is made for various specs to compete. Except, HTML is a standard. HTML5 is an upcoming standard (or so does it claims to be).

If everyone includes APIs in their _production_ browsers (in case you haven't noticed, most of the various features are actually in production browsers, despite what you wrote) that are incompatible, that's no standard, and there will never be a standard, no matter how you put it, as there will always be a never ending competition for the "new APIs". NEVER ENDING.

So, if vendors start implementing API that they don't call HTML(5), but just their own, well guess what? That's "webkit-HTML", and it happens to be exactly how I dubbed it.

So no. HTML5 is not wow, and yes, that site, like many others, is webkit-only, on production webkit browsers. That's un-defendable.
XML used to be a very easy way for my coworkers to get a rise out of me. Thankfully, I haven't had to think about it since I left Apple.
Reddit is a addictive big-time sink. The only way I can get some work done is by blocking reddit.
the trick is to realise that currency was not designed to be a store of value so don't use it as such.

To paraphrase Silvio Gesell, an economist in favor of symbolic currency almost a century ago, "All the physical assets of the world are at the disposal of those who wish to save, so why should they make their savings in the form of money? Money was not made to be saved!"

ie: you don't need to buy whole companies outright to avoid saving in currency.
very nice, thanks!
Fine, that solves the problem for exactly one ephemeral correlate of power consumption surges. What about the next one?

If we're talking armchair first-stabs at automation, I'd much rather have 1) a large set of historical data from distributed consumption data feeds across the service area and 2) analysis of that same data live and with near-realtime latency. Given that, it seems plausible that a well-chosen machine learning based system could provide useful automated assistance.

That said, there are a bunch of practical reasons why it probably never makes sense to take human judgement out of the equation, esp. given the potential infrastructure impact here.
"Thy" meant "your". Close enough!
Actually, I believe the actual prefix of NS originally meant Next/Sun whe Next was working with Sun Microsystems. But, who knows? We need one of the original developers to help clear this up.
As Mark Shuttleworth said, no OS has ever succeeded by emulating another OS (why they chose not to build a Dalvik VM for Ubuntu phone). The fact that it runs Android apps in this way is not going to make this thing a best seller. If Android apps are the biggest part of the buying decision, then most people would just go straight to an Android device, instead of dealing with such a solution. This is why the Android emulator has also never worked for RIM (and never will).
talkto.me

caree.rs

resu.me
Here's your goddamn selective filter: When a cop is murdered by a civilian, there's very little in the way of good reason why the civilian should be willing/required to use lethal force; The proper remedy for abuses of power by the police is a day in court, as broken as that can be.

When a cop murders a civilian, there's a very plausible reason: He felt his life was threatened, and is authorized to use lethal force in that situation.

We've got a system where you have to prove guilt "beyond all reasonable doubt". The threat of violence against police officers is a pretty big and common "reasonable doubt", when talking about killings with a police officer as the defendant, and a significant part of that is assholes like you who seem to think that violence against police officers is justified.
> The ultimate problem is that people insist on rolling their own sucky versions of build systems and package managers. (Though cabal and ghc --make suck less than most, I'll admit).

Cabal is probably the #1 thing keeping me from writing more Haskell code. I've had so many issues with conflicting versions of various libraries being required, and incredibly cryptic error messages upon failure.

Which is sad, because Haskell otherwise seems rather attractive.

It's also ironic, because I would have imagined that a package manager for a purely functional programming language would be a bit more robust[1].

http://nixos.org/
As a philosophical term of art, 'Begging the question' is a logical fallacy whereby the conclusion of an argument is just the restatement of the premise(s).

Commonly however, it is used to mean 'raises or leads the question'.

Whether the common usage is correct or not depends on which side of the descriptive/prescriptive language fence one sits on. (A matter totally off topic)
Linking: Scraping vs. Copyright
The demand is increasing by 3 gigawatts in less than 5 minutes, right at the end of a popular TV show. The operator who oversees the whole grid has a TV to be able to watch the show, to know exactly when it ends and be prepared. That is insane.

The demand for the whole country is ~40 GW on average. That's an 8% increase in 5 min.
twitterhallofshame.com

mowigo.com
An amazing parallax effect
Actually sounds great to me.

It's not meant to be something you put under your arm, but for it to be your family's main computer. And is portable within the house, e.g., set up in the kitchen or the living room -- w/o requiring power. And can also be used as a tabletop computer.

I wanted a Sony Vaio Tap 20, but I may hold out for this now.

The Android emulation though is not needed. Toss that.
How to Copy DreamWorks' Animation DVD Rise of the Guardians to DVD
This page offers the most completed DVD backup solutions to copy/rip/clone DVD Rise of the Guardians, convert DVD or extract music out of DVD Rise of the Guardians.
Absolutely love the parallax effect.
I've been without coffee for two months now. Having been someone that loved coffee and needed it to "survive" the daily work environment, if I was to have just quit it voluntarily, it wouldn't have happened.

For me I was on a business trip where I fell ill prior to the flight home. Lets just say that it wasn't pretty, my girlfriend picked me up from the Airport struggling to stand up. The next week I wasn't able to eat anything surviving on water.

Seeing that I consumed an unhealthy amount of coffee daily, and how I hadn't had one in a week, I decided to make the break while I could. I was already weak from what ever I had picked up on that trip, but it was nothing to the next few weeks. I was lucky to only get mild headaches, but the lethargy and the sleepless nights drove me insane.

Having read this article, I'm now re-thinking what I eat as well. I too challenge the heat of my curries... and thanks to desk jobs I don't get out that much. Looks like I'll be changing things shortly.

One kicker that has happened to my health since this change, an ailment that I had never had prior to the removal of coffee, has caffeine as a way to help reduce the effects. My body... hates me.
There are important flaws to this approach.

Every interest has different levels of content. Pictures range from works of art that took hours to conceptualize, to images of a cat butt with a text overlay.

As a subreddit becomes more popular, the greatest common denominator's interests take precedence. And while you can attempt a solution by splitting the sub community, say, no text overlays, that doesn't work as well everywhere.

For example, a programming community needs to split into subs for languages, and the technical level of the articles. This makes aggregation more difficult, and ruins an information flow that would include a home for overall high quality posters-- now they have a more difficult time determining where to post, and must question whether the articles they submit meet the requirements for technical depth etc.

Even then, the process of dilution begins again as the lesser posters begin to inflate the sub communities.
Most 'free markets'.
Steam is working out a system which would automatically install dependencies from system repository. About root, that is just a bug.
I'm sure it is at least partly automated, but showing a computer screen doesn't make for as much drama on TV.
A 10 year exclusive with content locked into cable or satellite subscriptions short sighted,

There's nothing about this deal which is short sighted. Unless you're referring to another article or details I'm not privy to but my understanding is that HBO tied up the digital distribution rights to a large supply of quality content for a long time and I'm pretty sure with minimal demands on how they distribute it (do you know otherwise?). Distribution mechanisms be damned they ensured they'd have a quality pipeline of content for a long time.

To your point about locking into a cable subscription. That thing has been circled around in HN for a long time and it seems damn foolish to think HBO isn't looking to the future. There maybe a time when the number of those of you who don't have a TV start to approach the 80 million households in the US with cable, and it makes sense for them to break out of the cable distribution model, but it sure as hell isn't now at least in the US. (Note HBO is allowing HBO-Go subscriptions without cable in other countries). I'd love to hear what you think HBO's "smart" choice is because I'm pretty sure switching right now from their current model is foolish and I'm also pretty sure HBO is better prepared then just about anyone to make the leap then any other network.
>I don't think Imgur will ever take off.

Huh? Imgur already has more traffic than reddit.
http://traffic.alexa.com/graph?w=400&h=220&o=f&c...;
We have the Sony and its a blast with the kids. Got it just in time for the holidays and with 4 kids playing on it together was fun. The apps were limited on win8 though. With android apps, I can imagine it will be even more fun!
In case anyone is curious, the music is from the TV show Lost and is composed by Michael Giacchino. This is one of the best themes called Life and Death.

You can hear more at https://www.youtube.com/watch?v=_nH1rCXv36A
Think of this as a Desktop or even a TV replacement, it's not supposed to be an iPad competitor.
Well, there is trampolines: http://clojuredocs.org/clojure_core/1.2.0/clojure.core/tramp...
I hate this trivially predictable response. Similar to observations of Betteridge's Law of headlines, "begs the question" corrections just seem like HN karma pumps.
I agree completely. This seems like a great multi-purpose machine, not small enough to be a tablet that you have to keep close to your face, and not big enough to be a desktop that you have to leave in a single place. Offers a great screen size and multi-user interface.
> [1]

...did you not write the footnote or something?
That is because the underlying hardware was never powerful enough to support the emulation or the emulation code was not efficient enough. With the current virtualization technology and powerful hardware, I doubt why this would not be effective.
Please give concrete examples of the problems you've had. Likewise, when you have concrete problems, have you asked for help on #haskell irc or the Haskell-Cafe mailing list?
The community members on both those channels are super helpful and can probably help you quickly resolve / debug your problems.

People: hand wavy complaints that do not give concrete examples are hard to fix. Please communicate concrete instance of your problems so that either a) someone can help you solve them now or b) there is a concrete example of a problem so that folks can fix it.

That said, any serious dev work really should use the cabal-dev tool, it solves having those build problems that new ghc users hit.
I currently have a 3gs. Will the Nexus4 be a big improvement? How was it to move over your music?
I would like to think that the person you mention is being appreciated by their boss.

Is "It's also sad to hearing how low his salary compared to what he should be earning" some new slang for appreciation that I'm too old to understand?
Wow, who would buy this? This just doesn't make any sense to me. It's not really portable and it has terrible battery life. I would take a Mac Mini + a nice Dell screen over this any day.
I don't mean locally: I mean that if you have all of your flow control stuff setup correctly, you shouldn't ever end up in the situation of "I hit ctrl-C to try to stop the massive stream of text, but this text was actually generated a minute ago and was streamed to me in a massive 10MB block and buffered in a bunch of sockets, so my ctrl-C is meaningless".
Is that tongue-in-cheek? Of course they can boil a kettle.

It does take ages, though.

Conventional kettles seemed to take perhaps twice as long to boil in CA than in UK. Boiling water at 230V,13A in the UK is going to be much faster than 120V,15A in the US.
It didn't say that because that's not how it works. This is an extension of an existing deal. Universal content is already available for rent/purchase on iTunes and that isn't changing. New releases will continue to be on iTunes ala carte. What you won't see is that content available as part of a non-HBO streaming subscription service.
The mobile browsers should allow to use the keyboard anytime and just send the events to the current focused DOM tag like any desktop browser does. Maybe as an another option in the browser menu.
Ten years. For 10 years they are going to be locked into the language of that contract. Here is an example of what contracts like this get you:

The NFL has an online streaming service. It's only for replays of games after they have been broadcast live on TV. Fine, ok, they signed some contacts giving TV networks exclusive live broadcast, so we can't watch live online. But then it starts to get crazy. Their online service is unavailable on Sunday and Monday nights! Huh?! Yes, some executive signed a contract giving TV networks exclusive rights to NFL broadcasts on Sunday and Monday night, so you aren't allowed to watch replays of other games on those nights. I understand the NFL makes its money with those contracts, but stupid language in those contracts prevents other revenue streams that short sighted executive can't predict.

When you heard that the Olympics where going to be available on YouTube did you get excited and try to watch? Oh, you don't pay for cable? Sorry, to watch the Olympics on YouTube you had to authorize through your cable company. Why? Because the Olympics gave NBC an exclusive contract in the US. Until 2020. You won't be able to watch the Olympics streaming online without a cable or satellite subscription until 2024. Deals like that are short sighted.