skysight-inc/HackerNews huggingface dataset:
Simply googling "Should I go to law school?" yields a ridiculous amount of horror stories about people who are hundreds of thousands of dollars in debt with a JD and working retail and/or making less than $20/hour. I would really like to see a ROI for every law school in the nation. I would suspect that most below the top 30 or so have a negative ROI.

Slate is blocked on my work internet for whatever reason.
Huh; quite right. I've had it in my head for several years that Thai, at least, was tonal based on absolute pitch; but it looks like that's wrong.

I did turn up that a much larger percentage of people have perfect pitch in populations that speak tonal languages.
That would be a good argument against people that supported those wars, but I am not one of them. Furthermore, if NASA is serious about this, this may easily cost about as much as the Iraq/Afganistan wars.

Those costs are estimated at about 4 trillion. The apolo mission cost about 100 billion in today's dollars. A Mars mission will be much more difficult and building rockets has not gotten cheaper over these years. It might be more expensive, because quality engineers are much better paid now even after adjusting for inflation.

I would not be surprised if a manned mars mission costs a trillion or two.
TL;DR, but skimming through an interesting problem comes to mind: The OP "orthogonalizes" the question of the sample accuracy's (24 vs 16 bit) and sample rate's (48 vs 192 kHz) impact on quality, answering one independent of the other. But even with my limited background in mathematics it's quite obvious that that approach is not entirely correct: the Nyqvist theorem only really applies when you have infinite sample accuracy. It would be interesting to see an analysis of how the two interact; i.e. how the discretization error impacts the highest representable frequency.
That's exactly correct.

In a Dependently Typed (DT) language like Agda the language of values and the language of types are one and the same. Thus, a function from types to types is exactly the same sort of thing as a function from values to values. In this case we have a third sort of totally-natural-day-old-kind-of-thing: a function from values of ℕ to types (in Set). It's "just" a function from values to types.

Now, we annotate values with their types. Thus we might have a new top-level definition

something : zero even
something = _

where we've used our postfix `even` function to construct a type from the value `zero`. Is this type inhabited? That's a question of proof and programming. Regardless of its inhabitation, though, we can clearly see that the notion of `zero even` simply being a type is sound---that's the nature of function application when the target domain is that of Set!
Granted, but I was replying to a post stating that "it" is not better in practice, where "it" is using 0 base, mod 7 arithmetic.

Anyway, yes, you've shown correctly that mod 7 arithmetic is useful, proving half the great-great-somethingth-parent's point. Now, the remaining interesting cases are the inversion case and the multiplication case, where 0 based is simpler (for me) than 1 based.

Also, the idea of using the word "octave" for "mod 7" is already pretty broken, and is what caused me my initial hesitation.
This works both ways. Atheistic forms are there along deity ones. And still this or another way this makes you a Buddhist which IS a religion. Atheistic Buddhist is an oxymoron, I hope you understand at least this much
TARP? GM? AIG? It seems like private organizations under a certain size threshold have the ability to fail if someone else can do the same job better and cheaper. Beyond a certain size, they are indistinguishable from government.
The DECT phone standard had to be marketed as "6.0" for the US market because non-technical people were trained to believe that 5.8GHz was better than 2.4GHz and a phone that ran at 1.9GHz would never sell in the US. This is the same thought process driving the audiophools' desire for bigger numbers regardless of reason. It doesn't help that the fundamentals of sampling theory aren't particularly intuitive.
That's not a reason, that's a trite saying.
I have rebuilt a lot of code from scratch.

You learn a lot and hate programming...

Unless the codebase is awesome.

Ha!
Good points.

To someone not familiar with the practice, I'd say that imperative programming is like manufacturing a car step by step, attaching parts to the engine, building the frame and so on. There are a plethora of tasks involved but it's usually clear how to finish them if you know the principles.

Declarative programming is like finding a magic incantation that makes a car pop into existence. It feels great when the default incantation works and you deliver a finished car in five minutes, but things tend to get confusing quickly if you decide that the car needs a customized transmission, a new row of seats, or (heaven forbid) a different number of wheels. Soon you're poring over arcane texts on GearChangeCommands and CabinPresenters and WheelLocators and potentially spending longer than you would have by just building the car in the slow, predictable way.

That said, I can't help but like the declarative style too, and would still prefer it much of the time to build user interfaces.
I think the point is that the number of people who watched the video on YouTube is even larger than the number associated with this copy.
From what I've read, DeepMind's approach is to just feed in the raw pixel data and the score. No rules, or anything like that.
>Of course, it's worth noting that some degree of so-called "nativism" is just part of the social contract. It's the price we pay for having a society that enforces cooperative coordination among citizens instead of letting everything be run by uncoordinated, law-of-the-jungle free-for-alls.

You realize that skilled immigrants are going to be the most likely to assimilate into American culture. They will not form ghettos or enclaves(unless there is of course white flight).
>- The cacophony of noise and interactions can be measured and deconvoled to show patterns.

theoretically. On practice we are yet to see.

>The microwave carriers (which are in the GHz) operate much faster than your brain

they also tend to cook various molecules/tissues. Not the whole GHz range of course and not all the molecules/tissues. The issue is to find the frequencies which don't cook anything in the brain at the power level which would still allow for good signal/noise. It sounds like something that human civilization has been working for the latest half a century and still has work to do.
The problem with Social Cohesion in the office
How to setup a CoreOS cluster with metrics, logging and continuous deployment
Ok, let me put it another way. Prove the dog was called "Nigger" because Guy Gibson was racist... and "He must be racist otherwise he wouldn't have called the dog that" does not count since that is circular reasoning.

Unless the dog's name came from racist motivations the name itself (and the word) loses racial overtones UNLESS the listener decides to add them again in which case it is the listener who is at fault for assigning motivations the speaker (namer) in this case, didn't have.
You're right. Apologies.
All good points. However...

1. Declarative expressions are much easier to spot for defects (and much easier to not introduce defects). So do you want easier interaction w/ your debugger or do you want less bugs?

2. "There is no way to run" is an overstatement, I think. You have to run toward understanding the abstractions you're using. (E.g., if I have GC issues in the JVM, it's not that I have no where to run, it's just that now I have to go understand the GC abstraction.)

3. There is a lot of bad imperative code out there that is just as inflexible to work with.
Note that `false` the value of type `Bool` is not defined in terms of bottom. It is a constant in its own right just like `nil` and `cons 1 nil` are.

What happens in Data.Bool is that we have the function from values to types `T` such that `T true` and `T false` are types equal to top and bottom respectively. This value-to-type encoding is called a "universe" and allows us to talk about propositions which are based on boolean function results like

theorem1 : T (1 - 1 == 0)

which is somewhat interestingly different from

theorem2 : 1 - 1 = 0

in that the first will reflect upon the definitions of the (recursive) functions (-) and (==) while the second reflects only upon the definition of (-).
Whoa, this is pretty horrifying: app code, queries and markup all mixed together, like typed-checked PHP. I know this is just a demo but "separation of concerns" does not appear to have been a concern.

fun list () =
rows <- queryX (SELECT * FROM tab AS T)
(fn (fs : {T : $([Id = int] ++ map fst M.cols)}) => <xml>
<tr>
<td>{[fs.T.Id]}</td>
{@mapX2 [fst] [colMeta] [tr]
(fn [nm :: Name] [t ::_] [rest ::_] [[nm] ~ rest] v col => <xml>
<td>{col.Show v}</td>
</xml>)
M.fl (fs.T -- #Id) M.cols}
<td>
<a link={upd fs.T.Id}>[Update]</a>
<a link={confirm fs.T.Id}>[Delete]</a>
</td>
</tr>
</xml>);
if they mean "turn the currently fat, repetitive scripts into slim wrappers which call into a well-structured collection of well-composed classes of objects, which closely match the problem domain, thus promoting code reuse, and fix once, benefit everywhere behavior", then good.

difficult to comment properly without more context.
Not guilty! I picked this one up on Twitter this afternoon, but it's possible the lineage traces back to your lobste.rs post. (I have no lobste.rs account, though not for lack of interest -- while sparse, the comments there seem to be of very high quality.)
SpaceX's mission to colonize Mars isn't about making money, it's about colonizing Mars.

But SpaceX needs to make money to make colonization of Mars happen.
Location: Mexico

Remote: Yes

Willing to relocate: No

Technologies:
- Laravel 4 / Rails 4
- Git
- PHP > 5.4
- NGINX / Passenger
- Gulp
- Bower
- Angularjs 1.3
- Vagrant
- Cucumber / Behat
- Mandrill API

Résumé/CV: https://gist.github.com/dirtyfauno/bd87a7846cedf843ca68
Java's char is unsigned.
Playing even more devilish devil's advocate here:

> "start-up culture." Work long hours for peanuts

If your business model depends on people subsisting on ramen, and having no life outside of work, maybe what it really means is that your business does not deserve to stay afloat. Most startups fail anyway. You just fail earlier, because your cute Android game is not worth compromising the physical and mental health of everyone involved.
To put it simply and honestly, you are not paying enough attention. There is no human-discernible difference between FLAC and V0/320kbps. But implying that 192kbps and 160kbps are sufficiently perfect is somewhat ludicrous. You can still hear noticeable artifacts on cymbals at 192kbps. They will sound like an absolute mess of warbling, and all of the audio will be imbued with a slight tinge of white noise.

There is a reason the mp3 scene moved away from 192kbps, and it doesn't have anything to do with bandwidth availability. It's because 192kbps sounds terrible.
(I don't think this is a strictly Python-based argument, so I'll expand to all of OOP.)
I agree with the sentiment that Object-Oriented Programming is only useful in certain cases. Personally, as long as there's enough encapsulation that components can be composed and utilized well, classes are not useful.

Pros: enforced encapsulation, things mix and match easily, inheritance (sometimes useful)

Cons: over-organization/God objects/anti-patterns (especially of the inheritance variety), bad garbage collection patterns, classes that are "only behavior and not state" [1])

(Also, if it ain't broke, don't rewrite it. Not unless their programming concerns have been conveniently redacted from your post.)

[1]: http://eev.ee/blog/2013/03/03/the-controller-pattern-is-awfu...
video_B.views > video_A.views
I'd like to highlight the following analysis:

"Why Docker and CoreOS’ split was predictable" http://bit.ly/1zMLYSt
The Dept of Education's annual budget is about $70 billion and has been in that range for several years. I did a thumbnail estimate based on that. In fact the accumulated cost might be considerably higher.

The decline in literacy and math scores is well documented.
Hi Raja, he was actually talking about the Sales/Closing document/contract that is given to clients, not about financing documents. But thanks for the reply. :)

Do watch the lecture, it's nice and very helpful! :)
Well, in my case, from time to time I have to do these stuff:

for (int i = x.size() - 1; i >= 0; i--) ...
for (int i = 0; i < x.size() - 1; i++) if (x[i] < x[i+1]) ...

Both will blow up badly with unsigned ints.

(Well, to be fair, both will blow up with signed ints if x.size() is greater than 2G, so it's a matter of expectations.)
>Hundreds of thousands have been laid off in the last 5 years, particularly faced with globalisation and outsourcing.

You could also make the argument that allowing women into the industry hurts the wages of male programmers.
AI, underground cities, high-speed rail systems, package delivery systems, renewable energy, genetic construction, nanotechnology, infrastructure optimization, recycling, natural language, experimental schools, community integration projects, ...

There are plenty of great projects to work on that will provide valuable insights if they fail, and great benefit if they succeed.
Resumes suck for hiring engineers
American cops use intimidation tactics all the damn time. It's just that, when they do it, it almost always results in an arrest, and often a death. Also, they intimidate entire communities at a time, seldom bothering with this one-at-a-time stuff.

[1] And let's be clear, we're talking about the US here, not the entire fucking West - brutal American LEO tactics are most decidedly not par for the course in the West.
There's not much you can spend it on there. I'm guessing Amazon shipping fees would be pretty high too.
The list of incredibly influential papers that got rejected from Nature and Science is long and growing. Conversely, a lot of papers in Nature or Science (particularly in bio) do not necessarily represent deep or groundbreaking ideas, though they are widely cited. It's particularly regrettable the hiring and tenure committees do indeed "punch your ticket" if you have one or two publications in high-profile journals, as this creates (imo) an unhealthy obsession with hyping everything you do into a "breakthrough" result worthy of publication in the top journals. Scientific breakthroughs are rare (increasingly so, it must be) and it has always seemed unlikely to me that there are enough of them per week to fill up three or four prestigious journals.
My Estonian relatives say otherwise, and were glad to see the backs of your unwanted 'comrades' in the early 90s. Amusingly some Russians still hold to the 'we were liberating Estonia from the hands of the Nazis, you should be grateful' story.
Spreadsheets also suffer from imperative creep. People try to use Excel spreadsheets for iterative work, which gets away from the declarative design.

...which is how we ended up with VBA macros.
The most interesting development in terms of surround audio may be the Oculus Rift. A number of people were working on combining high-quality VR HMD head-tracking with headphones and a spatial audio system http://www.mee.tcd.ie/thrive/ http://www.technologyreview.com/news/527826/microsofts-3-d-a... . Then Oculus licensed a spatial audio system itself http://www.roadtovr.com/oculus-rift-dk2-realsense-3d-audio-p... and announced that the first consumer version of the Rift would have integrated headphones.
The Reality of Starting a Tech Company in Baltimore
The point is to pad the time to a random amount, not by a random amount.

If a particular function by design needs to have a throughput of at least 100 requests/sec, then you ensure that it has a throughput of exactly 100 rq/sec by calculating the response and then busywaiting until 10ms has elapsed - no matter if the actually neccessary things took 1 or 9 ms based on the input, caching and whatever else.

Alternatively, you use a secure random to state that this request will respond in exactly x ms - not when some calculations are finished. Again, you need to be sure that your calculations are guaranteed to finish before x, so you need to know the worst case time of your algorithm, but you don't need it to be constant time.
Int is not cross-platform and forward-compatible. It's implementation-defined, so it's up to the compiler. Practically speaking, every modern compiler defines int as 4 bytes, and can be expected to never change that (because of the vast swaths of bad code out there that is written with the assumption that an int is 4 bytes). So it's not forward-compatible. And while on most platforms you can expect the compiler to have picked 4 bytes, it's certainly possible for compilers to pick other sizes for int (I would assume compilers for embedded architectures might do that), which means it's not cross-platform either.
> If I wrote a natural number calculator in Agda; would all my numbers be represented as lists of successions from zero or can the compiler convert them to two's-complement integers as we know and love them?

I don't think so, but Natural numbers can't be represented as two's-complement "integers"; neither can Integers.

There are many ways to encode such numbers if you really want; the easiest are probably "Fin (2^32)" for a type with 2^32 members (easy to convert to/from unary Naturals), or "Vect 32 Bool" for a list of 32 Booleans (easy to do bitwise stuff). You'd need to decide how to truncate the Naturals though; do you take min(x, 2^32 - 1)? Do you take x % 2 ^ 32?

Also, note that "S (S (S (S Z)))" isn't really a list; to turn it into a list we'd have to associate some trivial data with each constructor, eg. [NULL, NULL, NULL, NULL].
Is that true? I think I recall hearing that studies show interviewing actually usually leads to worse results. Here's one that seems related to academic admissions, not hiring per se, but similar vein: http://journal.sjdm.org/12/121130a/jdm121130a.html

I think clearly the best SNR is from working with someone. That's not easy to fit into the hiring process, though...
Not my experience at all. Haven't tried recently but previously they've always been willing to help and even pretty complex technical queries have been answered fast. I didn't need phone support though.
This seems cool. Kind of like a 1-many snapchat. So far a lot of the content shared here in NYC seems to be pictures of women though :/
While there is an income discrepancy, western countries and companies are hungry for developing markets.

You can't have entry into those markets while putting up barriers of your own. Go to any street corner in India or Mexico and you will see US and other western brands everywhere.
Small Empires: Sandwich Video
Hi Michie, Tyler here. Last I heard YC is working on the official docs and hopes to have them up soon.

But... if you need a copy sooner, feel free to send me an email (tyler at clever).
This is just so anthropocentric, of cause the true selfless audiophile wants his music to be experienced in it's full natural range by bats and dogs just as well.
I'd been doing some thinking several months ago on how to incentivize control of light pollution at the county or city level. A possible solution might involve a country using satellite imagery to determine some metric for light pollution, and giving municipalities tax breaks or funding from a pot for bringing it down.

EDIT: It could even be an independent organization, using donated commercial satellite capacity and rewards for the top X localities improving their ranking.
Bose and beats* are by, every /objective/ measure, shitty products.

Subjectively, you might like them, but the faithfulness of audio reproduction is not a subjective matter. You can play a tone and measure how well that tone is actually played back.

You can then also objectively compare things that produce that playback quality at various price points and figure out if they're priced competitively.

There is plenty of fanboyism in high end audio, but that's not why they say Bose and Beats are shitty. It's because Bose and Beats ARE shitty.

*The Solo 2 Beats actually measure very well. They're even competitively priced... with other overpriced fashion statement headphones. They're still overpriced vs. headphones that are just meant to play music well.
>> Java gave me a choice that I didn't need, and I made the wrong choice

What if Java gave an arguably more useful choice--whether to use a signed or unsigned integer?
Is there any more substantive statement than this Tweet?
Maybe they wouldn't switch if they found similar advancement internally...
I've refused to create a G+ profile, solely because of all of the 'features' they add which aren't actually features at all. Features like 'you can have a public page with your real name on it!' (no thanks) or 'you can post huge long YouTube comments with link spam and ascii penises' (I don't comment on YouTube).

For me, (and, I suspect, most users) the only 'benefits' to creating a G+ account were the things that Google took away from people who didn't have one. Posting comments to YouTube, hassle-free YouTube sign-in, Google 'Hangouts' (which used to be Gtalk Messenger which no one I know uses anymore anyway), and so on.

The worst part is, Google could have made it far more palatable by not linking what they 'wanted' (unified accounts, real names, personal info, etc.) with their fated-to-fail paint-by-number social network. If they had framed their pitch as 'Upgrade your Google Account to a Google ID, and you get all the benefits of unified account management (and more features down the road), including access to Google+, our latest social media thing…' then it would have been much more palatable. A new account format so I don't have to re-enter data all the time? A new ID framework that apps/OAuth/Android/etc. can use? A perfect example of why Google IDs are a good idea, the new Google+ service that they couldn't have built without it? Sign me up!

But instead, it came across as 'we made a social network but no one's using it so from now on if you want YouTube you need to sign up for this other social network you don't want and if you use not your real name then we'll close your account and delete all your stuff.'
To be fair, even though unsigned integer overflow is very well defined, it's most certainly NOT what you want when used as an index or counter of anything.
Ionic Platform Docs
Norwegian F-16’s Near Collision with Russian MiG-31 Caught on Tape
Invalid argument then.