skysight-inc/HackerNews huggingface dataset:
People often forget that most of life is just boring or trivial, so when they're exposed to a new medium they see all the boringness and triviality and then dismiss the entire medium. In reality a representative example off literature is a shitty fantasy novel, not Shakespeare. It's only because we've had centuries to accumulate lots of great material and billions of hours of work putting into judging, reviewing, and curating works of literature that are of value that we value and respect the medium.
And the double-problem is that given the pictures, they clearly have 5-10 times more streets, sewers, electric poles, to maintain than they would have with a compact city.
I disagree with the leap of "logic" that "we since can't predict/observe microscopic events, therefore we can't predict/observe macroscopic events".

Just like because we can't predict turbulence, doesn't mean that fluid dynamics is now completely useless.

Science is still useful - both practically and theoretically, even if the universe won't ever let us see past quantum "stuff".
I've never been aware of whether Agda is CBN or CBV because it actually doesn't matter (!).

In a pure, terminating language like Agda evaluation is "confluent" which means that CBV and CBN evaluations are identical.
how does it reflect light at such a high speed?!?!?!????questionmark
I can't speak for other quantum theorists, but pilot wave theory does nothing to make multi-particle entanglement less mysterious. It provides a nice story for wave-particle duality, but for a long time it has been apparent that this is not the central mystery of quantum mechanics.
The saying, “We lose money on every sale, but make it up on volume,” comes to mind.

I'm not sure "someone would enjoy running this" makes much of a difference if it can't pay the bills.
Similar to Oakland. Everyone knows Oakland is full of riots and crime and whatnot. Not everybody knows it completely encircles Piedmont, one of the richest cities in the country. It's all a matter of drawing lines.
Do they take a board seat? It's the responsibility of the board to make sure a company is shut down responsibly (once it's insolvent it needs to be run for the benefit of the debt holders FIRST, and part of that is not adding new liabilities).
> shithead narcissists like Pesca

Please don't practice this kind of invective on HN. It weakens your comment and degrades the threads.
What is the “minimal” set of primitives needed for a Lisp interpreter?
What toxic culture are we talking about exactly? I don't recall anything in the article saying anything about anyone "attacking" marriage.
"If you want to go deeper into the theory behind this, humans actually have two sex drives, one geared toward r-selection and the other toward K-selection."

Human sexuality is very complex, and has had evolutionary pressure on it from many different directions... but that's not how the science works. I'll let Slate Star Codex explain (http://slatestarcodex.com/2014/08/20/ozys-anti-heartiste-faq...):

"Is it true that some humans are r-selected, which means they’re promiscuous and want to have lots of children, and some humans are k-selected, which means they invest in a few children?

No.

For one thing, r/k selection theory was shown to be a vast oversimplification of life-history evolution forty years ago. For another thing, it applies on a species level, not on an individual level. Humans as a species are absurdly k-selected. How many species can you think of that have young that are totally helpless for their first decade of life? r/k selection theory would argue that we wouldn’t have casual sex, because humans are not remotely r-selected on any conceivable level! Clearly, this is not the case, which ought to make one wonder how applicable this is to human beings anyway."

Here is a paper going into the details of the science: http://www2.hawaii.edu/~taylor/z652/Reznicketal.pdf
We just behave differently because we're under a different and mostly less severe set of stressors.

I don't buy the explanation that "stressors" are somehow the cause. Here in India marriage is sky high, yet stressors of any sort are vastly higher.

Further, when discussing economic incentives, it doesn't make sense to discuss lack of money. Marriage is cheaper than being single due to economies of scale (a lot like having a roommate) and having a more stable income source (assuming 2 earners, it's unlikely both will simultaneously lose their job).
This is what I do. I have the Pages App on my iPad. I copy and paste anything into it that I want to continue to read, reference or check it out later on. I only use this app for this purpose. I also created a reading list on Quora too, but I've only just started using this feature. If there is a specific app for this, let me know, I'd use it.
I think the new arrow functions are neat, but am I the only one who never really found it a hassle to throw a .bind(this) on a function?
what??? my language isn't broken!!!
Divvy is the main tool that is missing from the list that I consider mandatory for avoiding the keyboard in OS X. It lets you assign keyboard short cuts to window positions and sizes.
Delhi govt considering cancellation of Uber’s permit to operate in Delhi
I suspect that quantum theory is like Ptolemaic epicycles: a great way to mathematically describe observed reality, but fundamentally incorrect.

What's the correct (or more correct, anyway) way to mathematically describe reality? Beats me; I'm no physicist.
Thanks Hackerjam!
It's pretty difficult to stabilize a cryptocurrency the same way as regular currencies are, if just because there is no good way of cutting the money supply. This makes trying to stabilize the price to some set of goods very difficult, because no matter what you pick, you'll have to cut supply somehow, and that just won't work without something akin to a central bank.

The internal measures, unfortunately, are very easy to game. Take, for instance, an option that is now being considered among academics for regular currencies: NGDP targetting. It'd be very easy to check the NGDP of a cryptocurrency: It's really just trade volume. So it'd not be difficult to attach a coin's supply increase to the volume. We could pick a currency's codebase and make a competitor that did such targeting withing the day. The problem is that it would not work.

NGDP for a real country is fairly hard to game. It's not as if I can suddenly create real economic activity without major costs to myself, at the very least in taxes and fees. The money is also spread enough that such effort would not really match rewards, even in an NGDP targetting regime. In a cryptocurrency though, it's another matter. Transaction costs are tiny for large transfers, and someone with a large balance would be able to create large volume for pennies. Those that would have an easier time doing this are those with a lot of coin, which are exactly the people that would have a lot more to gain from currency manipulation.

I lack any mathematical proof that a stabilization system that is based on what a user cares about, expected value of the coin in a few months/years, is not possible. However I'd be very surprised if there was a solution that worked in the case that a few actors control a significant percentage of the coin's supply, and as it is, this is a characteristic shared by every major cryptocurrencies today.

What makes things worse is that many cryptocurrency proponents would consider any of this stabilization mechanisms to be undesirable anyway. So even if we found a way, would the many people that believe that devaluation hurts savers be on board? A currency that did manage do behave a lot more like a traditional currency would probably not be what those people want, regardless of what the state of the art in economics believes.

So we are back to Betteridge's law of headlines: Any headline which ends in a question can be answered with the word no.
I haven't watched the video recently, but I'm familiar with Peirre Spey. Spey championed the Light Weight Fighter concept (which became the F-16) but derided the very things that made the F-16 a success; AIM-7 Sparrow BVR missiles, multi-role strike capability.

The big factual error is comparing the F-35 turning performance to an airshow F-16. An F-16 with external tanks and combat loads (missiles and bombs) doesn't turn as well an F-35.

The other big factual error is that Perre Spey seems to confuse program unit cost or total lifecycle cost with flyaway unit cost when comparing alternatives. The Pentagon demanded an analysis of the F-35 lifecycle cost, but without comparing it to contemporary aircraft like the F/A-18E/F Super Hornet. An F/A-18E costs around $72m Unit Flyaway Cost, and an F-35A is about $95m in full rate production.

The F-35 has considerable advantages like 360 degree EODAS, which enables off-boresight missile shots, while avoiding hostile fire. It might not be a classic Mach 2+ interceptor like the F-15 or F-22, but it'll do fine in a dogfight.
A few random thoughts reading this as a St. Louisan. Similar views can be had here:

https://www.google.com/maps/@38.6349498,-90.2105613,1547a,20...

That same neighborhood from the ground:

http://instagram.com/p/qZ9CXbhAXu/

Also, noticed some tags that are present here, too. For example, the REFT in that shot of the Eastern Market District. Here's one from St. Louis:

http://instagram.com/p/vMiNSnhAT-/
I will make an analogy with music.
If you are a complete novice in playing any musical instrument, I could teach you the three guitar chords that you need to learn to play "She'll Be Coming Round the Mountains" in two minutes. Depending on how long it takes you learn how to hold those chords and change between them, you could come from having no clue whatsoever to playing something recognizably related to a girl coming round the mountain inside two hours, perhaps even less depending on your learning speed.
I could then teach you the other remaining five major chords, as well as how chord progressions work (play the 1st, then 4th then 5th chord in any progression for example), and once you've mastered how to hold and shift between all seven (in a week? a month? three months?), I'd now have you coming round the mountain in seven different keys.
The advantage of this approach is that it gives you, the complete guitar/music novice, the satisfaction of being able to play something you and your dog recognize as music almost as soon as you start out.
Are you an accomplished musician yet? NOT EVEN CLOSE. How far do you have to go? Very very far. Eventually, when you understand how music works in general and in particular on the guitar, you'll get to see how and why I taught you those three first chords, and why a I, IV, V chord progression works but a I, II, III makes your dog go for a walk on it's own. You'll be able to build your own chords! You'll even be able to argue with me about the correct name for some given chords! You'll be able to play melodies from chords, maybe even play both chords and melodies at the same time! [0]
So, if you wanted to learn how to play guitar, would you want to first get a years worth of music conservatory work under your belt before you can belt out the simplest of tunes, or would you rather belt out "Coming Round the Mountain" in a few hours and then figure out later how she got round the mountain? Which one do you imagine will be more satisfying?
I reckon it's the same with programming. Python may not teach me how to write my own "chords" or enable me to get into arguments (valid ones) about stuff, but it enables me to do something visible almost immediately, and I can take pleasure and motivation from that initial success. Then as I go on, I'll dig into how the stuff actually works and develop a better understanding, and this deeper understanding, just like in music, is a lifelong pursuit. Just as guitar masters are still learning, so are those of you who are, by any measure, programming masters.
So I'd say, if you're teaching someone, or learning, start off with something where it's easy to produce something tangible easily. Then develop a deeper understanding as your progress demands this deeper understanding.
[0] https://www.youtube.com/watch?v=5vCcZIARw9k
If you have a function that requires both the species and a speak message from an animal, it would make sense for the interface to have a function that returns both the species and speak strings. I think that this [0] does what you would want.

If you want to guarantee that two structs contain a set of the same required fields, I believe the best practice would be to include an anonymous field for a struct with the fields across both. [1]

[0] http://play.golang.org/p/0zMqPUicgq
[1] http://play.golang.org/p/cM3XPfitxH
Early-Stage Startup Marketing Tips
To add, what you're touching on in your response is the "Impossible Trinity" of monetary policy[0][1], which states that any two of the following three options are compatible, but it's impossible to have all three at the same time: a fixed exchange rate, free capital movement, and an independent monetary policy. It seems as though at the start Bitcoin picked one (free capital movement) and only recently has realized that it left something on the table. And a very important something, at that.

[0]: http://en.wikipedia.org/wiki/Impossible_trinity

[1]: http://www.nytimes.com/2010/07/11/business/economy/11view.ht...
Scratch ( http://scratch.mit.edu) is way better environment to start with than C e.g for kids.
Thanks for sharing. Adding sorting in an ascending/descending manner would be useful as well.
>He received a 2008 Game Developers Choice Pioneer Award. "Thank you very much," he said at the time. "I appreciate the honor, and I'm still cranking out stuff. Goodbye."

The fact that Ralph Baer was mid 80s at the time and still 'cranking out stuff' is the best.

http://gamasutra.com/view/news/231730/Obituary_Ralph_Baer_fa...
You're probably not up to speed with the cultural expectations of the ceremony itself in the modern U.S.

In terms of social signaling, an elaborate, extravagant ceremony, preceded by presentation of an outrageously expensive conflict diamond, is REQUIRED. Even if not in real reality, in the "reality" of social mores and expectations.
What bands does your product come in?
What is Roko's Basilisk?
Show HN: DateDash, your escape from a terrible date (WIP)
Taking money with no intention of delivering a product is unethical. I think I was born knowing that. Or, at least, I learned it pretty early on.

Being too lazy to shut off the site is not an excuse.
Don't take the criticism too hard. I enjoyed the post. I don't regularly write JavaScript so I found many points helpful. There is potential for pedantry here on HN, so dont take offense. I appreciate the post...
The development arresting, pro-promiscuous culture - that is blatantly promoted almost everywhere.
Not if you remember your tin-foil hat.
“The Work Death March” – A Survivor's Tale
Bookwise, Yoshua Bengio, Aaron Courville, and Ian Goodfellow are nearly finished with their MIT Press book on deep learning: http://www.iro.umontreal.ca/~bengioy/dlbook/ . It is pretty strong on the true theory of what is going on in deep networks, and has fairly good intuition for how and why things work. Paired with the deep learning tutorials http://www.deeplearning.net/tutorial/, as well as the content from UFLDL it is a pretty strong foundation for advanced study.

Michael's book seems to target a more introductory level - a beginner might be better off to start with that, follow with Andrew Ng's ML course, which has a section on neural nets including an assignment implementing backpropagation, then continue with the deep learning book and the {deep learning, UFLDL} tutorials. This should be solid enough to at least read most of the cutting edge work and papers, if that is the aim.

Hugo Larochelle's youtube course https://www.youtube.com/playlist?list=PL6Xpj9I5qXYEcOhn7Tqgh... and Hinton's coursera course https://www.coursera.org/course/neuralnets are also great references.
So you realize that "anyone with the means to get out" of Detroit started doing so 1968ish after the riots, and it in fact is what caused the population and economic decline of Detroit?

One really did come before the other, and it was the exodus of white people (followed by the auto companies) before it was the collapse of the city or any accusations of 'abominable government' (and 'culture', what?).

It's kind of just what happened.
Not OP, but I would think it that things make sense when they can be intuited. It's amazing how much we can intuit–people figure out orbital mechanics with enough time playing KSP.

Then there are things which we cannot imagine intuitively, like 5-Dimensional hypercubes, but we can describe them in math quite easily.
This is just obvious marketing by FastMail with hardly any notoriety. Is HN this easily distracted by shiny objects that this makes it to the front page? The person who submitted this even works for FastMail as a "Systems Admin and Programmer".
guilty. manual html tags, no css, a couple center and table tags here and there. the page loads fast.

my powerpoints have (d)evolved to become just as bare now, too.
There's a very good reason we should assume that we're capable of comprehending the universe's properties: we might be right, and there's only one way to find out.
Nominal GDP, as the name implies, aims to be a measure of production in an economy. This means that shuffling around assets should not count towards nominal GDP. As no real production is happening through the use of Bitcoin (and there isn't really a Bitcoin economy to speak of in the traditional sense)[0], the majority of Bitcoin transactions are speculative, which means people are just shuffling around assets. Transaction volume is therefore not an accurate measure of nominal GDP for Bitcoin.

[0]: http://computationallyendowed.com/blog/2013/11/27/bitcoin-de...
> To raise people out of poverty, it is more about attitude than physics.

Actually, it's just about money.
Larry “Major Nelson” Hyrb was posting about his passing on Twitter this morning, including this fantastic photo of Mr Baer still in the workshop at 92.

https://twitter.com/majornelson/status/541707579605282816
I like to wget, because you can easily automate and customize it. Here's the man page: http://www.gnu.org/software/wget/manual/wget.html
Treating "upgrades" as a specific case of reflection, typically what happens is that the function that wants to do reflection declares that it wants to perform reflection on its arguments via the type system. For example, in Haskell this mechanism is called "typeable" and in Rust this is called "any".

The nice thing about this approach is that it signals to callers that reflection is going to happen, so callers can be ready for it—the types become a form of documentation. If reflection is unrestricted it's easy for callers to get surprised when methods are called that they didn't expect. (Go has had breakage during point release upgrades from this, for example.)

This stricter approach requires that you plan ahead for "upgrading" in advance since you can't change a non-upgradeable argument to an upgradeable one without changing the type signature and breaking your callers. On the other hand, your callers are secure in the knowledge that you won't do that: they know that if you didn't give them access to one of your type's methods they can't sneak around and get access to it through the "back door". Non-upgradeable interfaces can also be more efficient since there is no need to store the reflection metadata at runtime; with this approach you only pay for what you use. Altogether it's a classic static-versus-dynamic-typing tradeoff.
Labeled Faces in the Wild
As a local, it is encouraging that what the pilot sees from the air, I also see from the ground:

> From the air today, the decline appears to be slowing. The spaces once covered in rubble are cleared and mowed. Open green spaces, along with new community gardens and orchards, look almost bucolic against the downtown skyline. From my plane, I sense the potential for resurgence in these areas.

> I think that the inner ring of Detroit will win out in the long run, as cities are and will continue to be the greenest places to live on a per-capita basis.

It is really, really hard to bring a city back from this, but it is happening here.
What fundamental limitation of human information storage/processing technology would prevent us from "making sense" of the universe at a general level? By "making sense", I mean coming up with a complete and consistent physical model.

Based on previous experiences, I suspect that the universe is governed by relatively simple rules that lead to complex emergent behavior, which would certainly be conducive to our understanding it.
You were born in Detroit, or in the suburbs, like me?

(And I don't mean born at Sinai Hospital and then taken home to the suburbs).
A good map to sum this up:

http://detroitography.files.wordpress.com/2013/09/detroit_po...

They've lost an additional 250k people since the year 2000 as well, so just add to the misery.
Substitute Grosse Pointe for Bloomfield if you want an extraordinarily wealthy suburb within single-digit miles of deeply poor neighborhoods.
It's worth noting that a "disparate impact"(racially-discriminated outcome) is the standard by which these sort of things can be judged. http://en.wikipedia.org/wiki/Disparate_impact
Here's another way to see: What have you been doing for past two years? Now imagine you had started learning this about 2 years ago. You would have been done by now and ready to tackle some of the most interesting problems instead of continue to do same boring stuff you had been doing for past 2 years. In 2016, come back here and look at this comment again :).

PS: For people who are saying you can "apply" DNNs in a day or learn it by a coursera course in 6 weeks - they are only very superficially right. Yeah, anyone can build ML model for a sample training data using tool in the same sense that anyone can compile sample code and have a working app. The problem is that most models don't work the first time as expected. The challenge lies in debugging the model and fix many of N possibilities to make it work. This is what working in ML is all about. It's like usual programming where it takes years of experience to debug the code and make it work for your purpose. The added twist in ML is that debugging is almost entirely statistical. When your model doesn't work, it doesn't work only in statistical sense. Your problem would be essentially that the model doesn't give expected answer this 12% of the time. For this 12% of the time, it doesn't work not because of some wrong "if" condition or misplaced subroutine call. The debugging is almost always statistical debugging - there are no breakpoints to put or no watch to set or not even exceptions. So it takes pretty solid background in statistics and probability to effectively work in ML. And yes, most likely it would take much more than 2 years.
'Real Talk': There is no language instinct
I'm pretty sure "taxes you haven't paid for years but should have" would be worse.
The tricky thing about beliefs is that they are so often instrumental to authoritarian uses. Altermeyer's _The Authoritarians_[0] documents some of the mentalities that take hold - although it's primarily focused on the "right wing" of authoritarianism, it also describes how a "left wing authoritarian" also exists but is less prevalent.

For my part, I've realized that at any moment of my life I will have some limited view of the world as a belief structure. I can intentionally cultivate beliefs that seem more logical(e.g. by writing down and rehearsing proverbs) but this ultimately just moves around the lens with which I view things; it doesn't "progress" my thinking to a higher state, because there isn't one. The worst thing that could happen is not believing "wrong things," but getting stuck in a state in which I can't move around my lens any more. If my lens is not moving, then it's like I am no longer politically alive, I am a rock that someone else throws.

[0] http://members.shaw.ca/jeanaltemeyer/drbob/TheAuthoritarians...