skysight-inc/HackerNews huggingface dataset:
From Computer Science point of view if you are writing bug verification tools in an unsafe language, there is no guarantee the verification tool is giving safe results back.

The same unsafe constructs can cause memory corruption in the verification tool and lead to a behavior where the wrong decisions are taken.

So the fact that many C verification tools are written in C itself does not proof anything about how safe the language could be.

For me personally C could be much better if:

- There was no automatic decay from arrays into pointers (call an explicit operation to do so, like &a[0])

- There was a proper string type available

- Arrays were bound checked (with optional disabling of bound checking, like many other languages offer)
Falling Hair: http://wry.me/hacking/Turing-Drawings/#9,4,5,3,0,1,1,2,4,3,0...
I could have sworn that last sentence wasn't there (my bad).
Please try and think of this from the perspective of someone who is letting you into their home.

Obviously the issues with Facebook/LinkedIn should be resolved, but if these were down it is absolutely 100% responsible of AirBnB to expect people to verify their identity through whatever means necessary. If you are not happy with that, use a hotel.
Mostly we used the glass playground, which you have access to if you have a pair of glasses. The playground doesn't perfectly represent the glass experience.. I say this mostly in regards to stylistic stuff (I.e. CSS rendering).

You can have access to the API keys if only one dev has glass, if they include you in their dev 'team' . This grants you access to the playground. I'll be writing stuff up about it soon, to more explicitly explain the whole procedure, since the documentation (while sufficient) is rather confusingly organized...
Did they have a fork with local changes? The way I read it, they just did

import "github.com/go-gl/opengl/gl"

and then at some point the go-gl project (which they don't manage) made incompatible changes that broke their build. Presumably there is some version of go-gl they could build against (which happened to be cached on their developer's machine), but they don't know which one because there's no version or tag in that string.
Super impressive for a first web app. can you tell us a little about the stack and what resources you used to get it going?
There is a lot of trash in here. From the author himself:

"People who use super heavy frameworks are often crap programmers"

Nice. Bye.
I hadn't tried it before. It's interesting and I can see it being helpful in some cases, but it's not immediately easy to parse. I'll probably have to spend some more time with it.
http://wry.me/hacking/Turing-Drawings/#2,7,1,4,3,1,4,0,1,3,1...

http://wry.me/hacking/Turing-Drawings/#2,7,1,2,2,0,6,1,0,1,1...

http://wry.me/hacking/Turing-Drawings/#2,23,1,6,0,0,7,3,1,12...

http://wry.me/hacking/Turing-Drawings/#2,23,1,10,2,0,6,1,0,1...

http://wry.me/hacking/Turing-Drawings/#5,3,0,1,1,3,1,1,3,1,0...

http://wry.me/hacking/Turing-Drawings/#5,3,3,1,2,0,2,1,4,2,3...

Some of the more striking machines I found tonight. I spent a lot of time generating 2/23 machines, they tended to produce colorful and sometimes intricate "introductions", but most often ended in static.
They can't stall forever on new web standards if they prove useful. I'm not sure WebGL will, but if it does, the "graceful degradation" culture in web development means that IE users will get some sort of slow, limited approximation of the intended experience. And enough of them will know and start installing Chrome or Firefox in larger numbers again.

Microsoft can slow the adoption of web standards (and just via the desktop), but they don't have any real control now. And the only reason WebGL isn't in IE 10 is because they didn't want to offend the DX/D3D team. Once IE supports WebGL, D3D will die.
Huh? Why do you think it is appropriate for the US government to be regulating the behavior of a foreign bank in a foreign country? I have a business account at HSBC in Hong Kong. It stores assets in USD and it is none of your or your government's business. I had assumed the US bank somehow violated American law, because if the only complaints are about the behavior of the Mexican bank, the whole thing smells like a political shakedown.

By your logic the Chinese government should be fining American banks (i.e. Citibank) which offer RMB<-->USD conversion services outside China. Because, after all, the RMB is a controlled currency in China and the behavior of American banks is illegal under Chinese law.
We've hit the carbon level we were warned about. Here's what that means.
Now the interesting thing about this post is this, I can see why they wanted to use mongodb, and I can see why it bit them in the arse.

What interests me is why they would want to keep everything in the database? I'd assume that they need to aggregate and curate the scraped data. After the initial scrape the majority of actions surely are going to be on the metadata of the scraped content? (where is said data, when was it scraped, how big, relationship to other data, etc) This data is much smaller and can be stored in relational database, as its proper structured data with relationships.

This allows the nasty unstructured data to be kept on a plain boring filesystem. After all filesystems are exceptionally mature, universal, multilevel key-value stores.

Now people will say that filesystems don't scale, well that's not really true. ext4/ntfs on a single system won't scale, but something like lustre/gluster(although not as neat)/gpfs scales linearly with the amount of nodes you apply to it.
That’s not at all strange – the type is variable and can be specified by user. Not to mention you can have more than one home or work number. You sure can serialize your data to your keys, but then that would be rather strange.

Anyway just imagine there’s an extra field, problem solved:

<phoneNo type="home" priority="1">…</phoneNo>
People are happy to let me into their home so far based on my current profile. I've complied with every form of verification requested. I'm happy with all of that.

I don't understand how "make a video" is the solution to some technical problem with AirBnB that causes the message "Your facebook account is already being used to verify another account", when in fact it is my primary login credential to the airBnB service.
I'd love to see the sales numbers for this sort of a product. I just bet it's taking in more than an average HN-grade startup :)
But if you didn't write the dependency (and thus presumably don't commit to it), why would there be a merge conflict?

As for upstream maintainers rebuilding your package, I don't see how having to update a submodule is vastly different from updating the relevant versions in a file. Both seem like they'd take mere seconds.

It's not like you're writing gotos straight into library code, it's merely a bookkeeping change. You're just importing everything into your repo instead of referring to it by ambiguous version numbers. In the end, the code written and the binary produced should be identical.
The only legitimate concern I could see is that by allowing projects to fund well over 100%, you're potentially increasing the risk to all backers as an easier to manage 12k project balloons into a very complex and potentially hard to manage 200k project.
Instead what we have is that pkgA needs pkgB@then (which happens to be when the author of pkgA last cached pkgB) but my code needs pkgB@now. That's worse in pretty much every way, mostly because there are no identifiers anywhere to clearly work around or even detect the problem. I'm all for "your build can only use a single version of pkgB" (linking two versions of pkgB into the same binary is insane) but I need to say what version that is, not leave it nondeterministic and dependent on uncontrolled, unrecorded state of the machine running the build.
first I saw go I thought meh but with so many people saying good things about it makes go inevitably more interesting day after day. however I just feel like it's going to be like mongo. when it first got popular, people all moved to mongo as it miraculously solving all the problems. same thing happening with go now and after sudden disappear of all the mongo evangelists, this makes me doubtful about go obviously.
Don't forget about when they legalized gay marriage.
I suppose no one is using gmail, gtalk, g+, g hangout, yahoo mail, etc etc here?

The web is open, putting credentials in urls is stupid, and complaining about spider hits is too.

If you think your URLs are safe because no one KNOWS about them, you are simply doing it wrong. Hopefully your URLs are not changing any server side resource, otherwise you have a bigger problem than a spider.

Have you considered those spiders might be verifying that you are not spamming your friends, e.g. your computer could be infected and MS is trying to help your friends?
What about when the automated service makes a summary of an email conversation?

Honestly I don't know what to think of this matter. All I know is that the capabilities of a malevolent intelligent individual are skyrocketing frankly.

As a dictator once said: Wish for sunshine, but build dykes.
Just one of many baskets they put their eggs in. It's like pointing out a single failed company to suggest the whole portfolio of them is crappy. Maybe their goal was just giving more exposure to libertarian ideas.
Thats a nice tip, the syncing to other PCs only works if all your PCs run the same version of windows and you use the same username and directory structure though.
Very nice, but the design is a bit tiny (font size etc), given that the amount of information needed to display is not big.
I've signed a number of bullcrap NDAs in SF and the valley– small and large companies alike.

This is just romanticizing the valley.
Gezond afvallen en je lichaam ontgiften met het detox dieet | Gezond Detoxen
Yes, we do enjoy our 50-60-70% tax rates here in Europe. Thankfully Sweden recently stopped pissing away the Swedish taxpayers' money by paying for the university education of foreigners.
The problem with this idea is that a new, "better" VM doesn't offer any substantial benefits over using Javascript-as-a-VM. The limitations of JSaaVM can be can addressed more easily by simply improving on the existing infrastructure. There's not a good reason to throw out what we have when incremental improvement gets us to pretty much the same point more quickly and with less pain.
Anyone else having problems with youtube?
Tried to watch a number of videos, both embedded on other sites and on the main site.<p>Here is link that comes up when trying to watch a video after clicking on a thumbnail on the main site:<p>http://www.youtube.com/watch?

Text says:
-------------------------
500 Internal Server Error

Sorry, something went wrong.

A team of highly trained monkeys has been dispatched to deal with this situation.

If you see them, show them this information:
<snipped (encrypted?) characters>
----------------------------
I don't know how else to get this to a trained monkey, as it requests.
The "one-click to activate one time" links should always lead to a page where the user has to perform a POST to prevent "smart" applications from using the token when trying to show a thumbnail / preview or offer other services.

eg KDE (old) http://drupal.org/node/24398
USS Los Angeles over Manhattan
Why? Why wouldn't they just drop the requirements? They are not taking any risks, the online course is incredibly cheap to scale.

If the student passes the course, doesn't he deserve a masters? If he doesn't, well, he still paid 7k.
The Bloomberg story on the Koch Brothers is a complete smear job: http://www.powerlineblog.com/archives/2011/09/bloomberg-legi...

Statists don't like the Koch's because they hate anyone who believes that people should be free to make their own decisions without being ordered about by small-minded busybodies whose self-image depends on the delusion that they know what's best for everyone else. And rather than engage in debate, they find it much easier to just demonize their opponents with dishonest ad hominim attacks.
There is something from ebay at least for germany that does exactly this and is 100% Free ebay-kleinanzeigen.de and it is VERY popular. The Facebook groups still exist and are used.
Indicating Problems In HTTP APIs
Yes, I'd love to do PhD in CS from home, and defend the thesis with my slippers.
IMO people are too caught up with the ideal of personal ownership, and this likely stems from being constantly bombarded with an individual culture of consumption. "Communism" doesn't mean there's no "ownership" all, only that ownership/possession is determined by society at large, not unlike democracy for political decision making. For example, if a few friends pool money to buy something none can afford on their own and find some equitable way to allocate possession -- or similarly the instinct to share is already quite strong with close tribe members (family, BFFs). Likewise, sharing the burden of work is also fairly natural, eg roommates and chore schedule. Note the similarities to the democratic goal of sharing (political) power, where potential fear of giving up "ownership" of personal determination (ie having to follow everyone's rules) isn't realized as long as implementation of election/leadership is reasonably fair.

Frankly you already seem like a libertarian in the classical sustainable sense, and not the american "free market" bastardization built only to protect the upper crust with the language of "freedom" (from taxation). A parting point worth mentioning in that vein is the "free market" and all its siblings are entirely artificial constructs of our mutually agreed rules. For instance, if you desired to trade your wool for my corn, the only incentive I have to leave with only the wool instead of the corn, the wool, and a slave is the social consequence of break the rules. Everyday we already implicitly follow hundreds/thousands of rule of conduct, so I have little reason to doubt that people can live perfectly fine with more equitable rulesets of conducting economics just as they have for politics.
Brands from Iron Man 3. A lot of them
Yeah, but malaria mostly only kills (tens of millions of) children in poor countries in Africa and Asia so it's of no concern to right-thinking environmentalists in rich Western countries.
Differences between MLA and APA
Google’s programming language, Go, gets a big speed boost
Where exactly are the programmers of which this article alludes? I recently received seed funding for my next startup (http://www.podaris.com/jobs.php), and am finding hiring developers to be extremely difficult. Yes, the work will be extremely diverse, you'll get to interact directly with customers, and you'll get to shape and take significant equity a product which can genuinely change the world -- but most developers out there don't seem to be looking for that. So far, 99% of the developers I've encountered have fit into one of two categories:

1.) Freelancers, who are committing to remaining so because of the lifestyle perks -- they want to be able to bugger off to that Australian walkabout more or less whenever they feel like it -- and the level of commitment which a startup requires just isn't appealing to them.

2.) 9-to-5ers, who want the safety and security of job with a large corporation or agency, and really don't mind dealing with the world through a dashboard.

I can understand where both types of people are coming from, and can't fault them for it. What I haven't found is an abundance of developers who have the appetite for the high-commitment, high-uncertainty life which a startup entails.
yes, something like this.
http://www.peda.com/iag/
Take a full course on Bitcoin from Khan Academy
Yeah, apartments aren't a commodity (they're pretty much the farthest from, given their absolute uniqueness in terms of location). Plane seats are, unfortunately.
Is The 70-Hour Work Week Worth The Sacrifice?
Yup, and his analysis does not take the strength of the team into account (Vegas calls this the spread). It like betting the Miami Heat with Lebron will win a high percentage of games, well of course, everyone can make that bet.
Thanks for the update. Though it would still be intriguing to see how past business failures affect future successes. Is it better to try and fail in your 20s, or not try at all until you are 40+, for instance? I wonder if that kind of data is available anywhere?
No, that's click fraud, which could cause the very publisher you want to thank to have his/her ad account blocked.
That he was making no argument.
Any older programmer is appologetic when it comes to burdening other programmers with learning their creations.

I kinda cringe that I broke with ASCII and made text/graphics source files. It's so much nicer when it can be just ASCII. We all have to interact with files -- who can do anything 3rd party tools with PDF? Nobody. How awful. What a waste.

I did text/graphic source files, though. It has benefits.

I hope other programmers can make an itsy-bitsy investment of effort and learn how to use my doc Load/Save library and an itsy bits more to learn the doubly-linked-list structure it is manipulated in memory with.

If you invest a tiny effort into learning the double-linked-list sequence of commands like TEXT, CARRIAGE_RETURN, TAB, COLOR, LINK, it's really nice. It's uh kinda compilicated. commands have flags and the flags kinda override the base command functionality. You can make a picture (sprite) have a link with a flag.

God says...

the strife of the congregation, to sanctify me at the water before
their eyes: that is the water of Meribah in Kadesh in the wilderness
of Zin.

27:15 And Moses spake unto the LORD, saying, 27:16 Let the LORD, the
God of the spirits of all flesh, set a man over the congregation,
27:17 Which may go out before them, and which may go in before them,
and which may lead them out, and which may bring them in; that the
congregation of the LORD be not as sheep which have no shepherd.

27:18 And the LORD said unto Moses, Take thee Joshua the son of Nun, a
man in whom is the spirit, and lay thine hand upon him; 27:19 And set
him before Eleazar the priest, and before all the congregation; and
give him a charge in their sight.
Those crackpot schemes are just designed to get their brand in the Daily Mail and in turn, for people to talk about Ryanair. (their headquarters are in Ireland, not the UK)
I found AirBNB to be a pain in the arse. I was trying to book places in London. Most of the time the places were unavailable but the host hadn't updated the site. This meant I had to then contact another host and wait.

Turns out hotels were cheaper and less hassle.
It seems like it should be a reason for DHS to force Mt. Gox to share information about their customers and agree to help DHS prevent money laundering, but shutting things down seems like an overreach that will likely be temporary.
> Except as an email admin, the answers aren't the same. Suddenly getting all your emails as bouncing, and the receivers won't tell you why? Maybe some retard marked your IP as dynamic or dialup. Get a whole swath of people unsubscribing after you send a bunch of emails? Pretty sure sign to tone it down a bit.

Sure. But at the same time, if the company intentionally requires a daily amount of attention from prospective customers, it is not entirely unfair if prospective customers occasionally cause some measure of inconvenience from the company. If you don't value my time, why should I value yours? Live by the sword, die by the sword.
Canonical Shows Mir, Unity-Next Running On MacBook Pro
Except this does not work for commercial software, which is expected to give you only packages.
http://espn.go.com/blog/playbook/dollars/post/_/id/2935/meet...

Just a random article. I've met him through poker. He had a radio show for a while, and he stated that if you have a 2% edge over a bookie, you can easily make a million dollars a year. Anyone who thinks they have an edge and isn't also very wealthy is simply mistaken.
Luckily, these days you can get the best of both worlds @ sv.cmu.edu
An alternative is to specify generic items (eg. breakfast cereal) and let the program construct a shopping list that most closely fits your criteria (eg. brand XYZ fruity munchies). For each item, maybe offer a pop-up that lists alternatives in descending order, so you are not happy with a suggestion you can easily scan for and select a "next best"? You can then use your shopping list in the normal way.

Maybe it could also offer the option to place the order for you, so it becomes an "ethical online shopping" site? Like any other shopping site, your list could be saved and reused/tailored next time. If the status of any item changes, a suggestion to change brands could automatically be made next time the list is used. Funding could be by negotiating a cut of each purchase with the vendor?
Plane seats are over-committed on an informed guess of how many people will cancel, with enough slack built in as to mostly prevent the embarrassing case "I bought a ticket and there's no seat on the plane". So six extra seats may well equal seven extra tickets allocated for sale each time.

Of course the bastards should still be tortured for reducing the leg room.
The browser I'm using at the moment is faster than the one I was using three years ago, despite also having a very large number of new abilities.

Further, a significant number of my current OS processes are currently executing programs themselves (with various degrees of dynamic compilation). I'm not clear on when it's okay for a process to itself execute a program. Is interpretation ever okay? Or does it always need to be dynamically compiled? Also, what's the rule on compilation of turing complete languages like Postscript?
It's entirely possible for her to be sarcastic about it after the fact while recognising that's what she's done.
> Copyright law is also used to suppress anything that the Rightsholder doesn't like

Neither of the examples you give really support that.

GoPro was about trademarks (and was hopeless anyway - it's not really the fault of trademark laws that someone can send a nastygram that's completely without legal merit, using 'trademark violation' as a scary magic word).

The dentist one was only worded in terms of copyright so that the dentist could use DMCA takedown notices. You could abolish copyright altogether, and that wouldn't stop a dodgy dentist putting a clause into their patient contract saying 'you can't post bad reviews' and suing people who do.

(Obviously it's bad that the DMCA is so easy to abuse, and the DMCA's flaws are well documented on hn - the point is, they're flaws in the DMCA, not in the concept of copyright).
WinX DVD converter for Mac & Windows Review and giveaway 
Convert your Videos easily & within minutes to any format you want, including iPhone's, iPods, and more!!! Get your copy now. Enter the giveaway to win a free copy of WinX HD video converter for Windows or Mac.
See also Mapbox's blog post on this from a month ago (with more images!) here: http://mapbox.com/blog/improving-mapbox-satellite-by-making-...

And HN discussion here: http://news.ycombinator.com/item?id=5475571
I realized yesterday that the number one non-speculative use of Bitcoin (to be specific: buying stuff on SR) is already a felony in the US today.

Even if it's regulated, it can't possibly be more illegal than it is now.

I doubt the regulatory environment in the US will have much effect on Bitcoin adoption curves.
Transfer to Bitcoin. Go to localbitcoins.com and sell those bitcoins to a private party for local currency. Done.
Thank a lot for sharing what you can! Just out of curiosity, have you decided to use Racket because you already knew it well, or have you also considered Clojure? If you did, what were the advantages of Racket over Clojure (as far as I see, there's a bigger community and more learning resources around Clojure, but the JVM related setup complications may outweight the benefits)