skysight-inc/HackerNews huggingface dataset:
Step 1: Pick a popular platform.

Step 2: Make some games. If you can't think of a game or the games you want to make are too hard for now then learn by trying to re-make someone else's game.

Step 3: If you find yourself saying you're making a framework or engine before you've made dozens of games punch yourself.

You might like getting started with Unity3d: http://unity3d.com/ or Cocos2D http://www.cocos2d-iphone.org/ and there's a lot of devs here: http://www.reddit.com/r/gamedev.
i agree that miod isn't talking about proofs. but i don't think adultSwim was making that claim, either.

> The only way to prove code correct is by reference to some kind of specification.

there are other interesting properties to prove besides "correctness of the entire compiler".

you could prove the entire compiler version n+1 emits the same code as version n, modulo $bugfix.

you could prove that individual optimizations are, on their own, correct with regards to the AST or IR that gcc operates on.

neither of those require a formalized spec of C. the first would probably make miod pretty happy. sadly one isn't going to get gcc man handled into a proof assistant, ever.
MOOCs: The fall of the ivory tower?
>That fancy CC form will NOT sell a single thing. It will however stop people from paying.

Citation needed.

>It does nothing to convert.

Beside the point. Any other credit card form I've seen does nothing to convert either -- and it's not it's job: by the time I'm entering my credit card details, I'm already "converted".

Most of the objections are dead simple to fix (tab order, 1password), and address nothing inherently wrong with the core idea.
This story illustrates both the upsides and limitations of trash-to-energy programs.

On the positive side: many sources will pay you to take their trash from them. There's nothing like free energy.

On the negative side:

- Sweden's exhaustion of its own sources of trash show that the concept is inherently limited, even in an abundant consumption economy. That is, one which is producing ample waste streams. As the article notes: "the fastidious population of Northern Europe produces only about 150 million tons of waste a year, he said, far too little to supply incinerating plants that can handle more than 700 million tons." That's a kind way of saying that Sweden's overbuilt its trash-to-electric capacity by 467%.

- Some trash is more equal than others. Countries such as Switzerland and Germany which offer highly segregated waste streams find themselves with many takers. Italy, who is stereotypically ... less organized, not so much. Again, noted in the article.

- There are issues with contaminants, which require monitoring of the input waste stream, the combustion process, and emissions controls.

- Ultimately there's the question of how much trash will exist in a world with a leaner energy profile. In which case it's likely we'll find that there's a very high excess of trash-to-energy infrastructure, though much of it might be applied to other feedstocks, including biomass. Though this also has its limits:

http://globalecology.stanford.edu/DGE/Dukes/Dukes_ClimChange...

Putting this in an American context (likely familiar to most readers):

Americans produce 230 million tons of waste stream, about 4.3 - 4.6 pounds per person per day.

http://www.learner.org/interactives/garbage/solidwaste.html

http://www.epa.gov/osw/basic-solid.htm

In a best-case scenario, this would be pure biomass. I'll assume the same energy potential as carbohydrate (oil-based products will have roughly double this, glass, metal, and inorganic solids less), at 4 calories/gram, or roughly 971 GWh of electrical energy. That's an appreciable amount of energy, but given that annual electrical production is 4.1 tera watt-hours, my hypothetical puts waste-stream energy production at less than 1/4 of electrical energy usage, or roughly 6% of total energy usage. And that's before considering the energy requirements of collecting and processing the wastestream itself, or the effects on waste production in a reduced-energy environment.
I found it awkward and annoying to use , so not a winner. Its a good idea but unfortunately it just doesn't come off , keep on trying though.
Ah... I didn't enter a real CC number so I didn't know what level of customization it did. I assumed it was just the generic main card logos.
The list of things a new graduate won't know is endless. What matters is what they do know, and even more what they do when they don't know.

I think, "What do you know about exceptions?" is the sort of question which can indicate both. Probably makes for a more interesting interview as well.
needs more aromatic compounds and conditioners.
Sorting your garbage rarely leads to a sucking chest wound.
maybe he wants to leak. Don't judge.
> Agreed, I stumbled for a second before realizing I could type a name in the card

I didn't realize this until I read your comment.
That is the difference between computer science as an academic subject and programing as a profession. The attitude was "we expect you to learn the language, that's easy. Now we are going to make you actually think about hard problems."

The book is not "The Structure and Interpretation of Rails/Flask/Struts/Ysod CRUD Apps" for a reason.
If you're going to make that big of a change, why not go all the way and use http://en.wikipedia.org/wiki/Metric_time
It's especially weird that the author did this after:

(a) showing awareness that polluting the global namespace is bad

(b) demonstrating a technique for being able to use a constructor with apply (the "newless" constructor he shows earlier)

but I think a lot of the article is less "here's a set of good practices" and more "let's play with some of the less-familiar corners of JS and demonstrate how flexible it is."
Chartio actually will accept TSV files because it will detect most of these settings. It'll detect the delimiter, the presence of a header line, file encoding, and newline character(s).

I agree TSV is a lot nicer, and has the bonus that Excel will open a TSV file with an .xls extension without any problems (great for sharing!).
San Francisco, CA. Java Engineer No remote.
2-5 years experience Java, Amazon experience, OO architecture exposure sql/mysql, some Hudson or Jenkins exposure, hopefully exposed to Puppet or Chef, great would be some build tools like Ant.
Contact Robert at rbocknek@birst.com
Upvote for presenting a hypothesis and then committing to testing it. The only way to know for sure how well something works is to test it.
totally agree. I've been tired for 3 years and eventually you discover you just have to give sone things up or not operate at full intensity at all times. otherwise you'll be doing everything crappily
Ask HN: What mobile analytics platform should I use?
Currently looking at options for integrating mobile analytics to my app. What would you guys recommend? I am currently looking at Mixpanel and Localytics.

Thanks!!! :)
That's beautiful. Good job!
It may be helpful to sidestep the whole whistleblower/traitor binary by referring to them as witnesses to crimes.
WSJ’s ridiculous claims about Apple retail
You get the dongle you pay for in Google’s Chromecast
It get's worse. A friend of mine has a hyphenated name, "Kerry-Jean". The hyphen alone often breaks things.
Most of a typical waste stream consists of current/recent biomass -- a surprising amount by both volume and weight is paper and paper products.

Plastics and such do represent fossilized carbon (usually) but are a smaller percentage overall.

So the net carbon impact is much lower than burning fossil fuels. And yes, the methane reduction helps, though methane does have a pretty short (about a decade) residency in the atmosphere as I understand.
Well, switching to metric is a far bigger change than people continuing to count the days consecutively through the year.
I get your point and I believe that quite sucks.

There might be a number of reasons why they do that. Maybe it's just a reason they give for rejection while the real reason is somewhat uncomfortable to say. Maybe they are afraid that you will burn out (and that's legitimate concern, take a break!). Maybe someone enthusiastic just gives a better feeling, vibe, something not very conscious. Because while you are with someone energetic, optimistic, you suddenly become like him. When you are with someone exhausted, you might start to feel the same.

I get your pain, I respect your hard work, but I'd suggest to put yourself in their shoes - maybe there's something you haven't noticed? :)
Fantastic.

I can think of all sorts of ways for it to drop conversions if it fails, but it is so perfectly done that I kind of don't care.

I'm going to keep an eye on this because it has the potential to really increase the comfort people have when entering a credit card. And because it is beautiful.
Thanks for the response. That's interesting to know. What are these interview questions like?

Are they basic questions about lists, stacks, trees, and graphs (and the corresponding algorithms)? Or are they puzzle type questions that you're just naturally good at?

Also, have you mostly had success with startup companies? I'm slightly worried about a bubble in the startup space, though I really have little idea how valid my worries are.
Kim Kardashian gets paid to plug god knows what, and it's not immoral to be a shill.

Thankfully, I wouldn't know what Ms. Kardashian plugs, since I'm not from the US and our regular news coverage doesn't cover such events. But as for shilling not being immoral, I have to say I seriously disagree. Advertising may not be, but shilling certainly is, in my moral code.
You should probably check again, but in any case MSVC shouldn't be compared to gcc/icc/clang - it can't even compile code written for a 14 year old language specification (C99), so no sane person should use it for C development these days.
The changing of national defense to a for-profit venture that also included protecting corporations within said nation has resulted in a magnificent shift in the quality of staffing.

No longer do you have idealists willing to drive their vision of a great United States by taking a job with marginal income but great reward. You have folks like those above, who see headlines of rights abuses and think "I would like to profit off that."

Sure the quality of life is better in the locality the work is in, but only because it is built upon the lessening of quality of life for others at the expensive of said others.

Others who do not want their tax monies being driven to immunity shielded corporations who work to kill others via drones under the guise of freedom and liberty. Yes, that is SAIC[1].

[1] http://www.dailyfinance.com/2013/06/14/news-saic-wins-95-mil...
A Man May Do an Immense Deal of Good, If He Does Not Care Who Gets the Credit
Looks nice and I'm glad to see someone rethinking this interface.

Not something I'd use right now. It's too clunky compared to just having some textboxs on the page. I'm not a fan of skeuomorphism in general though, so I'm probably a hard sell.

Doesn't mean you shouldn't keep trying. Thanks for putting this out there. I love the article, btw.
I love this idea and I will test it for sure! I will let you know when I do. For consistency I will also add a letter background to get the billing address.
Nice work mate!
TLD Zone File Statistics (Glue records, Name servers, DNSSEC, and Domain names)
Stripes form for iOS is the GOAT
Im guessing youre being sarcástic, but Basic should not be visited upon any human you wish no harm done to. It was a pox on a generation of programmers, foisted upon us under the guise of 'lets expose kids to computers! Thats a Good Thing!'
Haha, no. I'm really a Mac person at heart, and I used OS X happily until the laptop was stolen out of my office two years later :-( - this time, the company replaced the laptop (with another Mac, of course) within days.
There's a whole world of problems like that though, that don't involve questionable ethical practices (depending on your own personal beliefs).

Math is the language of reality, it's applicable to anything so I don't know why getting involved with these sorts of projects over just about anything else is so alluring from a technical standpoint.
Those are interesting and extremely good ideas, thanks for pointing them out.

I do wonder if OpenBSD would accept a C compiler built on a small functional language amenable to these kinds of proofs. I suppose fulfilling the portability requirements is priority one, then stability. I just wonder if they would accept something not written in C at all.
One thing about shipping costs are that they're very low.

A number from oil tankers: the "freight cost" of shipping a supertanker's worth of oil halfway around the world works out to a few pennies per gallon -- 1% of the net cost, and an even smaller fraction of the energy content.
It's pretty easy to collect large lists of these types of code names from places like linkedin. Search for code name, find new code names, repeat.

https://www.google.com/search?q=site%3Alinkedin.com%2Fpub%2F...
Or use a CSS sprite and shift the image based on the card that should be displayed.
KeepSafe - San Francisco - Full-time, permanent (http://www.getkeepsafe.com)

KeepSafe solves privacy for consumers. We give users power to control who sees what in their digital life.

We're a team of four based in SOMA, SF. Our fist product has 15 million users and is growing exponentially. We just closed Series A.

We are now growing the team. This is a perfect time for ambitious engineers to join and form the core of a team that can go places.

Open positions:

* Cloud backend engineer

* Mobile developer

* Analytics engineer

Requirements:
Code speaks stronger than degrees.

- You have a strong understanding of computer science

- You get excited about startups

- You like learning

- Programming experience in at least two languages

Bonus, not necessary:

- You have experience in cryptography and security engineering

- You have experience in building iOS apps that are in the App
Store

- You know what it takes to scale a system to millions of users

We get extra excited to see:

- Contribution or launch of an open source project

- Mobile apps, web apps you have made

We offer:

- Very competitive salary

- Very competitive equity

- Benefits (Medical, dental, vision)

- Set up your workstation any way you want.

- Ownership of a product that millions of people use

Contact: jobs@getkeepsafe.com
"When will you learn? Closures are a poor man's object."
The exercises are amazing, and they give you a chance not just to grapple with the language but to think about some fascinating problems and in some cases learn new material outside of the text proper. It's assumed that picking up the syntax of the language will be the easy part. Some of them are pretty hard, but they are always more or less direct applications of the ideas discussed in the previous section or two. Relativity is not really in any sense a direct application of addition.

That said, the book is definitely written for those who have an undeniable aesthetic sense for beautiful problems.
Sorry this is totally off-topic, but I love the background music for the video. Can you share whose remix that is?
Some people thrive on finding other peoples' weaknesses, especially those based upon appearances. In PUA terms they're negging you.
People eat things like Pop-Tarts, Skittles, Grape Soda and other "food products" like that without researching the team behind them. Does it really matter what the team members' positions are?

I would trust a company like Soylent over General Mills until I have reason to believe otherwise.

edit:
By the way General Mills also has a CTO: http://www.linkedin.com/pub/sue-simonett/5a/829/8a
You said it in support of the UK's approach to terrorism. Which was to capitulate to the terrorists.
WordPress 3.6 “Oscar”
For flexible private-sector organizations like startups, 'X required' almost always means 'X or equivalent experience required'. Being bold enough to understand that and apply, explaining your equivalent experience, can be a positive signal.

(I imagine there are exceptions among very bureaucratic and regulated agencies or government contractors. But even there, you may reach an individual hiring manager with both the wisdom and discretion to hire anyone with the right skills, regardless of credentials.)
I love the idea of Soylent, but I'm super wary of the risks. The wrong ingredient mix here could have significant impacts 10+ years down the line. The past 20 years of science is starting to show some very strong evidence that too many antioxidants prevent cancer cells that otherwise wouldn't proliferate from dying, and too much of many types of vitamins and nutrients feeds tumorigenesis -- leading to faster-growing and more aggressive cancers.

For references, look up the SELECT trial (vitamin E and omega-3 supplements significantly increased prostate cancer rates), the ATBC trial (beta-carotene, an antioxidant, significantly increased lung cancer rates), the CARET trial (Vitamin A and beta-carotene significantly increased lung cancer rates), the Cochrane Database trials reviews in 2004 (vitamin A, C, E and selenium supplements increased intestinal cancer mortality)...
This also detects the file encoding & delimiters.
Ah, but not all consumers are equal. You can set your chainsaw price based solely on what a few consumers who REALLY REALLY NEED your chainsaw technology are willing to pay, and make a phenomenal profit margin on those chainsaw sales because you have a legal monopoly on chainsaw manufacturing and they can't get the technology anywhere else. And while there may be other consumers who could afford a chainsaw at a lower price, well, they have to go without because they can't turn to another manufacturer either. As soon as you have to share the marketplace, chainsaws of a given quality become a commodity and your margins are going to come down.
Coolest robots.txt ever
The Word “Healthy” Sucks
Depends on the standards committee - for things like 3G telephones you can't legally implement the standard without licensing the patent pool, although license terms have to be 'fair, reasonable and nondiscriminatory' [1]. Qualcomm make more money from their patents on 3G technology than they do from producing and selling hardware. Likewise, there are patents on MP3 and h.264

I've heard people joke that the aim of being on a standards committee is to get as much of your protected IP into the standard as possible :)

[1] https://en.wikipedia.org/wiki/Reasonable_and_non-discriminat...
You don't have if you don't want to. If they aren't closing any need you have.
> but we do have a long way to go before swaying public opinion

At least in the case of Snowden, public opinion is against him and he is labelled as a "traitor" because people think it is perfectly fine for the government to spy on them, because unless they are doing something wrong, they have nothing to hide and nothing to fear. This dangerous argument is the reason that most people do not seem to care enough on why your government spying on you is a very bad thing and the ramifications of it, even if you are not doing something wrong. Throw in the "extreme" threat of terrorism on top of this, and most people are totally OK with the NSA programs: "I have nothing to hide and this helps prevent terrorism and therefore Snowden is a traitor for putting Americans at risk."
Yeah, that's the way it's usually done (that you walk your trash down to a common room where the cans are, that is). All garbage chutes I've seen in the last few years have been bolted shut.
About the last bit: http://en.wikipedia.org/wiki/Covariance_and_contravariance_%... is probably one of the issues.
What is the alternative again? Working for Facebook, Google and twitter ?
>Saying "no software patents" as a practical matter is hard to nail down objectively, without just generalizing it to "no patents on digital anything". Which becomes a larger upheaval than people tend to consider.

How is it so large just because it applies to some would-be hardware patents that are really nothing but hard-coded software patents?

If you have a patent on using gallium arsenide in semiconductor manufacturing, that isn't a software patent. If you have a patent on a fancy piece of glass to separate wavelengths of light from a fiber optic cable, that isn't a software patent. Because it's physics and chemistry rather than math. You shouldn't be able to patent math.
London, UK - We Are Pop Up - http://www.wearepopup.com - Full Time

We Are Pop Up is a community-driven marketplace for short-term commercial property leasing. The platform launched at the end of 2012, and has already given numerous creative entrepreneurs around the UK opportunities to engage the offline world in ways they never had before.

About the Role

We’re looking for an experienced Web Application Developer to work directly along side our Lead Developer and Creative Director, building features and scaling the platform. Someone who’s comfortable working with the whole stack, understands the principles of excellent software development, and wants to treat their code as their craft.

Primarily we build in a Django/Python environment, but any relevant experience is great (as long as you are willing to learn Python). We’re looking for people with a few years of experience under their belt. Being an expert in SQL will get you a lot of points. We follow Agile development practices, and you’ll be shipping features frequently.

Skills and Attributes We’re Looking For (being 100% in all is not required, but candidates who are will receive preference)

- Experience building web applications from the bottom, up. Django/Python experience preferred, but Rails/Ruby, PHP, etc. is also great, so long as you’re a quick and willing learner

- Solid knowledge of SQL and related best practices. We use Postgres, but are happy with MySQL or similar experience

- Ability to work in Javascript/HTML/CSS. We use YUI 3 and Bootstrap. You certainly don’t need to be a designer, but you should be able to take on a feature and fully implement it, including all relevant front-end code

- General understanding of Solr/Lucene search

- Experience deploying basic server infrastructure and with the Unix command line (being an expert SysAdmin is not required)

- Familiarity with code profiling and optimization

- Interested in things like Agile development, TDD, and pair-programming

- Work equally well in close coordination with others and independently/self-directed. We’re a small team, so we’ll always be working closely, sometimes in pairs, but often you’ll need to be able to take on things on your own

- Legally eligible to work in the UK (mandatory)

More About Us

We’re a group of Brits and Americans who came together in the spring of 2012 to take on an ambitious idea cooked up by 2 of our co-founders in a pub one evening (where all good ideas start). We’re artists and environmentalists, consultants and entrepreneurs, engineers and educators. Collectively we’ve worked with Fortune 500s, government and the public sector, universities, creatives, small businesses, and (other) start-ups. We’re alumni of Springboard Mobile programme, and we’re looking to change the world.

Applying

Developer candidates only, please email jobs@wearepopup.com with the subject "Interested in your Web Application Developer role, HN Aug 2013". Recruiters, prepare to be ignored at best, and possibly mocked (in other words, we're not interested!)
Your lament/envy is misplaced in this particular case. Hootsuite sells into the enterprise and has tons of revenue.

It looks like you are a game developer by looking at your profile. Sorry to be the bearer of bad news but game companies just aren't that great of an investment for investors. Game development is a hit based business and investors prefer to invest in scalable, repeatable models.
7 Companies Microsoft ex-Windows Chief Isn't Allowed to Join