skysight-inc/HackerNews huggingface dataset:
Can anyone explain to me how the continuation Monad is working there? As far as I know there's no way to return from the same yield twice, which is what a callcc would need to do. I'm going to carry on trying to puzzle it out but a pointer would be helpful!

EDIT: I just tried out the code and it doesn't support multiple returns. Isn't that pretty much the thing that defines the Continuation Monad or am I just not getting it?
Thanks! Good catch, fixing.
> Configuring a database and access to it

Welcome to the world of server software. I think everything web app I've ever installed required database configuration. I take it you've never installed Wordpress? Or Roundcube? Textmate? Gallery? OpenPhoto?

I agree that other parts of the installation are annoying (python2 link, which isn't standard [1]), but the configuring a DB is very par for the course.

The special system users part annoyed me at first, but I realized I'm creating ssh access for git and so in that light it makes a lot of sense to create a new user. On the plus side, gitolite lets you have a ton of users that can use ssh to get the code without having a user account for each one, so it's a win over the long haul.

[1] On my Debian system (should also work with Ubuntu) I solved this with:

sudo update-alternatives --install /usr/bin/python2 python /usr/bin/python2.7 7

This lets the package system know about the symlink instead of just putting some random symlink in a package-manager controlled directory.
http://www.haskell.org/haskellwiki/Monad#Interesting_monads

Nothing to do with proofs.

Monads are a generic interface -- an API -- for changing up the computational rules of your programming language.

Just think about that for a second -- its a big deal.

Maybe you want to work with non-deterministic threads, or with continuations, or quantum computations, or backtracking search, or exceptions or partial results, or some other notion of computation. But you want to still write in your usual language.

So you embed that computational style as a monad, and now you have a really nice API for programming in that different environment -- inside your everyday language.

Its simple, but profound. With (good support for) monads you aren't constrained to the default computational rules of your programming language anymore.

You are free.
The examples grandparent posted of great code (not sure why they deleted, it was a great comment!): https://github.com/alecthomas/voluptuous https://github.com/halst/schema
Well, what sort of compiler optimizations you can make with C do have an effect on how people create microprocessors. For instance if you could be sure you could always disambiguate stack and heap accesses you could use two separate and somewhat memory pipes and get a big power or performance win, since there are a lot of N^2 structures involved in keeping everything coherent.

Also, most computers have a GPU which can't really be programmed in straight C.
turns out I was misunderstanding, after logging in with Facebook I get the concept perfectly. Awesome idea, I think the frontpage is fine, I thought it was something a website owner added which confused me, my bad not yours!
Time to create Bitcoin-enabled p2p VPN market?

I have thought about the idea for some time. The marketplace operator could take something like 30% cut. Any private invidual could sell their internet connection to the chinese and earn some bitcoins in the process.

There could be some rules which could stop the chinese goverment from knowing which IP's operate in the market. For example, someone could buy certain VPN/IP address recurringly, and others couldn't purchase that specific IP - that way the goverment would have no way to know how that specific connection is used.

And of course, bitcoin isn't very easy or well established payment method - bring in the resellers/market makers from china. These could (with some easy to use software/API) resell these VPN's to the chinese inviduals.
On the idolatry of investors
Here is a real test for Anonymous; take down the worlds most notorious firewall.
Tranquil finally has a binary installer available
Please add support for Tab key.
In other words, the best UI is AI.
Gen Y's and Baby Boomers are the two largest examples of irrationality that this nation has ever seen.

Gen Y for thinking that you can just do whatever you want and expect a high salary for it. I look at my peers from high school and can't believe some of the entitlement issues they have.

Boomers for thinking that they could continuously f* over an entire generation with their robbing of social welfare systems and expecting people with no right to vote to pick up the tab 30 years into the future. When payroll taxes reach 20%, Social Security Recipients will become the next Westboro Baptists.
Mass murder is highly visible, but makes barely a dent in the annual toll. Not to mention that the two biggest school-based mass-murderers in the US did their massacres with legally obtained handguns, not assault weapons. Even if there were ten mass-murders the size of Sandy Hook a year, that'd still make only 300 homicides out of 13k firearm and 17k total. And according to this page [1], there's actually only been about 75 mass-shooting homicides in the US in 2012, including Sandy Hook. 75 is three orders of magnitude less than the annual toll.

Also, 'mentally unstable' doesn't mean 'frothing at the mouth and barking at the moon'. Simply because a mentally ill person might have troubles with moral judgments doesn't mean that they lose the capacity for forethought - look at Cho chaining the doors shut before starting.

Assault rifles are just simply not the problem in US homicides.

[1] http://thinkprogress.org/justice/2012/12/14/1337221/a-timeli...
Except that four out of five jobs lost during the recession were employees with less than a college diploma [0]. Rather than dropping out, I strongly recommend transferring to a lower-cost school or switching majors.

The article talks about law school students. A huge number of students entered law school right at the start of the recession. There just wasn't market demand for that many new lawyers when they graduated in 2011. [1]

[0]: http://www.dailymail.co.uk/news/article-2190273/Georgetown-U...

[1]: http://chronicle.com/article/Unemployment-Among-Recent-Law/1...
Man, the feature that I've wanted for a LONG time is in this rev of GitLab. Groups / Namespaces and permissions based on those groups.
There were also some folks going from Scala to Java...
And without the well-off students as their peers in the public schools, the poorer students won't improve, no matter how much money you throw at the situation.

I'm curious - are you postulating that the only way to cause poorer students to improve their educational outcomes is via peer effects with richer students?

I'd love to see data on this one way or the other.

While most people don't mind if their children associate with middle class black and Hispanic children, they certainly don't want them associating with minority children from the ghetto.

If the peer effects you seem to postulate above go both ways, there is a very good non-racist reason for this: while their children might improve the ghetto children's outcomes, the ghetto children might harm the richer children's outcomes.
GruntStart: Grunt.js headstart for building websites
Seconded. I'm able to plot thousands of date-tagged points with good responsiveness to zooms, and per-point popups-on-mouseover showing more information about each point.
You are perhaps correct, SF Bay Area housing has pretty much 'recovered' to its 2009 levels in terms of resale. I don't agree with your assertion of the 'alignment' however. To support such a claim you would have to show that house prices were a dependent variable of salary, and my observations over the last 20 years of home ownership has not shown that correlation.
5 Best Android Tablets of the Year 2012
It's easy enough to set up a backup repo so a team can keep collaborating when Github is down, but does anyone have a way to deploy Rails apps with Capistrano+bundler? It's terrible not being able to deploy; sometimes that can be really urgent.

With Cap I can just repoint config/deploy.rb to the backup git repo, but what about bundler?
i was merely correcting that Facebook copied the product. If SnapChat had a business (users + revenue + customers + relationships + goodwill), it would have been much more difficult to "copy".
Game of Thrones Most Pirated TV Show of 2012
I can see myself using this! Nice job.

edit: Here is an example of my bar on the page shared above: http://bit.ly/TOlIDo

edit^2: Already shared with my friends that are big into social sharing. Again, nice work.
regardless, there's not much of an argument for 30-round/100-round magazines to be legal. Just like there's not much argument for pipe-bombs to be legal (anyone can make one, right ? is the illegality of easy-to-build bombs "security theater" or just common sense?). These devices have no legitimate uses by civilians.
Tiny point: the article incorrectly implies chkntfs and atmadm were original early 1980's DOS commands, but they were circa 1990's.
I personally found this interesting because the app looks fun, it makes sounds, and it demonstrates some aspects of modern JavaScript that I have got out of date on. I could put the app up on a projector in class and students would find it amusing.

Yes, I shall continue to use Gedit for writing Web page text, which I can then run through markdown.
The group that poses the biggest threat to civil order in the US are the elites who are looting the country as society collapses around them.

And how exactly do you call yourself a "libertarian" and then support a national intelligence agency monitoring the non-violent political activities of private citizens? If the FBI was monitoring libertarian party members and events that would be kosher with you too, or is it just hippies that deserve the police state treatment?
GitLab is incredible. I just read the documentation on setting up databases: https://github.com/gitlabhq/gitlabhq/blob/master/doc/install...

So it now supports both MySQL and Postgres, even though MySQL is preferred. Does anyone know what that means for a Postgres guy like me? Does "MySQL is preferred" mean that it has known bugs on Postgres? Is it usable?
Its funny, in my Oral History exams I got a Text and had 10 min to analyze it.

The Text could easly reprinted today, maybe switch out the word 'machine' with 'robot' once in a while.

This idea has been around since more then 100 years and it has shown again an again to not be true. I have nothing against bringing up the same stuff again but if you do that you have to improve your argument not just reprint popular essays from 100 years ago with modern language.

Tell me exactly what fundamental thing has changed with todays innovations that was not true for innovations in 1920 for example.
There is on chrome

https://chrome.google.com/webstore/detail/mutetab/nmkbaaijgp...
Ask HN: Anti-arrogance reading list (aka public face-plants)
i want to start a collection of arrogant predictions that have turned out completely wrong. One of my favorites is Cliff Edwards' 2001 piece in BusinessWeek: "Sorry Steve, Here's Why Apple Stores Won't Work", and of course Clifford Stoll's "The Internet? Bah!" in 1995 Wired.. Other good ones?

While we're at it, I'd also love examples of arrogant predictions that did turn out to be right. But I have a suspicion most folks that end up being right start by doing not talking.
It seems like a lot of engineers, both here and elsewhere, have a very simplistic view of what other departments do. I've seen similar simplistic statements about design and management. I guess that's just part of human nature, to develop the view that only your work is complex or nuanced.
> I'm curious - are you postulating that the only way to cause poorer students to improve their educational outcomes is via peer effects with richer students?

What I'm really postulating that the only way to improve the educational outcomes of students that come from families who don't emphasize education is to surround them with students who come from families that do emphasize education.

So my initial statement assumes that poor students come from families that don't emphasize education, while rich students come from families that do. That is a generalization that applies primarily to black and Hispanic students, as there are many poor Asian immigrant families who emphasize education - their children have gone on to be quite successful. But as we all know, the educational problem is with black and Hispanic students. When you eliminate them from the picture, American students do quite well in comparison to European and Asian students[0].

> there is a very good non-racist reason for this: while their children might improve the ghetto children's outcomes, the ghetto children might harm the richer children's outcomes.

Yes, this is certainly possible, and is the most common argument utilized by the rich parents when faced with charges of racism towards poor blacks and Latinos.

0: http://super-economy.blogspot.com/2010/12/amazing-truth-abou...
One option is Common Lisp. It has a raw sockets library. The lib ("module") comes with a document that has some examples, including how to make HTTP requests.
I think what makes one great in craft is deeply caring about the craft. It's not just a means to an end, it is something one truly feels passionate about. When one has that visceral calling for something, I think they find ways to get better at what they do. The greatest attribute of humans is that they adapt and learn.

I know several people who could be great programmers, in terms of the ability to solve complex problems, but they do not care enough about their code to do so; which is fine, they find passion elsewhere.

Programming is not for everyone, but I do think that it can be learned over time with patience, passion, and practice.
Intro to monads in Python. Identity, Maybe, Error
Housing prices are already being "inflated" by the low cost of mortgage debt. If interest rates climbed to something like 6-7% for a 30-year mortgage you'd see values drop.
If Android team doesn't see this as a potential feature, they should at the least close the bug, just letting it rot does not align with the goal of having a bug tracker.
Over time people tend to get less creative with regards
to big ideas due to self-limiting based on operating
within the confines of existing systems.

Is this your opinion, or are there research supporting this?
I don't know if I'm just imagining it, but typing feels a little laggy.

Could it be because it's saving to local storage after every keyup?

I made it save every 2 seconds with setInterval() and it feels a little smoother.
To answer my own question:

http://stackoverflow.com/questions/8693319/where-can-i-install-gems-from-when-rubygems-org-is-down

Of course if you have private patches of gems with bundler's `:git` option, you'd need to repoint all of those, too (as well as keep them in two places).

It'd be awesome if there was some simpler way, maybe a separate declaration in your Gemfile so that any gems added to your project also get installed on a corporate git server, and then bundler uses that as a fallback if `source` doesn't work.
Non-Technical Questions To Ask When Hiring A Development Firm
Really like it. Love the detail of saving in localstorage.

Thinks that, from my point of view, can create an even better experience.

* 1.5 space between paragraphs.

* Backspace sound.

* New line sound.

* Space sound.

* 80 character wide.

* Slightly different sound per key (or row of keys).

* Easy to remember domain.

Then things that I am not so sure, but as long as don't change the interface, could be cool.

* Ctrl-C copy all the text without the need of selecting text. (Probably require flash).

* Ctrl-Shift-C the same but copy the result of markdown the current text (so html is actually copied).

* Selecting text automatically copy the selection to the clipboard.

Things that I will like to play with but don't sure if they are usefull.

* Page simulation. 80 char + margin in white, with proper paper texture, and back background.

* Go for fullscreen on load (if possible), and fallback to show a small, only onmousemove fullscreen icon.

On any case. Really. I really like it. Love to be able to have a webdav (basic auth) interface and could install on my own server. So i can add files just by changing the url, and access that files later through ssh.
Do you think you might be missing the point of the video?

EDIT: And your link is nothing like the zebra crossing shown in the video.
I actually tried, but was greeted with a "Sorry, but we couldn't submit your vote." Something is broken but that's not gitlabs fault ;)
Freestanding, ABI-level interoperability with C is planned for Rust, but is not yet implemented. There are two main reasons why being able to be called with dlsym() was less important for us than the current setup:

1. M:N scheduling. We wanted high scalability with hundreds of thousands or millions of tasks, which means we need the capability to have our own scheduler. OS threads aren't lightweight enough for this, especially on Windows, where over 80% of our Firefox users are. Having our own scheduler means we need our own ABI. We would like to make the scheduler optional, but getting it working was a higher priority than making it optional.

2. Safety. On many platforms (basically, anything but MSVC on Windows), the C stack is not bounds-checked; either there is no guard page or the guard page is unreliable because you can overshoot it. This is not acceptable for our Rust code, since stack overflows are a frequent source of exploitable security vulnerabilities for us. So we do our own stack management with a custom ABI that performs stack checks at every function entry, freeing us from this source of pain on all operating systems. Again, this is planned to be optional, but it was more important at this early stage for us to demonstrate advantages over C than for us to duplicate its ABI exactly.

Many libraries, however, would prefer direct interoperability with C to M:N scheduling or stack overflow safety. So we plan to provide a mechanism for Rust code to be called from C without having to set up a scheduler or perform stack checks. It's not implemented yet, but it's very much part of the current design, and I would be thrilled to see it happen.
The "hidden" backdoor - VirTool:WinNT/Exforel.A
Being Agile like the Justice League of America
I'm using IPSec now without any problems. OpenVPN is blocked.

China has the power to be more selective about what it blocks. For example, Wikipedia is not blocked here (yet). But trying to access an article within Wikipedia on Tiananmen results in a dropped connection. Why China completely blocks entire blocks of ip addresses (like YouTube, Blogger, Wordpress) is not clear to me. There are a number of easy heuristics you could use to block most of what you don't want.

It is ironic to me that a government that preaches a belief in rationality (eg I received a text message last week urging citizens to believe in science and not the end of the world reports) would use censorship instead of rational debate/discussion to counter viewpoints it doesn't agree with.
I still get distracted by other tabs, what I really want is something which takes over my computer and shuts down my internet.
CVE-2012-5664: Ruby on Rails: find_by_* SQL Injection
Apple issued an email or something that states you shouldn't try and make any changes between the 21st and 28th or something like that. I read this somewhere recently. You might want to google it.
Sorry, I was on mobile, I thought it automatically jumped to the full site.
You are right about Python still being required. I guess it is needed for syntax highlighting http://pygments.org/

I would recommend against using the Vagrant image for production, it is meant for development.

For production you can use a CentOS cookbook https://github.com/atomic-penguin/cookbook-gitlab or an Ubuntu script https://github.com/gitlabhq/gitlab-recipes/blob/master/insta...
Just a guess- and I could be completely wrong on this, but graphite spray that you use for locks (also has alcohol or some other quick-evaporating liquid in it) might do the trick.

I'm going to mess with this some today. Will report back results. I wonder how long you have to "cook" it with the laser for? I'm also imagining that I'll want to flip the DVD drive upside down so I can keep the liquid mostly in place. Wondering how the spinning will effect it as well.

This is going to be a hell of a messy experiment.

About a year ago I heard how good of a filter for water graphene is, so I bought graphenewater.com. If this is an easier way to make large amounts of graphene, I just might have to put this to use.
All it does is make sounds if you type. If you need a mute button just use any other text editor that doesn't make sounds.
There's one of these in a neighboring town. It uses motion sensors to determine when to run. They're "dialed up" fairly high, so the walk will flash when someone is still some feet down the adjacent sidewalk.
Probably minor to most visitors, but stuck out to me: The screenshot is being taken of a localhost instance. Easy fix.

EDIT: Also, BrianPetro's example broke heavily for me on Mobile Safari when zooming in.
I guess UserVoice ops is on a well deserved holiday :-) https://twitter.com/UserVoice/status/282207838149943296
Mostly because I know his opinion is based only on the "other sides" "political propaganda". And he probably wouldn't appreciate it, but it is always a good thing to read and educate yourself on the opposing view. If anything, to increase your resolve and have better points to argue your position.

Personally his opinion worries me. He claimed there was no reason for encryption in communication unless you are doing something "bad".
>What I'm really postulating that the only way to improve the educational outcomes of students that come from families who don't emphasize education is to surround them with students who come from families that do emphasize education.

I was the product of one of these experiments. The school district I lived in was the result of a redistricting to pull in us white students into a large neighboring nonwhite school.

I can guarantee I didn't improve the educational outcomes for any of my classmates. And all I received from it was random beatings, violent attacks against me, and a subpar education. I did learn something though... Once out, I studied my ass off and work as hard as possible so that neither I nor my children will live through such an experiment again.
I got this email from Apple on Nov 29:

=========

Subject: iTunes Connect: App Store holiday shutdown 2012

iTunes Connect will be temporarily shut down from Friday, December 21, 2012 to Friday, December 28, 2012, for the winter holidays. During this shutdown, the following functionality will be unavailable:

Access to iTunes Connect
Delivery of any apps or updates

Additionally, the following will be delayed:

Releases scheduled to appear on the App Store for the first time

Pricing changes scheduled through the interval pricing system in iTunes Connect

We strongly recommend that you do not schedule any pricing changes in iTunes Connect that would take effect between Friday, December 21, 2012 and Friday, December 28, 2012. Pricing changes scheduled to take effect during this date range will not be reflected on the App Store and your app or In-App Purchase will become unavailable for purchase until after the shutdown.

We also recommend that you do not schedule any apps to go live during the shutdown. Releases scheduled with a start date between Friday, December 21, 2012 and Friday, December 28, 2012 will not go live on the App Store until after the shutdown.

Regards,

The App Store team

=========

It looks like the relevant quote is:

Pricing changes scheduled to take effect during this date range will not be reflected on the App Store and your app or In-App Purchase will become unavailable for purchase until after the shutdown.