skysight-inc/HackerNews huggingface dataset:
As tatterdemalion's top comment in this thread states, the deliberate restrictions imposed by the Rust compiler prevent type-level programming from being used for the arcane tasks that TMPL achieves in C++. To say nothing of the fact that Rust has far easier and better ways of achieving metaprogramming than abusing the type system...
As a language designer, Turing complete type systems are scary to reason about semantically. In the best case, they require magic numbers to restrict recursion, and you have to ensure those numbers are applied everywhere necessary. A source of early scala bugs, for example, was finding another case where recursion limits needed to be added. And this wasn't code that was designed to stress the type system!

In the worst case, they just require way too much thought on behalf of users reading and writing the code. Amount up expressiveness often leads to type errors that are not very easy to understand, or lead to type errors that occur under very strange conditions.
A practical definition of Turing complete is any language that can exercise the full capabilities of the computer.

Given any two languages can do so then they are in fact, interchangeable.
> Source engine games with OpenGL rendering often outperform Windows.

nah, not really, only dota2, because has no wrapper, at least for valve's source games.
The idea is to avoid people assigning bias: I.E. If something is said to be Mk 1 and Mk 2 people are likely to desire the Mk 2 despite having no practical basis for that.
From Russia, with Panic
I'm also curious as to the nature of the products in question.. the only thing I can think of is knockoff and/or mislabeled products. I'm not sure what to think without the nature of the author's product in question.
If financial incentives for developing self driving technology vanish, it's never going to be developed .. it's very expensive to develop.
But if those deaths were to occur tomorrow, absolutely the ends would justify the means. There's no judge in America who would kill 10k people tomorrow just to do justice to Uber. But because those are in the future (and as you say, hard to prove now), it's not even considered. But they're real deaths of real people.

There's going to be a year when self-driving cars become ubiquitous and deaths from cars drop to almost zero. The previous year, many thousands will die in cars. Those deaths are avoidable by pushing this agenda forward, and preventing Uber from moving forward hurts the agenda.
Cock Fighting 3rd Knockout funny game
Oh you Americans, always jumping right down the slippery slope. There's a whole spectrum of strikes and civil disobedience between here and there. And no, the Trump supporters are not the only ones with guns, even though they have been gearing up for civil war for longer.
Oh, I didn't mean to imply that it didn't work, or there were shortcomings in the platform... only that sales haven't been great (think Steambox, etc).
I would diversify my sources. i.e. Sometimes it takes seeing the same thing reworked in another book or in lecture instead of a book to 'get it'. The general rule of thumb is you need at least 3 different solutions or approaches to a problem to really be able to say you know "what's going on."
Privileging theft in this area by not punishing Uber discourages the further investments necessary to develop the technology so that those lives will be saved, setting things back more than any punishment to Uber would.
Reminds me of "The Eternal War", the 10 year old Civilization 2 save file from a few years back:

https://www.reddit.com/r/gaming/comments/uxpil/ive_been_play...
He needs to stop ruminating about getting "more info".

The issue was escalated and investigated. Amazon won't budge.

What does he expect? A dinner invitation from Jeff Bezos?

There are final decisions in the world. A Supreme Court ruling. A girl you're infatuated with saying she wants you to leave her alone. And this support ticket resolution.

Proceed at own risk. No good thing will ever come out of it.
They don't say how, but I assume like all of us they moved to a motion-blur friendly time-based BVH. I'm surprised this only recently came up for Blender!
> That's a straight up violation of the Hippocratic oath

So is abortion. And, so we're clear, allowing or in any way approving of abortion as a doctor is a far more direct violation of the Hippocratic oath than this is.

> How do you address this with policy? The same way we should be addressing inequality right now.

You mean not at all ?

I've realized though that doctors and pharmaceutical industries don't need to do anything other than save sick patients to make us utterly dependent on genetic modifications. Genetic treatments do not transmit from parent to child. So every parent you treat, the children will need to be treated as well. In some cases all of them, in other cases the chances are simply increased a bit of needing the treatment, which isn't much of a difference.

Even that is ignoring what happens when actual improvements over normal humans become available as genetic treatments. 1% bigger brain ? There is quite a bit of studies that give the impression that on average brain size does correspond to intelligence, even if there are no guarantees in individual cases. It should be an easy change in the DNA to make it a few percent bigger.

So really there's a number of choices we can do:

1) genetic modification is only allowed to be used to cure the sick

This results in the whole population becoming dependent and hostage to genetic modification. Slowly at first. Then, when we learn how to optimize humans, very rapidly.

2) genetic modification is available for parents to create embryos

This actually results in slower dependence: diseases get eliminated, including in the gametes, and any treatment does not need to be repeated in children. Still, improvements will create a class based society.

3) genetic modification is free, and not optional, at least for certain ailments (like vaccines)

This would rapidly eliminate dependence on genetic modification and would be much more fair towards everyone.
Huh? There isn't a last number you've written after two minutes. You've written them all, but there's no terminating one.
Chrome does not use one process per tab: open the Chrome task manager and you can see how it groups tabs by which process they are within.
if anything kills python or ruby it'll be golang or erlang/elixir ..my money is on Phoenix Framework / Elixir eclipsing a lot of the ruby on rails environment -- a lot of core rails devs have already begun building all new apps in Phoenix. I haven't really grokked elixir yet, but it's on my todo list someday when my day job eases up a bit.
Banach-Tarski isn't so much evidence that infinity or Choice is wrong, as evidence that the reals aren't a particularly good model of the real world.
Remix (YC W15) is hiring engineers to make better cities
Yes, for the concepts. Just like it helps to know relational databases, even if you always use an ORM in practice.

It is debatable if Datalog is enough or if cuts et al are worthwhile.
Is there a rogue like framework where you can just build the maps / text / etc? Kind of like never winter nights for rogue
A little-known iPhone feature that lets blind people see with their fingers
I don't think you're that far astray, but you might be missing one key factor. There is a concept in physics called the spacetime interval, which can imply one of three kinds of separation: Timelike (events which can be causally connected, i.e. events which are within each other's light-cones), Null (the worldlines followed by photons), and Spacelike (events which are causally disconnected). For an easy example of "Spacelike", anything within an event horizon has a spacelike separation from anything beyond that horizon (an extreme example).

However

What if you could connect those regions with this "warp drive"? You could create a causal link between regions that would otherwise be causally disconnected. You could carry information from the past to the future, or visa versa. You could essentially ignore the very fabric of spacetime.

Now... maybe that's possible, but I doubt that it's possible in the context of warping gravity. If M-theory is correct in some form, or MWI is correct (basically any multiverse theory) then maybe you could do it. After all, if the universe is a lower dimensional structure embedded in a higher one, you could imagine traversing those spacelike separations in the same way that you could do things in 3D that someone bound to 2D could not. That however, depends on so many "if's" that it's basically magic.
Maybe? It's been a popular discussion lately, across multiple posts.

https://news.ycombinator.com/item?id=13751510

https://news.ycombinator.com/item?id=13726186

https://news.ycombinator.com/item?id=13673925

https://news.ycombinator.com/item?id=13695894
You're probably going to be waiting a looooong time for that last piece. :)
It's always a "small subset". A "small subset" is rabidly anti-abortion. A "small subset" thinks women should be subservient to men, wear burkas, or stay at home and have lots of kids. A "small subset" thinks the Earth is 6000 years old. A "small subset" thinks that it's just a matter of time before the End Times. A "small subset" thinks that Shia/Sunni is apostasy. A "small subset" thinks gay people are evil, thinks that people shouldn't use contraception, etc... etc...

It's always these little small subsets hiding the allegedly "vast silent majority", but unfortunately they add up, they fight, and they ruin it all for the rest of us. I don't worry about the physicists with faith, I worry about the other 99.9999%.
Cantor's theorem is better stated as "Let X be infinite. If f: powerset(X) to X, then f is not injective.". This is completely uncontroversial, and its proof is by diagonalisation in a context where it really does intuitively "just work". Set X to the naturals, and prove that the reals are equipotent with the powerset of N, to obtain "the reals are uncountable".
It also tells us that Wikileaks is (still) important
How can you personally verify that any 3rd party service is doing what it claims?

Unless you're a security expert with plenty of time to comb through someone else's code, you're still relying on others to be truthful and competent. Even then you're relying on layers upon layers of software and hardware. Far too much for an individual to verify.
It seems that most people are completely in the dark when it comes to security, including myself, but there are some principles that should be unwavering that regularly get ignored again with every new iteration of "secure" software:

* If there is a weak layer in the stack, from the physical layer to to UI, then the system is not secure. Even if your messaging app is secure, your messages are not secure if your OS is not secure

* If the source code is not available for review, the software is not secure

* If you or someone you trust has not done a full and thorough review of all components of the stack you are using, the software is not secure

* Even if the source code is available, the runtime activity must be audited, as it could download binaries or take unsavory actions or connections.

* On the same note, if you do not have a mechanism for verifying the authenticity of the entire stack, the software is not secure.

* If any part of the stack has ever been compromised, including leaving your device unlocked for five minutes in a public place, the software is not secure.

I could go on, and I'm FAR from a security expert. People compromise way too much on security, and make all kinds of wrong assumptions when some new organization comes out and claims that their software is the "secure" option. We see this with apps like Telegram and Signal, where everyone thinks they are secure, but if you really dig down, most people believe they are secure for the wrong reasons:

* The dev team seems like honest and capable people

* Someone I trust or some famous person said this software is secure

* They have a home page full of buzzwords and crypto jargon

* They threw some code up on github

* I heard they are secure in half a dozen tweets and media channels
For security answers I let my password manager generate a Multi Word Phrase you can easily spell out in a phone conversation. Store those in my password manager under my account. Someone told me he had to go through a converstation with Apple Support spelling out 3 random 20+ characater passwords and it was a nightmare. I immediatly switched tactic.

Regretfully Apple has an annoying bug that the dialogboxes accepts 5-word phrases, but only remember the first 32characters, 3 words or something alike. Very stressfull when you’re trying to recover a password.
Except that there is a psychological component involved. The craving for another fix, I am told, can be incredibly intense, and the harshness of a reality you tried to escape from in the first place, does not really help.

From what I have read (all this is strictly second- to fourth-hand knowledge!), it is very hard to watch somebody you love (or just care about) go through this.
SandArt-Converts photos into sand artworks
It's not hard to demonstrate that apps are performing end-to-end encryption even if you don't have access to the source code. Reverse engineering this stuff is really pretty straightforward.
Chris's work is fantastic - I hope I'll eventually get to the stage of doing the same amount of dirty tricks that he's been doing.

I think we can get there eventually with respect to AOT (and frankly Chris is likely to get there first - as much as I have a general aversion to the JVM, the infrastructure they are getting with Truffle/Graal and now Substrate is impressive), but to solve the issue properly will take a lot of heuristics, coupled with getting some kind of agreement on various minor semantic changes to indicate compile time/runtime split.

I also really badly at some point want to analyze a bunch of Ruby code - as in crawl all the Ruby on Github big - to look for things like use of eval(), redefinitions of core methods, weird code loading tricks etc. to get an indication of how these things are actually used. Delineating what people actually do would be a big step forward in figuring out what to do about it...

I suspect, but don't know for sure, that most of the disaster-scenarios we've thought up involving Ruby sees little enough usage outside of people going "look what insane thing I can do with Ruby" that for some it may be better to just break code and fix it.
But theres a cost in re-minting the gold into a bullion, which if its the way of consumption that takes more demand it would end up costing more.

Its obvious whatever that such rules can hardly be enforced.

Sidestory:
Argentina had an issue with inflation making coins worth less than their metal, and the bus lines (which were coin operated) turned out to be hoarding coins for reselling.
I have only one and that is my website where I teach JavaScript + ReactJs. I cannot say that it is really profitable, but at least I get a bit out of selling an eBook as pay what you want. But it's nothing compared to the time I invest in it.

- https://www.robinwieruch.de/
That's not what it tells us. Encryption works to the degree it has always worked -- and cracking ciphertext has never been the weakest link -- but that's not the message we should be taking. The real message is often only evident in hindsight, years later, after it has been shaped, after the effects have percolated through the system and the effect on behavior becomes evident. It's non-linear system dynamics. The cause and effect are rarely obvious.
MTCNN Face Detection with Motion Trigger, on Raspberry Pi 3
Tell them to check back in a week and learn how much attachment you product has.
The long-term health effects of the drug are probably comparable to the long-term effects of eating a diet of sugar water and cheeseburgers. Both are likely to end your life messily, and young, and neither are worth fighting a war over.
I would love to pick up a programming side project at some point again. Right now I invest all my time to teach JavaScript + React on my website.

https://www.robinwieruch.de/
Thanks for the heads up, I've updated the gist.
A store for users that doesn't appeal developers ends up as an empty store with no use for users and Apple. I think that the point of this thread is that maybe Apple didn't set the right balance between the needs of Apple, users and developers.
Using wikileaks to leak falsified documents to make us feal secure would be so evil.
"The war on drugs is reducing the amount of labor available. If we follow the principles of supply and demand-- if Business Owners wants to pay employees less, then they want _more_ people to be available to work, and they also want those people to have lower cost of living."

If you suddenly have a lower cost of living you have increased your negotiating leverage. This often leads to higher wages.

Similarly, increasing people's desperation commensurately decreases their wages.

Penal labor is, incidentally, big business:

https://en.wikipedia.org/wiki/Penal_labor_in_the_United_Stat...
It may save lives if Uber is rushing their cars to market
It's engineering a viable cheap/quality solution for production that is the challenge being spoken of, of course. Research work only gives a starting point for that, and in this case it's other parts of the pipeline that were optimized to support the needs of motion blur.
Lots of frontend devs here on HN huh.
Why do people put hashes in their static assets filaname?
at least in the beginning, more likely then premediated spreading the seeds is accidentally planting in dung, if you know what I mean.
That's probably one of the best introductory guides to C++ template meta-programming and constexpr. The syntax tends to immediately turn people off but this blog post does a good job of simplifying it.
It's not just that they're performing encryption, but also assurance that (1) they're using the keys they declare and (2) they aren't sending other data over unannounced side-channels.

You can't just insert yourself in the message stream since the client and server use pinned, mutual certificate authentication. So you have to start from first-principles and step through decompiled code.
Allowing Uber to move forward may mean Waymo takes much more time to develop this tech (since they'll be paranoid about any leaks), and meanwhile Uber burns out as many predict. Now allowing Uber to move forward is the killing action.

In the end, we can't know the future, so we use principles that are supposed to lead, by and large and on average, to better societal outcomes. Now, we can discuss specific principles, but reading tea leaves is not useful.
Trump’s First 50 Days: Are his Secretaries strategically aligned?
However, it is getting at least easier to for a degree to opt-in to communicating in private over the Internet. HTTPS is easier to deploy than it ever has been, the Signal protocol seems to be holding up to scrutiny.

Hopefully one of the messages that emerges is that encryption is not scary and another good one would be that privacy is not deceitful.

The ability for the state to coerce you isn't going away though.
more likely the huge difference in the distribution of consumption in the population is responsible. I mean, no car accidents without roads
> So don't do that

Sure boss, I'll fix it. Would have fixed it already, if only nontermination wasn't the most unhelpful kind of compiler error message, ever...
The fastest way to land a tech job
Like JIRA, Confluence etc
>>> Okay so I invested 15 minutes of my life into reading your post, you mention "account" 23 times and yet you haven't said even once actually what you were selling

I came here to write this. Probably the most important bit of information is missing on purpose. Would be great to know.
It's confusing. Once when I and my wife were tourists in USA, we experienced the switch to Daylight Time three times.

First in New York City where we missed our train. Then another time in Arizona. We suddenly discovered a Sunday that time was off but luckily it was of no importance. Then a last time again at home in Switzerland, where we missed again an appointment.

I am not sure about Arizona. Is it really true that states might have different daylight times?
And then there's the Axiom of Choice and all that it brings. There's a Hamel Basis for the reals which is provably impossible to construct(since it's equivalent to AC).

Do you believe in the existence of things that are provably impossible to construct?
Donating "unused computing power" implies code gets transferred to the device for execution. Parts of the code may be under export control.
Traders using leverage means it's not a zero sum game.
My Breakfast with Elizabeth Bishop
It doesn't mean it's more safe. It doesn't mean it's safe. It just means it's complex, needlessly complex.
The Weird and Fascinating Story Behind Design's Iridescence Craze
>That seems a bit surreal. I sometimes read free-marketers who speculate that certain people are intentionally making the US Private healthcare system worse in an attempt to get socialized medicine. That's the first time I've read a suggestion that socialized healthcare was intentionally being made worse to push a private option.

In the US they are literally doing this right now with the post office. In the UK they did it with the rail network.

It's a standard part of the privatization playbook.
> What I really want is a custom
> font of my handwriting that wiggles
> each character just a little bit

About an hour ago, I replied to this with "You can use ligatures for that". Then I thought about it and thought "I'd better explain what I mean". And I was thinking of a system where you use characters near another character - even those up to two or three characters away, to essentially act as a random seed for the selection of a given character, using a very large number of pre-generated ligatures.

Then I thought: huh, that's pretty clever. I should look at patents for that.

Anyway: someone else got there first: read this:

http://www.underware.nl/case-studies/random-vs-clever/
> hard to prove now ... But they're real deaths of real people.

That's a contradiction in my books. I don't want to get into a metaphysical discussion of what "real" is, but I challenge you to say that things that may not happen are real. Example: Landing humans on Mars is not real.

> There's going to be a year when self-driving cars become ubiquitous and deaths from cars drop to almost zero.

Yes. I do agree with this.

> and preventing Uber from moving forward hurts the agenda.

This is not fact. I could argue that the greatest barrier to self-driving cars reducing vehicle deaths to 0 is legislation. I could then argue that the most harmful thing to pass that legislation is early, highly publicized failures of that technology. Finally, I would argue that of all the tech companies in a position to implement said technology, Uber is the MOST likely to push it too fast and cause a highly public, negative event (given their current cloud of doom). Therefore, I conclude that the most important thing to save lives is prevent Uber from implementing that technology.

But it's all moot because none of that is real. Just like your assertion.
Not the Danes apparently.

"The number of children born with Down Syndrome (DS) in Denmark has fallen drastically in recent years – so much so that the disorder could be a thing of the past in 30 years.

Since 2004 all pregnant women have been offered a DS scan – called a nuchal scan – and the number of abortions involving DS children has increased dramatically. Last year, 98 percent of pregnant women who were revealed to be carrying an unborn child with DS chose to have an abortion."

http://cphpost.dk/news/down-syndrome-heading-for-extinction-...
The CIA WikiLeaks dump might only tell us the breaking through other parts of the communication chain are easier than decryption.
Note that Denis Hassibis is one of the authors and that all authors are at Google, Deep Mind.

Without this I'd be quite skeptical of these claims but now I'm wishing for analysis from someone better qualified than I am.