skysight-inc/HackerNews huggingface dataset:
Of course with some languages those problems are no longer "hard":

- Prolog w/ Constraint Handling Rules simplifies constraint solving
- Prolog simplifies parsing
- Lisp simplifies interpretation / compilation

That leaves numerical algorithms and machine learning, which I agree are useful to understand anyhow and different programming languages offer little leverage ;)
Wonder if there's a selection bias here; VirtualBox may be less stable than native hardware or commercial VMs, but it's user base is also using VirtualBox for different scenarios than native users.

I know I use VirtualBox all the time to try out "risky" behaviors that often end in a crash, because I know I can just roll back if it doesn't work out.
Well, if it happens that it coincides with the date of the funeral +/- 1 day then you could imagine that it's not the best strategic time to make a key announcement.
Verification does not need to be an all of nothing approach. Having one part of a system verified means that you are sure certain bugs can't appear on that code. So, there are less bugs in total, and when facing such a bug you know where you don't need to look.
Otherwise you never end, you have to verify your code, the compiler, the operating system, the processor, quantum physics, the creator of the universe...
He gives some interesting data points, but ultimately fails to prove the headline that "anything less is a costly mistake". In order to do that, he'd have to take a sample of websites and show a correlation between copy size and profitability.
I agree, I run XP and Vista under Virtualbox for testing websites, plus Debian for when I want to guarantee a clean development environment. I've never had any problems, other than with some Windows games which can't detect the CD drive because they assume it will be at D:\
I've had quite a few issues with it.

1. Copy + paste randomly breaks between host win32, client ubuntu32.

2. Random freezes every so often.

3. Seamless mode extremely unreliable, does not draw correctly.

4. Horrible issues with shared folders breaking io operations. I actually got a (trivial) patch into golang to work around this issue (!). This also completely breaks ido mode completions in emacs.

5. Occasionally shared folders get into an odd state and no files can be read from/written to them.

4 + 5 might be specific to the way I use shared folders though, as I access them via a dropbox folder sat in a truecrypt volume.
The graphene researchers from yesterday got $2 mil at least! http://news.ycombinator.com/item?id=3080058

But yeah, money going into graphene research will certainly be on the rise over the next few years :)
What I'd like to explore, is if you can help catalyze the effect PG is talking about by concentrating whatever startup activity exists in a city to one central location. In other words can you fake a hub, and thereby encourage its growth, by 'artificially' concentrating this critical mass of people?
story removed from the front page by HN medieval inquisition crew.

Edit: restored online. Don't know what to think.
Astrologers sue over Unix time zone utility
Maybe it's more useful on a phone, which is used for contacting people and organizing things. Launch new tech where it's most compelling; people don't mind the problems as much, and you can iterate to improve - as Apple did for the iPod.

And holding it back makes it a selling point for the iPad 3.
I'd be so excited for D to gain wider adoption. One area in which it really shines is in metaprogramming (compile-time code generation) that is such a headache in C++.
http://www.digitalmars.com/d/2.0/templates-revisited.html
Firefox and SeaMonkey users warned to disable McAfee ScriptScan
Sprint converts its CDMA network to LTE, plans 'aggressive rollout'
Nice words... He was a bad influence in computing world, He did innovate somethings but mostly he did was copy. Instead of focus in real innovation Apple was suing other companies for having rectangular devices (ref: https://plus.google.com/111531118192938544384/posts/DKgter1R...)... R.I.P Steve, you're better there than here.
Webpubli Marketing Digital
Without Jobs, we'd have no Android. We'd be stuck with Windows CE and Symbian.
How to turn an idea into a startup while holding H1b
Hi,

I just started talking to VCs about my business plan, when I realized that my H1b might be a big obstacle. I have H1b from a big corporation.

I have a legal resident co-founder, but I still am not entirely sure of the big problem awaiting me.

How do I go from working for big co. to being able to create and run a startup? Anyone have experience/suggestions?
Webpubli Markegint Digital tem os melhores desenvolvedores de site, especialista em criação de sites com foco em marketing de busca (SEO) e marketing digital.
Marketing Digital é uma das formas mais econômicas e eficazes de se realizar propaganda e alavancagem de sua marca.

Criação e Desenvolvimento de:
Site Profissional
Loja Virtual - E-commerce
Blogs
Intranet
Extranet
Portal do Cliente
Hospedagem - Host
Sistema web

Central de Vendas - Contato
(19) 4117-0095
(19) 4117-0096
contato@webpubli.com.br
http://www.webpubli.com.br
Avant Tecnologias
Just checked. I read HN zoomed twice.
Some rumors were saying the phone itself would ship on October 27th, even if the announcement of it was on October 11th. So the postponing of the "announcement" wouldn't affect shipping anyway.
That's two orders of magnitude less than the usual cliche of 1,000,000, coming from a guy with a reality distortion field,.
Original MIT description: http://www.mit.edu/newsoffice/2011/graphene-thermoelectric-1...

Current had previously been seen in response to light, but was assumed to be a photovoltaic effect. This new work says it is a "hot-carrier" response.

"The material’s electrons, which carry current, are heated by the light, but the lattice of carbon nuclei that forms graphene’s backbone remains cool. It’s this difference in temperature within the material that produces the flow of electricity."

It is interesting because it is a response to temperature differences and responds to wide frequencies and power ranges of light.

Don't sell your coal mine stock yet, "It is still unclear if it could be used for efficient energy generation. It’s too early to tell."
That's not a mark of respect though, that's "they want to get a load of press and think they're going to be held off the tech pages".

EDIT: I think worth also noting that it's supposition that it's being delayed as a mark of respect, rather than anything Google or Samsung have said.
What’s the alternative? I know of no PPI-aware way of specifying font size.
Hadn't seen those, will give it a shot!
I disagree. I think a lot of uninitiated potential haskell users are turned off by hearing about the "scary" learning curve. The key is to forget everything you know about imperative programming going in. There's a temptation to compare each Haskell idea with the similar idea in whatever language(s) you already know. Approaching with an open mind turns that "scary" learning curve into an easy and rewarding journey.
Developers Make More Money with BlackBerry than Android
Making Menus Escapable: A followup to "Seven Minutes in Ubuntu"
An oracle for object-oriented programmers
Yeah, I'm from the UK. We're used to seeing our politicians do just that so it taints my view of the world. They also do the reverse and use major news to bury things. Sucks to be us.
Or this if it still does not load: http://webcache.googleusercontent.com/search?q=cache:lkml.or...
I wonder if MINOS (a Fermilab experiment, http://en.wikipedia.org/wiki/MINOS) could be repurposed to provide collaborating evidence. It's an experiment that detects neutrinos both close up and after a 730-ish km flight. Maybe if they run both detectors on the same beam and can sync the results they can provide great enough accuracy to verify the result?

Yes it would probably cost millions for such a thing to be done if it's even possible.
Apart from VirtualBox being notably slower (and less complete in working D3D/OpenGL support) than f.e. Parallels Desktop, I can't say I've had any gripes or stability issues with it, barring a recent, short-lived bug that caused VBox to automatically power down an active VM as soon as it went idle. I've been using VBox on OS X for a bit over 2 years now, for development purposes related to Windows XP, OpenBSD, one or two Linux distributions, and even Haiku.
Looks great, maybe you can monetise it by bundling some add on web services? xobni / rapportive / cloud backup & search?
Ubuntu Powers HP Public Cloud
VirtualBox is a fantastic piece of software. Just because it's not perfect, doesn't mean it's garbage. Far from it.
For Alice, Alison, Bobbie, Carole, Catherine, Cristina, Helen, ...
Yeah..we are from South Asia and willing to help him out.
Any blog links?
Learning curves of popular mmorpgs
Not necessarily. You're presenting a data point only, while the poster of the patch marked the module CRAP for a specific reason - that module produced too many bug reports which are not relevant to the distributions since they originate in vboxdrv. From that perspective vboxdrv is garbage and people who deal with that problem agree.

Data point is as relevant as "I keep crossing on red light for years now and nothing bad happened".
It looks like this was forked from (or to) an iPad version?
It's probably a lot easier to sell there, granted.

It looks like a nice client- What are it's distinguishing features? What needs help? What are your intentions now- To throw it out there, or keep building it?

Are there binaries?

How are you handling the Messages in-memory? I'm looking for a mail client that can handle my multi-hundred-thousand email inbox, but everyone except Mulberry tends to have a problem ;)

Looks really sharp. Kinda reminds me of FF with the tabs at the top.
Yankees vs. Tigers: Jim Leyland controls Detroit promptly into the ALCS
> interesting fundamental CS research (especially into automated verification/program correctness/security) these days

As far as I know they are doing it for looong time (look at Spec# for example). They needed it for the driver WHQL verification (they actually verify that the drivers fulfill some temporal logic predicates)
>Don't sell your coal mine stock yet, "It is still unclear if it could be used for efficient energy generation. It’s too early to tell."

isn't graphene made from coal? maybe this discovery might even further increase coal demand?
as well as D.
Failed Startup Lessons From Indivly Founder (formerly messageAMP)
Fuck Cancer.

^
|
|
|
|

[Edit: Anyone who has gone through it, or has had loved ones deal with it knows what I'm talking about.]
University of Texas and IBM a Flood Prediction System | usatrends.us
I explicitly said in the article how Apple is showing the way to all the others.
source ?

don't forget : 51% Unknown effectiveness ..

http://clinicalevidence.bmj.com/ceweb/about/knowledge.jsp

one example "Unknown effectiveness"

"Pancreatic cancer
New option(s) added for:
Chemoradiotherapy for resected pancreatic cancer One long-term follow-up study added. It found no significant difference between adjuvant chemoradiotherapy and surgery alone for overall survival or progression-free survival at 11.7 years' follow-up. Categorisation unchanged (Unknown effectiveness), as the evidence is not strong enough to draw definitive conclusion."
I find in order to stop procrastination you would first need to evaluate the importance of the task required. We all know that we do not place merit on tasks or interests that have no sufficient barring on our individual attention. To most attention is a restricted resource which allows most to only be able to devote awareness to task one at a time. We are able to allocate attention to two or more task simultaneously as long as the input and out paths are different. We don't return to something we recently experienced or examine. So procrastination could be on terms of temporary avoidance or chronic avoidance. An excellent strategy to start will is start your day doing the things that bore you the most or the most difficult get it out of the way (band aid style rip it off quickly). Next one most likely experiencing time management issues so getting more organized with to-do lists or using your cellphone's calendar to add your scheduling and giving ample time to complete each task and even adding breaks if need or allowed. Set goals and then add logical planning to see to the achievement of the goals it's also a sense of pressure some work well under pressure. Sometimes procrastination is the gateway defense mechanism recondition your thinking into removing the "I need to" "I have to" to a more assertive goal "I will" or "I want" and follow through. Lastly, don't leave room for deliberations. The more you think about your mountain of tasks the likely you are to select the ones "most" convenient or "easier" thereby putting the others off to another time that is already spotted for the stealing of new tasks. If all else fails simply provide yourself with a positive reinforcement such as treat yourself for a job well done which is motivator in itself; should you not complete the task the discipline will also motivate you to get the task done in order to get your treat and the consequence for not doing so
All About Jorge Posada
If you ask a variety of people how readable they find a typical web site, you'll receive almost uniform responses that many (or most) pages are difficult to read. Font size is a factor but there are many more factors, which I outline here:

http://www.filterjoe.com/2009/03/25/filters-for-reading-on-t...

and suggest solutions for web design here:

http://www.filterjoe.com/2009/03/23/site-design-for-reading/

A main theme of my site is how to read without distraction on the web. As has come up a number of times on Hacker News, the tools readable and readability are a terrific way to reformat web pages in order to make them more readable:

http://www.filterjoe.com/2011/04/11/web-page-reformatting-se...

One last trick is to arrange a high pixel density monitor vertically and place it far away from your eyes. You can calculate the distance needed to attain the equivalent of a retina display:

http://www.filterjoe.com/2011/02/26/the-best-monitor-setup-t...

Whether this makes a difference in terms of readership, conversions, etc. I have no idea. But the proliferation of tools in the past few years to help people read web content suggests that a lot of web users are struggling with reading web pages.
What license is this under? :(
Well, doesn't look like a review to me. It's rather a collection of data gathered from various sources.
I sent this around to a few private mailing lists of friends who surely know Amit or at least a friend of his.
That pizza looks nasty.

(sorry for being blunt)
I think it would be very unfortunate for them to have the iPhone 4S and iOS5 hit the blogosphere between their announcement and launch. Does that make sense - was the iOS5/4S launch date really that secret?
These are kernel developers saying that the majority of crash reports they receive are caused by the virtual box driver.
iPod's chief competition at the time was the Nomad (as captured in Rob Malda's classic iPod review).

I bought a Nomad in August 2001 (roughly two months before the iPod came out). I have never had more remorse at being an early adopter.

The Nomad was the size of two Sony CD Walkmans stuck together. Its interface was a series of four fiddly buttons and a dire lo-res LCD screen. The iPod was a tremendous improvement in every single respect.

The reason why the iPod wasn't an immediate hit was because it was only available for the Mac. iTunes for Windows didn't get released until 2003.

If the iPod sucked in 2002, every other hard-drive based MP3 player sucked more.
10 Quotes That Tag You as a High Risk Entrepreneur
The 3GS didn't bring much hardware change over the 3G either: More speed, better camera and the compass.

Now with the 4S, we get more speed and a better camera again. I really don't see a problem here. You are free to skip this years phone.
Maybe if it comes down to the wire they can get fedex or something like that to help - I dunno.

It's all very sad that it's so disorganized worldwide and need this kind of supreme independent effort.

Why isn't there international government funding for this?
I do like the idea of building one, or making a format that the national registries can exchange information easily in.

I have to wonder if there's all sorts of privacy/medical/HIPPA stuff that stops/slows this.
> Why does this need to be a formal body? The public itself - in the form of a dynamic and multi-polar civil society and not a single formal institution - is an appropriate counterbalance.

The public has failed at this. Nearly every big government program is electorally popular. Medicare. Medicaid. An enormous military. The Drug War. Social Security. Proposing serious cuts to most of these programs is electoral suicide. Look at what happened to Barry Goldwater. This holds even more true in Europe.

> Tweaking the balance between various co-equal government institutions is a good way to limit the capabilities of the overall system without having to rely on any permanent external force to restrain it.

Where has this tweaking actually succeeded? All Western governments are far larger than they were originally intended to be. Even if this tweaking is theoretically fool-proof, the fatal flaw is that government bureaucrats themselves must implement those tweaks. Conflict of interest.

> If we returned to dealing with social problems via judicial means on a case-by-case basis, instead of giving legislative and executive authority a priori top-down control over everything, we'd be much better off.

The courts themselves have given their stamp of approval to legislative and executive over-reaching. The courts, on their own, stretched the Commerce Clause to ridiculous extremes. The courts, on their own, reduced the Tenth Amendment to a dead letter. Franklin Roosevelt's packing of the Supreme Court was the last stand for judicial limitation of the government. Besides, who decides what judges sit on federal benches if not the legislative and executive branches? Again, conflict of interest.
It does seem like Grooveshark made a deal with EMI after getting sued, and a bunch of record labels. They seem to follow Youtube/Vimeo's use of indemnification (as in the users agree that the content they are sharing does not breach Terms of Service).

Does that mean this is legal? No, Universal and Pink Floyd (in addition to EMI) sued them and Grooveshark could not reach a deal with them. Apple even removed the iPhone app.

Nonetheless, Youtube started out the same way. I'm sure they will make more deals and become a legit company.
today on adafruit i'm helping limor fried (first female engineer on the cover of WIRED) with 24 hours of posts with cool women doing great stuff in the world of making, engineering, science and more. she also has 10% off everything in the store to encourage giving the gift of electronics to spark imagination - http://www.adafruit.com/blog/category/random/ald/

enjoy...
Derivative works of the kernel must also be licensed under the GPL, meaning their source code must be available. So, if the Linux developers like the changes someone else has made, they can merge them in.
Coal is largely dirty (impure) carbon. Its easier to pull carbon out of thin air than refine it from coal.
Survey of Web design problems
Swish. Very sexy. I love it
Even google search?
My best guess: "This doesn't mean that Android isn't [Linux], ..." and "That doesn't [mean], however, ...".
A a lot of buttons on those designs. One gets used to the opposite in OSX...
Facebook API Abuse Can Expose Private User Data
Cross-platform development with F#
Homeland Security moves forward with 'pre-crime' detection
I've had loved ones go through it. This sentiment sums it up perfectly.
It's also important to realize there are dozens of different kinds of cancer even though they all share the same word.

What freaks me out is women have a 1 in 3 chance of getting cancer and men 1 in 2 :

http://www.cancer.org/Cancer/CancerBasics/lifetime-probabili...
Programming in F*
in fairness, the popular TV show "The West Wing" is practically a crash course in how to do this... so it's not unique to our government :)
While I normally don't comment on controversial titles used to lure users, using a name of someone who recently died to do it is quite distasteful.

You could have just titled, "whats wrong with iPhone 4". But NO, you had to add "and why Jobs is not my hero" just to be a bit controversial and attract people.
Am I the only one who find this distasteful? And is not because it's Steve Jobs, or I am an Apple fan, I would have said this regardless of the person.
"Some of the most important projects on our list are replacement projects. These projects are important because they address areas where users are continually being seduced into using nonfree software by the lack of an adequate free replacement."

Why is having a free program that solves a problem that's already solved more important than creating programs that solve new problems, but that also happen to be free?

I find it hard to believe that the most important free software project in the world is a player for passively consuming content in a proprietary format (Flash), that is A) dying and B) more for eye candy than anything useful.
Not Garbage. Default configuration is not optimal, however.

I use it all the time on Windows XP to run Ubuntu.

Initially, I did have a few problems because I didn't have Ubuntu or Virtualbox configured correctly. Also, I wasn't using 'VBOXADDITIONS,' which actually are extremely useful and important.

Some quick googling fixed my problems, in any case and I don't have any problems with it anymore.
Fergus Fleming has written an excellent book on some of the more daring/crazy British expeditions of the 19th century:

"Barrow's Boys: A Stirring Story of Daring, Fortitude, and Outright Lunacy"

http://www.amazon.com/Barrows-Boys-Stirring-Fortitude-Outrig...

To my amazement after reading this book I discovered that one of the few bodies recovered from the Franklin expedition is buried a couple of hundred meters from my home in Edinburgh.

http://en.wikipedia.org/wiki/Franklin%27s_lost_expedition

http://hidden-tracks-book.blogspot.com/2010/05/lt-irving-mem...
Not easy to find good numbers for this, particularly for the US. One source [1] refers to around 65k, another source's number [2] is an order of magnitude higher. Of course, church isn't very specific: it could refer to only christian houses of worship, to houses of worship of various sizes, it could refer to the religions themselves, etc.

For Germany, numbers are more reliable: there are about 45000 christian churches (split roughly 50/50 between catholic and protestant, [3][4][5]). Plus about 2500 synagogues and less than a thousand mosques [6], so less than 50k overall. I imagine that the situation in other Western European countries is similar, but it'd be interesting to know if that's true.

So depending on the correct number for the US, the number of churches in the US is either a lot lower or a lot higher. Huh, I guess this isn't very helpful. :D

[1] http://answers.yahoo.com/question/index?qid=20070129165140AA...
[2] http://answers.google.com/answers/threadview/id/721939.html
http://www.ev-akademiker.de/projekte/kirchen-oeffnen-und-erh...
[3] http://www.ev-akademiker.de/projekte/kirchen-oeffnen-und-erh...
[4] http://www.ekd.de/aktuell_presse/news_2005_09_30_3_rv_kirchb...
[5] http://www.ekd.de/aktuell_presse/news_2005_09_30_3_rv_kirchb...
[6] http://www.cosmiq.de/qa/show/1470093/Wie-viele-Synagogen-und...
Best Way To Burn Belly Fat At Home
While it makes sense to use a resolution-independent scaling, keep in mind that mobile should have a smaller font size in inches than a full screen, akin to the font size in a book. I certainly don't use my phone with arm outstretched.
Real world use of message queues
All that means is that some people are voting your story up, and others are flagging. Depending on when you look you may see it on the front page or not.