skysight-inc/HackerNews huggingface dataset:
The last paper I remember trying to crack was Damas & Milner, on type systems, since I was working on a problem which appeared to be analogous to type inference. I asked a friend for help, and he very kindly translated it for me - he's actually written a long series of blog posts now, based on those emails:

https://ericlippert.com/2016/11/30/4498/

As with virtually every other CS paper using math notation, I found the Damas & Milner paper utterly incomprehensible at first, but once I'd seen the formulas translated into a notation I can actually read, I was able to go back and learn something useful from it.

Unfortunately, it appears to be the case that there really is no one such thing as "math notation", not in the sense that there is one programming notation called "Python" and another called "Haskell" and yet another called "C++", such that one can go read a tutorial for some specific language and thereby come to understand how its notation works. Instead, it appears that "math notation" is a huge collection of little micro-notations, all mixed up together in a more or less ad-hoc fashion by the author of each paper.
Instacart (or some other middleman). Prices will go up as India develops. The same is happening in Chinatown; the children of these shopkeepers are not as willing to stand in line at the warehouse at 3am, nor many of the myriad other unsavory chores to which their parents were accustomed.
The relationship between wedding expenses and marriage duration (2015)
Ask HN: Equity crowdfunding with crypto currency?
Has ynybody experience in equity crowdfunding with crypto currency
https://images.apple.com/v/macbook-pro/l/images/overview/thu...

It becomes a lot easier to see it when you look at this.

I think this (the Mac) is Photoshopped 'deceptively'. Look at how the top of the shell and the base don't have concrete edges but are faded into white, too.

https://www.apple.com/macbook-pro/ - look at most of the photography, not shot side on, so it looks like just the vertical edge of the MBP is the entirety of it's "depth", which is not accurate.
It has been 125 years since this started and I dont see it stopping in the near future. And why do you think "their kids (or grandkids) will continue the same profession as their parents ?
Are you sure random people are going to recognize "3/4" notation? It could be different for "3 ÷ 4", but I think "3/4" is not widely used outside of programming?
They could probably drop the price, but they want OEMs to build their own versions of the machine. If you drop your price too low OEMs will be squeezed out of the market.

That's the big problem Microsoft has with their hardware that Apple doesn't.
A lot of Asian supermarkets have great fish at low prices. I'd like to think its because of informal network of small independent local producers but I suspect its illegally caught by sketchy fishing fleets. Can anyone put my mind at ease?
We rotate daily, except weekends, which has a single person. Works well for us.
Yes and no. Deis Workflow is like an open-source Heroku (even uses Heroku buildpacks.) OpenShift has its own build stacks and does not share as much in common with Heroku and Workflow.

From a naïve user experience perspective, OpenShift is probably a bit more like Heroku. Workflow does not (yet) have service brokers or add-ons that provide sidecars like a MySQL database or a Redis server. OpenShift provides those things in a manner more similar to Heroku's add-ons.

OpenShift also provides users with a point-and-click interface, but Deis Workflow expects you to use a command-line interface or bring your own dashboard (deisdash is a thing).

Deis Workflow depends on Kubernetes, and OpenShift =~(subsumes/supplants) Kubernetes in a marginally incompatible way, but to my knowledge Heroku has no relationship at all with Kubernetes. At least if it does, it's very opaque about it. (I couldn't tell you either way because it is opaque.)
"satellite" is not a description of the payload.
And yet, no one is ever allowed to say anything like this around here: Google is awesome, Googlers are geniuses, Chrome is an absolute marvel of technological wonder. Mozilla, not so much. Seriously.
The Nuclear Security Administration Lost a Film: 'Skull Melting Demonstration'
If all of this has to be done for taking photos of wild animals, how does BBC's Planet Earth do it? The footage they get is incredible.
A _lot_ of shorteners die, with millions of links dying every day [0]. This method would be reproducible, so they'd never die.

[0] http://archiveteam.org/index.php?title=URLTeam#Dead_or_Broke...
> I'm wondering if there's an opportunity for a tech startup to replicate this network more generally.

The goal is not to compete with Chinatown grocers, but to move their model to other markets.
He obviously is intelligent if he has made it this far, but taking everything he says, I can't regard him as more than an idiot.

He says contradictory things. He says he supports an idea but doesn't support the act of enforcing it. His apparent ideology is in direct conflict with his actions. He either fundamentally misunderstands the situation, is majorly corrupt, or is simply malicious (which I doubt).
In most such threads the common theme is insecure and micro managing bosses. I have no idea how to deal with them.

This is a depressing thread for any Indian developer.
Probably not until you start installing non-store applications, at which case they can no longer make as strong of guarantees.
> Nowadays, my primary criteria for joining a team is the quality of the people and of the manager.

That's mine too, but nowadays teams and especially managers last about 6 months in one place. What is one supposed to do?
Well, half criticized, half lauded. There are many people around HN and elsewhere that will say that it is an entirely sound and justified decision, "and besides, if you use it every day for three years that's not even a dollar a day, why shouldn't they charge a premium?", etc.
Golang doesn't support generic prescriptions?
I had considered similarly but basically all of the masters modules are compulsory and not interesting to me. Fractal geometry anyone ?
He wasn't the CEO - Ben Golub was (since 2013).
I support a lot of data scientists using SQL and map-reduce technologies. The ones using SQL are about 10x more productive. The ones on map-reduce are building tools to figure out why their metrics are bad, because it takes too long to re-run them.
No need to care about it if the ads simply bypass adblockers by being served the same way as regular content. Faster-loading pages will make everyone happier anyway. This is something I'm particularly interested in building.
Microfractures =/= global strength loss. Additionally, the concrete itself tends to strengthen over time. I guess I just don't understand what failure mode you are worried about.

There are thousands of slender concrete structures that have been in service (thus far) without issue.
Both great!

Patreon however no flat-rate and not much in use for articles and flattr not widely supported and recently aquired by a dubious company...

For flattr I never understood why you can't hit the button multiple times to give double or trippe to a single author.
A lot of that comes down to the quality and composition of the community you're looking at. The site admins have a lot of switch and levers to adjust the look and feel of a default vBulletin or phpBB install, and most communities' forums tend to end up having a similar aesthetic to the cars owned by the user base; anywhere from super bling'd out to subdued professionalism. The informational content seems to follow similar lines: some forums are populated by people who need hand holding through every step of an oil change, and others have more seasoned shade tree mechanics that just need some tips on how to do something without access to the factory tools.
Where I get frustrated with ops is when they forget that they're in the service business. They're there to serve application developers in the same way that the application developers are there to serve customers.

In my view, you've got that completely backwards. Both departments serve customers in a roundabout way. Dev is responsible for turning user stories (generated either by other devs, focus groups, and so forth - which may, but doesn't necessarily involve an actual paying customer) into code, ops is responsible for keeping that code running.

If dev screws up, user gets bugs, or the app goes down. Same for ops - it's just the class of bugs are different.

Application developers are telling you they want the kind of functionality that Docker offers. That makes it your job to figure out how that happens, not if it happens.

As long as me and my ops team are the primary people with skin in the game (read: getting 3AM wakeup calls), me and my team will maintain a say in what tech stack we're responsible for the care and feeding of. The dark days of dev throwing code over the wall to ops is long gone - I am gobsmacked that you'd suggest that this is for some reason improper.

What dev often forgets, and the cause of much strife, is this justification. If you want a team of n people to learn this new thing and its new ways of operating, then you need to do an honest, dispassionate cost/value analysis. And show your work, dammit. When this never happens, it conveys an "Oh great, Dev is on one of their 'Ooh, shiny!' kicks again" mentality to the rest of the team, especially those that aren't politically connected enough in the org to know any different. I know it's because you're busy and have insane deadlines to meet. Meanwhile, the phones ring at 3am, and the message is lost.

The result is a strained and adversarial relationship, often to the customer's detriment.
zactly.
Well, the only thing that you need is to execute the tests on the three of the providers, and compare them yourself if you want. Those are the keys of the project so far, reproducibility, independency and transparency.

I'm inclined to expand the review, but only if I find a way to get free credits from providers or another way to finance the tests. But right now, the best thing I can offer you is the same tools that I used here in the repository itself.
http://www.cisco.com/c/dam/en/us/products/collateral/wireles...

it is real.
How? Functions are first class in lisp.
The number of bad libraries doesn't affect the number of good libraries, so that is still an important distinction. Also, if an average quality library is good enough that I don't need to spend a few weeks doing it myself, that's still a bonus.
They use giant movable chillers and lots of food.
Same here. I am unfit for pure managerial role. I need engineering. If there is people skills require to the Engineering end, I'll do it. But not full time.
See also cheap bulk spices at Indian markets. They are a goldmine for stuff that can be costly elsewhere, even if you are not interested in Indian cuisine.

My theory is that, in addition to having the right connections for cheap import, their customer base probably demands a certain price point for bulk spices.
MIT’s wireless walking speed measurement is way more accurate than a Fitbit
"More than any single person, Tim Berners-Lee is responsible for inventing the internet." Learn something every day.
Ha! I figured out the reason even before I read the whole article... always a gratifying feeling.
That said, there are tons of food hacks if you want to save 30-40% and have a strong stomach. Buy your cashews, cumin seeds, turmeric, groundnuts, papayas, guavas from the nearby Indian store - there's tons of them in CA. Most of these are sourced from Fiji, Philippines, India etc, whereas Safeway would source cumin from Oregon and charge $5 per ounce. You can literally get a whole pound of cumin for that price - but no, you don't get the "organic certification", or the bar code or the USDA assurance sticker or anything that lets you know where the cumin came from in case you get some food poisoning and want to lodge a complaint. The Indian store lady dips into a giant cumin bottle and pours out a pound of cumin and takes $5 cash and no sales tax ofcourse wink wink. So yeah, depends on your ethics and cash situation. Say you want a little pep in your walk and like some extra endurance - used to be ephedra was legal and you could pop into your Chevron foodmart and buy a pill. Now it's no longer legal, so you go to the Chinese store and get the strongest ephedra tea - free market ftw. Ofcourse if you brew something strong and land up in the hospital, the medic can't really help you since who knows where that tea came from and what else is in it. Literally no American supermarket can compete with an Indian store when it comes to say cashews. Your Target gives you two pounds of cashews for $15. The Indian store gives you two kgs... that's 4.4 pounds! Ofcourse it won't come in a nice airtight jar with feel-good marketing on why you must eat your servings of USDA nuts for optimum health - instead, it's going to be wrapped up in a cone made of newspaper.

If you have a "tropical palate" and a strong stomach, you should definitely try some of these shady joints. It's a trip.
I feel comfortable speaking anecdotally but I don't feel comfortable formally doing the math here for reasons that I prefer not to disclose. I appreciate your desire for more details on my claim but I cannot provide it.

$250K is accurate assuming zero/normal stock appreciation. Assume half that is in equity compensation with a 38% (for FB) growth rate on a 4 year schedule and determine what the figures get to.
> Sustainability is not only about ecology

YUP

any concept of 'sustainability' that ignores politics and human complexity is silly
Looks like the devkit should fit mITX cases
Yes, well it makes sense that Valve are not going to pay Microsoft 30% of every Steam sale via Steam installs from the Windows store as it'd mean Valve would get 0% of that sale themselves, and they're the ones who built the store and infrastructure up over a many years. Microsoft are just coming in at the last moment and hosting a very small Steam installer binary!
My puppy grew at a great rate in the first year of her life but her growth has since slowed and now she hardly seems to grow at all. I blame excess regulation!

There were three basic reasons for the super-fast growth of internet in the 90s, which I remember quite well as I was making a good living selling computers and networking services.

1. It got way easier to use. When I first got onto the internet it was (almost) all text-based and unix-like, and conceptually difficult for many people to get to grips with, until someone invented a thing called a 'web browser' that regular people could figure out more easily.

2. No taxes on internet business, which had nothing to do with net neutrality but led to a stampede of people looking to make a quick buck and keep more of it than they would in other lines of business.

3. there was huge market potential because lots of people in developed countries had enough disposable income to own a computer, and modems were relatively affordable. Lots of people were doing peer-to-peer networking or running bulletin boards. If you wanted to start an internet company int eh 1990s all you needed was enough capital to rent a T1 line and a buy a or lease some network switching equipment (which was also becoming suddenly affordable with the growth of ethernet), and people would use your service because there weren't that many services out there.

I wrote a book for consumers on how to use the exciting new world of the internet back in 1995. Sadly it's long out of print but you can buy my copy for a mere $1000 and educate yourself on what things were actually like >20 years ago instead of your ideological imaginings.
I met people in London who also pay people to grocery shop for them. For most staples I'm pretty sure this could probably be cheaper then having a grocery store in SF, they could have a warehouse in Fremont.
For companies that are growing rapidly, it's a pretty common recruiting tool. You may notice that a lot of speakers begin and/or end their talk with, "I work on X at Y Company, and we're hiring!"

I've done contract work for companies at both extremes; there are many companies that consider speaking or participation in conferences as a part of the job, and there are those that don't even discuss it and would never consider sending employees to conferences.
Different topic, but on the legal side of the law you'll find that most exclusive franchise agreements by an ISP contain something to the effect of "we will pay the city/county $A, give them an ongoing amount of $B/yr (and are not allowed to break that out as a line item), and perform C, D, and E at no cost."

All these agreements are public. Go down to your local city hall or courthouse and ask for a copy of the franchise agreement.

Point being, part of the evil is Comcast. The other part is your elected local politicians...
Not even raw fruit?
> How much money does Google make off of your info?

Alphabet's net income in 2016 was $19.5 billion, as much as Comcast and Verizon put together. Alphabet's return on invested capital and operating margins were significantly higher than either. There are various reasons to regulate ISPs, but "they make too much money" isn't a particularly good one: http://www.mckinsey.com/business-functions/strategy-and-corp... (telecom ROIC is among the lowest of any industry).

> If there was proper competition, would we be spending such ridiculously high fees on the internet access we get?

Is Google in a market with "proper competition?"
Except for the fact that you can be at the top of all search results by purchasing an ad. (SOURCE: Opened yelp in browser on mobile amd searched for coffee in SF)

Yelp is also terrible for owners who purchase a business and are strong armed into doing business with yelp on order to remove all the previous bad ratings, description, contact info, etc. (Source: bought 1 bar in LA and 2 in LV)
All this is true, but while we() used to shop regularly in Chinatown markets (back when we lived close to a Chinatown, anyway), we would not eat anything raw except for fruits. Any vegetables or meat to be eaten raw or undercooked, we would buy from an "American" market.

() Chinese-American family.
Wild life photography done right requires that they not really be noticed by the animal. You would be amazed how hard it is to get close to a wild animal and no Yellowstone isn't really "wild".
> Chinese don't eat raw foods at all

Hmm. They always cook their rambutan? That's sad.

That said, Thailand has similar market sanitation norms (I almost said "standards", but that gives the wrong impression). They do still have a culture of various raw foods (lahb, nahmtok), and yes, you should probably ask for them "sook" (cooked).
You're not average. Get out of your bubble.

We had laptops at my high school 10 years ago, some of us learned how they worked inside and out, most did not.

When the curriculum depends on having a functional laptop, teachers wont want to wait around for kids to figure out how to fix their laptops. 90+% will go go the tech. Little Johnny who's already struggling with math class will not be helped by having a non-functional laptop. Not everyone needs to know how computers work.

EDIT: Probably you are like me and many people on here who found the HS curriculum easy and boring and stimulated yourself by hacking around with computers instead. This is not everyone's experience of HS, some kids legitimately struggle.
Well Windows 10 S can be compared to Chrome OS, obviously they both are less battery hungry, upgrading to a "full" Windows 10 version could impact battery life since the HW and the OS have been built as a black box product. (But we'll know for sure once it's officially released).
A simple indication of the article's topic up front is is all I want. The title may hint it has something to do with "cheese", but when I can't figure out the topic is "a dairy strike over wages in Wisconsin is causing a cheese shortage" (completely made up example) until paragraph 20 I get annoyed.

The promise of modern long form journalism was deeper, more detailed reporting on complex subjects. Instead it's typically the same depth of reporting with a whole pile of details about the reporter's life and how the researched the story.

I know people like that style or it wouldn't be as common, but when I hear "long form" I want to leave far more informed than the typical newspaper article. Unfortunately there doesn't seem to be much of that style out there.
We're at best demi-gods. Little squabbling toddlers that can't properly clean up their own messes.

However yeah, we either have to get good "at it" or die off to let something else take our place (eventually).
Mine is a few years old but they're still around.. Amazon or Best Buy for online, and I'm willing to bet you could find one at a Walgreens, Rite-Aid or CVS or some kind of pharmacy type convenience store.

The one I have even has an AUX feature to hook up an external source for audio and a few other interesting features (dual alarms, etc)
> He says he supports an idea but doesn't support the act of enforcing it.

I support the idea of being faithful in your marriage, but I'm 100% opposed to the federal government enforcing this. How is that contradictory?
Indeed, the linked article doesn't say anything about lack of sanitation, and almost implies the opposite.

»Imbruce, who's researched the Chinatown produce economy for over a decade, is the author of From Farm to Canal Street: Chinatown’s Alternative Food Network in the Global Marketplace. In the Journal she distills to Kadet the real reason Chinatown can keep prices low: “Chinatown’s 80-plus produce markets are cheap because they are connected to a web of small farms and wholesalers that operate independently of the network supplying most mainstream supermarkets.” While most of the rest of New York's markets get their produce from the Hunts Point Market in the Bronx, Chinatown sellers work directly with small neighborhood warehouses. Since they're operating in close geographic proximity, they can get fresh produce throughout the day from wholesalers, and therefore don’t need a store with refrigeration or a lot of storage space.«
> the only reason they exist is to get my to buy something I don't want.

Doesn't need to be. Ads can also be used to tell you that something you may want exists, and how to get it.

And that's still simplistic. I do agree that ads are dangerous things, but they have many uses, some good.
As a fish loving Indian, I was totally surprised to see that in Capitalist America the choice of fish was absolutely pathetic. At American fish places you only get "shrimps" may be "large shrimps" and "small shrimps". Salmon, Bass, Red Snapper and just few handful of usual fish. My small village fish market offers at least 20 varieties of fish in India's coastal region. A proper fish market would offer at least 100.

Then I entered 99Ranch and since then my respect of my eastern neighbours has gone up significantly. Not only they had Tiger prawns and King Mackerel, they actually understood the difference between Pampino and Pomphret.
That's because government regulations create artificial entry barriers that preclude a free and open market. It's foolhardy to believe that adding more regulations will solve anything.
I tried Haskell for 5 years and here’s how it was
What Emoji Say About Music
"You can upgrade to Windows Pro for free through December 31, 2017."
NVIDIA have Linux 32-bit ARM drivers available on their download page, right next to the x86 versions.
Full List of Stripe Analytics Software: 40+ Business Apps
Economics of trust at an IKEA food court
Show HN: NewBusinessMonitor – Geocoded and Categorised UK Company Data
Excellent metaphor.
Any lasting solution would be negotiated by Congress.
If you're willing to comprimise on price, the new ThinkPad X1 Carbon is a fantastic Linux business laptop.
And... It's one of those sites that are blank when you block 3rd party Javascript. Go figure.