skysight-inc/HackerNews huggingface dataset:
Deut. (red/green) here; it looks fine to me. In my case, most colour-blindness issues arise from poorly contrasting colours - given that most of the Metro style is white text on a solid bright/dark (not pale) colour I don't see many issues.
The "Only" Coke Machine on the Internet
[Show HN] Engem.me - Give your LinkedIn profile a visual facelift
I've had a good experience with Godaddy, there was a lot of bad press a few months ago, but I've had no serious problems in 4 years. I have 5 or 6 different sites hosted with them.
In many ways this article is just pining for other big hard made up problem for us to solve. Apollo was and is still a huge achievement, but it sure wasn't a practical solution to any real problem we faced. As much as you can say how amazing it was there are plenty of things you can say how wasteful it was too. In a lot of ways you can say the same thing about the internet.

I wonder if the big problems we know we have ever really get solved or we just distract ourselves by solving made up problems. Funny thing is life seems to get better when we solve the made up problems because we solve things we didn't know we had.

Oh that probably doesn't bode well for Global Warming and Cancer.
BuzzFeed Partners With Rdio As it Pushes Into Music Space
VISTA gigapixel mosaic of the central parts of the Milky Way
Nice, endless scrolling would be a nice perk
On the other hand, many of the pilots involved in Afghanistan live and work near Las Vegas.

http://www.pbs.org/wgbh/pages/frontline/digitalnation/blog/2...
How to Get More Done In a One Day Than You Ever Have Before
Creating the Web Service - Introduction to jQuery UI - Part 22
License? I don't see it listed in the readme or site and there's no license file in the repo.
Quote the web with QUOTE.fm
It doesn't appear to be HTCPCP/1.0 compliant.
http://tools.ietf.org/html/rfc2324
>We're sorry, but something went wrong.
Overall, the work described in this dissertation leads to the conclusion that it
appears to be both practical and useful to design and implement an optional
static type system for the Clojure programming language.

I'm a huge type safety fan (see http://roy.brianmckenna.org/) so this is pretty amazing. I'm definitely going to play around with Ambrose's work.

Had a quick look, it's really exciting that the algo.monads was almost completely type-checkable with this system.

Leaves me with a couple of questions:

Multimethods are untyped. Anyone able to comment on how often multimethods are used in idiomatic Clojure code?

Anyone know if this work could eventually allow protocols to become full type-classes (allowing dispatch based on return type of protocol methods)? Am I misunderstanding how protocols are compiled?

Hopefully the videos for Typed Clojure at Clojure Conj 2012 will be posted soon after the talk is given :)

My only fear is that optional typing would be less useful than optional untyping. When you have libraries that are untyped, they're a pain to use from a typed language. The other way around is not true.
I just started hiding 'non-essential' people from my news feed when I saw a post pop up by them. Within about a week I was down to just a small core group of people I actually care about, and generally if I scroll down more than a page I'm met with a "Sorry, there are no more posts" message. It's a good way to keep up with close friends while filtering out the noise that wastes so much time.
Ask HN: Get paid cash to get shit done?! TaskUp, the task list that does.
Task / To-do list suck at motivating users to get shit done.

After contemplating the idea of task-based incentives, here’s a cash-based strategy we propose:

1. monetary rewards the customers upon timely task completion and

2. penalties when tasks become overdue

Every completed task is rewarded with $0.10 and every task that becomes ‘overdue’ is penalized at 3x the reward.

For instance, creating 8 tasks in the morning that are due today and only end up completing 7, the day end balance would be $0.40.

In other words, you would get paid $0.40 that day:

Completed Tasks: 7 * $0.10 = $0.70

Incomplete Tasks: 1 * $0.30 = $0.30

Day Total = $0.40

(Considering 20 business days) Total customer gain = $0.40 * 20 = $8/month

Question 1: Would you use a task app that has a simple and intuitive workflow, incentivizes you with $$$ to get shit done, and has NO monthly subscription fees?

Question 2: As far as the reward/punishment multiplier, the 3x multiplier is just a starting point. We’re also exploring a self sustainable model in which incomplete task dollars are used to reward completed tasks. Also, instead of community redistribution, we could also base the multiplier on the amount of money that the user him/herself has given to us, giving customers a chance to make up more money faster as they get more behind on tasks, motivating them to get on track faster.

Question 3: Are there any downsides to the revenue model proposed whereby our best case is when our users have all incomplete tasks and lose a bunch of money? We are looking this from an ethical lens, and a long-term company strategy.
In-Depth Look at Backbone.js Views
> I normally lurk so I don't know why I can't reply to your most recent, so replying here.

The deeper the response is in the thread, the longer you have to wait from posting until you can reply.

> From my experience of trying to convince my friends and family to save something in gold - they just find the idea totally foreign of buying a metal that doesn't earn income

My grandma kept a stash of gold and jewelry, and she knew why - she had to run away on the eve of WWII, with a small suitcase. My mom knew that she needs to have such a stash, but gave up building it because it was becoming increasingly hard to do. I know I need one, but it's becoming impossible to do at the volume I need.

> So what are your thoughts on storing that apartment cash then?

I'm frustrated, but I have no acceptable solution so far. I'm diversified over foreign currencies and some non-bubblish commodity futures (that are likely to clear even if there's a run; the COMEX gold futures reflect more than the available gold, and if trading stopped tomorrow, it could not settle and there would be huge defaults). But it's still all backed by fiat and lies.

I don't like that; I don't have a solution.
One of the distinguishing features of a classic Lisp is that values, not variables have a type-tag and the type-safety checking is performed at runtime. Everything is a reference (a pointer), everything is a first-class object (could be passed anywhere), everything is an expression (uniform syntax).

Ironically, Clojure is, a Java in the land of Lisp. They broke the abstraction layers, mess up logic with implementation, introduce not just different kind of parenthesis, but redundant and irrelevant data-structures and ruined the magic of "everything is a list". Look what a classic 3-lines 'keep function became.)
Engem is a small little web app that I have been working on lately and it helps you give your Linkedin profile a visual facelift.

The core idea with Engem is that presently your LinkedIn profile doesn't tell much about you (and it doesn't look good either). If you see your LinkedIn profile, you will notice that apart from ads, a lot of the screen real-estate is used up by sections like "Viewers of this profile also clicked on". If you are sharing your profile with someone (for example a recruiter), these sections are not of any importance to you (or him).

I believe that this is where Engem comes in. It helps you showcase only the stuff that you want people to know about you and it does so in a visually appealing manner.

Here's the link to my profile - http://engem.me/bharani-muthukumaraswamy

Let me know what you think about this. Looking forward to your feedback and inputs.
On the landing page? It seems to be working properly. I'll check again.
Instead of following the Amazon link, you can go to O'reilly page and use the code CFSTNY to get 50% off. (almost no difference with Amazon.com Kindle version, but you also get the pdf)

http://shop.oreilly.com/product/0636920023784.do?code=CFSTNY
I wondered something like that as well, in the last Star Trek movie the young Kirk jumps out of a space ship onto a planet. If you could match the orbital velocity could you jump without heat shield and survive?
Thanks! Agreed, a few friends requested endless scrolling too.
I would love to watch this during some sort of global event, whatever the context. Maybe I'll remember to visit it on Election Day.
after linking my profile, sorry i should have specified. It appears to have linked it anyway...but why do I have to create also another account if I already logged in with linkedin?
Semaphore CI can now parallelize your Ruby builds
when I think or portability, Thinkpad isn't really the first option I'll take, too heavy, too big...and I don't like the design. Samsung Ultrabooks are slim and just fine, but it looks like the macbook air is the way to go.
Can't believe nobody's mentioned MOOSE yet!

http://en.wikipedia.org/wiki/MOOSE
>Unfortunately, it often comes down to simply buying a more expensive certificate that's signed by a root CA with wider trust. Given spending $50 or CURLOPT_SSL_VERIFYPEER=false, a scary number of people will choose the latter.

What is a trusted and reputable CA that offers cheap certificates ? Is this even a possibility or do all the CAs charge according to how reputable they are ?
Its a shady company because it's unethical and it does whatever it says it doesn't.
BYOB is important indeed and we also have Panther (see http://pantherprogramming.weebly.com/ and http://wiki.scratch.mit.edu/wiki/Panther_%28Scratch_Modifica...):

"... a host of new features such as file and webpage manipulation and advanced colour sensing, cloning and much more besides, Panther provides advanced usage for avid Scratchers around the globe as well as new programmers looking for a fluid, easy to understand starting language."
How about "the competition might use our code as a spec to make a cheaper compatible part in Asia and undercut our business altogether"?
ssh is not a simple tool, it just started out as a simple tool. And, it occupies a key role, for better or for worse, as the base layer for secure communications in a unix environment (and beyond).

Combine those two facts, and it's not surprising how many articles there are explaining the ins and outs of ssh.

I've been poring over unix man pages for about 25 years, and we all know their terseness is a delight and a frustration. ("Sharp and newline surround comments." -- takes a minute to parse.) These articles are trying to add words to address the frustration part.
Very basic question - who creates the tasks and who is supposed to work on them? Who are these people, colleagues, friends, strangers...?
I am not sure about the motivation for this project but this article helps explain why some folks are interested in type systems as detachable (pluggable) components, separate from languages:

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.175...
> You hit the nail on the head about Windows and Office. I think Microsoft could bank (and has to an extent) on customers flocking to its services if they could work on delivering specifics instead of, what seems like for the last decade, just reactions.

I would argue that far from being limited to the past decade, Microsoft's entire history is composed of reactions.

DOS -> CP/M
Windows -> Original Mac OS
Excel -> Lotus 1-2-3, Visicalc
Word -> WordPerfect, WordStar
Access -> dBase
Zune -> iPod
Surface -> iPad

etc., etc. There are cross-influences throughout the industry, but I cannot think of a product in Microsoft's lineup where they could be considered to have successfully introduced something new into the market. As far as I can tell, every product Microsoft sells is either a "me too" item, or the result of an acquisition (Skype, Visio).
Loren Brichter Made Sound Effects With His Mouth
For the full post and preventing misuse cases, check out the rest of the post in our blog: http://blog.taskup.com/index.php/2012/10/get-paid-to-get-thi...
If you like this work you'll also like Typed Racket, on which it is based. Sam TH is the main author and his publications are here: http://www.ccs.neu.edu/home/samth/
What about Chicago or Dallas. Surely not all programmers live in four cities on the coasts
But America faces plenty of challenges that technology can help with, especially around health and food issues. Just because we don't face significant challenges due to military technologies doesn't mean that technology can't be useful in other ways.
A Rails 3.2 application with recurring billing using Stripe
Thank you, will give it a try, 13" macbook Air
He just talked about it in today's live stream of The Frequency. The episode will be out later today.
Python template benchmarks
As others have mentioned, this is blogspam. Also note the submitter's submission history. Might be time to ban user anotherbot?
True, BUT, it doesn't look there was really very much to it anyway, so while I wouldn't be jumping up and down cursing at them over this, I'd hardly call it an impressive achievement either.
You need to enter your email/password after Linkedin auth so that I can send you the emails that you get via your Engem profile.
Hm, not exactly.

I've posted this because the post provides an insight into a non-transparent way of pricing and I thought it might be an interesting conversation starter on HN.

All these comments seem to show the topic is interesting enough.
Big problems are quite easily solvable if more X prize and darpa challenges were promoted.

Some big problems easily solvable today

- Create artificial general intelligence

- Create an immortal mice using focused ultrasound technologies (non-invasive surgery and localized drug delivery)

- flying cars (drones) including air traffic control for everyone on earth (+ cargo drones, so 1 trillion air vehicles or more)

(That's in addition to the important prizes already like x tricorder and darpa humanoid)

Up the prize money to $1 billion each (that's nothing compared to the bailouts) and you'll see all of the above done within 1 year, they really aren't difficult if you put a little thought to it. There's more than enough money and the technological pieces are in place. It just requires some bold thinking.

No one holds people to account for opportunity costs. The robocar challenge showed that robocars were possible. Governments and car companies should be held to account to account (sued in court) for not working on it sooner. That delay is millions of deaths. The same is true for other techs as mentioned above. Some economic indicators need to be put in place for tech development that isn't being done (opportunity cost accounting).
I thought the article was pretty clear about this. The open source driver is just pipelining commands and data from the OS to the firmware blob. The open source driver isn't doing any work, it's just proxying to the firmware which is doing all the work. The situation is isomorphic to a closed source driver.
Four IPv6 Sessions at IETF 85 in Atlanta in November
So they put their own money up and when they complete a task they get their own money back?

What's to stop people marking tasks as done (when they're not) to avoid any losses?
The account holder would create tasks for themselves, as well as checking tasks off. Shortly, we'll add options for accepting/rejecting tasks being created for customers by others (collaboration), but we're still working out the permissions for that piece.
Show HN: Get notified when new presidential polls are released
NO. It's a RIGHT.
Aside from maybe Jessica Linvingston's talk, Spolsky's was the only one that said something very interesting to me, even though it was basically 12 years old.
While I can see a stereotypical manager coming up with those or any number of silly reasons, I can't agree with the code-related ones.

Litigation and IP ownership may be reasons enough, I like not to get into details there, but:

- Unbuildable - great, release it, someone will either pick it up and correct it, or they will not. Right now they're guaranteeing that noone will.

- Undocumented - same as above; also I've never seen a proper, up to date, useful documentation without errors. If you open the code, you may get some improvements and current documentation may be actually useful. Otherwise we have nothing.

- Unsafe - that's pretty much the same situation as currently used custom android roms, firmware which is not cryptographicly signed, and many things that talk to SOCs with power management. If you corrupt the firmware in some way, or configure chips for different voltage than expected bad things will happen. This is not specific to GPUs.
> Multimethods are untyped. Anyone able to comment on how often multimethods are used in idiomatic Clojure code?

Not at all.

Multimethods were Hickeys solution to polymorphism before the Haskell enthusiasts managed to preach the gospel of type classes to him. Today, they are more or less deprecated as a solution to a problem.
Fullscreen games on X11: Proposing _NET_WM_STATE_FULLSCREEN_EXCLUSIVE
No, but it was a proxy to something that was a "big problem": having an enemy that had (or was very near to having) the ability to insert dirigible, manned weapons (think about the era) into essential indefensible areas. Mercury, Gemini and Apollo may have had a feel-good element and some incidental scientific co-projects, but they were as much about military deterrence and public confidence as anything else. (Do you remember nuclear raid drills? I do.)
Why I wake up 45 minutes before the rest of my family
Rotating 3D CSS ball
For setting up a remote computer for SSH key login I use this little snippet that I think I found on HN not too long ago

cat ~/.ssh/id_rsa.pub | ssh USER@HOST "cat >> .ssh/authorized_keys"

Of course the receiving server mush have a ".ssh" folder in the user folder and "authorized_keys" must exist "touch ~/.ssh/authorized_keys" but it is a super easy way to add your key to the remote server. Just thought I would share, I hope someone else finds it useful.
We would start off all accounts with a nominal positive ($1-$5) balance to minimize friction and get people more comfortable with it.
We would be paying users, in the long term from their own money that they put into the system.

We blogged about some of the cases to prevent misuse, here they are:
Case 1: What if users create hundreds of tasks and just check off tasks to cash in without actually being more productive?
We could limit rapid fire task creation to a few tasks per minute.
Some backend NLP process would assign a spammer rank to new tasks, allowing us to temporarily suspend rewards if we believe the customer is just trying to game the system.

Case 2: Even so, users could easily make hundreds of dollars each week if they just create tasks and check them off at regular intervals. How would you prevent that?
We could cap weekly rewards to around $10/month and penalties to $20/month.
I've read a few of Gilad's papers - I just don't see how they can be practical in a world of third-party libraries (e.g. author A hates types, I like type-safety but I have to settle for none when I use that library).
Spot. On.

When the laws can be used to put anyone in jail for just "annoying" the "civilized and obviously good for you" status quo, you are in big trouble.
I work at an urgent care. We routinely turn away people who are uninsured or have Medi-Cal (California medicaid) AND are unwilling to an upfront fee for the evaluation. So we see the uninsured but only if they pay. I see no difference in the chief complaints, but the uninsured generally wait quite a bit longer, and therefore often need not 5 times as much care, but 100 times as much.
If you're already running ssh-agent for your session, just do `ssh-add /path/to/the/key` - now it will be picked up automatically. If you want to do this automatically, it would require something waiting with inotify on the mount point, or some udev magic...
It's not a single point. We could alternatively synthesize humans or modify humans to survive apocalyptic conditions. Or build sustainable low orbit colonies. Or transfer our knowledge to artificial intelligent agents. Or simply fix the planet so it doesn't become a point of failure.
Quora, Palantir, Coursera and many more participating in CodeSprint-3
Two of which did: Iraq and Libya. Iran does too. Notice a pattern here?
Incidentally, the "unobtanium" comment is quite clueless. (...) If you allow a "suit" to get bulky enough

I think that's what the comment is saying. He said it would be unobtanium or a lot, by which I assumed he meant the bulk.
DIY kits to build web-connected things
New openssh already has this covered in a more standardised way:

ssh-copy-id USER@HOST
Given the "write output" loop, the circular buffer has to hold the differences between successive entries (OK, after the first one, the difference between 0 and the minimum)--presumably in some variable-length encoding. Next thing to figure out: how to set an upper bound on the circular buffer size, and just what those magic numbers in LUT[] really are.
If you have a static type system and it's sound, it'll reject some programs that would execute without type errors, whereas a dynamically typed language will allow such programs to execute: it's what I called "dynamic expressivity". That's why saying "more expressive" without qualifying whether one is considering "static" or "dynamic" is problematic.
They're using a configuration of lenses and mirrors which allows laser light to travel around an object, then push the from the back. I'm not sure how different this is from solar wind.
In a sense, Apple today is in the same sort of position as Microsoft's legendary competitors of the past - IBM, AOL, Netscape, and perhaps Apple itself. Apple only addresses part of a larger market - i.e. consumer electronics v. general computing [analogs: IBM and corporate computing market, AOL and non-corporate market, Netscape and the web (but not the desktop), the former Apple not growing vertically within the corporate environment].

Microsoft has continued to be profitable and technologically relevant because it scratches it's own itches (and eats its own dogfood).

Microsoft depends on Visual Studio in it's workflow. It depends on Office, SQL Server, and [perhaps still] Project, in the same way. They gave a Surface and a Windows Phone to every employee because the design goal of those products is productivity for people who do the sort of things Microsoft's employees do.

Microsoft is a B2B company. It's business model allowed Michael Dell to become a billionaire. Even IBM, for all their B2B savvy, doesn't allow that sort of thing to happen.

Apple has adopted many aspects of the model of secrecy which led to the collapse of Boston as the center of the computing industry twenty odd years ago. It has rebuilt itself as an inward focused (and perhaps ironically, given the article, paranoid) company. Even the architecture of it's new headquarters reflects this.

What the Jobs-less Apple is missing is not competent designers, but a person who has insight into the inefficiencies within an entire industry. The initial success of the iPhone may have been largely a function of it's design. But it's explosive growth was driven by Jobs' ability to change the structure of cellphone data plans. Without cheap data rates and ubiquitous fast networks, smartphones are just another gizmo. His success with Pixar was likewise the ability exploit an inefficiency (finding a suitable computer alternative to hand drawn animation).
As I said, this is a file from trunk. It says wiki, because .wiki is the file extension for wiki-formatted files. Which you typeset in almost plain HTML, but that's another story.

And, actually, I am a Fossil developer. Or at least a whiner with a dev account. Believe me, I know what I'm whining about.

Finally, Fossil is not for homepages. I guess your devs like having a timeline on their Github...
A niche use case for on-screen keyboards
Facebook Finds Friends on Wall Street as Stock Soars 20% on Mobile Gains