skysight-inc/HackerNews huggingface dataset:
They would turn down the amount of encoding they do during peak streaming. They use their existing servers instead of paying for more servers to encode their Netflix Originals, but encoding isn't time sensitive so can just run on a "spot instance" when their reserved instances are under-utilised.

They'll need 4K, 1080p, 720p etc encoded versions ready for the release of the series, but they might have copies of some of the episodes ready for encoding a few months before the release, so can slowly encode them on their spare resources.
This quote about half way down largely unravels this article's central point:

> microphones only send recordings to the servers when you use the wake word.

This is a fact we can verify with tools like Wireshark. Their other point about "open microphones" largely ignores smartphones which all have open microphones and a baseband operating system which can activate the microphone to spy (which the NSA did[0]).

Their point about existing hacks targeting the Echo is also largely unraveled by a quote further down:

> This particular exploit only worked on devices made before 2017 and required the hacker to have physical access to the Echo.

Essentially if you disassemble an Echo and reprogram it, it will do something else. Compelling stuff...

[0] https://www.wired.com/2014/06/nsa-bug-iphone/
Reckoning on Sexual Misconduct Divides Women Over How Harsh Judgment Must Be
Fact: They had a 36% market share at the highest, so more than 1/3 of their users apparently could "spell" 谷歌。 What do you mean by "spell"? Pinyin? Many people from the generation older than 35 don't even know Pinyin. I'm pretty sure KaiFu Li knew how to market in China.

The rest of your message seems bizarrely nationalistic. How many engineers has Taiwan produced? I don't see how that's relevant to Google's market share, but Taiwan has a thriving tech economy, and TSMC is one of the world leaders in semiconductor fabrication.

I get it, you want Google banned from China because you don't want domestic Chinese companies to face free and fair competition. Great, that's a perfectly fine position to have, just don't act like Google didn't pull out of China because of interference by the government and that Baidu won because of superior quality. It was not a purely market driven decision and you know it. Also, don't complain if China is eventually punished by the WTO for trade protectionism, or if Western countries start punishing Chinese companies. It's already started: Huawei for example. The world might have been willing to overlook it when China was less well developed, but now there's no excuse for it.
That may depend on what's supported on the devices. I worked on smart TVs years ago and there was a large variability in what things could play.
It seems most people have a very anthropocentric view of intelligence, where intelligence could be defined as "acting like a human." So an AI is only really considered intelligent if it has a bunch of human like traits, which are unessential to intelligence.

A public image problem arises when people hear offhand about advancements in the field, their imagination runs wild with thoughts of omnipotent and vengeful machines, inspired by movies like terminator. They assume all researchers are actively working toward creating a human-like entity, like skynet.

Basically we have a looming public image crisis. Better informing the public about what real AIs are, and what they're designed to do, should help quell a lot of misplaced fears. When you remove the veneer of Holywood, you're left with a machine that's just crunching numbers on a dataset, which isn't very glamorous or frightening.
>A less contentious example is that when you see a big company doing something that seems bizarrely inefficient, maybe it’s not inefficient and you just lack the information necessary to understand why the decision was efficient.

This pretty much sums up a lot of tech news and the associated comments on such news.
If the word "loan" is in the name of the financial product, you are expected to repay. At some point we need to be upfront with high school graduate and tell them it is a bad idea to go study art history at a $40k a year no-name private college.
Past data is useful for building a personalized typing and autocorrect model from the get go. That's the key conviency vs. security/privacy concerns tradeoff for many if these keyboards.
I think the point many people are making is that "I will be replaced by someone willing to do this morally reprehensible job" is not an excuse for doing the job yourself, as that 1) increases the pool of people who are willing to do the job and allows more bad things to happen and 2) as people are not purely replaceable, it isn't clear that the Board of Apple will be in a good place to find someone as competent at supply chains as Tim Cook to replace him... particularly someone who is both competent and willing to play with China.
So, where are all the jobs for displaced people who happened to live in a gerrymandered, rigged state?
Thanks! You can find the latest amd64 binary releases here: https://github.com/adtac/commento/releases

About the docker part: I should edit that. I wasn't making point releases back when I wrote it and docker was the easiest way to get it running back then.
Easy solution. LET the students default. Seriously, if students could default like they can buying a used car there would be lower tuition and better attention to whom you give a loan to.
Amazon's Pop-Up Stores – include dynamic pricing and Echo integration
Why not. Sell your coin to tether to weather short term price dips and transfer between exchanges.... If tether is unsustainable long term, who cares?
Oh, that's a good policy. Wasn't aware since I use the stock keyboard everywhere.

I tried some alternate ones for swype style typing, but frankly they were all worse than the stock Google keyboard from my days on Android so I gave up on it and learned to type with my thumbs again.
He will pop up. I feel sorry for the guy, live streaming really fucked him up.

If only he never was given that drum set...
That's what banks do to manage their credit risk, they look at defaults rates "through the cycle", i.e. including the last downturn. But for new asset classes, like subprime in their time and like student loans now (if you look at chart in the article in term of growth), people have to make their own assumptions in term of how it will behave in a downturn. And that's where the credit markets can be really dangerous. These assumptions are what banks and rating agencies got wrong last time. And I think it is fair to assume that people under financial hardship will probably default on their student loan before they default on their mortgage (roof over their head) or their car.
I have to keep my eye on this, I never saw that history in so much detail. Great work!
Whatever excuse they present is invalid and just some dumb deflection to distract people from the fact that they just rootkited everyone's computer and got away with it.

If you want to make a system resilient just don't ship vulnerable ring -3 software.
Seoul is near the DMZ, probably closer than San Jose and San Francisco. One would have to take out their entire chain of command to prevent a retaliatory conventional artillery strike on the US bases near the DMZ and Seoul.
Sales Training – Sales Training Solutions
The big thing is having access to a big university, where students who attend that university want to stay local. BYU students are attracted to Utah, Georgia has enough universities that produce graduates who want to stay in state.

However, we aren't seeing the same happen with UIUC and the state of illinois or University of Michigan with detroit.
> Cook realized that his board or shareholders would fire him for getting Apple locked out the Chinese market (both for sales but also for the manufacturing). Not an easy position to be in.

They could conceivably diversify their manufacturing base, but that's a longer term strategy. Given Apple's reputation for control, it's conceivable that they're not as dependent on the Shenzhen ecosystem as your typical manufacturer. It doesn't have to be domestic US production, just not China.
A Less Lethal Device for Use by Police and the Military
Unfortunately the state of mental health care is somewhere between prison and a homeless shelter
and here I was thinking you were quoting RR Martin's Ygritte.
> We have too many people thinking it's okay to discredit scientists and scholars because they don't understand how research works.

And a similar number of people who elevate science to the level of religion, marching in its name and developing a brand of hero worship for scientists when they too know nothing at all about the scientific process. Both are forms of anti-intellectualism that are growing in our polarized political environment.
Wow, so the weapon fries Nork electronics and only Nork electronics? Weaponry from other nations as well as domestic electronics and infrastructure are completely unaffected?

Hmm. Somehow, I doubt it.
Great nostalgia for CompUSA comes over me when walking around a Microcenter. The one in NJ is 3.5% sales tax too.
This might be my inner Canadian speaking but in my experience, it is much easier to feel joy when a friend of mine succeeds than envy him.

I feel much happier when people in my social circle are well off and living a great life.

I have also found that helping those around me succeed, whether financially, or personally, usually improves my own quality of life in someway (not always of course).

I also fully agree that one should only compare self to oneself.

After all we are all unique

IMHO happiness is truly achieved when shared :)
New CFPB Chief Curbs Data Collection, Citing Cybersecurity Worries
Isn't ltcm an example of markets keeping a dumb, dumb, dumb trading model ungrounded in reality from going out of whack?
About resolutions, different resolutions can serve different bandwidths. Not everyone can stream crystal-clear HD at all times.
Most of North Korea's ICBMs are deep underground in elaborate fortified tunnel systems. Can this technology really pierce deep into mountains?
If satellites were not (for good reason!) extremely conservative, I can see a way to turn spy satellite into a deniable blinding weapon for about $10 of parts.
Bad, misleading stats. This is why you cannot take even legitimate news sources like BBC at face-value:

"Even on a global level, there is no clear correlation between a country’s productivity and average working hours. With a 38.6-hour work week, for example, the average US employee works 4.6 hours a week longer than a Norwegian. But by GDP, Norway’s workers contribute the equivalent of $78.70 per hour – compared to the US’s $69.60."

This paragraph links to this article on 'no clear correlation' but the article itself says the exact OPPOSITE--that there's no correlation between increased vacation and greater productivity: https://www.hongkiat.com/blog/vacation-time-vs-productivity/

Not only that, but while Norway is indeed #1 of GDP per hour worked, USA is #3 and countries like UK and Canada are a distant #12 and #13, suggesting this obviously does NOT have to do with 'working less': https://en.wikipedia.org/wiki/List_of_countries_by_GDP_(PPP)...
Read first page, then saw Page 1/7 and bounced... all about the page views I guess
No offense, but that's ridiculous. There's money owed here. The schools already got it, the banks are owed it. Someone needs to make that right, you can't just "forgive" debt without some party taking a huge hit. Which one?

I'm guessing the developed version of your proposal would be for the government to step in and make the payments to the banks. But.. that's ridiculous. If you want to throw around government money to reduce education burden, what you do is pay the schools directly by offering grants. You don't prop up the imbalanced loan system by making loan payments with tax dollars.
You posted the exact same comment a few moments ago in another thread: https://news.ycombinator.com/item?id=15853081

Both within minutes of the article posting.
On most platforms that aren't powerful games consoles or personal computers, the video decoding is done by proprietary hardware; these hardware decoders usually only support a few families of codecs and are difficult or impossible to reprogram.

Even if most things support, say, H.264 out of the box, each video decoding SoC has different quirks which means either A) the same encoding looks different on different hardware or B) the encoding fails to decode on different hardware, so even the same codec can have a bunch of parameters which can/need to be adjusted for different devices.

One smart TV might have a Broadcom SoC with a GPU which supports h.264 decoding like the Raspberry Pis do, an Android tablet might have a Mali GPU which can decode VP9 and HEVC, some weird older set top box which has netflix built in might only support MPEG...
The problem I really see is that we've dug ourselves a big hole. The safety net created for the banks were done to ensure that everyone could get a loan. Banks were "worried" that people would default on their student loans and run away with the money, even though this hasn't happened or is really rare. There was an unfortunate side effect that this incentivized banks to give out riskier loans. Couple that with telling everyone to go to college, kids that don't know what they want to do, and schools that are also seeking a profit, and you get a pretty messed up system.

The unfortunate part about this, is that I believe that if you remove the protections on the loans, many students now WILL default, because they have too much debt and are incentivized to do so, if they are one of the larger loan carriers. I'd say "bite the bullet, and that's what banks get for giving out risky loans" but we know that's not going to play out that way, especially since the gov owns a fair portion.

Making tuition free is nice, but the generation that took out loans isn't helped AND this does not reduce the college price problem. The price was inflated and there is no reason for them to decrease it. Kind of a parallel to health care here. That's the cost. I like this idea, even if I have to pay back my large loans, but I think the fundamental price issue also needs to be solved.

Giving a portion of your earnings is a decent method, but you already bring up the problem with that. And this also doesn't solve the price problem, in fact it encourages the price to keep going up. (We can even tangent into how schools are over charging gov for research, but I'll leave that for another comment)

Whatever we do, somebody is going to lose. And that's the problem with bubbles. We need to, as a society and government, decide who is going to lose. Problem is I think the majority of people think the banks [gov] should lose, for giving out such risky loans. But I don't think many politicians would agree. I wonder what the economists say.
The french privacy council just issued an official warning regarding cloud-based voice assistant. They recommend switching them off when not using them, and telling your friends you have one when the come over!

Not sure they will be GDPR compliant if it continues like that..

https://www.cnil.fr/fr/enceintes-intelligentes-des-assistant...
The fact that we justify a privacy breach by comparing to even greater breaches makes me so uncomfortable.
Both/and
1. Create Tethers out of thin air, claim they are backed by real US Dollar.

2. Buy Bitcoins with Tethers and tell people they get real US Dollars.

3. Push up the Bitcoin price until the general public starts to invest, depositing real US Dollars.

4a. Sell your Bitcoins for real US Dollars.

4b. Generate real US Dollar revenue from fees and operating an unregulated asset exchange.

TL;DR: why is the team behind Tether not proving the reserves? There is only one logic reason for this.
I like these things, the problem is that they all assume your spreadsheet is organized like an SQL table.
There is not any proven tech that can take down an icbm reliably.

This is reassuring
propaganda plain and simple.

If the US and allies could take down a rocket they'd shoot down every NK test missle just to make a point.

Absolutely delusional saying this system can take down consumer drones and then extrapolate that out to a missle that is travelling at speeds measured in machs.

Even with drones I don't see how this is more effective than radio signal and gps hijacking which can control a malicious drone rather than destroy it in place. Various companies already do this incredibly well, shoutout to D13.
Tigerdirect was sold to http://www.pcm.com/
China seeks to regulate `Wild West' of electronic sports
Yeah, and I don't get the "admits" part either. I wish HN would just ban these authors who needlessly polarize the issue.
The dream I have is to 'retire' early and contribute to open-source full-time. Hopefully I'll get there some day.
Three things stand out to me. One and two, some devices have hardware support for certain formats, and Netflix optimized for playtime (battery) and bandwidth so you have to handle all those.

Scaling a video on the client looks like crap and is slow. So you have to deal with all the fiddly screen resolutions, of which the distinct count used to be truly awful but now is much better. However you have to add tablets in which cancels out some of the gains in sanity.

On the bandwidth thing, I wouldn’t put it past Netflix to reencode popular movies with a more time intensive compression settings to achieve better aggregate bandwidth usage but not hold up new releases.
Parcel – A fast, zero configuration web application bundler
One other thought - there are people who serve less than a year in prison.

One scenario is that they get out before serving their full sentence. (I'm not sure on the details of how that happens, but I've read news articles about so-and-so who served 9 months of their X year sentence, and then got out for good behavior, etc)
If you really take privacy seriously why isn't the code that you expect people to run on their own devices in their own homes open source already?
Fraction reserve lending doesn't mean "for every 1 dollar deposited inside, bank can give away 5 dollars worth of credits to other people" - it means that if people deposit 5 dollars, you can give away 4 dollars of them as loans and only keep 1 dollar in reserves (as opposed to keeping all 5). It still has to have more assets than liabilities, except that some of those assets can be not available on demand, but loans to other people.

It does mean that a short-term run (e.g. if all depositors request all of those 5 dollars back) can be a problem, but it's a problem of liquidity (you have enough assets to pay all of them back, but they aren't available right now), not one of missing assets. Tether, on the other hand, has not properly shown that they have enough assets to buy back 100% of tethers to USD at a 1-to-1 rate; we don't expect them to hold 800m dollars in large bags of cash, but we'd expect them (just like a "real physical currency bank") to show that they hold 800m of assets backing this.
Discourse could be a nice alternative as it can be self hosted and plays nice with WordPress. [1]

[1] https://wordpress.org/plugins/wp-discourse/
> Don't worry, your salary gives them a way out too. And I'm not just saying that to be snarky, I think it's very likely what will end up happening: you'll end up paying for their poor choices one way or another. If it's not directly via taxes to pay off their student loans, it'll fund their retirement.

Social Security benefits, without any other retirement savings, puts you right around poverty level. I would not consider that "retirement".

Being a software engineer, who makes more than many other professions, doesn't automatically make you better for doing so. It just means you've optimized for a specific system. Congrats! The world still needs plenty of professions where the pay sucks and college is required (teachers, civil engineers, LPNs), that are arguably far more useful/noble/whatever you want to call real value. Consider that when you're sending your kid(s) off to school, crossing a bridge on your way to work, or are in the hospital being cared for.
My son just started Mountain View High School here in Silicon Valley, not too far away from the Googleplex.

I'll simply say that in all of the relevant words I've read from that school, nowhere was there any allowance for NOT going for some kind of college. It was kind of spooky.
Just curious as to how you got started into this? Are there any references you'd recommend. I have a typical Web dev background(+ some machine learning from college). Been investing in crypto for a bit and would love to learn and implement some basic blockchain concepts on my own. I've also been looking at Solidity.
Nootropics and Brain-Hacking: Hype versus Reality
SmartyShell-9000
I've been doing something like this, but cruder (no cookie) on my personal site for some years: https://lee-phillips.org/. I like to be able to decide if a comment is useful for my readers before including it on the page.
> Another solution is to let you go to school for free and then pay a percent of all your future earnings back to your college, or at least into a pool that pays for the next generation's college.

We could call it income tax :)
Can't tell if you're enlightened or institutionalized.

> Scholarly work really helps shape the way you look at life for the better.

Like what? What scenario did you encounter and how did your studies help you? Otherwise it sounds like a vague claim that every religious institution would make.
Those are two separate issues and it is only prudent that parents relive their children of crushing debt. Would you rather parents piss away their wealth on frivolities?

Passing on wealth is the hallmark of a wealthy society and it's rocket fuel that elevates us beyond destitution. Whether it is debt relief, real estate property, or arcane financial instruments -- passing on wealth to their children is the right of every parent.

The efficacy of master's degrees is unrelated to the social responsibility of post-secondary education funding. You might as well argue we all starve ourselves to pressure the government to do something about it.

The real issue behind student debt growth is payment, and with the US Government as a guarantor then growth potential is effectively infinite. Colleges will continue to feast unabated.
Does this library actually allow you to express dependent types or is it just for runtime validation? I can't see any examples in the documentation of a type depending on a value like the common

let v : Vect 3 Int = [1,2,3]

example.

There aren't many types shown in the examples but it looks like

let myNonEmptyIntSetOpt = [] |> Set.ofList |> NonEmptyIntSet.TryCreate

would just return None at runtime rather than a compilation error?
This startup wants to disrupt security deposits with cryptocurrency and microloans
The bigger issue is that all they do is promote their tech.

https://news.ycombinator.com/threads?id=oulipo
What feels so deceptive about the panic around student debt is the devil is the details. I think if you drill in median student loan debt for an UNDERGRADUATE is like $12k. That's less than a car loan and we don't have a panic about that.

Most of the debt is for graduate, PHDs, law and MDs or undergrads who attend expensive private universities. These people should make more money from that investment.

My point is overall average student loan debt or the overall outstanding amount owed is horrible way to look at it and talk about it. It creates an unnecessary panic.
Is Gold in a bubble right now? Because the current price of Gold strongly exceeds the intrinsic value of the material and it has been like that for a while.

Bitcoin has pivoted away from being a currency. Bitcoin is now a store of value, like gold.
NewEgg and Amazon. I've been piecing together my own PCs for around 20 years.

The last one I built is a few years old but it's still running like a champ. A full part list can be found at https://nickjanetakis.com/blog/the-tools-i-use#computer-desk....