skysight-inc/HackerNews huggingface dataset:
First off, let's take a moment to appreciate what we've got. Gasoline is fantastically dense in energy. Approximately 46 MJ/kg! Ethanol is about half as energy dense, which is why it is usually mixed with petroleum gasoline. Engines must be specifically designed to operate on pure ethanol. Going from the numbers quoted on Tesla's site, their Roadster's lithium ion battery packs have an energy density of 0.456 MJ/kg. If you want to have the same range, electric vehicles have to devote over a hundred times more weight to batteries than gas-guzzlers do to their tank contents. To make matters worse, spent gasoline weighs nothing while spent batteries weigh the same as full batteries. Electric motors are mechanically simpler/lighter and innovative design can carve even more weight off of new vehicle designs, but there is a very good reason why cheap, long-range pure electric vehicles are still a ways off. Lithium ion batteries are also pretty nasty things to produce in terms of environmental impact. It's debatable if a plug-in electric vehicle run off of solar/wind/etc. power actually has less impact than a small gasoline car does at present. If the power used comes from coal then an electric car is actually a huge step in the wrong direction. Also note that the U.S. is not a major producer of Lithium, so dependency on foreign nations is not broken by switching to electric cars.

If corn derived ethanol is worse for the environment than petroleum derived gasoline, the only reasons to use it are economic. If it's cheaper, people will likely use it. (Nevermind that so-called "biofuels" often command a premium because people think they're environmentally friendly!). However, if biofuels are bad for the environment, electric cars are bad for the environment, and other alternatives are not yet commercially viable, what does that leave? Well, sadly, it means stop driving so much! Use public transit. Bike. Walk. Carpool. Stop throwing irrational hissy fits about pipelines meant for safely transporting petroleum if it's the least harmful option that's currently available.

Hopefully better electrical storage technologies will become available before too long. Nanomaterials do potentially offer ways to make capacitors powerful enough to eclipse current chemical battery technologies. This is years or decades off into the future unfortunately. I'm not saying all this to be a drag, but most people really think battery technology has come a lot further than it actually has. Gasoline is still pretty darned useful stuff.
Much of computer graphics operates in projective space (http://en.wikipedia.org/wiki/Projective_space), so it's a little bit more than cookie-cutter linear algebra. This is done so that translations in 3D space — which aren't linear transformations — can be represented as 4D linear transformations in projective space via homogeneous coordinates (http://en.wikipedia.org/wiki/Homogeneous_coordinates).

Still, many folks use the APIs without really grokking that, so in practice it can be a bit cookie-cutter. I think of it similarly to how people can use crypto APIs without, say, really understanding what's going on under the hood.

BTW, projective space is also intimately related to elliptic curves (as you may or may not know — not implying anything!). So that darn linear algebra is lurking all over the place.

Likewise, any time you're talking about fields (even finite fields), vector spaces and linear algebra are right around the corner.
This reads like a mess of disgusting PUA crap.
Going out to an arcade puts you out and about. And when the money runs out, the arcade has no further interest for you. There's no money to run out with a video game at home. While there were some homes with consoles and computers in the 80s, home computers didn't really take off for the general public until the 90s, and you see also that it was the 90s when the game industry at home really took off. You don't need the internet to play video games.

As for CC, it should be clear I'm not fond of their arguments :)
UPSERTisms in Postgres
The difference here is that type system in case of agda and coq is the core of the language, it's very similar to what operational semantics does with usual programming languages. The type systems is a logic via Curry-Howard correspondence, with which program correctness is proved. In case of Haskell it's just a software engineering tool which helps you find errors in your program in a semi-automatic way.
In the long run, the only way in which it "works" is that you lose any semblance of being a decent human being and people can just straight-up see that you're a scumbag from the get-go.
>>has not exactly told the team what it is that the heads want preserved

How do you gather?
> Unfortunately, the engineering and science obstacles are huge, enormous.

Yes, I agree we should go to Mars. I don't see the urgency, though. I mean, in terms of the humanity-backup situation, ten years or a hundred, doesn't really make much difference.

We would be better putting the money into energy research, and when we've got that figured out, then we tackle mars.
The answer is that criminology is affected by a wide variety of factors, and making statements like the guy in the article that 90% of crime can be attributed to one factor is nonsense.
Only if the lead emissions as a whole are significant.
If you're serious about not letting every story dissolve into the same tedious arguments we've seen for the past few years, I would be so happy.
So far, the best explanation for a possible god
The E-GO is far from a cheap knock off. It comes from Yuneec.com who make real electric aircraft and are experts in Electric Propulsion Systems. It is our ability to do mass production which has brought the price down. The design and testing was done by an international team in including several ex-pat Europeans and American employees of Yuneec. We make most of the components in the E-GO and our own motors have a 15 year development history. We also now use auto short circuit protection Panasonic batteries, the best and most expensive in the industry, just like Tesla does.
In a fast-paced, industrial society, like the one we live in, long dynasties tend to get wiped out by high volatility. I don't know exactly what happened to the aristocrats of Russia as of 1910, or the businessmen of Germany as of 1935, but it can't have been good. Likewise for China, France, Poland, India...

In a stagnant, agricultural society, like medieval Europe, dynasties tend to get weighed down by the problem of reproduction. If you've inherited a fortune, there's no reason not to have ten kids, especially before birth control. And those ten kids will then want to fight over or divide the family fortune, and so on with their kids, etc. Queen Elizabeth is a descendant of Charlemagne, but so are millions of others whose distant ancestors were slightly less lucky in the power game.
May I ask what you think Scala has going for it? All of your questions undermine rather than point out the strengths of the language and the platform on which it runs.

> The majority of other big software players seem to be not using it for various reasons. Is that a concern?

Twitter, LinkedIn, Sony, FourSquare, Tumblr, Amazon, UBS, NASA, The Guardian, etc., is that a concern? On the flipside it's not likely that Facebook uses F# as its primary language, and that Apple does not use Haskell; in neither case is this a cause for concern ;-)

> How is the learning curve for new hires? How long before they become productive? How long before they write great code in Scala (as opposed to still figuring things out but maybe being productive)?

So, your asking 2 questions in one: how long before new hires become productive in Scala, and how long before they develop mastery of the language. The former, very quickly, write Java without semicolons, and the latter, depends on the abilities of the new employee, could be in as little as 3 months to learn the ropes, corner cases, etc., but for average programmers I'd say at the very least 6 months, and more likely a year or more.

The biggest hindrance in learning Scala, IMO, is not the language itself, but the build system, SBT. God help you, there are some hard yards to wade through at first, especially if you have trouble getting the build *.scala files recognized by the IDE (i.e. blind coding plain text files with no idea what <+= is vs. <<=, or % vs. %%, or that these types of symbolic method pointers are even available to begin with).

> Isn't the JVM too big of a performance compromise for large scale software where every bit of performance matters?

What? The JVM is a performance beast, perhaps if you drop down to straight C or go with C++ you'll get better performance, but you'll do so at a price (i.e. reduced maintainability and flexability).

> Is it easier to hire people for Scala positions? Harder? The same?

Compared to what?

> Twitter seems like the poster child for Scala

sounds like a backhanded complement...
Sorry to quibble about details, but doesn't "leal 0x1(%rdi), %eax" actually add one to the address %rdi and not to the contents of (%rdi)? It's usefulness for trick additions is because of its origins as "Load Effective Address": it doesn't actually access memory. Their stack gymnastics are silly, but I think you may be stuck with "mov (%rdi), %eax; add $1, %eax; ret" or some other 3 instruction equivalent.
He explains all the terms at the start of the book. He has his own definition for capital which also includes real-estate etc...

OP's post is just an argument against a straw man. BTW. Piketty also says that the problem with modern economics is too much focus on fancy math.
any video of the landing of the 1st stage, which is not a test ?

or is spacex still using expendable stages ?
By the way, how apropos: Pandora just played George Thorogood's "Get a haircut."

This reminds me of my father yelling at me when I was 16: "If you don't do good in school, you won't get into a good college, and you won't get a good job and you'll be working at McDonald's." This same dogmatic formula plays out in hundreds of millions of families. It's only partially true, for some kinds of jobs. But if one is absolutely set on startups or some technical jobs, then it's not absolutely essential. In fact, it's best to know what job/field one would be aiming for and work backwards from that... may save a lot of effort, time and cost.

(I did the least amount of work possible in high school and didn't study for the SATs.)
If I understood correctly (me too judging only from secondary sources) Piketty is concerned about uneven distributions---the relative share of the total pie of all that is measurable economically (GDP+capital) is becoming more concentrated in very few hands.

He's an economist and I don't generally trust economists' calculations[1], but the concern he raises relates more to the fact that the long-tail wealth people are better at hiding their revenue offshore. As more of the pie goes to them, there is less tax revenue for the state.

He proposes more International laws be put in place to prevent off-shore stashing (Hollande's of the world unite!). Also, some of his research papers are about "optimal" inheritance taxation.

I find these to be interesting lines of thought---not so much as they will happen, but because it brings the 0.001 into the lime light, and I bet they don't like that at all...

__________

[1] my reasons being that you can pretty much use any model and it might come out true ;)
IF you're looking at RabbitMQ you should take a look at Kafka.

Overall, I think looking for one framework to-rule-them-all is a mistake. Different components demand different tradeoffs.
A very low percentage of people in first class actually pay full price for it. Most people seated there are frequent flyers who were upgraded for free or travelers on award tickets.
A homeless person in the US today does not have access to better health care than the president did in 1960. Is a homeless person likely to have up-to-date health insurance information (I'd imagine its pretty tricky to get your health insurance card when you don't have an address). Are they likely to have enough cash on hand for a copay? What about for prescriptions? Are they going to have reliable transportation to a medical office? Are they going to have a reliable phone number where they can get messages from the doctor?

For all of these practical reasons, I would imagine that many homeless people would probably forgo all but the most essential medical care, which they would receive at an ER. They're probably going to be waiting hours to see someone at the ER and when they do it will be an overworked resident. The president in 1960 would be able to see any doctor he wanted at the time of his choice.

Also, a lot of homeless people probably wouldn't be homeless in the first place if they were able to access mental health care.
It wouldn't happen to have been an Asteroids clone with motion controls, would it?
Can you share your bookmarks with us?
I saw an interesting post on designer news about everyone sharing their bookmarks...

What are your bookmarks ?
Most asian households have one, super convenient for tea, cup noodles, etc. I use one that is more of a boiler/pot so it keeps water always at the right temperature.
looks like a really big effort to make developing on android a better experience, by clumping libs together, rather than just a game engine. I was not able to find out if the scene2d thing has a partitioning algorithm of some sort. Maybe It's irrelevant for an android device ?

Seems like good stuff though. Sadly I don't really "like" java...
I saw an interesting post on designer news about everyone sharing their bookmarks...

What are your bookmarks ?
There's also Kotlin, which is largely a better Java. And Java 8 is an enormous improvement too, since it supports lambdas, default methods, streams, etc.
Actually, with all the press regarding recent data breaches (e.g. Target) you might see it happening before that. Some Chase and Citi cards are now being issued with chip.
I'm so bored I've been unemployed all my life
I am not the best person to ask, but probably with Stroustroup's recent book on Modern C++. From what I hear, he discusses the philosophy behind C++ and presents things from the perspective of, "Here's how I suggest you use C++ today." (FWIW, I happen to mostly agree with the comments elsewhere in this thread about C++ being a colossal clusterfuck of complexity ... but still thought I'd answer your question best I could).
Most people don't particularly like their jobs. Do you think people like cleaning carpets for a living, for example? How about the guy spending time away from his family, driving a truck?
There was one more solution employed in various places: aftermarket additives. These could be actual leaded additives, or more likely some substitute which would somewhat reduce wear on valve seats. These additives were not commonly used in cars in the US, but were/are commonly used in other countries where leaded gas disappeared faster than old cars, as well as in the US itself in farm and garden tractors, whose engines often last multiple decades.

Perhaps we could do the same for small planes, but clearly it would take a lot of research and testing to make sure it's safe. If someone is willing to pay for that testing, it's probably doable.
"the problem with wealth inequality is wealth inequality"

Just one nit - the problem with wealth inequality is that it perpetuates wealth inequality (and Piketty has detailed evidence for that).

We have had a lot of back and forth in multiple threads for this post. It is helping me clarify my thoughts, which for now can be summarized as:

1. Today, rich people have much better life than poor people.

2. Rich have higher chance of being rich tomorrow than poor folks. So that means they and their heirs have a higher chance of having a better life perpetually than ordinary folks and their heirs.

3. I don't begrudge better lifestyle for those who earned it (Gates, Zuck, Buffet...), but I do think its grossly unfair to enjoy better lifestyle just because you were born to rich parents (Walton heirs, Koch heirs, Paris Hilton...).

4. If you think capitalism has improved things so much that differences in wealth hardly matter (or such will be the case in future), kindly provide me evidence. I don't see it anywhere in my observations - eg. first class vs economy class experience in air travel, public schools vs private schools in the USA, job prospects for ivy league vs third tier univs, or even longevity[1] - rich people's life is better in almost all aspects (some of those aspects might frivolous but some are very meaningful).

[1] : http://www.nytimes.com/2008/03/23/us/23health.html?_r=0
Is it just me or does the economics-mathematics remind anyone else of doing three or four decimal place calculations at school after measuring things with your hand because the ruler got broken.

It is an old argument but really came home in that article.
10/10 love the point of this letter. As evident by the comments here, culture can mean different things to everyone. More accurately, I would just say its the belief in the product and same passion that every one should have in a start up. Thats the "culture" IMO.
Have you tried http://foodpair.com/ ?? it scrapes recipes from different sites and indexes them ingredient and lets you search recipes by just telling it what ingredients you have. You can also click each ingredient in a recipe to find out general substitutions for it (not recipe-specific).
From the article, "Suppose that r and g are both fixed quantities which do not change over time."
This is a straw man that I didn't get in the book. The idea I understood from Piketty is that whenever g is greater than r, _no matter how different_, inequality grows. Since you can have g > r, with g approaching r with time (g = r at infinity), capital simply continually takes up a larger piece of the economic pie.
Process isn't about stifling the internal compass, it's about making sure that everyone's compass aligns. I've known many engineering teams where individually everybody is incredibly smart, hard-working, dedicated, and focused on what matters, but what matters is different to every person. As a result, the team got nowhere. Process is essentially shared discipline: it's getting everybody aligned so that when they focus and work hard, they get somewhere as a group instead of undoing each others' work.
Basic HTTP Auth for S3 Buckets
Gross inequality is not a feature of capitalism per se, it is the feature of our current implementation, specifically the current banking system. This is due to a number of factors, the main ones being bankers being the first in line to obtain newly created credit, central banks central planning of interest rates, bank fixing of market rates like LIBOR, massive fraud and government handouts to the banks. All of the above can be fixed without having to tax those that create real wealth in the economy, however that isn't going to happen as the banks have far too much influence in politics and even if they didn't changing the situation without collapsing the current system seems impossible at this stage.
Thanks! Just a couple of days before, I was thinking about the idea of using lisp for virtual worlds. Now I could start tinkering at least :)
> Check. Lisp provides garbage collection, but you don't have to use it. It's perfectly possible to write Lisp programs that do manual memory management. It isn't often done because it's hardly ever a win, but if you really want to you can.

How does LISP work without a garbage collector? Closures without a garbage collector are pretty awful. Let's keep in mind that Rust gives us a pretty good idea of what a safe system without a GC looks like, and it doesn't look anything like LISP.
Google's "don't be evil" motto came out of a company meeting on core values. I would hardly say that Google's culture from 2002-2011 was fucked.
I wouldn't say no use.

Instead I'd say no current use.

Some power uses cannot be electrified ( nuclear powered airplanes ? )

David Mackay estimated[1] that if there was no fossil fuel left / consumed we'd need to use 12% of our arable land for biofuel as:

"There are a few
essential vehicles that can’t be easily electrified"

[1] http://www.withouthotair.com/c27/page_204.shtml
I want to believe but...

Looking at crime stats by age and gender of arrest [1] You see an across-the-board decline for men and women. You're telling me a 60 year old woman was too busy playing Doom on a 486 to commit a violent crime?

[1] http://www.fbi.gov/about-us/cjis/ucr/additional-ucr-publicat...
I think someone made this with augmented reality. Don't remember name of app though, it was a few years ago. It let contributors have their own "streams" so at any given location you can focus on content by a certain user. Like following a tourist trail, or a scavenger hunt. That kinda solves the cluttered comments problem
http://techcrunch.com/2014/04/20/square-and-google-were-not-...

Google/Square denies.
No, I made it myself with bootstrap and some theme that I customised a little. Hosted it on digital ocean and implemented one A/B test with Google Analytics Experiments. (1 variant is without that "Made with love for sharing" line). Domain and mail address is at namecheap. Love to have more control over my stuff.
Another way to look at it though is the customer gets really, really cheap access to space (in this case, cheaper than anyone else including Orbital Sciences), but has to put up with some amount of tinkering. I guess there's only so much that any organization is willing to bear.

Regardless, I'm really glad that the mission went off mostly without a hitch. I can't wait to see when SpaceX glues all of the pieces together and has a truly reusable rocket platform.
Perhaps another study should be done following individuals. It seems a decent attempt at disproving the hypothesis.

Take say 50 specific individuals ... actually look at where they lived each year of their lives, and estimate as accurately as possible their lead exposure. If they move cross country, "follow" them and estimate the change in lead exposure accordingly.

Once you have an assessment of the lifetime lead exposure of the 50 people, see if it predicts their levels of criminal behavior or aggression.
Better designed? You can plug an grounded plug into an ungrounded socket and there are many ungrounded plugs that won't go into grounded sockets.
My background is theoretical CS (2 of my professors were pupils of Dijkstra and they were quite particular about formal verification as you can imagine) so that helps; it's good for anyone with an interest in this to read books like 'A discipline of programming' by Dijkstra or more modern books about it (and if you really like it, continue on to Pierce who is the types guy and when I read his some of his work the first time I kind of wondered wth we were doing in programming while this guy already figured it out to such an extent ;).

It all starts to make more sense after some of the theoretical basis. I guess; I don't know how much years of writing formal proofs on pen & paper 20 years ago influenced me in reading this stuff.