skysight-inc/HackerNews huggingface dataset:
I'm sure you know this, but I'd just like to clarify something:

You absolutely can generate only programs that terminate; for instance, throw out any that have recursion or unbounded loops, or use a non Turing complete language that is guaranteed to terminate.

That you can't solve the halting problem in general does not mean that static analysis is fruitless. The answer to "does this terminate" will be yes, no or maybe, almost always in the latter category.

The correct thing to say would be:

If you modify your algorithm to only generate programs without infinite loops, you've most likely thrown out the correct solution.
The "bitches" of Brazil (fail)
> And I see a lot of leftists on HN that are surprised that this is the case. Why is that?

Heightened expectations of intelligence, probably. I wasn't surprised that it was the case, but I used to be a libertarian programmer until I got an education, so unfair advantage there.
Quality is definitely all over the place, likely due to the volunteer nature of the effort. I've also found several copies of the same item, each of different qualities from time to time.

But the important part is that I found a copy at all. It literally didn't exist anywhere else on the internet.

edit
Here's a pretty good video of "Code Rush"

https://archive.org/details/CodeRush_616

and another not as good https://archive.org/details/CodeRush

BTW, here's some copies of the Overture (the familiar fun bit is about 9minutes in)

https://archive.org/details/WilliamTellOverture_894 (an old 1910 recording)

https://archive.org/details/RossiniWilliamTell-Overture (a 1940s era)

https://archive.org/details/ReinerWilliamTellOverture (a much better stereo modern recording)

Here's a piano octet arrangement of the piece in 2011 (https://archive.org/details/Marioajero-WilliamTellOvertureBy...)

and tons more.
Is this the same effect that when told to count yellow cars whilst driving, you end up noticing far more yellow cars than you thought were on road.

Or how you notice how much more frequent your model of car is on the roads?
Why focus on Snowden again?

The fact of the matter is: We have clearly seen that the governments have been lying to us the whole time.

And of course they will ultimately make some promises.

But it's too late for promises. Nobody trusts the governments anymore. Their degree of corruption is painfully obvious.

As long as there are agencies like the NSA/CIA with the insane budgets we give them, the abuse will continue (best case: it will be slowed down temporarily).
I think this is a great question.

The reasons given for graphics drivers not being open are quite reasonable and I will exclude that quality from that discussion.

Many other devices are so basic that the driver is little more than a variation of the example code in the SDK (I'm considering Windows drivers here). Yet the manufacturers guard the source code for their version of the driver as they would if there was something really valuable in there.

In some software the driver is just a simple layer between the application and the hardware, most of the implementation is in the application and the driver could be opened and still maintain compatibility with the application.

At the same time users that are interested could be utilities or applications that improve what the user could do with the hardware.
Yeah, in theory you could build your own but having something UL rated is an advantage. AC is a lot more dangerous than DC, so you should really know what you're doing before mucking around.

There are a few more components for building a basic board:
https://instruct1.cit.cornell.edu/courses/ee476/FinalProject...
http://enerjar.net/Hardware.html

Building a more accurate power meter is pretty involved:
http://coolarduino.wordpress.com/2013/02/08/power-meter/
http://coolarduino.wordpress.com/2013/02/27/power-energy-met...
the straw viewpoint that corporations should have no rights to speak

But the CEO's also have a moral obligation to lead. Frankly, they have this obligation even if its not in the financial (narrow) interest of their company. Although what we are clearly seeing here is the 'existential' threat not only to their business models, but that <history> will view them as compllicit in a bad thing, imho.
Upworthy For Porn
If 90% of people stop ads from reaching them, then online advertising becomes almost useless. Its probably a bad thing because the companies spending billions (http://en.wikipedia.org/wiki/Online_advertising) to advertise, will stop doing so. The websites getting billions in ad revenue will stop getting money.
Case in point: http://www.forbes.com/sites/greatspeculations/2013/10/17/goo...

"Google derives most of its value from advertising where it competes primarily with Microsoft, Yahoo and Facebook. . According to our estimates, standard PC search ads account for over 30% of Google’s overall value and 60% of its revenues. However, the recent trend in earnings indicates that the growth in online PC ads revenues is slowing down. Additionally, the company’s market share of the U.S. search marketplace has been stagnant at 67%, according to latest data by comScore."

Primarily ad-funded free websites would make losses, or go paid. Us, the customers, pay for not wanting to see ads.
Of course, this is just my opinion on what might happen.
Proprietary Unix Continues to Fall
This is pretty cool. I wish it showed a heatmap of my location (filterable by day of week and/or time of day)!
Try sharing to Twitter, G+ or LinkedIn from www.reformgovernmentsurveillance.com and see how smoothly they've implemented the social aspect </sarcasm>
They've been telling kids not to give out personal information (including their name) online since at least the mid 90s.
They really advertise 99.999999999%? Isn't that 1 byte lost for every 100,000,000 Terabytes or something silly like that?
They really need to look again at how they implemented sharing to Twitter, G+ or LinkedIn; it's a mess.
this may be appropriate, in this case...
Laws don't need to be reformed. The Constitution needs to be enforced.
The standard name is the "Null-coalescing" operator, see http://en.wikipedia.org/wiki/Null_coalescing_operator .

It's only called "Elvis" in Groovy. The name was announced one day by its Project Manager as part of a marketing campaign to make the name "G-String" mean a string on Elvis's guitar instead of a revealing item of clothing.
Speaking of plain English, Knuth's use of Big-Oh notation for asymptotics brings to mind another domain of human activity altogether.
Anything that is not history, math, science, biology, etc.

In the 6-7-8th grade (at least here in California) there are a number of assigned books and lessons that teach (as best as I can describe it) "empathy". Which is great... but some of the books had a very strong viewpoint one way or the other that was persuasive but not always well rounded.

Personally when I was that age the "empathy" lessons were way better in middle school. They lasted a semester or two, we watched a movie called "The Lottery" where a village picked from a lottery to stone one person (I can't remember why, a good harvest I am not sure) but a mother was chosen and it was so ingrained in the children to stone the person her own children looked forward to the stoning and the mother tried to get the children to think "hey this is my own mother". Another lesson was the poem about when you let bad things happen to others, when bad things happen to you there will be no one left to speak up on your behalf (can't remember the title), and the third one was on cultural understanding if someone hundreds of years from now examines your house and get what is inside of it "wrong" (like assuming the toilet is a communication device you yell into, or toothbrushes (with hooks) were ear-rings) not to think badly of those people (and as such you may make the same mistakes when look at the lives of people you're not familiar with).
I like it. It would definitely be useful for presentations and mockups. I hope you get more visibility for this.
TPP Trade Agreement Could Make "Bio-Piracy" Worse
President Obama calls on every American to learn code
You can serialize it to a hex string, put it in a json request that you send off to some cloud service, and then an hour later parse it back out of the json reply, with nothing left in RAM that looks like that pointer for the time inbetween.
I have the Dover 3-vol. Euclid. A classic!
Nah, if people die due to "accidents", there's no initiation of force so it's okay. And of course, everyone will hear about it since there's absolutely no incentive for the property owner to cover it up when his reputation, and thus livelihood, is at stake.
Just like how all the NSA and Snowden related content is.
C++ Ninjitsu: static_assert: Better template error messages
I would take this measure of comparison with a large grain of salt; the Chinese scores especially are almost meaningless:

http://www.brookings.edu/blogs/brown-center-chalkboard/posts...
> Your GPS location is useful, but you need to convert it to a named location to get the weather.

Why would any app need a named location? Seems trying to match a string is way harder than finding the nearest weather data by coordinates...
There's a more than 100 pages's thread talk about GUP failure after two years use in Apple Support website. https://discussions.apple.com/thread/4766577
Here is a developer's account who worked under Sinofsky during Windows 7 development http://blogs.msdn.com/b/e7/archive/2008/10/15/engineering-7-...
There are a few that come to mind. 'Prelude'[1] and 'Graphene'[2] both serve as a sensible defaults for most folks. I had intended to link to the 'Emacs Starter Kit', but it seems that project has been abandoned...

Additionally, 'EmacsLive' [3] focuses on Clojure support.

[1] https://github.com/bbatsov/prelude

[2] https://github.com/rdallasgray/graphene

[3] https://github.com/overtone/emacs-live
Grace Hopper: Computer scientist and Rear Admiral's 107th birthday
>1. It reminds me to be civil and think before I post.

This may be true but it inevitably makes you dishonest. There are things that you believe or feel about certain things that you will never post. These omissions equate to a lack of honesty (you are not voicing your full opinions)

The internet is one of the last places where people can say what they feel. Sure some are jerks about things but these people are just being honest. They really are jerks. They might hold it all inside when offline but this is because of sensitivity conditioning and political correctness. These things only hide the true problems of our society. Do you think that because racism is repressed by PC and an agenda of a few in places of power to impose swift public embarrassment and isolation those honest enough to express their opinion that it does not exist?

If anything, this exacerbates the problem. It is funny that many want to legalize drugs so that those with drug problems can come forward and receive help without being demonized, yet those same people just want people dealing with hatred and bigotry problems just to keep it inside until it eats them (and their lineage) alive.

>2. It makes it easier for other people reach out to me based on things I've posted (I have a fairly unique name).

This simply is not true. What forum or internet based messaging means today does not have email, twitter, Facebook ETC. where anyone who just read your info can contact you?
She should be recalled. She's done enough damage as the Chief of Intelligence Committee in Senate, and she's going to do more in the next 5 years if we let her. I still remember getting my stomach turned by how aggressively she pushed the FISA Amendments Act renewal, last year, before Christmas, with no real debate.
Entanglement is not limited by speed of light, since no information nor mass nor energy is exchanged.
Ask HN: How do you quickly read and make comments on HN?
By the time an article's in the top 10 on HN there's already lots of comments.

I'll skim the first 20%, assuming the best stuff is at the top. But many times I'll see busy, smart people like PG inserting commentary on stuff that's below the bottom half.

Do busy people read everything even when a lot of it is junk?

What are your comment reading strategies?
Learning Dvorak Video Series
I think these companies are acting on pretty high principle.

NOt that i disagree, but I do think if other companies (eg, apple, intel) signed off on this it would remove the stigma of self-dealing. If the "tech industry" was more broadly represented (and included say, Stanford & MIT) again this would be a much more powerful statement. But the reality, is that SV lives off of the governmnet in many indirect ways (nasa, defense, NSF grants, etc) and while they may be principled...well, I sure you get the idea. They're not that principled.
> Much greatness in him and I wonder what he would have achieved if he had started off in California rather than Essex and Cambridge.

Wow, that's more than a little bit self-important / arrogant. You do realize that Cambridge is home to several huge tech innovators, right (ARM?) And that the UK produces more than its fair share of huge video games (GTA?).

Applying your logic, who knows what that Tim Berners-Lee guy might have achieved if he'd started off in the valley rather than CERN...
Cenny.js: A plug 'n play backend for web apps
well, this kills feedly..
Statement from Microsoft:
http://blogs.technet.com/b/microsoft_on_the_issues/archive/2...
Honestly, being ready to jump in with a helping hand when someone comes up with an actionable plan is something. It's a very, very tiny something, but it's something.

Because the other kind of awareness you ought to build is, "I wish I could do something about this." Eventually, you'll run across someone who says, "I know what to do, but I need manpower." You talk to that person, you figure out how sane his plan is and how much gamble you're willing to put down on it, and hopefully change happens.
Yes, fully agreed. Base-pairing as a regular chemical process is vital.
I imagine under the sea is actually quite a nice place to be, if you assume perfect waterproofing. There's litte radiation penetrating the water, so there's less chance of bit flips I imagine. You don't need to worry so much about cooling, as the whole ocean is your heatsink. Accessibility would suck, but a bunch of redundant hardware wouldn't be awful.

Weren't they using hardware in submarines anyway?
A suggestion.

> You will need a paid github account

This should probably be the first line in the article, possibly even as a broad "NOTE" above the entire post.

On the positive side though, this introduced me to showterm, which looks amazing. Why don't more people use it for their 'casts?
I like Scott Adams "Systems, not Goals" theory. What he calls "systems" is probably similar to your "principles" and I would rather call it "process". :)

http://www.dilbert.com/blog/entry/goals_vs_systems/
my assertion is that this is not a "lifeboat" scenario. property "rights" are, at their absolute core, a use of force.

to be a true libertarian, you can't believe in property rights.
The difference is that users opt-in to a trade with the tech companies: my data for a service.

When that deal is no longer opt-in, such as when Google stored third-party cookies in Safari despite settings, or when Facebook tracked non-users across the web, it is a privacy lapse and it is fixed, they are fined by the FCC, they lose marketability etc.

The entire world didn't opt-in to NSA surveillance.

These companies can't even tell their users that their data might be shared with the NSA.

Privacy rights aren't about being against user data, it is about allowing users to choose how and when their data is used.
Apple promotes Code.org on the Apple Startpage
7 months ago, Groovy wasn't even in Tiobe's top 50. Two months ago (Oct 2013), it had reached #18. This month, it's back down to #46. The person who pulled off that trick didn't forget Groovy, and in fact utilized the feedback effect to keep the afterglow going. Just type "Groovy Programming" into Google and see some of the links...

5. www.infoworld.com Groovy breaks into top 20 list of programming languages

8. www.eweek.com Groovy Programming Language Sees Major Boost in Popularity

22. cacm.acm.org Groovy Programming Language Sees Major Boost in Popularity

24. jaxenter.com Groovy makes debut entry into programming language top twenty

30. glaforge.appspot.com Interview about Groovy's popularity boost -- Guillaume Laforge's Blog

But Groovy's "surge in popularity" was probably timed to coincide with a due diligence investigation on Pivotal Inc, or someone there selling a consulting contract.

"After a long discussion with one of the Tiobe index readers, it turned out that the data that is produced by one of the Chinese sites that we track is interpreted incorrectly by our algorithms. So this was a bug," Janssen said. "After we had fixed this bug, Groovy lost much of its ratings." http://www.infoworld.com/t/application-development/c-pulls-a...
my website/blog morenoh149.github.io isn't being accepted as a valid website address :(
Getting Schooled
What about a floppy drive emulator like this: http://i.imgur.com/s0MHRq7.jpg ?
I honestly had trouble not seeing it as a documentary. I knew it was fiction, but at the same time, it was disturbing to know the fiction was the happy parts.
PG is effortlessly politic (neutral), which geneartes hot button conversation.

Leading to interesting discourse.

(I have no point, outside of the social ramifications of chatting at a bar with dudes/chica's about nothing).
a lot of words for "the larges number of times a loop/operation might have to run, for a list of size 'n'"

honestly the language of maths too often obfuscates rather than simplifies
Wow, fairly nifty. Appears somebody in china hijacked my gmail account as I have some location pings there. Time for a password cycle.
Consider how hard is it to push through a "sane" solution in corporate environment. "Creative" solution is out of question.
That's correct. It patches the "next" pointer of the previous object to point past the freed object.

It's a pointer to a pointer to handle the case where you're freeing the first object in the list. In that case, it's "firstObject" that needs to be modified, not some Object's "next" pointer.

Using a pointer to a pointer (while admittedly harder to read at first) lets you handle both of those cases with the same code.
Most Seed VC's are investing in a Team and an Idea.

"Founder" as a singular rarely get investments. No man is an island, and you don't want your investment to get hit by a bus.
I usually skim all the comments, spending more time reading ones that are interesting.
It's worth noting that entanglement happens pretty much all the time, all around you. Long-lived entanglement is a lab phenomenon though - it's only significant when we arrange the system so we actually preserve it for a usefully long amount of time.
Startup Investor Rankings
How to explain what the heck it is you do
I don't know if these things make a difference or not, but there are 1/3 votes needed for ECPA reform, with 3 days to go:

https://petitions.whitehouse.gov/petition/reform-ecpa-tell-g...
Call me a cynic, but I'm really indifferent to this entire "everyone should learn to code" nonsense. There are so many mistruths that Code.org is spreading that it's shameful.

Let's get down to the biggest one: that with a "little bit of math and science" you can build the latest video game or write an app.

Buzzer #1. It doesn't take just "a little bit" of math. It takes a TON of math. Reading CLRS took me a month to master, and that was already with a background in elementary calculus using the infinitesimal approach. I'm reading Knuth's seminal "Art of," and I can immediately say that it would be absolute hell for anyone without an advanced mathematics background.

That brings us to mistruth #2: that somehow, learning to "code" will help younger people build tomorrow. That's utter bull. Learning to code will only lead to worse code: uglier, crappier, and less elegant and efficient code. Github will become a junk pile. Instead of coding, we need to teach students the programming part of computer science. Get a copy of Algorithms into every CS course and get rid of all of the silicon in the classroom. Trust me, people will learn much more meaningful things about problem-solving that way. Isn't that what writing code really sets out to do? You know, SOLVE PROBLEMS? Just code is NOT going to help that at ALL.

Then there's problem number 3, and probably the largest one: it assumes that programming is something we need EVERYONE to learn. EVERYONE. Yes, that is Code.org's goal. EVERYONE SHOULD CODE.

You know what, fuck it and let's teach EVERYONE TO BE A MECHANIC. Right? Why the hell not? It's like programming. Nobody in their right minds would tell people to make mechanical engineering a part of the curriculum. But people insist on doing the same for CS, as if it's any different.

I could go on about this for days. But forget it, Atwood's explained it far better than I ever could.
There are multiple starter kits, such as Emacs Starter Kit and Prelude. The following search for "Emacs" at GitHub brings up the aforementioned starter kits and more:

https://github.com/search?q=Emacs&type=Repositories&s=stars

I haven't used any of these starter kits because the starter kits that I've used for other platforms/frameworks caused me more trouble than they were worth and I generally need to devote only one weekend per year to Emacs tinkering, which I enjoy.
I personally find this incredibly creepy. Granted, I accepted the TOS to grant this data but I've never seen it visualized in such raw form.
This is their definition of 'voluntary': http://dictionary.reference.com/browse/voluntary

done, made, brought about, undertaken, etc., of one's own accord or by free choice

- Coincidentally, it's also yours.
Elance, odesk, monthly "who's hiring?" threads here on HN:

https://news.ycombinator.com/submitted?id=whoishiring

I've been working 100% remotely for more than two years now, feel free to ask questions: egor.ryabkov at gmail
The fact that the CIA is one of their largest AWS customer might be playing a role. http://www.forbes.com/sites/benkepes/2013/10/29/ibm-capitula...
I don't think anyone sits down to configure their editor correctly from day one. You gradually add features as you see potential optimization in your workflow, or maybe try something when you read an article about it. The opinionated configuration is the one that comes out of the box. Other than the fonts and colors, it's 100% fine for any work you might need to do.
the only example i can think of is the ongoing debate about whether or not a proton can undergo quantum mechanical tunneling in enzymes, which has been on and off debated for about 30 or 40 years. That electrons undergo quantum mechanical tunnelling in enzymes, though, has been uncontroversial for just as long, so it would be tough to say that biologists have rejected 'quantum mechanics' en banc.
There are research prototypes for such GCs and usually the performance decreases if you want time guarantees. As far as I know there is no GC, which could be used in a AAA FPS game. Convincing would be CryEngine, UnrealEngine, idTech, SourceEngine, etc starting to use a GC in their rendering, physics, sound parts.
Skimming is a helpful reading skill. But personally I usually tend to wait for a thread to mature enough, it weeds out the noise from the signal.
Line numbering is really the vi way of navigation. In Emacs, most people do an incremental search (or M-x occur) to move around.
Vines Brazil
Hundreds of Silicon Valley startups want to copy other startups
honestly she doensn't even have many girl friends of her own besides her mother, so I would not be terribly surprised if her N on this was really low.
These switches are usually fiber splits so they are slightly less complex than you are envisioning.

The equipment doesn't have to actually duplicate L2 frames. It just uses standard fiber repeaters (already a common component in undersea cables) to get it back to a more friendly environment where they can actually decode and process it.