skysight-inc/HackerNews huggingface dataset:
O my! Hi Pony core contributor here. Normally when I submit releases to HN, they kind of silently die. I was surprised to come back and see this on the front page. I'll check the comments from time to time and try to answer questions.

While I have your attention:

Pony is an all volunteer project. We could really use your support. We'd love to get more contributors of all stripes.
Code, documentation, design work. All of it! Come by the developer mailing list (https://pony.groups.io/g/dev) or #ponylang channel on Freenode and we'll get you started.

And if you can't contribute time, we are now taking donations to help pay for expenses: https://opencollective.com/ponyc

O also, if you are in London in early November. Sylvan and I are doing a Pony tutorial at Code Sync. Tickets are still available. If you click on the tutorial title on this page: https://codesync.global/conferences/code-mesh-2018/tutorial/

Tickets are still available.

_edited to fix broken links_
I pay for Ars Technica, definitely wouldn’t if paying didn’t disable the ads.
The F-35 is vastly superior compared to any of the planes you listed (due to much better sensors, stealth (way lower radar cross section, meaning radars will only detect it once it is much closer vs a non stealth fighter), radar, sensor fusion, datalink with other aircraft, payload(due to having massive internal fuel tanks and much better sensors, while 4th gen fighters need to carry external fuel tanks and a targeting pod to complete air to ground missions)) as well as being cheaper than all but the Gripen (with the Gripen currently being the least capable).
What about Google Exegesis project? They also infer instruction latency.

https://github.com/google/EXEgesis
It seems unlikely that the foregone revenue would be more than about 10% of the regular subscription price.

This is based on other posts in this thread that talk about a $84/year subscription and $4-$15/year ad revenue. Since that was a reference to Facebook revenue, I imagine it would be a decent upper bound.

It reminds me of how people say that it's impossible to provide fresh produce without paying people below minimum wage. In lieu of common sense, it depends on numbers, which don't need to be precise, but you can't just handwave.

I'm inclined to believe the true story is simply, as others state, that no matter what the ad revenue is, it's X% more and nobody wants to give it up if they don't have to.
Whether it was Feinstein, Grassley, Trump or John Roberts, who is to blame doesn't matter given the context of "historical power of allegations" which is the topic at hand. The fact remains:

Kavanaugh has been elevated to a position of supreme power for the remainder of his lifetime, despite credible allegations of sexual assault and perjury.

The system failed Christine Ford.
A good question! As a consultant I was required to use Ruby, Java, Haskell, Python, Clojure, Prolog, and Common Lisp. In retirement it seems better to pick one language.
The Outer Limits of Reason – A look at paradoxes in language
That only helps if the plastic actually get recycled. Biodegradable plastics don't degrade fast enough not to be detrimental to wildlife.

> thou...

I think you mean 'though'.
> sero-positivity was associated with an 11% increased odds of CRC (OR, 1.11; 95% CI, 1.01–1.22), and this association was particularly strong among African Americans (OR, 1.45; 95% CI, 1.08–1.95)

These confidence intervals don't exactly instill confidence... Oh and we cherry picked this subpopulation where the effect is all over the place with a bigger mean.
I don't know why this got down voted. It seems people don't appreciate honest opinions here. There's more evidence that he was a jerk than there isn't. He didn't need to be a jerk. His company doesn't contribute a net positive to the world. They haven't necessarily made computing more accessible especially since the primarily target a higher end market, and offer a very closed system/ecosystem. I stand by my argument. Steve Jobs was an a-hole and other equally intelligent business leaders who aren't a-holes could have done what he did.
At ~current funding levels, the IRS brings in ~$3 for every $1 spent on it. The federal government could bring in more tax dollars just by funding the IRS at a higher level; it doesn't, for reasons.
> China also produces more goods than those countries combined.

That's a popular myth used to excuse China's extraordinary environmental abuses.

China and its national corporations are currently building or planning to build a thousand new coal power plants around the greater Asia region. [1][2][3]

China does not produce more goods than those - US + EU - entities combined. Not even close.

All by itself US manufacturing output is nearly as large as China. Just US + German manufacturing and exports together are about 30% larger than China. US + EU manufacturing is far larger than China, closer to double the size than not.

[1] 2017 https://www.nytimes.com/2017/07/01/climate/china-energy-comp...

"Overall, 1,600 coal plants are planned or under construction in 62 countries, said Urgewald, which uses data from the Global Coal Plant Tracker portal. The new plants would expand the world's coal-fired power capacity by 43 per cent. The fleet of new coal plants would make it virtually impossible to meet the goals set in the Paris climate accord. Electricity generated from fossil fuels such as coal is the biggest single contributor globally to the rise in carbon emissions, which scientists agree is causing the earth's temperatures to rise. Shanghai Electric Group, one of the country's largest electrical equipment makers, has announced plans to build coal power plants in Egypt, Pakistan and Iran with a total capacity of 6,285MW – almost 10 times the 660MW of coal power it has planned in China."

[2] 2018 https://www.bbc.com/news/science-environment-45640706

"Building work has restarted at hundreds of Chinese coal-fired power stations, according to an analysis of satellite imagery. The research, carried out by green campaigners CoalSwarm, suggests that 259 gigawatts of new capacity are under development in China."

[3] https://www.theguardian.com/world/2018/sep/26/satellite-imag...
> But people have proven they are mostly OK with ads, they don't mind them (since so many services online are fueled by them and people use them).

Let's remember that people generally have zero choice in the matter.
Is it the programmers/engineers that make the "incorrect" value judgements? It seems to me that it's usually the managers who are responsible for ethical gaps, and engineers are caught up in the act. That's the exact situation in which I would understand disdainful attitude.
I learnt to code and started my online business in my 30s because it's fun. Age shouldn't stop anyone from fun.
This already happens on Air Canada (although at least the ads are not personalized). Before each movie or show you play on your IFE screen in economy class, they make you watch two 30 seconds ads. I was very annoyed, especially since AC tickets are already overpriced (little/no competition on domestic flights in Canada).
> Because your point is pretty shallow, to be honest. The simple fact is that such tactics do happen in virtually every situation you described.

Not to the same extent. That’s the point, and it’s an interesting question why this happens. What economic factors account for the differences in advertising between these two markets? It’s not “shallow” as your own shallow dismissal alleges.

> Your point really doesn't add much to a conversation, since its premise is faulty.

People who live in glass houses should not throw stones.
Without doing too much digging, one of the first results in my quick Google search suggested a 128 IQ average:

https://www.electronicproducts.com/News/Engineer_vs_engineer...

Google and Facebook engineers even push 140 IQ when you look at how selective they are. For example, many Top 10 university graduates work there, and just based on SAT score acceptances alone, the average IQ at a top US university crosses 140-150 easily.
For anyone interested, "Emerald Sea" was the project code name for G+.
If you look at the Dockerfile you will realize this project uses a lot of stuff beyond just the go binary; it looks like docker is a good fit for this project.
To build on bonzini's answer there are multiple types of virtualization.

What mainframes have done for years and modern PC VMs do, is type 1 virtualization, whereas stuff like Virtual Box is type 2 virtualization.
"Our profits have soared ever since we started hiring nihilists!"
Another way to look at it is that privileged people have had the ability to ruin the lives of the less privileged for a long time (see Emmett Till) and global communications has just democratized the process.

It’s not good and I truthfully don’t know how we fix this, but I hope we fix the whole problem and not just the symptom of powerful people being convicted in the court of public opinion.
Thanks for the heads up and link.
What if your paid subscription is only covering a portion of the service and the full price is subsidized by the ads?
One argument that life is common is that life appeared very early on Earth, and so by inference Origin of Life is likely to be an easy process.

But there's another possibility: perhaps panspermia is easy in the dense star cluster the Solar System formed in, which packed 1000 or more stars into a cubic parsec. In that case, if life originated early, it could then spread to all the other star systems in that cluster. This would amplify the statistical weight of "early" OoL. Most planets on which life gains a foothold would be those in which OoL happened to occur in this birth nursery, and then spread.

This concept has interesting implications for SETI and science fiction. Life might be extraordinarily rare or absent elsewhere in the universe, but there may still be thousands of other systems in our galaxy that were seeded along with ours. They'd be spread out now around a ~180 degree arc around the center of the galaxy.
White collar crimes are problematic. I once saw a case where someone was convicted for selling prescription sleeping pills. It shouldn't be illegal to sell under the counter pills, I thought, but otherwise it was hard to fault the prosecution. The accused was caught trying to sell the pills to an undercover officer, fled from the police, and apprehended with a wide variety of illegal substances on his person. There was little doubt that he was at least guilty of the conduct of which he was accused.

White collar crimes are murkier. There is, for example, nothing illegal about getting the upper hand in a transaction. But it can be illegal based on little more than what the seller knew or was thinking at the time of the sale. Even things like false claims to the government often turn on little more than the characterization of certain transactions. A great deal of the white collar prosecutions I've seen have left me unsettled--the evidence was murky or subject to different characterizations, and the "wrong" often turned on the unknowable--the accused's knowledge or intent.
And that officer could be one guy doing 3 roles at the same time trying to get some product up and running.
No. Saved means it appears when you browse to "My Library".
None. But the common view is that people have to view ads in lieu of paying. Turns out that even if you pay, you'll still be exploited.
I haven't touched Pony in a while but it holds a lot of promise.

My paper cuts with Pony were:

a) No assertions/ unhandled exceptions. I believe things like divide by zero or any other case where you want an assertion should exist.

The actor model makes this easy, in theory. Actors are boundaries so just unwind to the actor boundary on exception and have your actor handle the failure from there. Sort of a 'catch all'.

My expectation is this is already how a ton of errors get handled in pony - bubble up to actor, handle. A pony dev can correct me here if that's not the case.

b) The conversions between types needs sugar. I remember some 'recover' statements that were really boilerplatey.

Maybe this is also an issue of compiler errors, if they'd guided me. But sugar around this would be nice as well.
Anjuna Security is hiring a senior software engineer
After digging around doesn't look like there is a usable PG client :(
Heidi Game
Good https://momsall.com/buy-imvu-gift-card-redeem-imvu-gift-card...
Math, Quilting and Activism
So the problem of the blindspots in STEM focused people and the fact that his leads them to just unthinkingly doing what they are told to do ... isn't a problem? Because it depends on what they are being told to do?

I don't buy that, more humanities knowledge distributed among everyone is clearly needed, because our system ensures that the people at the top are more likely to use that knowledge for ill and the lower ranks knowing what is going on can be a check on that.
Tether is currently in the early stages of a bank run
You can't treat statistics about humans the same way you treat probabilities about trajectories in a mechanics experiment. People live in a level two chaotic system, which means that the existence of statistics can affect future outcome. Statistics say your age or race (or whatever) isn't optimal to do what you want to do (e.g. be a successful founder)? Screw that! Be the actor that wobbles future statistics, proving we're in a level two world! Force those statisticians to scratch their head when their models don't work out right!

These statistics should certainly be interesting for investors, but there are so many more factors of the equation (like personality, drive, grit, access to capital through friends, etc) that are probably much more significant (even in a rigorous statistical sense) to the outcome of a company, that founders themselves are better off just ignoring it. And besides, a founder is a high agency individual, are you really going to let age (whether it be too old or too young) stop you?
Dubious Apple Watch Link to Jamal Khashoggi 'killing'
Ok, I apologize in that I was using the vernacular of evidence and not the legal definition. Did Ford or anyone provide any evidence beyond her testimony?

There isn't much of a case when they only thing that can be said is "you did this" and "no I didn't"
This type of thing is the thumbprint of management by sociopathy. "Why does nobody subscribe to us and leave us so ad dependent!" They cry. Just like complaints about lack of employee loyalty after they do stuff like layoffs to inflate quarterly earnings and look at pension funds as piggy banks and refuse to give raises. Then complain about people leaving for career advancement when they won't even give Cost of Living raises. The same pattern regardless - do something for short term gain that creates a long term problem and try to pass the buck. And it wasn't their fault because they were entitled to the short term gains. They are incapable of understanding why trying to get paid twice for the same thing is a bad thing or why you should never trust anyone who attempts that. To them trust is something they are entitled by position to regardless of how they mistreat people.

In my opinion the best thing to do with them in response is banish them. Don't invest in them or patronize them as much as possible as they are clearly out to screw you over. If you are in management of a position to do so oust them as soon as possible. Sadly they are a goddamn plague and hard to oust.
Mr. Tavi Discovers WearSpace
Curvature is ofcourse the way we could time travel. Because the light of events would end up at the same place years later. And travelig faster than light would mean we could see events that will happen in the future ;)
https://stackoverflow.com/questions/37808180/disable-viewpor...

My point was individual web pages can’t disable pinch to zoom.
It's still sad that those companies can't offer the most basic, ethical option - providing value in exchange for money. No, the choice is only between getting crap shoved at you for free, and getting the same amount of crap for money.
The science of waiting in modern courtship
Paragraph 2 starts like this:

> Our team analyzed the age of all business founders in the U.S. in recent years by leveraging confidential administrative data sets from the U.S. Census Bureau. We found that the average age of entrepreneurs at the time they...

So they do answer your question in the article.
This is why I cancelled my subscription. After a 20-minutes retention chat with a person/bot.
I'm a bit surprised to find someone suggesting that selling prescription pills under the counter shouldn't be illegal. Do you mind elaborating on your perspective?
All exceptions have to be handled, but they don't have to be handled at the call site, you can have them propogate back up if you want.

When you say assertion, do you mean, that you want to program to exit? If yes, that's fairly easy to do. We have several different variations of that in the Wallaroo code base.

Speaking as a Pony core member, I'd be open to adding a primitive to exit the program with an error message to the standard library. We have an RFC process for that: https://github.com/ponylang/rfcs/

And there are several examples from Wallaroo of that here:

https://github.com/WallarooLabs/wallaroo/tree/master/lib/wal...
When their real goal is to "tackle misinformation" they should abolish any thinking prevalent in the humanities.

If you want pure objective truth you need logic and evidence. Basically the tools that are employed by Math, Physics and Engineers. The concepts of Classical Positivism are over 100 years old and are still the best thing we got to find out the truth.

In order to "tackle misinformation" humanities have zero solutions to offer. Any mediocre engineer would be better.
Last year I logged into an IRC channel I frequented around 1997.

Damnit if many of the same people weren't there.

They recognised me too. Spent a beautiful couple of hours catching up.
True, but really high profits also enable them to pay higher salaries. Obviously they don't put all their profits into salaries.
They would have the exact same choices with a paid provider as they do with the fee ones. Put up with it or leave.
The feedback typically comes from people who think they are smarter than the engineers, or who have more social capital and so are used to be looked up to and respected. As such they get pissy when nerds question them.

Nerds tend to accept good solid feedback when a good reason is given; nerds rightly disregard feedback that is about pleasing peoples egos. Really smart nerds do strike a balance, but egos should be considered a flaw, and worked around as any other flaw.
> As a consequence, the ad-driven web is much more open and inclusive.

Nearly all the best and most useful community sites to me in my lifetime were the ones that start with no ad model and struggle as they scale.
All the carbon that we are releasing into the atmosphere was there at the beginning, and was taken out by life. So I do think it's quite unlikely that a civilization can appear in a planet that has enough carbon on its crust to make it completely unsuitable for life.
It's being trialed in England so far. in Denmark don't they still just use the paper wrapping. Isn't that just as good?
I never really know what to make of Hawkin's research, but I'll always be grateful to him for his contributions to starting the Redwood Center at Berkeley.
Stop by the user mailing list or IRC some time!

https://pony.groups.io/g/user

#ponylang on Freenode
I'm not sure whether this is aimed at the Zuckerbergs of this world, or an attempt to shoehorn (yet more) leftist viewpoints into tech. Personally I'm just going to continue ploughing my autistic tech furrow until the entryists hopefully move on.
"well, the important thing is that you think hard about it" might not mean what you think it means.

Often, especially (in my experience) when communicated to someone in an engineering profession, that's an exhortation to not automatically assume the applicability of the listener's pre-existing ethical/methodological frameworks to the problem at hand. In other words, to consider something with minimized bias. Bias isn't always bigotry or a tendency towards specific solutions--it can also manifest as a pre-disposition towards previous "one-size-fits-all" deontological tools, which do apply to many situations, but may not yield comprehension, empathy, or minimized negative consequence when applied to a given problem.

Examples:

1. Engineer: "I was asked if it's possible to build $intrusive_privacy_invading_product so I provided an answer by building it". Critic: "Could you construct it in a way that harms to privacy are minimized?" A mis-chosen framework there might be "exercising craftsmanship or capability is its own reward", or absolute meritocracy.

2. Liberal: "Gun ownership is harmful therefore should be banned." Critic: "Can you accomplish your goal in a way that allows people that genuinely enjoy guns to continue to do so? Your approach risks polarization at best and outright failure at worst." A mis-chosen framework there might be utilitarianism, or "short term political ends are the primary focus".

3. Conservative: "Regulations are bad, because they inherently restrict liberty." Critic: "Are some liberties more important than others? Your approach risks throwing out the baby with the bathwater." Mis-chosen frameworks there might be focus on influential historical figures' political realities, or individualism.

None of the frameworks chosen above are bad, inherently flawed (by their own moral compasses, of course), or inapplicable. However, they might be less useful as decisionmaking tools than some others.

Nobody can step all the way outside of their chosen deontology (can you use that as a noun? I hope so), but often people who ask that you "just take time to think" are requesting you to at least try.
Advertising really is a cancer on society.
I tried it once, did nothing for me, didn't try it again. I agree that it can be used responsibly, however one of my friends who did it sparingly ended up with a sinus infection that travelled to the brain, requiring brain surgery, which he is still dealing with the effects of many years later (doctors said it was most likely from cocaine use).
That makes sense, I think I still think of an object reaching space as it can then stay there, vs just a peekaboo. :)
I like how your post differs from the pessimism of most HN posts when it comes to politics, and how you have a well thought-out strategy i.e. put the emphasis on explicit public goods and for things. Do you have any other examples aside from Medicare for All? I'd be interested in learning more.
After reading “On intelligence” and being disappointed by people eagerly associating ML with AI, I think this guy and his team may be onto something. It may not be much, but I welcome any attempt/perspective that is different from the “mainstream” approaches.
I don't know if Ferraris sold here have this, but many cars sold in Poland have licence plate frame with dealer's name and contact even though you have no agreement with them to advertise their company when you're buying new car. For some (Mitsubishi iirc) they put some kind of semi translucent sticker on your trunk with dealer's name about 2 x 3 inches.
Hi Chris,

I think a product like this deserves to have a great design. I worked on the color scheme, copy, and spacing for you and came up with this: https://imgur.com/a/UUoEij5

The I replaced the hero image with is: https://unsplash.com/photos/trYl7JYATH0

Good luck with your project! I'm not in the market for your product right now, but if I am some day, I'll definitely test this out!

Cheers,
David
Quite a way to prove their point...
The better term related to curvature would be if it's bounded or unbounded.
There's no choice wrt. ads because everyone is doing them. It's rare to find an ethical business to patronize.