skysight-inc/HackerNews huggingface dataset:
EDIT: I've been chewing over the following:

> This means that we can trivially translate a dynamically typed program into a statically typed program, though obviously we don't gain anything by that at this point (this is essentially an argument that Bob Harper has advanced before) and we pay for it in additional verbosity.

This is exactly the opposite of the argument I advance below; you're claiming that there is a "local" translation from dynamic to static. And on reflection, you might be right, but I'm not entirely sure. It hinges on exactly what counts as "local". Translating away exceptions, for example, requires inserting case-analyses which propagate an exception if one has been thrown literally everywhere in your program. It's "global" in the sense that it touches every node in the program; it's "local" in the sense that the transformations performed don't involve any global knowledge or analysis. I'm rereading Felleisen's paper now to see how precisely he defines things.

ORIGINAL:

> I had Matthias Felleisen's characterization of expressiveness [1] in mind (incidentally, he's also one of Racket's authors).

Great! I believe, by that definition, your assertion that "good" typesystems don't reduce expressiveness is false, at least for common type systems such as Haskell's, Java's, ML's, etc. There are plenty of programs which require non-local rewriting ("a global reorganization of the entire program") in order to appease the typechecker.

A simple example can be adapted from the expression problem: suppose I'm writing an compiler for a simple language, so I have an AST datatype and some functions on it. Then I add a pass to my compiler that removes a certain feature from the language I'm implementing - a certain branch of the AST. Now I wish to simplify my backend by removing the case which handles this branch of the AST. I cannot do that without either dynamically failing in that case (which a type system might even prevent me from doing) or introducing an entirely new AST type which does not have that branch - but this could require duplicating or else considerably generalizing existing code that operates on the AST (a global reorganization). Of course, a sufficiently powerful typesystem might let me do that, but for any typesystem you name, I suspect a similar example can be procured.

To get more precise, the "feature" we're considering adding is "ignoring the typechecker and running anyway". For example, GHC's -fdefer-type-errors. The question is "can any legitimate program written with -fdefer-type-errors be locally translated into an equivalent program that typechecks without -fdefer-type-errors". Without reaching for an explicit escape hatch like unsafeCoerce (which is analogous to "unsafe" blocks in Rust), I think the answer is no.
.NET Core on Linux runs on guess what... Rotor.
Rotor has been relicensed to MIT
You mean like when Hillary Clinton repeatedly invoked the existence of a "vast right-wing conspiracy" against her and Bill back in the 90's? Yes, that was comical.

Anyway, pizzagate is a well known hoax. Does that somehow cancel out all the other conspiracies that surround the Clintons? Logically it does not but most people are only thinking at a 3rd grade level so it's a great distraction.

Where there's smoke, there's fire and there's plenty of evidence to support the Clintons selling nuclear secrets to China, smuggling drugs with the CIA at Mena Airport and of course the infamous "body count".
Is there anything that does the opposite of this? A lot of our current tests run in a browser window, and generally I leave it in the background as I don't want to stare at my tests running. However, when they are backgrounded they slow down and sometimes fail due to timeouts. I haven't actually tried, but does opening a new window get around this even if it does not have focus?
Interesting link in that Wikipedia article [1] to Apple's LEDBAT implementation used for downloading updates.

[1] https://opensource.apple.com/source/xnu/xnu-1699.32.7/bsd/ne...
The Playstation TV from Sony had that feature as well: http://kotaku.com/5809230/the-playstation-tv-a-cheap-3dtv-fo...
Tabs are a todo list. I've currently got two pinned tabs open, JIRA and bitbucket tabs that act as placeholders, one unfinished email, one spotify playlist for work, one podcast, and 6 articles to read. And that's only because I recently restarted Chrome. I can easily have 20+ tabs open if Chrome has been running for a week or two.
Yes. The retina is not so much a part of the eye as an extension of the brain into the eye.
> Economies of scale. Autonomous cars will likely be of a different design than manual ones so the price of a manual-drive will likely increase- where will the increased money to buy them come from?

The people who continue to buy manually driven cars, I presume.

> Insurance costs. Drivers in less-dense cities are currently safer than the national average: what does the risk and cost for a safer driver become now that the bad urban driver benchmark disappears?

They will be benchmarked against more dangerous suburban drivers (e.g. Marylanders) instead.
Amazon Offers to Settle EU Probe Over E-Books Contracts
Url changed from http://arstechnica.com/science/2017/01/disgraced-shkreli-lau..., which points to this.
Microsoft and Ecobank Partner to Drive Digital Transformation in Afrika
.NET Core on Linux and macOS runs on Rotor, as does ChakraCore.
I wish Java had done more backwards comparability breakage. I wonder if we'd see the same issues if Java eliminated null in exchange for a Option/Maybe style monad and if generic types were saved instead of erased at compile time.
Check out the books from https://minireference.com/, I'm currently going through them.
All good points. Initially i wanted to make more than what it is now, there is absolutely no code that would require that functionality i assume its just the default settings from omniauth.

I change the app name, and also sorry for the late answer.
> if my ancestors worked hard to provide for their families and I, down the line, inherit some land or money I should feel bad about this? Why?

You don't have to feel BAD about it; just recognize it. People inherit vastly different conditions by sheer accident of birth.
You'd probably enjoy the author's book Being a Beast[1], then:

[1] https://www.amazon.com/Being-Beast-Charles-Foster-ebook/dp/B...
It depends on the industry. Land is cheaper in the suburbs, so companies with little reason to be in the center are likely to be located further out.
Trump takes action to move forward with Keystone, Dakota Access pipelines
> It returns a ClassCastException because underneath it all, in the Java bytecode the Java compiler stores generics as casts.

Right - the article already says that doesn't it?

> If they had baked generics in at the beginning of Java then it wouldn't have compiled

Why wouldn't it have compiled if the JVM had generics? It's an error in the design of the type system of the language isn't it? The type system is the same if we have reified generics or erased generics isn't it? And that's where the failure is - not at the JVM level.
Why is it misleading? Why if we had something safe and stable because of its age and refinement is that an excuse to stuff something less mature in its place?

Personally I like unit files rather than bespoke Bash scripts, I like dependency-driven parallel startup, and I like getting a daemon watchdog for free. That's about where I'd have ended the feature requests, though. I'd also like it to be roughly as secure as what it's replacing.
(Please don't use rust-gc, it's more of a proof of concept. I mean, it works, and some folks do use it, but Rc + Weak are probably better options)
I do not know Rust, but I know C and some Haskell and AFAIK one should building a program in Rust differently than in C/C++ (which is probably the authors background).

Get out a quick correct (and this can not be emphasized enough) version (obviously one has to learn the language here) and then optimize (when you have numbers). The author did not seem to get a working version with Rust (sorry, if I am wrong on this), and tried an approach that he knows would work for C/C++. But maybe another approach would have been already performant enough?
And property taxes are hugely distorted by Prop 13 in California.
Pinning a tab should disable throttling. Gives user straightforward control over which tabs are important.
For people who transferred from dev to pm, was the salary comparable in the beginning? Did you have to take huge hit in order to break into another industry with no formal experience in managing product?
great plan except that it hasn't failed and hijinks like this are making it look like it is.
Novartis:. Creates a huge "nonprofit" foundation in San Diego, claims tax deduction for research and transfers IP to self... Until the IRS intervenes. At some point the professor running the place gets embroiled in two mini-scandals about possibly fraudulent science perpetrated by postdocs in the lab and is asked to leave so he can focus on more closely monitoring his employees. They did some pretty cool structural biology, though.
This is my understanding of the situation as well. If this action wasn't taken the land could potentially never see use. I think Zuck is a scumbag, but this is as much a broken legal system's fault as his.
Rare Passports
How to sell continuous delivery to the business
Electricity now flows across continents, courtesy of direct current
Sorry, HN isn't great at keeping track who's who on a comment tree.
I would say the most offensive/dishonest aspect of this loaded statement is basically the implied isolation of "you guys go over there, leave the world to us" -- as if only the capitalists can claim the inherited knowledge of humanity (fenced off with copyright laws etc). As if only the capitalists, who have taken so many (all) natural resources, have a right to the land we are born on and we must slave to pay for small parcel of land just to exist. How exactly is that "opting out" of capitalism again?

It's more akin to playing socialism than actually living in it.
This a very terse proof. It is stated "The same method can also be used to prove that e cannot be a root of a second degree equation with rational coeﬃcients", but if I recall correctly, the generalization for the irrationality of $e^2$ isn't entirely straightforward, mainly due to the presence of powers of 2 in the terms of the expansion.
Ticket prices generally increase over time. It's quite possible that 2D prices would.have increased faster without 3D, but obviously impossible to verify.
The Robert Morris Internet Worm
And even saying "bugs in general" is technically inaccurate!

https://en.wikipedia.org/wiki/Hemiptera
Did an estimate a couple of years ago that the brains estimated information processinh and the cost of 'erasing' the same amount of information under the assumption that all processed information is lost, it seemed to imply that the cost of forgetting is somewhere in the range 1/1000 of the amount of energy the actual information processing is thought to consume ( approx 8W )

It seems crazy that it can be that close given the miniscule energy information carries, to me those ~8mW is completely mind boggling big.

The most reasonable explanation is that my calculation was wrong, but at the time it did not appear to be the case, although it probablys is anyway :)
Thanks for the info. There are, however, a lot of first-person games where the player controls some sort of vehicle, where all of this is basically solved by default. That's still enough for a lot of content.
It looks like they install (sell?) racks of computers as household "heaters". Scroll down to the "Win, win, win!" section on their homepage with a video.

This is a cute idea but I am skeptical that it makes sense from either an economic or environmental perspective. There are far more efficient ways to produce heat than electric heaters that run 24/7, and likewise cooling in data centers can be extremely efficient by making use of water, e.g., see
https://www.google.com/about/datacenters/efficiency/internal...

Also, maintaining servers in people's homes must be quite expensive and there is limited capacity. It's hard to see that scaling.

advanderveer -- do you have some sort of white-paper that compares the alternatives?

Disclaimer: I work for Google, but not on Google Cloud.
How to organize your business to save time for customer insights
'Global epidemic of blindness' on the horizon (Warning about bright screen use)
I reject your premise, but just to play along for a minute...

https://chanzuckerberg.com/
Check out the annotations on the side of the document for more details -- you can extend the proof to e^2 easily with c = 0.
Interesting to imagine this difference as a species which has evolved distinct specialized circulatory systems for cooling and for oxygenating tissues.
Is this on by default?
But how do you decide who gets a vote? Presumably there is some kind of rules based around locality, but then people are where they are due to the current land ownership rules!
Zuck is just trying to straighten out who owns the land and who should be compensated. The article throws around the word 'lawsuit' with the intent of invoking its negative connotations with the reader. There is a good discussion to be had about Hawaiian land ownership but Zuck is not the (only) villain here.
The drug in question treats a rare degenerative disease of the brain. Precisely the sort of uncompetitive market with inelastic demand that is ripe for exploitation by rent-seeking.
JavaScript Debugging Tips Part II – Google Chrome and the Console Tab
Star Trek Honoring DeForest Kelley on His 97th Birthday
Best mobility and IoT conferences to attend in 2017
The rules were probably designed by and for a group of people with a specific culture and worldview, who didn't plan or design for wealthy entrants (even pre-Zuckerberg).
Firefox 51.0
The brain has a fixed amount of energy it can use per second, and it takes a fixed amount of energy to erase one bit of information (which you can think of as performing a computation). This means that there are a limited number of computations that the brain can do in one second.

(I'll add that there's no need to make this argument from thermodynamic principles. Your brain has a finite number of neurons, and each neuron can only fire a few times a second, so that limits the number of computations that your brain can do per second as well. And that limit is a lot tighter than the thermodynamic limit.)
What are the best alternatives to Parse.com?
Just white-list those sites.
Your landing page is lacking metadata, probably worth adding to attract clicks when sharing on slack/friends.
The way you architected it is uncommon, though. For example, with GMail, that you mentioned as achieving a similar effect, server communication is involved.
I use the GS and love it however I'm not sure it returns even most of the ram. Maybe 50pc. Certainly Javascript CPU usage is reduced however chrome seems to slow down based on how many tabs you have open regardless of what they have in them.
Sorry for the late answer, no we dont do that. Its really just that. You can tweet but without all the bullshit twitter forces on you to use their API today
So what is the point? I have "privilege", now what?
But it's just an example, is the point. We don't have big carjacking rings, but we have plenty of extreme weather, old roads (even dirt roads depending on where you are), and other extreme circumstances that maybe don't matter to somebody who never wants to leave a forty-mile radius of Mountain View.

Even in an idyll you could imagine some novel circumstance created by, say, downed power lines.
An automated pizza company models how robot workers can create jobs for humans
> "fell in love with the community " ... and decided to "plant roots and join the community ourselves".

By suing the locals and hiding behind a walled, 700 acre estate. Sounds very neighborly.
Manhattan maybe... East New York, not so much.
The point you are making about per-socket evaluation here is what I was trying to get at with the "network-involved transaction" reference in GP.
Reversing C++ Virtual Functions: Part 2
Actually, there are "junior product" positions at many large tech companies. They're called "APM programs" (the A is for associate) and tend to hire new graduates with engineering backgrounds. Hires are rotated through multiple projects and usually given a lot of mentorship. I believe the first such program was created by Marissa Mayer at Google, and other companies later emulated it in an attempt to recapture its success. The current programs I know of are:

Google | Facebook | Uber | Yahoo | Twitter | Yelp | LinkedIn | IBM

There may be others that I haven't heard of, so feel free to respond with more. Google and Facebook are the big two; the others only accept single-digit candidates per year. Many of these programs are extremely new. (In fact, Twitter's is so new that it has no graduates yet, as far as I know).

Source: I'm a college senior with an engineering degree. I have applied to many of these positions.
people that rich live by a different standard. we can expect more from them than from a middle class home buyer.

Z has a lot of options. buying "700 acres of rural beachfront land" to create a "secluded family sanctuary" and "enhance the seclusion" is only one of them.

imagine if, instead, Z wanted to win a local popularity contest: he could create a permanent arrangement where he gives the state of Hawaii 699 of those acres for use by the local families that used to own it, or the general public -- keeping, say, one acre for his own family's use. it's an option.

there are other less extreme options, too, options that would also generate positive, as opposed to negative, attention in the press.

of course, none of this is required by law, but we should keep in mind that Z has many possible choices which the rest of us lack.

given the limited quantities of land -- especially beach front land -- in Hawaii and the long-term traditions (and poverty) of the local, long term inhabitants, it's understandable that people in Hawaii would scrutinize his choices and expect something less selfish.

even if he manages to gain full, legal title to the land, what can we expect the attitude of local people to be when they have even less access to that land than they did in the past?
There's always going to be a market for results. Better results, better recommendations, predictions and relevancy. These are the battle lines. Advance these and you're on the team, at least my team. Nothing beats side-by-side comparisons despite the reputations industry or academia would like to safeguard.
Well, sure, but supply of what and demand of what? Housing? Like I said, that's only about 20% of the average American's spending. But why does demand outpace supply so much in cities? Is it that building apartments and condos is so much more expensive than building suburban homes? And if so, by how much (seeing as it's only 20% of the total)
Some Computer Conversation Is Changing Human Contact (1990)
I think finishing projects is a learnable skill, not a fixed personality trait. It can be learned in quite a short time by repeatedly doing one-day projects and making them as finished as you can.
Not just big money but also dark money. We don't even know half of the organizations and individuals that our representatives are beholden to.

But feel free to state your case for why outsized spending on political influence is a good and/or neutral thing for society.
What I learned making small changes in 2016 and my plans to build on it
>If you had grown up watching 60fps movies, and then someone released a 24fps movie, you'd complain that it looked rough and jittery.

Not really. It's not just some historical accident why we ended with 24fps (or close) and not 50fps or 5fps or such.
Crowd Estimates, 1.21.2017
Show HN: Lionshare – Simple cryptocurrency price and portfolio monitor for macOS
Is there any merit to the argument that increasing population density will make bad traffic exponentially worse?
With any luck, millennials won't leave the city like their predecessors. If they stay long enough, they'll grow frustrated, and get active within city government. If they have the numbers, and the organization, we COULD see changes to restrictive housing policies in places like SF and NY.

Lots of ifs. I'm hopeful.
Ah, I was not aware of the rebate (I probably had been at one point and had forgotten about it). I was under the impression that £350M was gross in the sense that it was the amount we actually send them, and the net figure was that minus what they send back.
What’s So Great About High IQ Societies? [pdf]
But it it's also deductible on urban condos
The Tinker Board Is a More Powerful Raspberry Pi
I have no issue with it. We get an amazing summer each year, several months of straight sunshine. I like that the weather changes and we have a variety of weather. 30 minutes from my home to snow skiing in the winter. My only issue is that it's never really warm enough to swim, though you can if you don't mind cold water.
I'd never heard of Vodi Messenger until I read an article about it on PRNewsWire. [0]

About Vodi

Vodi is an all-in-one mobile messaging app with financial and telecom services. It is a product of MilTec Platform, Inc., headquartered in Atlanta, Georgia (USA). Established in 2014, MilTec offers IT platforms and mobile applications. Visit us at www.vodi.io and www.miltecplatform.com.

After a bit of searching they actually support bitcoin payment natively.[1]

There is no Wikipedia entry for Vodi Messenger yet and Google search gives back that Vodi is a spelling error for other words....

[0]: http://www.prnewswire.com/news-releases/vodi-announced-as-of...

[1]: http://paymentweek.com/2016-5-17-bitpay-and-vodi-bring-bitco...
I don't know that making a new season of a tv show is anything like building on top of the Great Pyramids of Giza. It's like building another pyramid.

I certainly don't think that the Luxor hotel and casino in Las Vegas diminishes the legacy of the Great Pyramids in any way. In fact, I think it's really interesting that they were able to use an ancient form to achieve something architecturally unique from a modern standpoint. It allowed them to create an uncommonly large open lobby area, which is really cool to see, and wouldn't have happened if someone had said 'no pyramids, pyramids have been done.'

A remake/reboot is certainly nothing like replacing the Mona Lisa. It's more like a Banksy type person painting their own take on the Mona Lisa on a concrete wall or something.

Do you think that no artist after da Vinci should ever reference the Mona Lisa in any way? Because derivative works were being made by prominent artists before da Vinci even considered his finished. In fact, the famous Mona Lisa arguably wasn't even the only version of the Mona Lisa that da Vinci himself contributed to.

'Meaning' is extremely personal and dependent entirely on the context within which a work is received. No work will ever hold the exact same meaning for two individuals. Furthermore, a work's meaning to a particular individual is likely to evolve continuously throughout their life.

To discourage derivative works is like saying that you don't want to have to consider that alternate meanings are even possible.
So you used your feet to vote against something despite never giving it a try? You just assume you'll hate 3D? What if you're wrong and missing an amazing experience just because you're afraid to try new things? Worst case scenario is you were right to begin with and you wasted 2 hours and maybe an extra $3.
>How do you know what another person would complain about?

The same reason we know what people would find too salty or too spicy. Because, outliers aside, humans tend to have the same psychology.