skysight-inc/HackerNews huggingface dataset:
This has been discussed in several HN threads recently. Often some insight can be gained by following the money. SO doesn't carry Google advertising, so there is no way for Google to profit when people go there. The spammy and other low-quality sites that persistently show up near the top of Google's search results invariably carry tons of Google ad boxes.

Of course Googlers claim that there is a firewall between search quality and ad revenue sides of the business, and, from the perspective of a Google engineer, that might actually appear to be the case.
When I first looked at the Dockerfile format, my thought was, hey, another provisioning file format to learn. I guess you could just call chef/puppet/ansible/etc in your Dockerfile and call it a day though? I have not heavily used any of these tools so my perception of their overlap might be off.
Just be very careful not to do anything that might give them reason to "know" about you. Such as holding impermissible political views or knowing too much about computers, to pick two random examples.
What are you going on about? The person to whom you're replying was only explaining the point of another post, not criticizing or applauding it. You're arguing at the wind.
One year after Jobs became CEO.
So more precisely, the reasonable choices would be wages, profit sharing in upside and downside, or lower wages + profit sharing in upside only.

In another comment, someone asked about the executives who get paid and then "only have upside", as if that somehow proved that employees should also get an upside. Not so: executives are the last option: lower wages + profit sharing in upside only. Employees are—literally—taking the first option. If they want the last option, they can become executives. We don't have a legally-mandated cast system in this country, anyone who is competent can become an executive and take option three.

And the wages really are lower for executives who only have upside potential. If you are an executive (not a manager, an executive) you can either run your own company, or run someone else's company. If you run your own company, you've got upside and downside risk. If you run someone else's company, you have (much) smaller upside potential, but that's compensated by: (a) lower, but guaranteed, wages + (b) no downside potential.

It's a reasonable trade for a lot of executives to make.
Why needs this to be discussed again and again? It is such an obvious thing. Use a statically typed language and you get a proof that your program does not contain bugs of a certain class for free. Use a dynamically typed language and you lose this proof or you have to do it on your own. Does this proof come with price tag attached? Yes, but a very small one - sometimes type inference fails and you are forced to manually specify the type. I don't see why this is worth any discussion.
CSS Regions Matter
Watch the first public Macintosh demo in newly released video
Reminds me of the "Khyber pass copies" of ancient British firearms that still float around Afghanistan/Pakistan: http://www.martinihenry.com/khyberpage.html

> The makers even tried to copy the stampings and markings from their original source Martini. Backwards letters and misspellings of the markings are common. The majority of Khyber Pass Martinis I've seen have typos that are very similar. One of the most common is to have the "N" in "Enfield" backwards...likely because one "Master Copy" of an original Martini was made, then passed around for others to makes copies from. The erroneous marking was then faithfully copied from one weapon to the next.
Sometimes it feels like OpenStack suffers from the problem that there are too many cooks, and not enough people eating the (dog)food. So it's great to see Box getting involved in adding erasure coding: it's a technically interesting feature, of course, but it's being driven by real-world requirements from a real-world customer.
The thing is the infrastructure has been long established where the transition to more commuters using public transit is going to take a long time. In LA, they are putting in more public transit options, but the reality is most people commute too long of distances to their jobs for it to be practical to utilize it. So, these options will only be practical for a small population. Otherwise, your options are: 1) Drive an hour in traffic or 2) Spend 3+ hours on public transit (but in a cramped bus). What's your pick for the daily? This also limits your freedom (yep I said it.) to get groceries or do other errands with the little time you have after work which would add additional time to your commute.

Are you American? Your perspective seems a little overgeneralized than reality. Don't get me wrong gas consumption is certainly an issue here. Hopefully Tesla drives the auto industry in the right direction.
"We imagine Turing Machine memory having an infinite tape which is just there, not having a tape that must be generated as the head moves."

This is one of those times when you're probably better off saying and thinking "unbounded" rather than "infinite". The point of a TM is not that it "literally" (to the extent that term applies anyhow) has "infinite" cells in it, the point is that there is no point in the computation in which it will reach for another cell and be told that there isn't one. (So there isn't even a way to represent that.) Many "infinite" things are better conceived of as "unbounded". For another example, "infinite lists" in Haskell. Obviously, they can not concretely manifest infinitely many cells in memory, but there is no point at which the runtime will reach for "the next cell" and be told it has reached the end of the list.

That is also why it's better to model our real computers with TM math, even though they obviously do not have literally infinite amounts of memory. As long as a software process runs along and is never told that it is out of memory when it asks for more, we get fairly TM-like behavior, or we get a crash if it does run out. By contrast, while the FSM model is in some sense more mathematically accurate, it is less useful for modeling real computers, since it is so weak.

I think this formulation also better intuitively explains why we use infinity so often in our proofs; by saying "and there's always another one if you want it", we remove the case where we have to handle there not being another one. And that case can get quite hairy, as anyone who has watched their machine self-immolate after it discovers it is out of RAM can attest to. :) (It can also be every bit as mathematically tedious to deal with, too.)

The further I got through grad school, the more I said "unbounded" rather than "infinite".
> I can't figure out the jog into New Mexico

It looks like the two charging stations in northwest New Mexico are in Gallup and either Shiprock or Farmington, which are just about the only towns in that region of the country. A more direct route between I-40 and I-70 would be to turn north a bit further west, on US-191, but there aren't any towns on that route.
Thanks! Good call on the line-heights. I hadn't noticed how weird those multiline business names look.
Talking to kids about death. When is it a good time?
No, no! Don't do it by population distribution! The rural areas are what I want to see! Ahem . . . I mean, the random distribution ensures that everyone gets to see things they weren't looking for, and that's good.
gzip is basically free on modern server hardware – if it makes life easier on mobile devices, this is a pretty easy tradeoff.
> 'And the only people getting rich are the investors and the executives.'

Wat. Did he expect to get rich driving people around? I don't understand this statement at all.
well that's confusing as hell. haha.
I have looked at the diaspora website. I didn't get it. I'm promise you I'm not that stupid but their website was a car crash. Why do I need to create an account with them? I want something as simple as WordPress. If buddypress wasn't so ugly it could be an option.
MOM IS THAT YOU???
Have you considered open sourcing it to get the development flowing? I for one would love to hop in on this website in particular and get hacking
Timeline of the Elements
That kind inference only works because + is defined to work on Nums only (importing only prelude). You don't even need the initial 1. A nice trick but these are rather small details.
Not quite. It's certainly possible to enter the US on a TN visa to work with the intention of returning to Canada but also intending on becoming an immigrant at some point in the future. Yes, you do need to maintain ties to Canada when you enter under the TN visa, but there is no requirement that you need to be on an H1 when filing for Adjustment of Status.

Here's a link: http://www.tnvisabulletin.com/tn-visa-adjustment-of-status/

I've seen a couple of people do this, and it allowed them to skip the H1-B hassle. You just have to be honest and show that your intention initially is just to work and return to Canada, but your future intention is to become a permanent resident.
Diaspora was a fail of a P2P service. I would not recommend it.
"Smoothed and refined" by the IETF?
You realize that this argument justifies anything even tangentially related to the drug war because they are just the side effect of the 'criminalization of victimless drug use' right?

This includes the thousands of people who are beheaded each year by the Mexican/Colombian cartels, which, if you look at it this way, can be blamed on the US government's 'criminalization of victimless drug use'. The US government's policy might be stupid - but the cartels are also evil, and we should do as much as possible to try to curb these kinds of atrocities.

Look the drug war is terrible, drugs should de-criminalized and treated like a health problem as they are in Europe. However, you can recognize this while recognizing that the people who traffic drugs tend to be engaged in some pretty reprehensible behavior, and money laundering is one of those things (along with human trafficking and gang violence.)
The independent contractor status screws them on all sorts of other things (e.g. health insurance), but I'm pretty sure auto insurance is the responsibility of the taxi company.
I think you took my comment the wrong way.
Bitcoin Mall is a central place to spend your Bitcoin
My friends and I built this during a hackathon and I'm looking for feedback on how to make it better.
I never have any problems starting something new. I have problems finishing what I start. When I start a new project I do the hard parts first for a proof of concept. Except now that I know it can be done I loose interest...
Hello there, Heroku error page
Do you want to work on it with me? I have an idea to make it work probably more accurate than the kimono bullshit. Add me on skype: Switch336 .
Docker runs on any linux. There is a few dependencies but the list is reducing very fast. You don't even need to have AUFS as you can use devicemapper or even regular copy if you have neither.

Yes, docker can easily access host's filesystem with volumes.

Yes you can access you GPU. I am using docker for mining.

Yes Docker plays nicely with GUI apps, there are plenty of GUI usecases with docker (docker desktop, firefox, etc..)

You can do anything you want within a python app and docker. There is a docker-py library that gives access to all docker features.

You can take a look at this: https://github.com/jpetazzo/stevedore in order to easily switch envs.
This objection implies there is something better than turning the planet into paperclips.
A person has no constitutional rights, he has natural ones. In other words, a piece of paper does not grant anyone any rights, not even the right to extort people (ie. to tax them).
You're making the precise mistake we're talking about: don't project from your experience of desktop Linux to Android. This equally applies for any Java platform too as the VM performance characteristics don't resemble any from the Sun/Oracle family.

The key thing is to understand what is involved to get an Android app to start up. This is terrifying when considering just the Dalvik case, but what most C++ types don't realise is that even if your app is using NativeActivity it means you are really subclassing this:
https://github.com/android/platform_frameworks_base/blob/mas...

This means in order to load the native lib you first have to load Dalvik, a whole load of classes relevant to the app, allocate the whole Dalvik heap for the app, and then you rely on the Dalvik code to initiate loading of the native lib. As a result this only becomes worth doing if the gains you're going to make exceed those losses, but I find it's quite common for people to ignore the downside, as a few comments here indicate.

Storage to RAM bandwidth on these things is not exactly stellar, so as a consequence loading takes a while. To make things worse if you want to deploy all supported native architectures you're multiplying the native code size by four, since you will want two ARM builds (v5 and v7), one MIPS, and an x86. As a consequence I'm unaware of anyone that habitually includes all of them, and just putting ARMv7 libs in is the norm.
On both sides. You should assume they have broader and deeper capabilities now.
I'm in high school and just started a front-end development internship. I got it by simy giving a specific piece of feedback through an HN post, and then I got contacted from there about my work. I'd suggest using mediums where your technical prowess is more obvious than your age or formal experience, such as HN. That way, the company, if interested, will initiate contact, find out about your skillset, and then after all of that if you mention your age, all the technical details will make them ignore it in favor of their impression of you before age came into the picture.
Wouldn't it be valuable for a public website to list these? Surely the people who want to take advantage of these vulnerabilities already have these lists and circulate them - why not allow people in general to see them and who has them, and allow them the choice to use the services or not?
http://9-eyes.com/
"no one in the Rails community has the slightest interest in yesterday"
I think this is pretty disrespectful. The deprecation warnings and online documentation didn't magically appear.
For example this section "upgrading to 3.2" from the official docs: http://guides.rubyonrails.org/3_2_release_notes.html#upgradi...

I'm personally very thankful for all of the hard work the community has done to help us upgrade.

If you have found pieces of the upgrading puzzle that are missing, then please consider contributing back. 2.3 > 3 is the hardest one. It gets a lot easier.
ThinkPad Carbon X1
PHPGit – A Git wrapper for PHP
> When the static type checking system has an inference engine there is a strong incentive not to document types on the part of programmers.

But then the compiler has the capacity to write/emit the type declarations.
Man, that's an extremely interesting and thorough exploration of the nitty-gritty of how programs work, and I found it totally satisfying to read. I've had many little questions I barely knew I had answered by reading this. Thanks very much for making it!
I would pay for a good twitter app which helps me actually read stuff. There's so much of noise on twitter that if there was a way to filter that out, it would really be nice.
Startups—get a room!
I think it's better that way than Java or Chrome version numbers.

Chrome will be into the triple digits soon.
Basically, they chunk thumbnails - client asks for the next 10 thumbnails in one request, server sends back 10 thumbnails in the response.
Kansas had a million people in it by the time the car was invented, the middle was not skipped.
Common Misconceptions About "Lean Startup"
Thanks for the comments. I suppose I could represent the state in the URL, though it might be an ugly URL if many countries are selected.

I did already try to minimize the UI as much as possible - I'll see what else I can do.
Come on, HN, you're better than this. The policy change is specifically limited to CASH withdrawals. Notice that nowhere does the BBC story even hint that HSBC limited withdrawals via wire transfer, personal check, or cashier's check (all of which are traceable, unlike cash).
TL;DR - most dynamic languages allow most things to change at any time. So with a large codebase, it's hard to know where a particular something is getting changed (or not). IOTW, it makes error traceability of the codebase more difficult.
Engineers don't talk
This is not unusual for products that existed before a formal support lifecycle was established. Microsoft often uses a 12/31/2001 date for such products.
> I would say that the most stable codebase would be…

Why guess, when you can look at real examples?

Look at standards like MISRA C, or projects like the computers on the STS or Mars rovers. Using a static type system and testing things is but a small part of the process typically used for high-reliability systems.
Braintree: Their careers page says "Why we love Chicago, the Bay Area and New York".

https://www.braintreepayments.com/careers

WooThemes: This is the most geographically non-traditional of the lot.

http://www.woothemes.com/about/

"started in 2008 as 3 WordPress enthusiasts who met online, from 3 different countries"

http://www.woothemes.com/careers/

"WooThemes is a distributed team spanning 7 countries"

BigCommerce: offices in Sydney and Austin:

http://www.bigcommerce.com/about-us/

Litmus: Offices in Boston and London

http://litmus.com/contact
The code is publicly available on GitHub (https://github.com/jendewalt/yumhacker) but I hadn't thought about opening up as an open source project. Definitely something I'll consider!
That might be one of the reasons that type information is optional in Erlang, and what makes it fairly expressive at the cost of some static analysis.
>Bitcoin isn't an "operation" that a government can 'shut down.' It may yet fail by some measure but not directly by government edict.

My belief is that bitcoin will slowly become less legally convenient, through actions like the story above.

The government can't just shut down bitcoin like they did e-gold, sure, but the government can put in legal barriers to transferring bitcoin. if it becomes defacto illegal to transfer bitcoin? Yes, they haven't "shut down" bitcoin, but for me, they've made it worth zero dollars.

>Easy peasy. Bitfinex features margin trading. Good luck. https://www.bitfinex.com/pages/howitworks

Yeah, that lets me short bitcoin. the difference between a short and a put is that with a put, I'm only risking what I've paid for the put, and the put expires after a certain period of time. Put options become more expensive the further out you want that expiration date (and more expensive as the security in question is perceived to be more volatile, so it's very likely that put options on bitcoins would be very expensive. But they don't have the unlimited liability of a short.)

The fact that I'd be willing to buy put options but I'm not willing to short bitcoin tells you that while I believe it is likely that bitcoin is going to fail, I'm not anywhere near certain.
With the caveat that the compiler can come up with A consistent inferred typing, but it may not be the exact type you had in mind, especially when dealing with numerics. This is very rarely a problem, but in some cases may result in less optimized code than might be possible with a stricter annotation.
Sell to the Laggards
I do this as well. Prototyping needs flexibility and unit tests slow down refactoring. If you are familiar with SOLID then your design will be not bad even without test-first approach.
Yes, but that means that no language can save you.
Guess why they chose 4.2...
Hi-tech cops of future
This is a classic example of when to use the Value type pattern. You are in fact arguing for stronger typing (String is too limited here).

If you language makes that problematic, it is the fault of the language implementation, not a problem with static typing.
nice work, although it would be nice to have an end to end example (what i, the user, do at each step, and what the hacker is doing) and what the final result of the hack will be. in particular, the practical meaning of these two sentences:

> Now to all OAuth flows Facebook will respond with Attacker's profile information and Attacker's uid.

> as long as attacker can replace your identity on Facebook with his identity and connect their Facebook account to victim's account on the website just loading CLIENT/fb/connect URL.

was not clear to me.
I strongly agree that human trafficking and gang violence are not only reprehensible, but truly sickening.

However, I strongly disagree with you that money laundering belongs in that group. I mean, if we're going to arbitrarily criminalize an activity that cartels and gangs engage in, why not criminalize their mobile phone usage? It's actively used in their criminal endeavors.

And yes, I agree with you that most of these horrible groups and events are a side effect of the war on drug. Without all the power that drug money brings them (which results from the fact that drugs are illegal), they would just be local bullies and psychopaths -- the kind that local police forces can deal with. But because of money that results from the war on drugs, these groups have accumulated trans-national power to the extent that the build their own submarines.

Study the history of the prohibition and the mafia power that grew from prohibition..
I played a game like that once and happened to land right next to a sign that said it was the border between 2 states.
Yes, similar. My service works today on Android and doesn't crash every time I launch the app on iOS, but yes otherwise similar.
HSBC just had to pay a 2b fine for money laundering, I guess the US gov doesn't accept BTC yet...
The design quickly fails when lights are not segmented out by location, but by type. For example, if you have accent lighting that goes around the top of the room, and then pathway lighting on the bottom, where does it show up on a 2D floorplan?
"The further I got through grad school, the more I said "unbounded" rather than "infinite"."

I think there's a huge difference between simply saying "unbounded" compared to going through that detailed explanation you just gave. In the latter case, it's very clear what the difference is. But without the explanation I'd guess that people will think something like this:

unbounded -> without bound -> infinite

In other words, without the explanation "unbounded" becomes a synonym for "infinite".
Agreed -- thumbnails are next to useless, distracting to look at + "thin out" the result set (by forcing vertical spacing), and presumably slow things down quite considerably, all around.

Please restore to something reflecting the aesthetics of the HN front page -- and the essence of beauty and simplicity it embodies.
This arrest is much more about Charlie Shrem than Bitcoin itself. While no one had any idea that this specific activity was happening, Charlie and Bitinstant were incredibly reckless and cash hungry for quite a while. About a year ago BitInstant became more Ponzi scheme than Bitcoin brokerage - see the last few hundred pages of complaints here:

https://bitcointalk.org/index.php?topic=128314.7380 .

There is also a pending lawsuit against Bitinstant itself awaiting class action certification, essentially alleging the cherry picking of transactions in order to maximize profits and eliminate market risk for them.

http://www.scribd.com/doc/160406193/Bitinstant-Class-Action-...

This case sheds new light on the reasons that they were unable/unwilling to deliver Bitcoins that they took money for. Charlie may have privately sold all of the Bitcoins in Bitinstant's possession at various times to this individual rather than deliver orders to normal customers in a timely manner. It would also be interesting to know whether the Winlklevoss twins - investors in Bitinstant and major Bitcoin holders - ever loaned Bitcoins to Bitinstant that ultimately wound up in the drug dealer's hands.