skysight-inc/HackerNews huggingface dataset:
Come on, people. Every developed country with a budget with the possible exception of Germany is doing the exact same thing as the US. It would be irresponsible of them not to.
Numbers that can be computed by Turing Machines are countable, so list them: c_0, c_1, c_2, etc.

Take any interval [a0,b0] (with a0 and b0 computable), and cross out your computable numbers until you find one, say, c_i, in the interval (including an endpoint). Take some strict sub-interval [a1,b1] (again with computable endpoints) within [a0,b0] such that a0<a1, b1<b0, and c_i is not in [a1,b1]. Now continue crossing off computable numbers, each time taking a sub-interval with computable endpoints to exclude any that happen to be in the interval currently under consideration.

The left hand end-points, a0, a1, a2, etc, form a strictly increasing sequence of computable points. This sequence is bounded above, and so we would like there to be a least upper bound.

And yet it cannot be one of the numbers you first chose, because each has been excluded at some stage. So here we have a strictly increasing, bounded above sequence of computable numbers such that there is no limit in the computable numbers.

This proves the computable numbers are not complete, and that makes analysis really messy.
Good engineers start with good tools and avoid wasting time.

See section 9 http://www.joelonsoftware.com/articles/fog0000000043.html
http://www.guardian.co.uk/world/2013/jul/05/us-blocks-espion...
A plane has crashed at SFO.
I think we're all excited about the growth of women in programming. But you can bring up a gender without bringing another gender down. This author singles out "overweight, pasty, Birkenstock wearing males" as the reason why a lot of Rails users don't or didn't adhere to tried and true OOP design. As if women couldn't and didn't make the same mistake. Rails was brand new and exciting when it introduced its conventions. It's so easy to look back now and say they sucked. That's how human progression works.

It's an overall ok post but let's cut the gender crap out and celebrate progression (both in doversity and OOP design) in a classy way.
The city of Los Angeles has 6 times more people than Vegas, without counting the metro area, the OC and San Diego, and of course the agriculture. It would be shocking if LV took as much water as SoCal.
Ah, so you want someone to promote your book. I am no expert, but I have heard publishers are not so useful for unknown artists. You will also be saddled with the cost of producing your books, and buying back the unsold copies in 60 days from brick & motor book stores.

I think you would get the most publicity by publishing yourself and spending money on gaming the best seller book lists. There have been stories linked to here on HN about this.
Broken for me too. Just a white page. Redirects to some launchrock site with some javascript in viewsource, but nothing shows.
See discussion from 3 days ago: https://news.ycombinator.com/item?id=5985554
Plane Crash at SFO
| Swedish media chose not to report on Sweden's actions

Can you confirm if this part is true?
https://news.ycombinator.com/item?id=5997791

https://news.ycombinator.com/item?id=5996597

https://news.ycombinator.com/item?id=5988044

https://news.ycombinator.com/item?id=5958974

https://news.ycombinator.com/item?id=5958691

https://news.ycombinator.com/item?id=5954536
Is this to be regarded as image quality preservation or a photo manipulation that increases sharpness "artificially"?
As a beginner I got into Haskell for the basics - generics done right, ADTs, typeclasses, very nice syntax, crazy good list operations etc

My reaction to monads & transformers was: "I never asked for this."

I got used to them in a couple of weeks but I know multiple people personally who couldn't grasp them in months. I try to provide them with a toolkit to flex their muscles on and be productive with.
> that you can delete files that are currently open in another process in Windows?

You can. However, there is an unfortunate behavior here that is different from Unix. When you delete an open file you cannot re-create one with the same name until the handle is dropped. (Once that gets to the NT APIs it will fail with STATUS_DELETE_PENDING until the last handle is dropped).

You could work around this by doing rename + delete instead of just delete.

I thought this behavior was dumb until I looked at the on-disk structure of FAT. No inodes. The filename is your inode. It makes it easier to implement a FAT driver if the semantics are such that the name entry sticks around until the file closes. That is a weak excuse, and sadly the people in the Windows division with the power to change this don't really care about it. (FYI, I worked in the Windows division from 2008-2011, not that I defend everything they do.)

> poorly documented, non-zero flags so that I can read/write/delete from my process?

Yeah, I agree this was kind of stupid. There are internal folks at MS, some of them quite influential, who think it's stupid too. But it's already been done.

> The real problem is Microsoft's insane default file open semantics

It's only "default" in that if you pass 0 it's what you get. If you think of "default" as FILE_SHARE_READ | FILE_SHARE_WRITE | FILE_SHARE_DELETE (and if everyone writing Windows software had that in their head) things would be a lot better. Granted that's a big if.

> Trash the standard Windows API (not just hide it)

This is the same fallacy a bunch of internal people came up with in Windows 8, however the truth is large chunks of the Windows API have nothing wrong with it. For example with what I'm sure are very simple changes in ntfs.sys, the corner cases around files being open [the ones I mentioned in my earlier post, not the ones around sharing flags if we consider them "by design"] go away, without invalidating every API in existence.
I am new to go with a Python and C# background. Using Revel on my latest project. Not completely convinced it provides that much over roll-your-own or composition with Gorilla's libraries. I much prefer Gorilla's mux to Revel's routes. Looking at the source code has been highly beneficial to learning Go, so Thanks all the same.
The cost/benefit analyses never pencils out for these services.
Hey - you might want to add www.thinkster.io to the "extended reading" section, as its regarded as one of the best free comprehensive angularjs resources (and uses many of the egghead videos)
And of course SO police closed this very interesting topic killing many potential very interesting posts. That is despite people liking it, discussing it and upvoting it.
I am sorry for this a bit off-topic comment but I really hope there will be more voices against this moronic policy.
Great post here by patio11 :
http://www.kalzumeus.com/2012/08/13/doubling-saas-revenue/
(latest info at bottom of comment)

ABC reports it was coming from Taipei, linked forum says Taipei. Video of aftermath. https://www.youtube.com/watch?v=0dFtmSybpuw&feature=youtu.be.

Redwood City FD responding. Unknown amount of passengers. SFO FD using foam on entire plane.

FAA has now shut down operations at SFO due to "disabled plane"

3rd alarm called, "red" alarm called.

Multiple reports that fuselage is in multiple pieces. Tail is some yards away.

FAA issues statement: "A Boeing 777 operated by Asiana Airlines crashed while landing at San Francisco International Airport." No further details.

Asiana Airlines flight OZ214, Boeing 777, registration HL7742 http://t.co/bSgoVeggrU

Better picture: pic.twitter.com/JqLj9OAtzv

#SFOFire Northfield IC, North Field Command, four engines and 3 ambulances inbound to aircraft, other units staging #CaFire

@rafweverbergh: Confirmed with controller at SFO: "plane is broken in multiple pieces. (...) a hard landing" SOURCE: http://t.co/ghqoLpxfVM @scobleizer [http://twitter.com/rafweverbergh/status/353590307402694658]

@CarrieMantha: Thank God @OntarioHazards EMS reporting all passengers of the downed plane at #SFO are accounted for. Injuries but no reports of fatalities [http://twitter.com/CarrieMantha/status/353590343624691712]

@punkboyinsf: Redwood City Fire is classifying SFO plane crash as 3 alarm fire and level 8 mass casualty incident. via @lautenbach #YAL [http://twitter.com/punkboyinsf/status/353590933515804672]

@Emergency_In_SF: SFO AIR CRASH (update): crews report 48 patients have been rescued so far after 777 crashes on landing. Passengers still on burning plane [http://twitter.com/Emergency_In_SF/status/353591197144588288]

LIVE SHOT OF PLANE NOW AVAILABLE:

@brianstelter: KTVU, Fox affiliate in San Fran, has a faraway live shot of the plane here: http://t.co/BXreHtWugm No anchored coverage yet. [http://twitter.com/brianstelter/status/353591320733941760]

Someone got a picture of the crash as it happened:

@stefanielaine: just realized I have a picture of the actual crash. holy fucking shit. http://t.co/5TnOX96Gsi [http://twitter.com/stefanielaine/status/353591123958173696]

@peterpham: 290 passengers on plane, 1 infant - San Francisco Fire and EMS Live Audio Feed http://t.co/ZoMhufPNMA via @Broadcastify [http://twitter.com/peterpham/status/353592842385494016]

VERY UP CLOSE PICTURE FROM TWITTER: https://path.com/p/1lwrZb
Oh, well I jumped to conclusions then. The stuff about dramatically reducing taxes (and thus government) and privately funded prisons and gun ownership and individual control over public money is basically economic libertarianism. I was assuming by that point that you believed in private police forces too. Another key feature is the primacy of property rights (which you didn't mention), although that also gets you into social libertarianism.

You made a remark about the government being like a parent figure. For me it was always too easy to focus on government waste and abuse because I grew up with abusive parents. As I learned to separate myself from them as much as possible and heal from the damage, it was easier for me to make some kind of limited peace with the current system, as non-ideal as it is. I now see it as the least bad viable option.

I don't know if that makes sense, but I guess that's why I personally don't really want to go down the road of debating highly alternative societies, libertarian or not. I guess I'm just tired of it.
OK, while we are reviewing the beliefs and actions of past Secretaries of War, how about Henry L. Stimson? He once said, "Gentelmen do not read each other's mail."

Now, this was while he was Sec. of State, before he became Sec. of War. His views later changed, after he took the position as Sec. of War. Ask yourself, "Why?" [1]

It's an interesting piece of history: http://wikipedia.org/wiki/Black_Chamber

1. Here's a possible way to think about it: Programmers are familiar with the idea that software is not inherently good or evil; it's how it's used that matters. "A Victorinox can be used to fix your car (good) but it can also be used to disassemble it (evil)." Similarly the data being gathered by mass surveillance programs can be used to further "national security", or it could be used for other (evil) things.

If you accept this way of thinking about surveillance by a government of its own citizens, then it stands to reason that there should be some rules about how the data can be used. Check and balances. Alas, as we see, secrecy governs all aspects of the surveillance process. There is no judicial review of the collectors, except by a secret court... and one that itself lacks details about the process (i.e. how the data is collected). How can the public, even by proxy of its representatives, ever hope to review the application of these programs if they are not even permitted to know about them?

Under this sort of scheme, if a young man with good intentions informs the public, he's already broken the law. No one needs to prove he's harmed national security. It's assumed. Not that she is a good example to compare with, but I guess Rosa Parks broke the law too. She was damned if she did (arrested) and damned if she didn't (to live in a segregated country). The thing is, after she was arrested, she had the support of many people, some of who had considerable influence.
Some programmers on 4chan came up with a "Sleep sort" algorithm and then proceeded to optimize it, complete with example code:

http://dis.4chan.org/read/prog/1295544154

It essentially spawns a new thread for every item in the array, sleeps for an amount of time that scales with the item's value, and then prints out that item. So it's O(n + timeScale * $biggest_input)

Pretty funny / entertaining if taken lightly :P
This seems to be false and fria tider doesn't seem to be the best of sources, even if the gist of the story is true. There are articles online in at least three major newspapers (aftonbladet.se, svd.se, dn.se)
I didn't think that dating this theorem to the 1940's was accurate. This was originally proved by Cantor in 1874 [1]. Cantor's work was well-known (and highly controversial) during his lifetime [2].

[1] http://en.wikipedia.org/wiki/Uncountability_of_the_real_numb...

[2] http://en.wikipedia.org/wiki/Georg_Cantor
Both DN and SvD have reported on it:

http://www.dn.se/ekonomi/sverige-uppges-ha-stoppat-spionsamt...

http://www.svd.se/nyheter/utrikes/sverige-dras-in-i-spionska...

It's not big news however.
The slug says "us-blocks-espionage-talks...", while the actual title is: "UK blocks crucial espionage talks between US and Europe."
Big Data Scala with Spark
If you want to build something useful, App Engine is a great way to learn Python. That's how I learned :) Also, Pycharm is good at keeping you PEP-8 compliant, etc... The App Engine API was written very well by Googlers and a lot of things by Guido himself like NDB, AppStats, and Rietveld(a sample app that Google uses for code reviews).
Welcome Rocket Fuel Labs - The Newest Incubator In Town
Sitting in a plane there now that was supposed to take off in 10 minutes. Hopefully there were no serious injuries. There's a big plume of smoke where the 777 is.
Germany is doing exactly the same. We have strong wiretapping laws, eg the G10-Gesetz which not only allows covert tapping but also data transfer to foreign intelligence agencies. No warrant required if national security is motivation for the tapping. Merkel is lying to everyone because elections are coming this September. I would not be surprised if they knew about NSA data collection before the Snowden leak.
BS. There is almost no conceptual difference between the two below, which would allow for any substantial credit in terms of innovation for the people you are mentioning.

http://www.ilord.com/images/enigma-in-use-3-600px.jpg
http://www.computerhistory.org/atchm//wp-content/uploads/201...

https://upload.wikimedia.org/wikipedia/commons/8/82/Kenngrup...
https://awarmanf.files.wordpress.com/2010/05/us-4.png

Concept of datagrams, encapsulation, Radio Identifiers (~ MAC/IP address) etc.: http://operationturing.tumblr.com/Enigma
Tesla stocks in 5 years (from 2012)
Nice idea. Though I think "hours of sunlight" is probably more important than "precipitation.
Read the bottom of the article:

>How do I resize a whole folder of images? [...]
The flight was Asiana 214 from Seoul: http://flightaware.com/live/flight/AAR214
You used ImageMagick? The results are impressive.

(Awesome stuff! That looks like a fun company to work for or found.)
The trouble with this article, besides arguing that this sort of behaviour is ever OK, is that it presupposes a war that is not actually happening. The "War on Terror" is an election slogan, not an actual war. At best it is a series of criminal investigations. How very Orwellian to call it a "war."
What's wrong with HaskellDB?
Here are the most recent FAA Advisories: http://www.fly.faa.gov/adv/adv_list.jsp?WhichAdvisories=ATCS...

And here are three relevant ones already published:

* http://www.fly.faa.gov/adv/adv_otherdis.jsp?advn=26&adv_date...

* http://www.fly.faa.gov/adv/adv_otherdis.jsp?advn=27&adv_date...

* http://www.fly.faa.gov/adv/adv_otherdis.jsp?advn=29&adv_date...
Coded message hidden in UCLA campus floor tiles
More information about bogosort: https://en.wikipedia.org/wiki/Bogosort
Interestingly, for any method of describing real numbers (i.e. mapping from finite strings to real numbers), the diagonal argument gives an explicit description of a single number that's undescribable by that method. Just out of reach, so to speak.
Asiana 777 Crash Live CNN
One of the cities it gives for Estonia is "Pjarnu", for Pärnu.

But then it also thinks the capital is "Tallin", rather than Tallinn.
I'm thinking most people who've been on the net for more than a decade are wondering what the hell you mean by better.
That sounds promising :)
I also managed to find some mockup I got when I was thinking about working on something like that

http://jsbin.com/axojax/2

some UI tips:

1. Make the font bigger for inputs + add padding for input elements.

2. Make difference between _ and space and other escaped characters more noticeable.

Great work!
Instagram:
http://instagram.com/p/bb0mk0OK84/
I coded up a quick implementation of this in python, but in testing I found that after the algorithm was done I actually wanted a shuffled list.
I use vanilla vim as a handy lowest common denominator editor when working on whichever random system I happen to be on. Emacs is for when you want to customize, in my book.
I am bolivian and live in Bolivia, this is one of the most accurate comments about my country I've read from a foreign.

If you have questions about how is here, I will try to be as objective as I can. (Disclaimer: I am not into politics, I am a geek/hacker :) ).
This discussion wasn't even on Stack Overflow.

On top of that it's been closed since 2011 and nobody saw it fit to be re-opened. Not to mention having 100+ answers. How that's constructive is a wild guess.

But at least it's made some smile or catch them offguard.
I would definitely recommend Neckbeard Republic. https://www.neckbeardrepublic.com/
> Does anyone even use Vim without plugins anymore?

I use vim for almost 20 years for everything except when I'm developing in java (but even then I use eclipse with a vi plugin).

And no plugins at all.
I had assumed the U.S. was behind it, but P.J. Crowley doesn't think so.

http://www.youtube.com/watch?v=cv0AOpfeN6k#t=428s
Failures don't have to be spectacular to be useful. One of the nice things about a reusable vehicle (and one reason why rockets are so much more expensive than aircraft to develop) is that you can test things incrementally, such that a failure in whatever new thing you're trying won't doom the system as a whole.

Look at the Apollo program, for example. I doubt anyone would say they weren't trying as hard as they could, and yet the only failure I'd call "spectacular" was the very dumb and useless failure of Apollo 1. There were lots of other failures, of course. Apollo 11 had persistent trouble with the computer during landing, nearly leading to an abort. Apollo 12 got hit by lightning on launch, twice, and the mission was only saved by quick thinking. Apollo 13, in addition to the famous explosion that happened partway through the mission, lost an engine on launch. On later investigation, it turned out that the engine loss was due to massive oscillations in the rocket that would have torn it apart within a few more seconds if the engine hadn't fortuitously shut down. Apollo 14 had docking trouble, had to have its computer reprogrammed by the crew in flight to work around a faulty switch, and finally had a radar failure, all of which threatened the mission's success if not the astronauts' lives. Apollo 15's first stage didn't shut off when it was supposed to, nearly requiring a launch abort. Apollo 16 looks to be the first one that didn't encounter major problems.

I wouldn't be surprised if SpaceX didn't have a lot of similar failures, which are big deals to them but don't look like anything other than "success" to outside observers.
I really like the fact that Linux is GPL, the license served the community well. For large, stand alone apps it makes sense.

On the other hand I try to avoid GPL/LGPL for components.

Here is a scenario:

1. Invest in developing your app based on CppCMS

2. It takes off, great - buy commercial license.

3. The next version of LGPL gets more restrictive, you're stuck with commercial license.

4. Artyom gets hired by Google/Apple, no time for CppCMS anymore; only the LGPL fork gets fixes from now on.

5. Throw away your investment (time and money), start learning something else - how cool is that?
Why is this HN relevant ?
But... the intangible part of a project is often the person/team behind it, whether you trust them to actually deliver, and whether you trust their instincts, perhaps based on previous interactions (hence the popularity aspect coming in to play).

That's precisely the issue to solve. How to show a "karma" that is close to your real capabilities.
FreeBSD has had this for quite some time with zfs jails and ezjails.
Cool, I only just realized that applying the diagonal argument to computable numbers leads to the halting problem, and applying the diagonal argument to definable numbers leads to Tarski's undefinability of truth.
SFO.
SFO is the nearest airport to San Francisco and Palo Alto, I expect this will affect travel for people of startups coming back from vacation like myself. That's why.
Anything outside the box belongs on another site. They have a format that works for them and rules to follow.
We're not being forced to use only Stack Exchange sites for our non-HN posts.
Spectacular pictures of the explosion in Lac-Megantic
Relevant for several reasons. The main one probably being that it's an airport a lot of HN members probably use.

Also submission guidelines: http://ycombinator.com/newsguidelines.html
>The fact they are choosing to do it shows they have no viable alternative

Assertion based on facts not found in evidence. Just because they take remote jobs that can be done at their whim whenever they want doesn't mean they can't find a viable alternative. In fact, there aren't many jobs where those qualifications are met.
KSFO Tower Stream - http://www.liveatc.net/flisten.php?mount=ksfo_twr&icao=ksfo
Whose minimum wage?
Nope. Nor do I plan on it. Why should I use a language that forces me to know about RAII and the difference between C pointers and "language provided idioms" to begin with? Tell you what: I'll buy your "modern C++ is safe" argument if you buy my "modern Java is fast" argument.
How do you plan to enforce a global minimum wage where employers cannot simply shift labor?
Serious question: Is this proper English?

> Where the name dockerlite comes from?

I keep seeing that sort of arrangement in headings like "How it works?" where I expect it to say "How does it work?" and I'm starting to wonder if that's actually valid English or just a common error.
Both CppDB and ODB are abstraction layers between your code and SQL (Postgres, mySQL etc). ODB is somewhat closer to ORM.

CppDB uses MIT or BSD license (you pick), ODB is under LGPL or commercial license.
Because hackers are people..?
I would be very interested to know what a swede has to say about this. My general impression of Sweden (at least sitting here in Germany), is that it is a liberal minded country by european standards - that is that in general the scandanavian countries are on the forefront as leading examples of how modern societies should behave.

This article seems to imply the opposite, why would Sweden veto this unless they have some serious spionage going on themselves? For me, it also makes the assange affair seem more dubious than before as if Sweden were basically following US mandate.
The only plugin I use is ctrl-p.
Good or bad, HN always has tons of SF news that really isn't relevant to hackers or startups.

http://lmgtfy.com/?q=site%3Aycombinator.com+san+francisco
Someone who was on the plane says everyone seems OK: https://path.com/p/1lwrZb
Tweet/photo from someone who was on the plane: https://twitter.com/Eunner/status/353592664526028801
yes, that is the first and most important question on everybody's mind now.