skysight-inc/HackerNews huggingface dataset:
Not this year's XPS
I see a lot of people posting about "instant pots" in my facebook feed, and no one talking about sous-vide.
I'm maintaining a database cluster with 10s of millions of partial indexes, many of which contain a LIKE pattern. Each table in the cluster has several of these partial indexes. Because of all of these partial indexes, we became CPU bound. For the longest time, we thought all of the CPU was going to evaluating the LIKE patterns. Eventually, I decided to generate a flame graph of our database and discovered that we were only spending 0.3% of the time evaluating the partial index predicates. In turns out most of the CPU usage was evenly split between looking up the metadata of the index and in parsing the index predicate. So the index expression itself doesn't really matter, but having lots of these indexes can become an issue.
Sugar consumption within normal population values is not a health risk given available evidence. We also don't know what consumers will substitute for sugary drinks if they are unavailable.
I don't believe parent was suggesting that current problems be the sole focus of our attention to the exclusion of all else. However there is a valid point to be made with respect to people's ability (or lack thereof) to line up behind even the most moderate of global proposals. For example, in the grand scheme of things we (human race) can't even accept a slight change to our lifestyle and moderate economic imposition in order to avoid significant climate change that will have far greater human and economic costs. On what possible basis then is it reasonable to expect that people would be willing to make an even greater investment in a far more marginal venture?

I get the feeling that some people view space colonisation as a kind of Deus ex machina that will magically give us a fresh start, unbound by the mistakes of the past. They don't realise that the mistakes of the past are carried with us wherever we go since they live between our ears.

I'm all for basic science and reaching for frontiers, but as a species we are proving incapable of making the mental and social leaps that the next evolutionary steps require of us. Would love to be proven wrong. :-(
What don't you like about iTerm's show/hide function?
PHP 5 is allocating memory differently from PHP 7. That's why you see difference there and this is the biggest difference between E5 and E3 here (memory bandwidth,cache size). PHP 7 is making optimizations making less memory allocations because it allocates in chunks, PHP5 is allocating/reallocating all the time.
what do you think about libgdx?
I guess GP was referring to ZITIS, not BSI.

BSI's job generally is ensuring IT security, not breaking it.

Even the weirder jobs they're tasked with, such as certifying backdoor software for LEAs, it's not about ensuring its operation as a backdoor, but that it only does the designated job (and in particular doesn't bring additional capabilities that are outside their charter)
When I need to learn a new language I tend to buy a book for the first few chapters so I can learn the basics of the language(variables, control structures, etc). Then I'll subscribe to whatever the most popular video site is pick a project I want to implement and start working on it and when I need to know how to do something look for a video on it and read the transcription since I don't actually like watching the videos.
It really depends at what level -- because the erasure is done at the language level rather than the VM you _have_ to have a pile of runtime casts, even when those casts are no-ops :-/

I agree it works, i just don't think it's as elegant :D

Of course eventually everything is running on an untyped CPU and everything is just an integer so it's all erased in the end. Unless you have one of those silly mid-90s java cpus right?

Or maybe a LISP-machine
The Linguistic Evolution of ‘Like’
Thanks, appreciate your response.

Do you have any thoughts about the voting system on HN? Not that it's going to change, but I am becoming quite tired of seeing worthwhile, interesting comments downvoted into grayness. It feels like a kind of anonymous shaming, like a group of people put on masks, gather around someone, and wag their fingers at them until they are shamed into silence. It only takes a few people to downvote a comment into obscurity, and it may happen by chance that the first few people to see it are censorious, preventing others who would upvote it from even seeing it. I strongly think that there should only be two options: upvote, or flag for rule violations.
Weird. Doesn't work for me either. ¯\_(ツ)_/¯

You can still get some of the code from the linked paper, though.
Three Software Freedoms
Does this get us into the question of whether anything mathematical exists before anyone (or anysomething) first thought of it, and exists even when no-one is currently thinking of it? If you answer yes, then mathematics has an existence independent of thought. If you answer no, then that conditional existence presumably extends to physics as well, especially if Max Tegmark is right about math being the reality of physics. In that case, then it seems to follow that the universe only exists when it is being thought about, a conclusion that appears to have a bootstrap problem...

I think I can avoid the whole issue by observing that I can imagine things that do not physically exist, and they are not made to physically exist by dint of a conceptual representation of them physically existing in my brain.
>Based on Apple's history, we should really be expecting them to crush the Echo and Chromecast sometime in the next few years.

My impression is that Apple is far behind in the machine learning/AI/personal assistant space, and does not have the engineering resources to catch up.

I'd like to be wrong about that, because I like Apple products and I believe that competition is good, but I'm pessimistic.
Simple blood test. No way to treat it.

In Turkey it is prevalent. Pregnant women who tested negative are discouraged from eating raw fruits or vegetables unless they know that the food was properly sanitized. Catching it during pregnancy might cause disfigurement of fetus.
Rebelling Against the Void
Are you working for start ups? Just from what you're saying, it seems like working at say Google or Amazon or Microsoft of Apple would really make you happy.

Don't mean to sound condescending or anything. It's just I know a lot of people that LOVED start ups post-college and are now feeling the exact same way as you, and kind of forget that there's super cushy jobs out there without a lot of the startup stupidity.
Don’t Build Private Clouds
meanwhile the Unicode consortium has been hard at work since 1991 to make it possible to encode up to 2.8 MB -- more than enough for most images, short videos, or many PDF files -- in a single character.
Hi, thank you for your question. We do hourly incremental backups on external servers.
That's possible, but it will be because we chose not to. Not because we can't.

Take every nation's budget and transpose the numbers under "space exploration" and "defense spending". Also change the risk profile of space exploration to be more in line with a military operation willing to spend lives to achieve territorial goals.

We would have manned outposts on/orbiting every major body in the solar system inside of 50 years. With permanent colonies on Mars at least.
How to Identify Bitcoin Scam Scheme
Actually, I never mentioned USB-C.

But let's take it as an example: adding USB-C was a great idea.

Removing every other kind of port, including the fantastic Magsafe, on the other hand, was a bad idea. Many people try to justify it by saying that it had to be done so that we can "make progress". Well I'm fine with progress, but I don't want to be held hostage. And it certainly feels like it: if I buy the new Macbook, I will be able to connect exactly ZERO of my devices to it.

But — what I actually meant was things like magsafe, charging light on magsafe, function keys, Esc key, little wire organizers on the charger, keyboard key travel, or the headphone jack on the iPhone. You could easily make the same case for battery life (I'd happily trade 2mm of thickness for longer battery life) and ports: I really don't care that much about thickness, so don't sacrifice ports to make my machine 2mm thinner. Again: we lose good functionality for no good reason.
> This in itself would not be a problem for me, if it weren't for the lack of competition. Mac OS is so far ahead in terms of "getting things done"

I wouldn't touch MacOS for it. It's nowhere comparable in productivity for me to something like current KDE Plasma 5 on Linux. Not sure if you ever used it, but Linux is nowhere limited to Ubuntu's Unity.
Maybe you wouldn't had that issue if you were, say, a hockey player. Like your body is not prepared to be sitting in front of a screen ten hours a day or a whole shift poring coffee. I've been learning to get over that brain draining feeling by exercising and not just a running session at the end of the day (which really helps) but shorter intervals in the middle of the day. E.g., I had great success exercising every 5 minutes in my pomodoro technique breaks - huge difference. Not sure if that applies to everyone though.

Socializing is also really helpful for me, but it's hard to make quality friends - I am an immigrant which doesn't help at all.
I got the Developer Edition XPS 13 9360 two weeks ago. I have never encountered the repeated key press problem some people with the XPS 15 seem to have had. Compared with my old X1 Carbon, the keyboard on the XPS 13 is not very good. On the XPS 13 the keys are flat, there is very little key travel, and very little resistive force. The lack of resistive force means that your fingers experience much more force when the keys are pressed (similar to tying on a touchscreen's hard surface). From looking at the reviews of the XPS 13, it sounds like these lackluster keyboards are the norm for Ultrabooks. The `, and \ keys are very small, and the Page Up, Page Down, Home, and End keys are overloaded with the arrow keys. There is only one super key, which is on the left.

Most of the time I use an external keyboard. If you only cared about the keyboard I would definitely recommend getting the X1 Carbon over the XPS 13.
Value of Payments Provider Stripe Doubles to $9.2B
>Those arms are only problematic when one wraps the cable 'immediately', instead of giving an extra loop and then beginning the winding.

True, but I've literally never seen anyone do that in public. I do (the 2 times I've done so), one coworker does, everyone else grabs and wraps as quickly and tightly as possible.

They can be used "safely", but the affordance isn't there. It practically begs to be misused. Bad design in a nutshell.
I don't see the headline as misleading at all. There are two type systems in Java: the JVM's run-time type system, and Java's compile time type system. It's the latter that has been shown to be unsound. As the paper notes, it's fortunate that generics have been implemented with type erasure, because that is what saves the JVM from being unsound, too.

As for the problem itself: it really has nothing to do with inner classes (they are static in the example!). The problem is with this line:

Constrain<U,? super T> constrain = null;

which leads the type system to assume that there is a type that is a superclass of T, which also is a subclass of B (from the 'Constrain' class) - even though no such type could possibly exist! The evil trick is in the 'null' - even though a type with the stated constraints is impossible, and so no actual 'real' value of this generic type could exist, 'null' is part of all types, so the compiler can't see the problem.

It really is a problem in the type system as defined in the standard, not just a compiler bug.
Learning to Read X86 Assembly Language
"Better news: the Blender Game Engine project might be getting a revival. The UPBGE team is very motivated to keep Blender engine work, and help with aligning BGE with the goals we set for 2.8 – at least to use the new viewport and pbr shader system. A new logic system is still undefined."

Very excited about this. I deeply want to use Py with BGE, but I had been worried about learning a soon to be deprecated game framework. There have been a couple tickets open on the main blender tracker about completely deprecating BGE and it seemed like a lot of core developers were in favor of doing that so as to not divert away valuable dev time from core development.
The Chinese grad students are definitely a different crowd than the undergrad students.
It's just as hard or possibly even simpler to just make drones that pick up litter and robots that rake leaves.

The problem with large scale low skilled jobs (e.g. fast food) becoming automated is that these jobs aren't really special as jobs, even if they have a very important socioeconomic role in our society - it's not yet cost effective to automate them, but when it will, then at the same time (roughly speaking, +/- 10 years) all other low skilled jobs will be ripe for automation as well.

A good semi-trailer truck driver will have his job for years to come, but when it does happen, then all the reasonable jobs to which he could currently shift would have their own downsizing due to their own automation and an excessive supply potential workers of poor ex-drivers who were shed years before the good driver.
I've been in seminars where they re-read the 'classics' for the Nth time. The professor first offers a benediction for each paper after which the class engages in a Gregorian call and response chant.

In one class, the first response papers savaged a classic and when the professor arrived for class visibly shaken, he suggested perhaps waiting until the next class to give us sometime to think about it.
Why do we say Apple came up with this and Apple came up with that? Steve Jobs came up with those things. The man left Apple, Apple tanked, requiring a bailout from Microsoft. Jobs comes back, very much Return of the King-esque, and Apple rises again. Meanwhile in his exile he helps start a little studio called Pixar. This is very much a "Built to Last" situation. Great book. Companies with Cult leader CEO's lose direction when that CEO leaves or dies. Cook is Apple's Ballmer. A great business man, not a great innovator. At some point, my guess is like Ballmer, Apple will fall far enough behind that someone else will get the job. Hopefully, Apple finds someone like Satya. But none of this has been surprising. You can't lose someone like Jobs and expect the progress to continue. The guy understood how to translate technology to the every day man woman and child like nobody else. These are the Ballmer years at Apple. Hopefully, they go by faster than they did at Microsoft.
Would have not expect you to change either. Fastmail is awesome and a lot of respect for them. We're trying to learn from them all the time.

I'd classify Migadu in a different category. If you run multiple projects or just need extra addresses fast at no extra costs, you'd probably not go for FastMail. I can clearly see using them both.
The problem is that your notion of "real problems" is artificial. If our society prioritizes space colonization above eliminating nuclear stockpiles, and people are willing to accept the risk posed by the existence of those stockpiles, then there is no sense in continuing to refer to it as a "main issue facing our society". Maybe you consider it to be a main issue, but society doesn't. Or maybe society does consider it an important issue, but not so important that everybody should stop working on everything else until it is solved (and as if Earth won't have new, seemingly equally important problems, when that happens). At least the people who are excited about space colonization don't propose to start dealing with environmental problems only after we've colonized Titan. You can't pretend to care about society when you are willing to ignore the actual things people find important.

Your fallacy is the same as claiming that we should care more about car accidents than about terrorism, because car accidents kill more people, instead of realizing that the number of dead simply isn't the only thing people care about when considering threats of this kind.

It's also unclear to me why you choose to single out space colonization when the vast majority of what most people do on Earth has nothing to do with solving the problems you mention. If anything, working on enabling space colonization is far more beneficial to life on this planet than almost every other subject on HN.
Of course they are the easier to solve, however your comparison is unfair. One one hand we're trying to solve for the entire human race, on the other hand we're solving for a handful of colonists. Now try expanding your colony for a significant proportion of the planet's population.
OK that makes sense.

For those of us who use a variety of JetBrains products, the F-key shortcuts are the consistency. Having them faked on a minuscule screen, rather than being findable by touch, would make the new MacBook unusable for me.

Sad, as I find OSX to be the best in a bleak landscape of OS's, but given Apple's obtuse insistence on knowing what's best for all, to the extent of removing critical components of the universal standard keyboard, my current MB Pro will certainly be my last. Ugh Windows!
Exception in thread "main" java.lang.Error: Unresolved compilation problem:
The method upcast(Unsound.Constrain<U,B>, B) in the
I get compilation why trying this in eclipse on Java 8 but strange when I compile it outside of it, it goes through.

type Unsound.Bind<U> is not applicable for the arguments (Unsound.Constrain<U,capture#1-of ? super T>, T)

at Unsound.coerce(Unsound.java:13)
at Unsound.main(Unsound.java:17)
Andrew Price would complain about the UI in his podcast. I guess the community eventually wore him down. Here's one of the episodes:

https://www.blenderguru.com/podcasts/podcast-jonathan-willia...
Exception in thread "main" java.lang.Error: Unresolved compilation problem:
The method upcast(Unsound.Constrain<U,B>, B) in the type Unsound.Bind<U> is not applicable for the arguments (Unsound.Constrain<U,capture#1-of ? super T>, T)

at Unsound.coerce(Unsound.java:13)
at Unsound.main(Unsound.java:17)
The lack of capacities > 16GB has been covered to death ... if Apple put non low-power RAM in their machines they would be crucified for the drop in battery life. Until Intel actually makes a release date (increasingly unlikely) there's not a lot they can do before the next refresh.
The Echo is terrific and (unlike Siri) I wouldn't be without it. Sadly, Amazon's management app for the Echo is an unstable, slow, buggy piece of unusable garbage that someone should be fired over.
True but that's not the only reason a site would take itself down
The soundness of Dotty (or at least of DOT) was formally proven. In the process they also demonstrated exactly what makes Scala 2 unsound. Links:
http://dotty.epfl.ch/blog/2016/02/03/essence-of-scala
http://dotty.epfl.ch/blog/2016/02/17/scaling-dot-soundness.h...
This needs a (June) marking, e.g. Trump has indeed won, and:

Believing, really believing that the future doesn’t have space for you, your loved ones, and your way of life — believing that you are on the verge of extinction — is so scary that people will fight to the death for it.

That and much else he says was reified by Hillary's September speech declaring a quarter of the nation to be irredeemable. Hard to state it more plainly that "the future doesn’t have space for you, your loved ones, and your way of life"....

ADDED: see also the bottomless well of disdain for the people of "flyover country"....

On the other hand, timeline prognostication is notoriously difficult, e.g. when I got seriously into survivalism in the mid-80s the leading gurus who weren't nuclear war oriented had been predicting an irrecoverable economic collapse since some time in the '70s (and having lived through that period such predictions were not in the least crazy, although perhaps unfounded in that that sort of thing has happened many times before and "irrecoverable" (my characterization) isn't how they play out).

ADDED later, to reply to tendies123 since this topic has been killed stone cold dead by I assume the moderators:

You're attacking a strawman, white nationalists, to the extent I've observed them, do not define themselves in such an indeed "utterly asinine" way. You're also gravely mistaken about the lethallity of nuclear war, even a full out one during the Cold War would have "only" knocked the US back to roughly the Civil War era.

And, so, what do you propose to do with the "pointless people", you do realize you're completely validating the article's hypothesis?
I didn't want to get into these kinds of discussions, but I'll venture a guess that you don't often connect/disconnect multiple monitors to your machine, and especially not one HiDPI and one HD. That experience alone is enough to ditch Linux altogether.

BTW, Windows 10 is slightly better, but not by much. The major difference being that one can predictably get a signal on both monitors, I guess, which is good, but then the HiDPI story is still pretty bad.
"wants to regulate cryptography"??? - I suggest it's already in place. For example, if you wish to create crypto software or hardware (or in some cases even simply importing a crypto library) - for 2 sides to communicate requires sharing either the source, software binaries, or hardware itself - and if 1 of those is outside of the country then obviously export and/or import of the source/sw/hw occurs and therefore crypto controls come into effect.
What made you post exactly the same content as a similarly-named, also new account? Is this some sort of sugar industry automated astroturfing gone awry?
Would it be possible to consider adding security keys as a second factor of authentication? For example a Yubikey[1].

It's slowly being adopted by major players, Google, Github and LastPass to name a few.

[1] https://developers.yubico.com/
Do you accept PayPal payments?
Even if everybody eats twice as many animals as they do now and moves further away from their workplaces, Earth will remain a more livable place than Titan. Maybe that isn't true if we kick off a nuclear war, but it probably still is.

Global warming? Titan's atmosphere is literally not breathable, and the outside temperature is colder than any place on Earth.

Food scarcity? Nothing grows on Titan. If you're growing it indoors you might as well grow it in your underground bunker on Earth.

The only way in which a colony on Titan could be less dangerous than Earth is from other humans trying to kill you -- the argument basically turns into "Let's escape the assholes trying to kill us." Even then, it'd be easier to make an Atlantis underwater (or any number of less far-fetched ideas) than to get to Titan.

Never mind how elitist and utopian and short-sighted the "get to Titan to escape stupid people" argument is...
Java's type system is _sound_ as it guarantees that you will never use a variable of one type as another incompatible type. That is the soundness guarantee, it cannot get stronger than that as the langauge allows down casts, and those are fundamentally unverifiable at compile time. Therefore the soundness of the complete type system /must/ consider the runtime behaviour.

This is literally a "the type system is unsound if we don't consider the required runtime semantics of the type system" paper.

Even ignoring this, the example they give is something the the typesystem correctly rejects, but what they want is a compile time failure that should be possible. I would say the if anything this is a compiler bug.
Because they bought their computers 3 years ago when you asked why anybody would ever need more than 8gb.
Sorry, I don't find the MagSafe fantastic at all, at least not in the MagSafe 2 incarnation. The thing detaches far too easily for my liking, leaving me ever more frustrated. It's the only thing I dislike about my 15" rMBP