skysight-inc/HackerNews huggingface dataset:
The speculation about cryptocurrency valuations is a great example of how bad people are at dealing with radical novelties. People spout meaningless analogies, be they about decades old market crashes or centuries old speculative frenzies like tulip bulbs, as if they apply here when clearly they cannot.
Author of deeplearnjs here. We hear you, and we 100% agree. Stay tuned.
Compute shaders are not supported in webgl, but is possible to perform vector operations by rendering to a texture with the fragment shader. It's basically a hack. The trick is rendering an image without putting it on the screen, storing arbitrary data into the pixels. This has limitations, but is actually good enough for many vector and matrix operations.
I believe this method was even used with desktop opengl when gpus were first being used for general computing and didn't have more flexible apis yet like opencl/cuda
Know where I can still watch both Youtube and Amazon Video? On my ten year-old Playstation 3.
JavaScript and Functional Programming – Pt.2: First Class Functions
> How can you do a compile time check on data that has not entered the system?

You would have to supply proof that your types are correct; when you have a value who's type you'll only know at run time, you'll need to perform case analysis to bring additional info about the value's type into scope in the respective branches. To make concrete what I'm describing here, I'll use Idris's ++ (concatenation) as an example, which provides an inductive proof for the length of the resulting vector:

(++) : (xs : Vect m elem) -> (ys : Vect n elem) -> Vect (m + n) elem
(++) [] ys = ys
(++) (x::xs) ys = x :: xs ++ ys

The first line is the type signature, which claims that the length of the resulting vector is the sum of the lengths of the two argument vectors.

The second line pattern matches on the null/empty constructor of the vector, and then returns ys. By pattern matching on the null constructor, we know that m == 0. We also know that n == length ys (whatever that may be). We know that 0 + x = x, so if we apply that to this case, we know that:

length ([] ++ ys)
== length [] + length ys
== 0 + length ys
== length ys
== n
== m + n (because we know m==0, and 0+n==n)

... so the compiler is happy here.

The third and final line pattern matches on the non-empty (or cons, if you're a fan of Lisp) constructor. If this pattern applies, then we can make use of the fact that length (x::xs) == 1 + length xs. Of course, that that implies length xs < length (x::xs). That permits us to apply our induction hypothesis to the (xs ++ ys) sub expression, which tells that length (xs ++ ys) == length xs + length ys. Putting all of that together, we see that

length (x :: xs ++ ys)
== 1 + length (xs ++ ys)
== 1 + length xs + length ys
== 1 + (m - 1) + length ys
== m + length ys
== m + n

That concludes our proof by induction[1].

Note that this proof is checked completely at compile time, and that it is still valid in the face of types which we won't know until we run our program.

That's what dependent types give you.

Here's an example that would not compile:

(++) : (xs : Vect m elem) -> (ys : Vect n elem) -> Vect (m + n) elem
(++) [] ys = ys
(++) (x::xs) ys = x :: x :: xs ++ ys {- !!! note that I cons x here *twice* -}

In conclusion, your library sounds like it could be an excellent way to provide smart constructors; at the same time, it's important to not conflate smart constructors with dependent types. I would urge you to continue developing your library, though I would recommend switching the name to something that's more indicative of what it actually does. That would have the additional benefit of not confusing people who read your project description and are hearing about dependent types for the first time.

[1]: https://en.wikipedia.org/wiki/Mathematical_induction
I would pay to access BBCs original content as it is broadcast. Now a VPN provider gets the money instead. A real shame.
Is it really the mindset in the current decade that those that "vote with their money" put any more consideration into their decisions than those that "vote with their vote?" AKA very little whatsoever?

I only ask because most of what I've been reading has assumed the market is irrational.
He's not suggesting the markets are imaginary, simply suggesting that there isn't a backing asset to stabilize them. Sure people buy counter-strike skins right now but there is very little reason to believe that the current version of counter-strike in which these skins exist will be popular in perpetuity. At some point people will move on from the game, maybe even to the next version of counter-strike... at which point those assets values will decrease significantly. Just like people moved on from beanie babies, and just like they'll move on from crypto kitties.

To suggest that these things are anything other that highly speculative is intellectually dishonest at best, gambling at worst.
Exactly, for most people they want the OS to get out of the way. Microsoft never seemed to get that. Constantly interrupting.
Not a lie, supported third parties for my voting life as it's clear the system is a broken joke. Voting Hillary in wouldn't have created a liberal paradise, just changed the details of the mess we are in.
Should the minimum age for social media be 18? The minimum is current 13, per COPPA.
> A tween's underdeveloped frontal cortex can’t manage the distraction nor the temptations that come with social media use.

Can any of us? Personally, I have to resort to all sorts of tricks to keep myself from spending far too long browsing social media feeds. They're frighteningly good at what they do.
> State tax deduction does not really have such goal

State tax deduction has an even better goal: avoiding discouraging tax and spending decisions that pay for themselves and provide additional returns before considering federal tax distortions.
Good thoughts. That does get muddy. I wonder how long though until AWS Included service comes around that allows data in and out on partner networks to be uncounted for any AWS customers of business using that service? That's a hypothetical of course, but I could see it.
they were never good at each other. To have the best of two worlds is to have one Chromecast and one Fire TV. At least I don't need an Apple TV nowadays because Chromecast is good enough for local streaming and some occasional mirroring from Mac (although not the same quality as Apple TV).
It used to be that putting a video on YouTube guaranteed it was available on basically any device anywhere. I guess Google is ruining that too now.
But that's still a lot of Americans, regardless of the language they speak.
It's super sad to me, that the only convenient cross platform way to do deep learning is a hack on top of JS.
In Comcast’s case, the congested pipe was just the connection between Level3’s network and Comcast's. Level3 and Comcast had an existing settlement-free peering agreement (no money paid in either direction), and Level3 wanted to keep it that way, but Comcast wanted to start charging Level3, arguing that it was sending it far more traffic than it was receiving. Level3 argued that it shouldn’t have to pay because (most of) that traffic had been requested by Comcast customers in the first place.

Also:

> [Level3] tells me that it actually offered to give the necessary hardware to Comcast (at around $50,000 per port) and that it offered to do "cold-potato" routing deep into Comcast's network, dropping off streaming traffic near the customers who requested it, for instance.

source: https://arstechnica.com/tech-policy/2010/12/comcastlevel3
4K Blu-Ray can have bit rates in excess of 100 mbps. There's likely a lower bit rate (and far more compression) with most streaming services.
Just wondering, is your FastMail login email the same email as what you typically use?
Est! Est!! Est!!!
Also being discussed at 'Google Is Pulling YouTube Off the Fire TV and Echo Show' [1], posted two hours prior.

[1] https://news.ycombinator.com/item?id=15855198
Or just use a device and content delivery platform that isn't developed by a content producer... like Roku, Kodi, etc.
It's called Nvidia Shield - Chromecast with access to Amazon.
All of their reasons why social media is bad for middle schoolers are all highly relevant to many/(most?) adults I meet. Not sure if that says great things about middle schoolers or bad things about adults.

In my experience, parents like these that need to turn their child into an “other” and can’t see how their own behavior is very similar if not the same as the child 20-30years their junior, are just really bad parents. They’re very oblivious. Maybe that’s why they have to write these articles so they can try and signal to people that they aren’t as awful at parenting as they truly are.
The Google-Amazon spat has left more customers caught in the crossfire
Wait for another 6 months, and we may have "yet another build tool" again
No, 2018-2019 is not possible. The instruments are not built yet!

There's a limit to what money could do to accelerate. Engineers are doing trade studies literally right now - here's an informal progress report given in October to the Space Studies Board of the National Academies of Science: http://sites.nationalacademies.org/cs/groups/ssbsite/documen...

Hopefully that is reassuring that it's not just an academic exercise! Earliest launch date is listed there as 2022 (page 3).

These studies are needed to be sure that agreed-upon science objectives would be met by the instruments. Here is an old Europa STM (science traceability matrix) that lays out the measurement goals (https://solarsystem.nasa.gov/europa/docs/Clipper_Trace_Matri... - compare around page 16 of the above presentation). The current STM will be much more elaborate.

The trade studies and experiments now underway are directed at checking these off or saying why they are not attainable. In particular, note (pg. 14/15) the multi-pronged approach to assessing the moon. One of the pieces is the plumes that are emerging from the surface; how do you locate and sample from one of the plumes? Do you need some on-board software to find them? If so, what sensors does it need?
While I think I agree with the title, I didn't find the content of this post to be particularly useful.

Does anyone have effective strategies for getting the kid to not want to use social media as much?
Until Google just decides to ban older players.
Bullshit. I had unfiltered access to the internet as a kid and I absolutely used it and it contributed to my personal growth like nothing else. But my parents limited my PC access times and that only held me back. Do not delay your kid's internet access. Don't stalk your kids - give them room to play around and make mistakes. Don't follow their every step and install spy applications - you will forever destroy their trust. The internet is a place where you can meet incredibly interesting people and it is a place where you can get unlimited free education. As a parent, you would be stupid to hold your kid back! The only rule I had as a kid was: "Don't give anyone on the internet our names or address or any personal information like that."

But most of all: Do not expect or even force them to live the ascetic life you couldn't even dream of living.
Dear Mr. Schneiderman:

There are many places where I can get faster internet from my cell phone than I can from DSL or independent ISPs. How do we get ISPs to invest in faster internet (such as gigabit FTTH)?
Could you please reference what it was the courts struck down related to Title I enforcement? This is news to me and I'm very interested in a more complete view of things.
A Data Detox for a healthier, balanced digital life
There are no such retests going back 50 years. "The IOC can hold the bottles for up to 10 years, and can thaw the urine for a retest any time during that window." [1] After that window, it's gone.

https://www.usatoday.com/story/sports/olympics/2016/05/22/ho...
I've got one of those, it's a piece of crap. I mostly use my Apple TV.
Yes, I've actually run part of the internet for around 16 years.
A GED is not a high school degree. But if you are recommending that police officers should not carry guns until they learn how to de-escalate situations, you might be onto something.

However right now, a GED and 26 weeks at the OPD academy gets you a gun, a license to kill and a starting salary of $69,912. And that license is valid on day one, not 12 years later.

BTW, I live here. We went through three police chiefs in a week due to the coverup of officers sleeping with prostitutes. They should fire the department and start over.

Except that there's a union. You know, the good sort of union.
Nah, it'd basically be impossible to enforce, and usage of it in moderation seems perfectly fine. I mean, how many people do you actually know who care about COPPA or the age restrictions associated with? Probably not very many; even in the olden forums of internet forums most kids just said they were in their 20s or 30s and skipped past any terms and conditions.
Vote in every election, just never for an awful choice.
So are you saying that Xi's predecessors would have handled the situation in a more "liberal manner?"
Or you could read short book on game theory, think for ten minutes about perverse incentives, and get to the same results without the conceptual diarrhea that Yudkowsky insists on. Why he had to try to drag a concept of free energy into it with no justification, I don't know.
NN regulation is not at all the "natural" state, which is why I think its a bad idea.
Dear Mr. Schneiderman:

If a video steaming service (such as Netflix or YouTube) installs a "appliance" or "cache" to provide faster video to a certain ISP's customers, do you believe that violates net neutrality, and if so, why?
"The real-time ‘Just-In-Time’ transcoding emulation that converts x86 instructions to ARM is done the first time you run the software, and then it’s cached by Windows"

Still sounds like emulation to me. It's a pretty fine line.
The Anonymisation Problem
Not sad - this is the beauty of modern JS.
>Amazon removing the Chromecast from their store was, if anything, verification at the Fire TV was not a product that could succeed on its own.

Did anyone ever think otherwise? Content is king. Fire stick is just a raspberry pi with half-ass UI built in
The law in our country requires federal agencies to provide every citizen with the right to notice and the opportunity to have his or her voice heard in policymaking. We now know from my office’s investigation and other reports of major flaws in the current proceeding that our citizens have not been given the opportunity to be truly heard, because the real voices are being drowned out, negated, or undermined by fake comments, stolen identities, and other irregularities.

I disagree with those people who call the comment period a mere “PR gimmick.” For approximately 70 years America has had laws requiring federal agencies to provide citizens with notice of certain policy changes and an opportunity to make their voices heard. The last time net neutrality was up for consideration, the FCC received an outpouring from the public in favor of Title II net neutrality protections, and the FCC ultimately adopted those rules.
Seems like a tit for tat thing here with multiple back and forths - but who started it?
That's not it. I don't want Facebook comments embedded in my blog. I want comments that were made on Facebook to appear on my blog's native comment system. Outside the walled garden.
This is one reason why the Roku is such a great streaming platform, they're neutral.

You can receive VUDU (Walmart), Prime Video (Amazon), and YouTube/Play Movies (Google). The only thing you cannot receive is Apple's ecosystem (but no non-Apple streaming hardware can as far as I know). Same reason why Spotify is so prevalent, they too are neutral in this war between titans.

I have no sympathy for Google or Amazon in this particular situation since both have a track record of blocking out competition when they can. I do have sympathy for customers who get caught in the middle of these little disputes.
Well there are ARM laptops that cost 500$, and they're still not super fast.
We have that situation quite a bit. We like the product, have the money, just need a quote and way to pay and the answer is often "Not so fast. First you have to watch a 60 minute demo by our sales rep, then we need to discuss your needs". Just take the f...ing money!!!
If only Net Neutrality went both ways...
> They have been deductible since the creation of the federal income tax. In part, because the federal government recognizes that resources are more efficiently allocated locally.

Perhaps more to the point, not deducting them mathematically creates structural incentives for inefficient local decisions.
Maybe. There's something like a conservation of interest. The best posts often have very tedious comments. The best comments are often corrections to incorrect articles.
Can we advance some kind of peace treaty?
Google's philosophy is to "put users first and the rest will follow" [0]
Amazon wants to be the world's most customer centric company. [1]

- [0] https://www.safaribooksonline.com/library/view/the-google-wa...
- [1] https://www.amazon.jobs/working/working-amazon
The legal authority to regulate the telcos is partly based on their common carrier status, which is the exactly the regulatory category that Ajit Pai wants to remove from ISPs.
Curious, is this a violation of net neutrality? This seems even worse for the consumer than simply having to pay more. At least then you still can get access. Do we clamor for the government to come regulate it?

Be careful when considering this so as not to be inconsistent with your reasoning behind NN for ISPs.
This can be enough for me to consider leaving depending on how it's fixed.

This response says absolutely nothing about how the vulnerability is prevented in the future. It's just a bunch of vague promises and mumbo jumbo. What specific procedures are in place to prevent it? At a minimum, I expect to see something specific like when you guys almost lost your domain because of Gandi [1].

And even then, can I have an option to select absolutely no human intervention possible? Having any human intervention is simply not acceptable.

I already have multiple ways of recovering my account, and I never, ever want human assistance on this. I use a password manager, and I will never, ever need FastMail assistance on login.

[1]: https://blog.fastmail.com/2014/04/10/when-two-factor-authent...
So much for a free and open internet.

Just a week ago, Google was among among the leading tech companies fighting for people against censorship and arbitrary blocking, and now this...
What did Amazon do?
Interestingly enough, my Blu-Ray player lost Youtube access at some point because the vendor stopped pushing updates and Google changed the API.

I don't blame Google, nor do I blame the hardware vendor - I don't expect my devices to receive software updates forever, and I don't expect Google to keep the same API forever either.
This is just the beginning :)
Still use mine for media streaming all the time. Great interface, no ads, free internet access.
UC Berkeley students are getting married to save thousands in tuition
The almost equivalent is always the scary part. Is there a guarantee that there is no technical difference between the draft and final standard? From your reply, it seems, it is intentionally not specified what exactly are the differences to force compiler vendor to buy the standards. But then the one using a draft is always scared there is one thing different which he has not looked into and this is causing problems somehow.
The government has always had contempt for people under it. There has been a constant violation of rights that people have had to fight against since the creation of the United States.

The government seems to have wisened up and is now trying to remove people's ability to fight back
80Year Old Wooden Escalators Repurposed as Sculptural Ribbon by Artist Chris Fox
Chromecasts are a non-starter for families with children. How are they supposed to stream to the TV when they don't have a phone?
> I think one of the main reasons Qualcomm hasn't been able to match Apple is that Qualcomm has to optimize its chip for a variety of OEM needs.

This just makes no sense at all. So you are saying some OEM's want slow chips? No, of course not. Or are you saying that Samsung S8 has different needs to LG V30 or to the Google Pixel? No, of course not. There needs are all the same.
This is an App, not a website.

You're still free to browse YT on a Fire TV, but Amazon decided not to include a browser to prevent you from doing so.
No, Google's philosophy is to put Google first, and that's exactly as it should be. Everything else is just marketing to make their users believe they matter.
I've done something like this before:

> id = flag.Int64("id", -1, "ID of the thing I want")

Obviously that doesn't work for booleans, but you could take the boolean input as a string and then use strconv.ParseBool
I honestly came to this idea on my own. That it actually exists is cool.
And even though it's not a focus, Roku still has a perfectly usable Miracast/WiFi Display implementation that works with any Miracast source. I've used it successfully from both my android phone and win10 laptop.
Check out our roadmap: https://deeplearnjs.org/docs/roadmap.html (we are working on eager mode / define-by-run computation)
Size aside, I tried installing Win10 To Go on a USB 3 flash drive recently (just a typical 'high speed' flash drive, not the external eSATA drives they certify) and the performance was beyond unusable. I can't imagine anything would run off an SD card.
Exactly right. I bought a roku last week for this reason. I support vendors that believe in openness and inclusion.
> what a good decision would be, but that is not the concept that needs explanation

It is subsumed in this work that good for baseball is winning games, and if you look at some of the references, it is taken for granted that there are ways to rank the possible results on some scale of efficiency or effectiveness. I would certainly question this.

Some of the references study the huge money-eating monster: healthcare. Here is a simple non-controversial problem -- look at all the healthcare systems in the world and rank the 10 best in order from best to worst by efficiency, effectiveness or ???

Even in baseball, there is no way to rank results. Some years, some teams have had very low winning percentages but much higher profitability than in other years. When I studied economics, some very good economists like Vernon Smith and Roger Noll took an interest in sports and particularly baseball. A standard assumption then was that there was an optimum winning percentage at which game attendance would be maximized, around 60% to 70%.

Baseball is a good example of the difference between short-term and long-term objectives, too. The winning vs losing equation is viciously zero-sum, and almost any innovation will be copied if it succeeds in the short-run. This leaves about zero long-term incentive to innovate. The real questions are: What kind of game do you want to play? What kind of game do people want to watch? What kind of job do you want to have? What kind of relationships do managers want to have with their unwashed workers? Which stakeholders will the firm respect?
The war we were all waiting for has begun. I am going to grab some popcorn and watch it on my Roku.
Vote to change the game!

America's obsession with personal responsibility is unhealthy. Although in this case I would agree that Bill Gates was privileged enough to not need to do what he had done.
I may be wrong but Google can block itself from being shown on Roku right? It seems weird to call Roku neutral when it's not them but Google calling the shots.
China’s Citizen Score Could Herald New Global Data Based Caste System