skysight-inc/HackerNews huggingface dataset:
> That's true for Java. Haskell, OTOH, constructs the entire language around verification through types and pure functions, and everything else is secondary. I don't know if the connection to C-H was made later or was a conscious design decision, but the result is the same from the user's perspective.

The type system of Haskell is far more interesting and powerful than that of Java, but I think you're overstating the difference. While Haskell's type system does allow you to do a few more things than just demonstrate restraints on your code (such as construct more expressive types and make use of type classes and polymorphism), at the end of the day the overwhelming utility of the type system is being able to more easily make guarantees about your code, just as it is in Java.

Curry-Howard only really becomes interesting once you have dependent types, and only becomes bullet-proof when your language is total. Haskell has neither property. The connection to C-H is something which might interest a large subset of Haskell programmers (who would likely take that interest into a study of Coq, Agda or Idris), but it has pretty much no bearing on the day-to-day usage of Haskell.
less blogspam link:

http://en.institutomanquehue.org/countries/bolivia/with-no-d...
> This is a paradox of invention, as well as of investing: Bad times feed good ideas, which in turn lead to good times, which breed complacency, waste and lots of bad business plans.

These days when I discover a new startup, I basically assume they're riding investment money for personal income until proven otherwise. The amount of frivolous startups right now is ridiculously high.

I also think this shows the idiocy of the idea that capitalism rewards productivity and efficiency. The majority of these startups are doing stuff that nobody uses now, probably nobody will use in 5 years, and that flat out won't exist in 10. But that's not stopping lots of people from going out and making their fortunes doing this. Meanwhile we can't raise the minimum wage when in fact at least the bag guy at my grocery store is providing a real service that people benefit from.
The difference is that the whiteboard formula is actually called the Clauser-Horne-Shimony-Holt inequality, not the Bell inequality, and it is a slightly more sophisticated version, concocted by the four physicists it is named after, five years
The first two numbers were 0.56 and 0.82. The third was –0.59, so it seems I would have to take this way from the running total. The fourth number, another 0.56, should then have left me with a total of 1.35 and victory for Einstein.

That’s not what I showed.
http://www.bbc.co.uk/iplayer/episode/b04tr9x9/the-secrets-of...

In fact, the subtlety is that the third term, the one that had a negative value, was already negative. The inequality read:

P(a,b) + P(a,b’) – P(a’,b’) + P(a’,b) ≤ 2,

So, plugging all the numbers, this looks like:

0.56 + 0.82 – (–0.59) + 0.56
= 0.56 + 0.82 + 0.59 + 0.56 = 2.53

So, sorry Einstein, victory goes to Bohr instead.
Along with this and Kong there is also https://github.com/mailhog/MailHog for testing SMTP failure scenarios on outgoing email.
Le Film Kong: Skull Island Avec Jason Mitchell?
I am grappling with salary and equity below what I know I am worth. It's not ridiculous, but I am struggling with feeling undervalued, and interview regularly with other companies. The problem for me is that I believe in what our company is doing, and the vision the founder has laid out before us. Or, to be more frank: I truly believe my lottery tickets have the winning numbers. As much as I wish it were not the case, that is having true power over your employees. The One Ring ain't got shit on having your employees really believe in what you're doing. FML.
Build your online resume in 5 minutes
The only issue is that people were forced to pay for Windows when buying a PC for running a different operating system. PC hardware OEM's paid royalties to Microsoft whether or not users installed Microsoft systems, and the OEM's passed down this cost indiscriminately. That's an example of monopoly power: users wanted to buy just a PC, without a hundred-something dollar OS, but couldn't.

As for bundling of IE, Microsoft has a right to put whatever they want into their software release. People who use Windows and then complain that it comes deeply integrated with a Microsoft web browser can be safely regarded as supreme morons. An OS needs a browser in the internet age. Ubuntu comes bundled with Firefox. (Browser choice is good for Windows; Microsoft only hurt themselves by integrating IE in annoying ways into the OS. Many people are happy Windows users, yet browse the web with an alternative browser; Microsoft should be happy they are on Windows.)

Moreover, the history of Windows is littered with entitled whiners whose application or utility became irrelevant when Microsoft realized that an OS should ship with that kind of thing and produced an equivalent. According to those litigious nincompoops, the OS vendor has no right to bundle things such as a TCP/IP stack, disk compression or anti-malware utilities, because it threatens their "add-ons" which were there first.

The whole IE thing is like going after Toyota because they install cruise control, air conditioning or decent audio in many of their vehicle models. And cruise control, AC, and audio systems are something you can have installed after-market from third parties, so by Toyota bundling such features into cars, it ruins their business. Moreover those features are slickly integrated into the car (e.g. dashboard/steering wheel controls) and hard to remove and replace with the generic parts. The bundled factory features thus enjoy unfair advantages in integration.

Google, by contrast, only runs a program on some machines in the cloud that only respond when you resolve their name and send them a TCP/IP SYN packet. Every search starts with someone resolving "google.com" (or a related regional domain) and making the first contact. From your IP address, you can similarly reach any other search engine on the planet, if you're in the free world, at least.
This is so true. My current place is one where the organization has drastically improved, and you can read it in the code. It's so clear can tell you which group of people wrote what without using git blame just by looking at the code.
50 Sensor Applications for a Smarter World
The "market" has realized and optimized for creating frivolous startups that act as extended resumes in order to be acquired. It's really sad. :(

The speed at which startups are created and subsequently acquired is so fast now that, as a user, I have no faith any more in signing up for the "next big thing" and giving them my data. The site will shut down in a few months anyway…
This article actually seems to be suggesting that a downturn would be a good thing for Silicon Valley because it would help sort the wheat from the chaff, and allow the wheat to get resources more cheaply.
Better to email hn@ycombinator.com

Otherwise the whole discussion thread will turn to be about hell-banning and not the article.
Chrome will begin pausing many Flash ads by default on September 1
CSS 'pixels' are a dark, dark magic, come back to the light!

CSS pixels are a measure of your viewing angle, the physical measurement of the device, and your screen's pixel density. Basically 15px should look like 15px should look like 15px, no matter what you're looking at, but because the actual pixel densities of screens differ it can be really weird to think about.

You may need a 30px icon to display 15px wide on a retina screen, even though it sounds like a 15px image should be 100% large (and therefore crisp) at 15px in CSS.
Let's be clear. There are four tiers of companies. The Googles and Facebooks of the world, that have the ability to pay for talent at whatever cost. The Ubers that get billions in venture funding who need to compete with this limited talent pool dollar for dollar. Then there is the 1%ers that are backed my major VC firms that are having boatloads of money dumped on them. They're trying to get good talent and they need to pay for it. and then there is the rest of us. every nickel is our prisoner. Founders pay themselves no more than they need for rent and food, and often less, and their employees make 2x-3x what they do because the market will pay 4x-5x. This is a winner takes all talent war. Companies that spend a lot of money are forced to, and this will mean that margins at big companies like Google will have to come down. But this is what the market is demanding. There is still tremendous growth opportunities In tech. Almost by definition technology implies growth.
I commuted by tube in London for 3 years, my most recent house was 1 minute walk from the station and my office was also 1 min walk from a very busy central station. So basically door to door. Even still, commuting was not a pleasant experience.

The human congestion in the central tube stations at rush hour is appalling, as is the air quality down there, as is the lack of personal space on the train itself. It's a very stressful, undignified experience for everyone.

I'd much rather be spending a bit of extra time in traffic, sat comfortably in a self-driving taxi, than take the tube. That said, I think there's good reason to believe that as self-driving cars become more prevalent, traffic flows will actually improve due to better flow management, less need for traffic lights, and fewer cars parked.

Rail does the job, but it does not do it elegantly. It's very unpleasant to take mass transit railways in major world cities. Nobody who's done it for any length of time would reasonably contest this. Self-driving personal vehicles could be a major improvement on the commuting experience, if indeed the future involves commuting at all - a vast increase in remote work may simply sidestep the issue completely by the time self-driving cars are a mature tech.
Metro applications are still complete and utter garbage
The Odds Are Always Against Startups
Look as a nerd I hear "ill give you 1/2 if you build it"... we talk about their idea, then I say... Well the first step is for you to go put that on paper. Go build wireframes, put together a business plan (high level) look at the competitive landscape. Wire frame are easy and if you bring me a stack of bar napikins with doodles I will help you put them into something more formal.

I have never seen a wire frame, or a bar napkin, or a business plan or any sort of competitive analysis come back from one of these proposals.

Lets flip this on its head. I have an idea, and I'm doing all the coding/dev work. What are YOU going to do to add value to that endeavor? How much would that work be worth as a percentage?
Works from the UK, if you are unlucky go to https://www.4proxy.us/ type in https://www.google.co.uk/search?num=100&newwindow=1&site=&so...

And it will work ;)
I'm assuming that self-driving cars will also perform data collection for the rest of Google's self-driving cars. I could be incorrect about that, but if they do, it won't matter that the current data is from 2005. Alternatively, if Google do need to collect manually, I would assume they will mobilize to do just that. They did it for Street View, a feature that isn't directly linked to revenue. A much more solid business case could be made for doing it for self-driving cars.

Humans rely almost solely on vision from a single source (counting both eyes as just one source) when driving. Autonomous vehicles have far greater potential when it comes to sensors. Google's current vehicles utilize LIDAR and GPS. Tesla's lane following uses cameras, but they get more than one perspective. If it added anything, infrared could be used. There's potential to have tonnes of cameras on the car to get a fuller view. They can triangulate position more effectively by listening out for Wi-Fi and cellular network signals. There's gyroscopes, too. CPUs can calculate exactly how much stopping distance is required in the particular road conditions and adjust speed accordingly. When you think about the sensors and processing capability compared with two human eyes and a brain, it seems to me as though humans are very poorly equipped for dealing with driving in hazardous weather.

You're probably right that the current cars struggle under poor weather conditions, but it hardly seems like an unsolvable problem. Once they do function in poor weather conditions, they'll probably do a far better job of it than a human driver would.
Thanks. You can learn a lot from the demoscene folks.

Of course, your cow-orkers might wish you hadn't, depending on the amount of restraint you can summon :-)
CSS 'px' units don't map directly 1:1 with pixels in your screen, it's weird. :/

In general, CSS 'PX' is great for spacing inside and outside containers. I often use 5px or 15px padding in places that don't directly touch or contain text. Where text is involved I like to define my spacing in 'em' units because those are relative to the 'font-size', so if I change the font size the spacing will still look great!
How does it work for an immigrant worker in the US? do they need to have a green card?
I guess you could do one stopped uphill, but with a free wheel, you're just balancing. There is no way to pedal the bike in reverse.
Not the article with the quote, but a similar spirit. http://www.extremetech.com/extreme/187438-googles-autonomous...

Sure, they're limited, can't drive in snow. Snow shut down Atlanta because humans couldn't hack it. Autonomous cars can't compete with humans at their best, but they're consistent and know their limits.

It's tough to see in tech, but some older people's driving fades fast. They arrange their lives to avoid driving on the freeway or at night.
As a neutral party, one thing I'll say about systemd is at least they understand what a dependency is. I still haven't figured out why the upstart people think it's a good idea for a service to magically start just because its dependencies are fulfilled. Maybe they think system services are like proteins or something.
Thanks colah, that was a very readable walk-through. I've been making my way through Bishop's PRML ch 5 to get as much of a handle as possible on NNs, but your intro here to LSTM's makes me want to jump ahead and skip to the new stuff :)
So the general thinking is 10 yr treasury bonds reflect the economies consensus around what the long term interest rate is.
Another general consensus in economics is that the interest rate is determined by the supply and demand for loan-able funds.

Therefore if China sells so many bonds it increases the interest rate on 10yr T-Bonds. It has either shifted the long term interest rate in the U.S. by reducing the supply of loan-able funds or it created an enormous persistent arbitrage opportunity in T-Bonds.[0] Both of these seem very unlikely to me. 40 billion a month is just too small to make a difference.
> My intuition about the travel of photons is that, because of length contraction, there’s no distance to travel, so they don’t actually travel through a vacuum at all, and of course that’s why they don’t need a medium, and it takes no time at all—from the photon’s perspective, anyway.

How is there length contraction in this experiment?
My fuzzy memories of an STM8, made by ST Microelectonics.

The piece of code in question was to use the chip as a smart power controller. Worked pretty well, aside from the limited code space.

Here's a blog entry about the little project: http://www.dadhacker.com/blog/?p=1911

Apparently the original code did multiplies by 10s, so the leaf routine was a few more instructions.
The PBoC has the ability to issue Yuan against any assets they fancy. The is little constraint on Yuan liquity from selling dollars.
Ayup, that's exactly why we see all those Gongkai phones in the US and the hardware Kickstarters are so successful ...

Wait, what? You've never actually seen anything directly from Shenzhen sold in the US and the hardware Kickstarters all seem to fail dramatically?

Next time try to convince someone who didn't have to give out about $20K to various Chinese suppliers at CES 2015 for samples, retainers, prototypes, etc. They might actually believe you.
My thought is that the existing set of signals on a car are solutions the existing problems of human drivers, and maybe a self driving car needs additional signals. A flashing green light could mean "I am yielding to you, and get some new bar tape." ;-)
There isn’t, at least not as far as I understand. (Physics is just a hobby interest for me.) I was referring to GP’s comment about an intuition for how electromagnetic waves travel through vacuum.
In India they drive on the left, did you get your sides switched?
Lactose and Butter Free Apple Cake Extra Light
The article was interesting and entertaining too. Good (and bad) committee outcomes happen as described, when one or a few individuals seize the initiative, setting out their ideas in a more or less finished form. Other committee members may feel blindsided but in the crunch there's insufficient time to produce alternatives. It's a lesson worth our attention.

The story evoked a personal element, going back to when I was first learning programming in the 80's. Early on one of the serious hurdles I encountered was recursion. (Another was pointers and indirection.) After struggling to wrap my brain around the thing that kept calling itself, I ran across a book, "Thinking Recursively" by Eric S. Roberts, 1986, which was enormously helpful.

I consider the book a classic. And it must be since it's still in print! I'd highly recommend it for anyone who finds recursion unintuitive. Way back then it wasn't intuitive to me either, but with the book as a guide in time it became as natural as breathing air.
Yes, Java as well as .Net implementations used recursive QuickSort (I think Java recently switched to Timsort?). The implementation however used only one recursive call instead of two as in textbooks because second call is tail recursive and can be made iterative. This is however not done just to avoid recursion. With QuickSort you run risk of using up O(n) stack space in worse case. Making second call iterative allows to make sure recursion always occur on smaller partition thus guerenteeing O(lg n) space.
I use chrome with all plugins disabled unless I right-click to run them, and the only one that I regularly have to enable is the PDF viewer. I find it a much more enjoyable (and faster) browser experience and have no need for an ad blocker because flash ads are the only ones that really annoy me. I think it's a great idea to disable non-essential flash by default.
I guess it's more reading and writing it in code. In my case, it makes sense to read code like I read a book: it has a beginning, a middle, and an end. (Procedural, see?)

A recursive function makes me do all these convoluted mental gymnastics when I'm just trying to figure out if Cinderella lived happily ever after or not.
You know how the blockchain works, right?

Those transactions become permanently public, and can be used against you in court if at any time in the infinite future you are tied to that address, or tied to any addresses pulling bitcoins out of that account (which are also publicly recorded actions). Compared to cash, which is not a matter of public record, bitcoin is not a "Perfectly Adequate" solution.

Without contracts or signals, you can't make monthly payments on a depreciating asset/service because it becomes an auction. The hackers are rationally incentivized to maximize their returns, and that includes selling the data to the highest bidder before the price depreciates. That means that Ashley Madison would need to beat the highest bidder each month, without knowing if the other bidders are even real.
Yes, but the perspective you should be thinking about (and to steal from my own comment) is having employees believe that their lottery tickets have the winning numbers. You want to get paid, but how much are you willing to hedge that your options will be worth something in the future? That I think also very much falls under "belief" in the company.
Good riddance.

Sometimes I forget to turn ad-block back on after testing stuff. Thanks Google.
I think you're misinterpreting the comment. That's just a nice way of giving a compliment, essentially saying he's humbled by the quality of people applying; not necessarily that he doesn't think much of himself.
Serious question here: what's the actual historical significance of this tomb? I don't see anything here indicating what was actually in it, just that it's really old.

Not every historical site is actually of any importance. I don't know much about this site, but I do know that there were literally thousands of nearly-identical archaeological sites in the area of Israel where I lived for a while. Not all of them were even excavated, and many times archaeologists would excavate a site, only to leave behind literally tonnes of artifacts lying in piles at the site. A historical site of value teaches us something about the people who lived there, but a bunch of identical clay amphorae made in the same style from the same clay, containing the same foods and wines, in houses constructed identically, don't teach us anything.

Stuff like the destruction of Palmyra (mentioned elsewhere in this thread) is a real tragedy. This, not so much.
Well, as I said, MTA's service is more on the "okay" and not on the "good" side.

I’ve seen bad train traffic, too (here is my city at 2am during a festival http://i.imgur.com/KyWkUzJ.jpg), but still:

Imagine the same amount of people using the train now being on the street, everyone in a seperate car.
122 Things Everyone Should Know About Investing and the Economy
Launching a weather balloon, a camera and a Raspberry Pi to the stratosphere
You know the old question "What superpower would you have if you could have any?"... I have always answered this way. If you can make any number of people believe anything you want, you wouldn't need any other superpower at all. You would have absolute power over every other person in existence.
Sorry, assumed logins inferred unique logins.
I don't think there's a reasonable explanation. While it's not totally chaotic, I think a lot of it is just politics and reputation. After all, there are plenty of names in programming, mathematics, physics, and even journalism, that come to mind, and I would certainly buy their books before others to see what all of the hype is about. Very rarely do I find myself taking chances with 'unproven texts' that haven't been 'accepted' at-large to learn from.

What I took away was that becoming immortal in text, in the minds of following generations, is every literary scholar's, or scholars', dream in general. We all want to matter. We don't want to be caught up in useless things, unless being immortal doesn't matter to you.
RASMI!!!

Yeah, most of our curriculum uses regular old matplotlib. We only use this technique specifically in our D3 curriculum. In general I can't think of many use cases where this is actually better than just having a couple of files, aside from instructional ones.
You missed the radical majority of all existing technology companies: moderately successful companies that have taken little to no venture capital, and operate all over the US and the world. Most have been in business for at least three to five years, are profitably self-sustaining and require no major venture capital. Most are growing modestly, and are easily able to keep the lights on and pay real salaries. They have ~$1 million to ~$50 million in sales.

Those companies make up nearly the entire technology industry across the US on a number of companies basis.

Start-ups (both big and small) are the minority and so are Googles/Facebooks.
So... can somebody explain what the difference between "essential" and "non-essential" Flash content is, and how Chrome can tell the difference?