skysight-inc/HackerNews huggingface dataset:
Expressing Church Pairs with Types
It’s easy to express pairs in the untyped lambda calculus; adding types makes it somewhat more complex to get a correct encoding. In this article, I explain how we can build a pair with typesafe accessors in a polymorphically typed lambda calculus with type operators (System Fω), and demonstrate it in Haskell.
For many people outside of the US there is no legal alternative. iTunes/Netflix/Hulu/Zune are all very limited in the countries they serve. You can buy music (and apps) almost everywhere but for some reason buying video is limited to only a few countries in Europe.
Yantec Spikes für Schuhe Holiday-Urlaub.com
Reisen Für Jeden Geschmack | Holiday-Urlaub.com
http://git.kernel.org/?p=linux/kernel/git/torvalds/linux-2.6...

The commit message (10 months ago) when the vulnerability has been introduced is quite interesting:

"With recent changes there is no longer a security hazard with writing to /proc/pid/mem. Remove the #ifdef."

I'm wondering how long it will take in a proprietary software without any good commit messages to discover such bug...
That's not a fair characterization of iTunes' restrictions. You can use purchased movies and TV shows on up to five computers, and ten 'associated devices', but Apple TVs don't count towards the ten. The content is never 'lost forever', you can always deregister one or (even if you no longer have access to them) all of your devices to register a new one.

[edit: you can also - although this is fairly recent - redownload an unlimited number of times to registered computers, devices or Apple TVs]
Their challenge is w/o the attendee list from the event organizer, it's tough to get a meaningful % to participate.
It is learning code.

Think back to the first eight hours of coding of your entire life. It was probably copy-pasting stuff you didn't really understand from a magazine or a web page and watching some colors flash or text scrolling down.

It is not a lot, but it is a start. 8 down, 9992 to go to mastery.
I've heard a few theories, including some speculation that body functions are slowest at this time. More practically, a morning surgery generally means the patient has fasted overnight, and has an empty upper GI tract, reducing the risks of vomiting. Aspiration of vomit is a significant surgical risk.
Isn't the stereo-typical Lieutenant is a nice guy, while the stereo-typical Sergeant is an alpha male?
Html5 Game: Newton's Tower
Can't agree with you more. I used to live looking north up Church and between 3-5AM there wasn't a single car - it would get actually creepy. Day time I had helicopters landing beside me, phone calls, horns, construction (!!!) etc.
When starting my business, I was working as a derivatives trader. The job was stimulating but I did not love it. It was not creative enough. Creative in the purest sense of the world. We did not create businesses, rather create profits through buying and selling.

I had to be up before 6am anyway to get in before the markets opened. We could leave shortly after the markets closed though so I did most of my work time in the evenings from 6pm to 10pm, sometimes later. And then on the weekends (probably another 12 to 20 hours).

I think the important points are:

1. Enjoy the work. If you do then you don't feel like it is work, rather a hobby.

2. Make the most of your 'day job' time. I would squeeze in gym whenever things were quiet. I would answer emails on the toilet. I would read the Financial Times and then sneak in Tech Crunch (I was trading TMT so I argued it was important to view trends).

3. Stay disciplined. A lot of the time I would get excited and stay up later. Rolling out of bed at 5:30am to get into work after being up since 1am does not feel great. You can do it once during a week, but twice and you really do become a zombie for the rest of the week until you get the time back.

I did this for two years until I managed to get some funding to take it full time. It was super tough, especially for my girlfriend. But I loved it because I believed we were building a project that would change the world. Whenever I felt down I just watched SJ's Standford speech and it would pick me up.

"Your work is going to fill a large part of your life, and the only way to be truly satisfied is to do what you believe is great work. And the only way to do great work is to love what you do. If you haven't found it yet, keep looking. Don't settle. As with all matters of the heart, you'll know when you find it. And, like any great relationship, it just gets better and better as the years roll on. So keep looking until you find it. Don't settle."
I did something like this writing my first book Zero to Superhero: http://zerotosuperhero.com

I'd wake up a 3 am every morning (except Sunday) and write until about 6 am, which is when I got ready for my 7 am shift.

I agree with the author that being super-motivated was key and I had already invested several years research and writing the book. I was becoming worried the book would never get done.

I was also able to avoid cognitive burnout because my day job was at a metal foundry and consisted of mostly repetitive work.

One drawback was I was completely zonked by late afternoon, and had no social life, but I still tried to eek out something for the book before bed (which was sometime between 8-9 pm if I remember correctly).

Afterthought: I can't wake up so early now. Lack of sleep gives me a short temper. Something to consider.
Code Blue. Code Blue.

Dr Bringhurst please report to operating theater number one. Robert Bringhurst to theater one.

Bringhurst: I need 16px of font STAT!

Anesthetist: His negative space is too low.

Bringhurst: Give him 20 em's of margin goddamnit.

[ flatline ]

Nurse: Dr, you're losing him.

Bringhurst: Padding. CLEAR!

[ shock ]
Content distributors are maximizing the profit from their products. Licensing them to streaming services before sales from Blu-ray/DVD level off would be lost money. A hit movie BR/DVD release will easily make $5-10 million/week selling half a million or more copies each week. Netflix can barely offer that to license a movie for its millions of subscribers for a year -- they're only charging $8/month per person after all and that has to pay for rights to every movie in the library.

Once they do get to the point where it makes sense to license the movie again, Apple might pay extra for an exclusive so they won't license it to Netflix too, or vice versa. You can expect streaming libraries to suck in certain ways, like time between movie release and streaming rights, for a long long time -- until consumption patterns change on a large scale -- because that's what maximizes profit.
I’d Rather Watch Instagram Than A Movie
Save Environment By Recycling Cartridges
The global environment has been polluted considerably. While speaking about environmental pollution, many environmental...
I've also boycotted hollywood but SOPA / PIPA wasn't the reason why. I refuse to patronize hollywood because the DOJ is reaching across international borders to prosecute a young man who had the audacity to run a website containing links that the MPAA didn't like. I cannot in good conscience support an industry that is so hell bent on restricting the progress of technology simply because their outdated business model no longer works. And I used to see 8-10 movies a month so I hope the studios are happy with their decisions. Because I'm happy with mine.
Hear my tale of wifi gallentry
The two ideas that come to mind to "Kill Hollywood" are 1) Louis CK and 2) HSX.com.

The best example of how to "Kill Hollywood" is Louis CK. What used to go to middlemen like distributors instead went directly into his pockets, and it decreased the price for his fans.

The content providers, like Louis CK, need to come up with their own money, and then they get all the money. Take the distribution networks out of it. Charge fans a minimum amount of money, ie. $5.

The only difficulty with a movie is that the "content provider" is very distributed. There's the writer, and then there's the actor, etc. With Louis CK, it was all the same person. With a movie, it's a lot different. Not sure how exactly that would be split up, but only because I lack any familiarty with movies.

However, funding movies could use the concept from HSX.com where you can buy shares in a film before it comes out. The value of the box office receipts ultimately is split up amongst all the shareholders, etc. This would create incentive for people to get a prospectus for a movie, ie. the script, the actors, etc, and then make informed decisions and buy shares of a movie. This would give funding to the movie, and also create a good secondary market for people to gauge how well a movie will do.
Yes, I'm American and I live in Europe. The people I'm referring to are not in the software field. For example, the number of women I meet who say they want to move to NYC is astounding. These are generally women in all fields.
Mary Kay in her book called this the 5 am club! She said the 2-3 hours she got before the rest of her family were up was so productive that it was "almost as if she had 24 hours a day extra to work with" Paraphrasing here but she said he enabled her to manage her traditional roles of being a husband & mother in addition to a full time & demanding business role.
Brilliant generalisations.

Continental separations just don't make any sense on the internet. I'm perfectly happy not being a U.S. user - we speak english and have ruby, php and startups too, why can't I be interested in what we (the internet) are talking about today?
This isn't about being 'selfish' or 'nice'. This is a question of thinking about the long term versus the short term.

Everybody wants to 'finish first' - that is to act selfishly, and it's not a bad thing. It's just a matter of where you place the finish line.
I have worked with more female coders than over-40s. Maybe the industry is changing, and that change is visible at younger companies with younger staff.

Also, minorities tend to congregate in supportive environments, so you will find a bimodal distribution of organizations with peaks at many or no women, and trough at 1 or few women.
>This company makes a lot of money, they still have a lot of marketshare, but there's no question they are in a serious downdraft. It would be completely normal for any company in this situation to put itself up for sale.

So you would sell a profitable company with a large market share?
Lamar Smith, creator of SOPA and this bill, is the same guy who killed the "Ending Federal Marijuana Prohibition Act of 2011". Proposed by Barney Frank and Ron Paul, he cut it down before it had a chance using his rank of chairman of the House Committee on the Judiciary.

It would have pushed legislation from the federal to the state level. . A lot of our young ones are ruined in our current penal system over trivial crimes.

He is a staunch anti abortion activist, and has signed multiple bills to make abortion as difficult as possible, if not impossible. Even signing a bill to prevent a mother from taking her unborn over state lines to perform an abortion.

If you ever want to know my political opinion on something, just check Lamar Smiths' position, I'll be on the other end of it.
JustBeenPaid - "You've Just Been Paid"
Most Powerful Advertising/Marketing System on the Internet!Most Powerful Advertising/Marketing System on the Internet!
How Geeks Took Over The Online Porn Business
Unfortunately there's no easy way to filter by license type; it'd sure be helpful.
"Having the Simpsons is a privilege, not a right"

A $120+ a month privilege? If I was paying that much for TV, I'd be expecting to watch what I want when I want.
All but the very simplest recursions require heavy machinery to find closed forms. If you can't apply the Master Theorem often your best bet is to guess the answer and try an induction, otherwise you quickly end up with generating functions and differential equations.
"Android handsets vs iPhones", not "Android vs iOS". iOS as a platform includes iPhone, iPod touch, iPad and AppleTV.

We'll have to wait until tomorrow [1] to find out whether Android as a platform has a bigger marketshare than iOS does.

[1] http://www.apple.com/pr/library/2012/01/20FY-12-First-Quarte...
I have seen a lot of posts and advice like this about increasing your starting salary by negotiating with your recruiter. However, I am a college student looking for an internship. How much of a negotiating position would I have? Is it even advisable for me to try negotiating, considering that I'm only a college intern?
Don't worry - it isn't' lazy to omit features
Here are some tricks that help to settle the nerves:

1. Before the event begins, survey the place where you are going to speak. Stand at the lectern and familiarize yourself.

2. Before the speech when the nerves are rising, remind yourself it is about the message, not about yourself. Whether people will like or not like your speech depends on how relevant your points are.

3. Start talking slowly. If you are nervous, the words will tend to come out far faster anyway. This compensates for it.

4. Start with a question, not a general one, like "is everyone having a good time?" but one that leads into the topic "How many of you experienced a server-crash during the peak season?". It gives the audience some time to think, and for you to calm down. In the meantime, while they think, lick your lips. Yes, lick your lips. Just try it now. It works really well because you trick your brain into thinking that you are in control of the situation.
Bill Gates is Better Than Batman
> I've been eagerly awaiting this functionality
> for ages, and it's nice to see it finally
> happening.

A few years ago there was a patch to GNOME Terminal that added similar integration with GNU Screen. The patch is probably too old to work at this point, and I generally prefer tmux to screen, but I thought that it might be worth mentioning.
Thanks for the long but interesting comment. Are you able to share a little about the db setup you are using?
Well, that's mind-bending. I couldn't figure out how/where the actual exploitation of su happened since it seemed to require some careful synchronization, until it hit me: His exploit essentially starts up a process which, when it writes to stderr, is writing to its own memory. Then, it lseeks to the correct position which would cause su, when writing its error message, to overwrite its own exit() with shellcode. And then it just exec()s su with these preconditions, and it works. Dang.
At GOP debate, all four candidates oppose SOPA
Can someone enlighten me as to what advantage BES holds over the way iOS and Android communicate?

I agree that several years ago, when phone having an IP address was unheard of, BES made all the sense in the world. It's kind of pointless now.
Defeatist implies that there is in fact a way to eliminate piracy. There isn't.
"Giving in" is being realistic, not defeatist
For lossless images, you could also use the least significant bit of each color channel of each pixel to represent your binary payload. I doubt this would be noticeable, especially with a photograph.
Sorry, I meant Path 2 which more closely resembles Timeline. I don't think there is much similarity between Path 1 and Timeline.
If you are a good programmer you should be able to learn at least one such language (there are several that are popular enough to offer plenty of jobs).
"seminal", huh. I doubt whether they would take that as a compliment.
Does anyone here have any experience (and advice about) negotiating against intellectual property clauses? I'm particularly interested in whether fairly large companies are ever willing to give these up, or if it's just part of the price one has to pay for accepting employment.

Right now I'm working as a consultant with a team that keeps trying to convince me to consider coming in-house; up until recently, moving wasn't an option for family reasons, but now, it's become more realistic. It's a great team that I really enjoy working with, and I'm sure that the offer would be more than fair (my current consulting rate implies a pretty tight range for an offer, one that's in line with what they pay their engineers currently), but unfortunately, they are a subsidiary of BigCorp, and I know for a fact that BigCorp places some restrictions on outside projects, and that makes me nervous - having had to aggressively edit my consulting contract so that it was reasonable (to be fair, they accepted those edits without undue drama), I'm all but sure that their employment contracts are going to be very restrictive, and likely include full IP transfer clauses, not to mention long term non-competes and NDAs. State of California, if it matters.

Is it a complete pipe dream to hope that I might be able to get them to strike some of those restrictions, or will some big companies play ball on those matters? Non-compete clauses that terminate after a reasonable period I can (reluctantly) accept, but losing the ability to do open source work and/or my own projects would be too much for me, I'd rather just keep on keeping on as a consultant...
You can modify tmux to use the same shortcuts as screen so that you can use the same muscle memory. I've been a heavy screen user for a while and recently switched to tmux. To me, tmux felt like a breath fresh air. That said, I spent the time (~hour) to convert my heavily modified screen environment over to tmux so I'm using pretty much the same shortcuts.
Python requests now supports Py3K
/r/programming

/r/malefashionadvice

/r/design

/r/designthought (little discussion but good links)

/r/truereddit

/r/science

/r/scifi
The legal distinction must solely rest on intention. As you've hinted at, every digital work is just an integer. Copyright protection of digital works implies that some integers are illegal to copy and distribute.
Wow, was just thinking I should move to SV the other day due to lack of a hacker community and look at this, two relevant Torontonian comments!

Agreed, noise pollution is horrific. I don't have a problem at all with new york's latest "fine for honking" tariff: http://www.huffingtonpost.com/2011/10/25/nyc-taxi-drivers-to...
Oh, and there is a faq...

http://ycombinator.com/newsfaq.html

...linked at the bottom of this page.
But then you're not really using Twitter (their main micro blogging service) to share the file. You might as well encode your data as a lossless image, upload to Flickr, and paste the link into Twitter.
Ah, the "You wouldn't download a car" argument.

The analogy is horrifically broken, because while it takes a non-trivial amount of effort to copy a Porsche (not 'steal' it, because piracy doesn't destroy the original -- but you knew that, right?) it takes a trivial amount of effort to copy digital media.
Maybe we actually can implement meritocracy without a command hierarchy. It's a problem of technological limitation, that might be theoretically solvable.

http://hyperarchy.com
http://liquidfeedback.org
Ask HN: What determines Hacker News frontpage status?
First I want to say I thoroughly enjoy being part of this community. I joined in June 2007 and Hacker News has been a destination I visit multiple times a day since.

Though I am curious how HN frontpage news is determined? Is it algorithmic or it's controlled by editors at YCombinator?

I am asking because out of nowhere a fellow HN reader graciously, posted a link to our start-up CodePupil.com. We were FORTUNATE to have this post appear on the front-page for 20 minutes. .

First we want to say we are flattered that another HN reader thought enough of our work to create a post about it. Thank you very much!

We were even more thrilled when it had the fortunate to land on the front page http://bit.ly/yOvn9t for 20 minutes.

Of course we wished the post could have been up longer and wondered how HN frontpage news is determined?
I'm almost in the same boat with the guy that wrote the article.
Like him I also read 1year ago, on hn, about a guy who started to code on his projects starting with 5 a.m. because in the evenings he spent time with his fiance.

After I read it I tried it for a while, and it worked, I had to stop because then I was also a student and I was also working full time + I also had allocated gf time.

I will try it again, I hope I can get more things done in this way.

P.S. Thank you for/for posting the article!
Breaking CAPTCHA with automated humans
The only thing you're missing is the time you spent trying to see if it did more.
Stallman: Facebook is Mass Surveillance
Service that allows you to turn your computer into a tracking device
Great lecture on the Outback Challenge by APM developer Andrew Tridgell
Thanks for taking the time to present some information not often heard in these debates.

But in my opinion the big content distributors should be fighting to change the agreements and laws that shackle them -- not crippling the internet to accommodate them.

Louis C.K. has already made the case for us. You do not need to change _anything_ to get people to pay a reasonable amount for quality content. They will pay even when they can get it for free. He has already made a few million charging $5 for a non-DRM, easily pirated copy of his comedy special.

It shows the way forward: make it convenient, make it good value for money... and we will come.
A lot of commenters have talked about the pros of this routine, and there are many. Few interruptions, working while your mind is fresh, working within a regimen, etc.

However, if you don't have an equivalent amount of discipline on at night to get enough rest, you will quickly burn yourself out. I did this routine for a lot of the second half of 2011, and since I'm a night owl by nature (going to bed at 12 midnight is 'earlyish' for me), the lack of sleep quickly caught up with me. My project was actually getting some traction though, so I basically spent about four months in a sleep-deprived haze and consuming about 400 mg of caffeine a day just to function.

So I guess what I'm trying to say is, if you're like me and you go to bed at 1AM, wake up at 9AM, and go into work at 10AM (a very common engineer schedule), then it's not just a case of setting of your alarm clock but really adjusting your lifestyle so you're not fundamentally sleep-depriving yourself.
Web Design Services Bangalore | Graphic Design Services | Seo Services
Web Design Services Bangalore : Fugo Creative is a service provider offering solutions in Marketing Communication, Graphic Design and Web Design. Our client base is spread over different verticals including information technology.
So what? 5 months is a long time, and I bet that they've added a lot of symbols.

(Also: I've been on HN for a really long time and there are plenty of things that are months — or years — old that I've forgotten about and wouldn't mind seeing again.)
Web Design Company Bangalore | Marketing Communication | Graphic Design
Web Design Company Bangalore : Fugo Creative is a service provider offering solutions in Marketing Communication, Graphic Design and Web Design. Our mission is to create significant value for our clients by offering the best-in-business quality services.