skysight-inc/HackerNews huggingface dataset:
They have already spent $4.5B which are creating all of the batteries for the model 3.

They are pausing spending of an additional $100-150M until Tesla needs the additional capacity. They don't yet need it.

What a terrible title...
it's important not to allow age-based vocab to drift when you are talking about a woman vs. a man, but I think it's more contextual than you present it. there are plenty of males over the age of eighteen whom I would not refer to as "men". if you changed only the gender of these people, I would probably not refer to them as "women" either.
> Can anyone advise on whether it’s worth modelling general critical systems in TLA+ where they are not distributed?

Absolutely, and not just critical systems. Any system that is either complex or may have some non-obvious subtleties can benefit from a specification.

> In broad strokes, how does one make sure that your real system indeed behaves like your model?

In general, TLA+ can be used to specify very large and very complex systems. It is currently infeasible to mechanically verify with absolute certainty that systems of such size conform to a specification, regardless of tools used. The only systems that can be verified to such an extreme extent (called end-to-end verification, namely interesting global properties are verified all the way down to the code, and even to the machine-code level) are very, very small (no more than about 10KLOC), and even then require a tremendous amount of effort by experts.

Specifications should be relatively short and clear. They are therefore useful for stating your assumptions about the system, and then checking the consequences of those assumptions. Whether the assumptions are accurate, approximate or wrong can then be verified by inspection -- this is certainly feasible and commonly done in practice. There are also relatively cheap mechanical ways to check that the system conforms to the spec, but not with absolute certainty. One is called trace checking, and its possible use with TLA+ is described here: https://pron.github.io/files/Trace.pdf
Yes, a JS enhancement that weighs less than 30 KB. I’ll take that any day over a >100 KB React app.
You're just strawmanning now.
Same for me, moreover "cadres" tends to have a contract based on the number of days per year worked and not the hours per week
Bungie Blocks Xbox and PC Players from Equipping PS4 Exclusive Weapon
Realist in this context refers to the belief that quantum mechanics is an approximation of a deeper deterministic theory in which "god doesn't play dice".

The underlying theory should reproduce all predictions of quantum mechanics in the relevant limit, so it has nothing to do with human understanding at macro level.

Wanting to believe the laws of nature at the lowest level are deterministic is more like a religious belief than anything else at the moment because as of now, there's no experiment which shows that.

By the way, people who use quantum mechanics for practical ends tend to not care whether the dice is really real or "emulated" to give the exact same probability distribution, because to them, this is rather a philosophical question with no practical implications.
They call their preprint "Part I", but they don't seem to have published any subsequent part yet.

However, there already exists one preprint citing it:

https://arxiv.org/abs/1903.05168 "On the Pitfalls of Measuring Emergent Communication"
So why is the US requesting extradition now? He has not been arrested in relation to the rape allegations.
This is exactly the kind of comment that make these threads toxic.

Gender, like it or not, shapes the life experience of an individual. Why would you not want to have a role model that had a similar life experience to your own?

Except, inevitably, when a woman expresses that desire, it gets called "toxic feminism", and the justification is, wait for it: the personal anecdotes and experiences of a male.

I am shocked that in 2019 there is still so little self-awareness around this.
The Nintendo EShop Is Having a Sale, You Can Save Up to 66% on Some Titles
Show HN: Weight Lifting Algorithm Based on 5M Workouts
Gower St Analytics | Senior Software Engineer | London, UK | REMOTE (UK Applicants only)

Gower Street Analytics is a well-funded growing startup doing predictive analytics and data science in the movie business. We have contracts with major movie studios that are household names, and we’ve just closed a Series A level funding round.
Our stack includes: Clojure, ClojureScript, Python, R, JavaScript, Postgres, CouchDB, Docker, RabbitMQ, AWS, Terraform

These are 100% remote positions based anywhere in the UK, but you’re welcome to work from the London office part of the time should you choose to. We spend a lot of time pairing remotely using tmux, and are big on coaching and collaboration in general.

In return you'll get:

- Over London market salaries for on-site roles, even though we’re fully remote. We also contribute 2% of your salary to a pension.

- Knowledge about exactly how your salary is calculated through our transparent compensation ladder, and what you need to do to progress.

- Choose your own working environment - you aren’t forced to work in a noisy open plan office.

- Go to one “big” and one “small” technical conference each year. There will also be opportunities to go to film industry conferences from time to time, in places like Barcelona, Las Vegas, Miami and Hong Kong.

- Get Wednesday afternoons to work on self-directed projects, individually or in groups, with the aim of personal improvement and innovation of new products.

For full job descriptions check out :

https://gower.st/blog/2018/we-are-hiring-senior-developers/

Or to apply send your CV and a cover letter to techjobs+hn@gower.st
This is absolutely true since the minute they release the Helicopter video (aka. Collateral Murder). You haven't been paying attention.

Can't you see that we delve into insane details (cats, condoms, urine, smells), yet ignore prosecution for major things uncovered? By the way, the only one prosecuted for that whole accident was Bradley Manning. Even though the video clearly shows civilians being killed unprovoked and people laughing about it.

I mean, come on. This is just desperate attempt to control the narrative. It's pure old fashioned propaganda. That's it.
Fellow hackers,

After collecting an insane amount of data with my app Lift Log, I decided to design an algorithm that optimizes for accelerated muscle growth over a short period of time.

It currently outperform human trainers by 1-2x in the first 60 days of training, using a very simple algorithm. The opportunity to change how people, athletes, and soldiers train is huge.

We're cashflow positive, raised a small seed, and are hiring data scientists & engineers in NYC to hack the human body for efficiency.

Hope to answer any questions you may have!
Usually the motors are still mounted to the chassis with some type of halfshaft interface in those cars rather than being directly mounted to try wheels; there's just more of them
Senior Cloud Developer – Temp Contract in Sweden
You don't have to convince anyone, it's about incentives. The article and many others have shown exactly how to do this: make the metric a big part of search rankings.

If fast site performance ensures you get listed first, every site would get faster overnight.
There is no inherent reason that this is true, other than the fact that in order for primitives to be widely use they go through a open vetting process.
Whenever the government Al Capones someone, which ought to be a verb, it's a reminder to me that due to a legislative and prosecutorial discretion excesses combined with politics that those of us who aren't 100% squeaky clean are unjustly vulnerable to judicial creativity run amuck. If you've got a Snowden or an Assange you want to lock up with all keys thrown away, stick to charges along the lines of espionage etc; and if you cannot prove those charges, too bad - don't attempt to railroad them for paying a nanny under the table. Not that there's anything forgiveable about nanny tax evasion, but I'm bothered by byproducts of affording too much discretion in the judicial system.
24 seperate investigations, actually. Spending over $300 million taxpayer dollars. Zero indictments.
Leakers are insiders, they know what's happening regardless of the image perceived by the public.
I am skeptical of this consequentiality, but I recognize that it's an argument someone in the government could believe in.
Addams Family's great. Good middle-difficulty machine. I find the even-better-loved and similarly-laid-out Twilight Zone to be much, much harder, for some reason—I just don't get along with it very well. Some machines are more n00b-friendly than others. Some take it too far and are too easy (Frankenstein) but others hit a good sweet spot.

White Water mentioned by another poster down a ways is a decent starter machine—complex enough, plenty to do to keep you busy for a good long while, but not killer-difficult (Black Knight 2000 would... not be a good one to start with). Depending on how the it's tuned it can have a couple "cheap" drains but they're avoidable with good flipper handling—carefully catching certain returns rather than letting them bounce, that sort of thing.

Theater of Magic's good. Fun theme, doesn't just love to throw your ball down the drain all the time, tons to do, but you still have to be aiming & making shots or you won't get much done.

Medieval Madness has a nice, straightforward, fun theme and set of sequences. It's a bit like Attack from Mars, actually, but I'd call it the less fiddly of the two, if that makes sense.
Yes indeed, corrected.
I don't understand why this comment was down-voted; this is a completely reasonable perspective. Plus, it reminds me that I'm lucky in the projects I typically get to work on, that they still allow for creative coding in many moments.

If coding is your day job and you work on corporate applications, it's likely that you're on a team big enough to start discussing how things like React might be necessary and valuable.

If you're building a linear CRUD application, you probably still don't need Reactive frameworks, but you're in the right ballpark to be talking about it. Otherwise, history will not be kind.
> we can estimate how long ago the last common ancestors lived.

That is an estimate. That is not concrete evidence. Since humans don't live long enough to observe major evolution then it takes just as much faith to believe in evolution as to believe in other theories.
Sudan’s leader toppled after 30 years of rule
>I recently made a 1600 mile trip by car. In all of the places we stopped, I saw exactly one place that had EV charging set up.

I made a 2800 Km (5 days) trip through Italy a few months ago, it was a breeze with SC and abetterrouteplanner.com, never had to wait at chargers. To give you an idea what kind of roads we travelled: http://666kb.com/i/dxjj2jkx7h0uvhmmg.jpg

Range anxiety: 0. Cost: only road tolls. I can imagine range anxiety and charging costs being an issue with other brands of EV (non-Tesla chargers in Italy are often horrendously expensive) and of course there's more planning involved than with an ICE, but for Tesla owners, this has been a non-issue for quite a while (at least in western/central/northern Europe and most likely the USA).
Einstein's paper to disprove Schwarzschild singularity
NB: from 1981
A couple of months ago I had to implement a drag and drop thing from scratch in React and I really missed jQuery.

Reactive data with vdom is nice for some use cases, but sometimes the best solution is to manipulate the dom directly.

Does anyone know of some library that can mix the two approaches?
Or the Waltons and Pritzkers, who can split the fortune 12 different ways and still have multiple billionaire scions.
It's to keep the drone as far away from landing hazards as possible - you don't want someone accidentally losing a finger to a rotor or the drone crashing through someone's window or landing in a location it's likely to get stuck.
If the US executed someone extradited from the UK, that would be the last person extradited from the UK to the US.
Cringe-worthy quote. Maybe it was Kali or similar and they just didn't want to announce it?
So can we also start the conversation with how Assange handed Trump the 2016 Election and has enabled a Psychopathic Egomaniac to terrorize Minorities in the US and ruthlessly breaks apart young children from their families, threatens to torture and bomb Terrorist's families, thinks Nazis are good people etc?
We are engaged and agitated. Period.
No, because:

1. WPA3, which has only recently been created, is riddled with issues.

2. Many things much older than WPA2 are still used today without major issues e.g. AES and RSA.

The idea that standards processes aught to be open is not a ideological debate anymore. At this point it is a simple truth backed by overwhelming empirical evidence.
133,000 Packages Lost as Google Cancels Wing Service in Midair
As dcbadacd described this protection capability (.11w) is mandatory to be WPA3 certified and when operating in WPA3 mode. Transitional mode (WPA2 compatible mode) doesn't mandate it's use because not all WPA2 clients are compatible with it.

The denial of service I'm talking about is as simple as setting up a virtual AP out of your laptop wifi adapter and constantly sending broadcast frames out at max rate. Similar to screaming loudly to interrupt a secret conversation rather than actually attacking the encoded language.
It's not an echo chamber, PGP is hard to use, especially for the layman who would benefit the most from it.
Amazon Letter to Shareholders
In what way is this newsworthy?
If a lot of money is just flowing in circles between a small group of people, then that's effectively taking money out of circulation.

I'm not a fan of money going into a bunch of real estate, but given that our society is built around certain kinds of transactions (financing stuff via income/property/sales taxes, plus... y'know, paying people wages and having wages go up eventually) having a bunch of people use their stockpiles of money to just shift stuff between each other in m&a deals doesn't get us far.
The link: https://cloud.google.com/terms/service-terms#12-google-cloud...

Seems kind of limiting and overreaching at the same time.
-- Markov Decision Processes

there is a lot of info out there about markov chains, but very little about markov decision processes (MDP).

How popular are MDP? What are their strengths? weaknesses?

-- Kalman Filters vs HMM (Hidden Markov Model):

"In both models, there's an unobserved state that changes over time according to relatively simple rules, and you get indirect information about that state every so often. In Kalman filters, you assume the unobserved state is Gaussian-ish and it moves continuously according to linear-ish dynamics (depending on which flavor of Kalman filter is being used). In HMMs, you assume the hidden state is one of a few classes, and the movement among these states uses a discrete Markov chain. In my experience, the algorithms are often pretty different for these two cases, but the underlying idea is very similar." - THISISDAVE

-- HMM vs LSTM/RNN:

"Some state-of-the-art industrial speech recognition [0] is transitioning from HMM-DNN systems to "CTC" (connectionist temporal classification), i.e., basically LSTMs. Kaldi is working on "nnet3" which moves to CTC, as well. Speech was one of the places where HMMs were _huge_, so that's kind of a big deal." -PRACCU

"HMMs are only a small subset of generative models that offers quite little expressiveness in exchange for efficient learning and inference." - NEXTOS

"IMO, anything that be done with an HMM can now be done with an RNN. The only advantage that an HMM might have is that training it might be faster using cheaper computational resources. But if you have the $$$ to get yourself a GPU or two, this computational advantage disappears for HMMs." - SHERJILOZAIR
> Manning, who had access to the computers in connection with her duties as an intelligence analyst

they are gendering her correctly. at least we have a progressive politically correct Stasi.
If there are "many illegal and offensive things" in the emails, why did Trump supporters have to make up a hare-brained conspiracy theory about pedophiles in a pizza parlor to justify their belief that the emails were incriminating?
This might be the creepiest comment ever posted to HN.
What gets me about Japan is how practical electric cars would be there. I lived in Hokkaido, and, in my experience:

* It was quite unusual for anyone to drive further than 300km in a day,

* The cold weather rarely got too far below zero so the range reduction from cold weather would be much smaller,

* On-street parking isn't a thing so charging stations would be easier to put in.

They do great with small, fuel efficient cars (like your Lapin!), and the Leaf is good, but I'm left wondering why EVs haven't been as big as they could be

(edited for formatting)
Behind-the-screens of malware analysis: interview with a ransomware expert
Sudanese President Omar Bashir toppled by military coup after months of protests
The article tells different story. Why you think it's wrong?
Their whole car is a computer that can receive OTA updates. ( please show me an instance where a major car company sent 5% performance increase over the internet )

Their battery tech is better than everyones. ( Why is the Audi E-tron and Jaguar I-pace Less range than even the cheapest Tesla? )

Their autonomous is better than everyones. ( Don't know why you think they're far behind, the only other player with a comparable product is Supercruise and that is on one version of Cadillac ).

The data they have on their cars/collection pipeline is better than everyones.

Because their car is software there are all sorts of quality of life perks that exist from the dashboard.

So tired of hearing these cars aren't any better when they're some of the highest rated cars of all time and consistently compete with cars much more expensive.
What's the track record?
WikiLeaks released the personal information of my colleagues and myself.

So much for sticking it to the man, when we have to live the rest of our lives with the risk of identity fraud just because they're dicks.
Just because some users do insecure things doesn't mean that I get to do insecure things as a developer. They can choose to take security risks with their data. I cannot choose that for them.
What would someone that lives in London and believes that what it's happening to Assange is criminal and would like to help somehow or help it not happening with the next 'Assange' or 'Snowden' do? I have tried to reach out to Sarah Harrison in the past but got nowhere, I'm not an activist or know anyone, just a normal bloke that would like to get involved.

What would be my options? Volunteer at Amnesty International? Doesn't seem like they did anything to help.

I'm a member of this forum, hence asking it here, I don't even know which other online communities I should be asking this, but I feel like doing something is the right thing to do and feel frustrated I haven't been able to find a way to get involved with the people helping out.
Only if you're quick to judge without understanding why such code is and will continue to be written.
Citizenship has no relationship to extradition.
I'm always perplexed when just a raw wikipedia article is posted here with no context or commentary about it.
> existence of doubt is proof of invalidity of the said doubt

That's not what was written at all, and you've made an extremely uncharitable interpretation of their statement to come to the response you did.

Ultimately, the parent poster wasn't saying this is proof of invalidity, they were saying it was one potential piece of evidence. Your conflation of a small point of evidence as "total proof" is where I think you've been relatively uncharitable to the parent poster.

Also, their point wasn't that any doubt existed. Their point was that the level of doubt for this type of crime is often relatively higher than for some other types of crimes. This would make it slightly less effective at the alleged purpose, therefore it should slightly lower our confidence in the hypothesis that this was done as a character assassination.

Neither of the parent posters points were absolutes, but you took them to be. It's about the relative level of doubt being slightly larger, and that results in a small lowering of our confidence.
It is fairly easy, as a thought experiment, to project such a trend of accelerating accrual of benefits of technology to the plutocracy to a future point where your statement is no longer true.
Nothing's wrong with the free tiers, but for many people the average storage would put them into a paid plan after a while so I don't really consider these free in the same way.
The principle, the theory is always good. The protocols are implementations, and often implementations are badly done. See with all versions of SSL/TLS prior to TLS 1.3
"WPA3 capable" means nothing one way or the other about WPA3 if you are running it in WPA2 mode though. That's my point.
The Heaven's List Chapter 51 – Raw – Chinese
How to Work in Canada Without a Working Permit – Canadavisa.com
The one about the CIA arresting or disappearing a man living in an Ecuadorian embassy in the center of London is interesting. Seems to imply the US can basically do anything anywhere and will if they want to, and really ignores the huge international fiasco from incredibly recently in the Khashoggi case.

I like the think the people manning our intelligence agencies are a fair bit better than that personally.

Although having read “Legacy of Ashes”, there certainly are some very interesting moments in CIA history.
Buy Google Reviews – Buy YouTube Subscribers – High Quality Non Drop
Depends what kind of machine tools you're buying and whether you're counting units or dollars and whether you're including tooling in there. Like every other industry the cheap stuff at the bottom of the market moves way more units than the fancy stuff at the top (and as usual, a certain country in the far east makes most of the cheapest stuff).

Yeah, central Europe and Japan/Korea are big players but pretty much every "industrialized" nation has a noteworthy share of the industry.
A lot of industry code is also glue logic which doesn't express any original idea which makes it inherently easier to document. Code expressing a novel algorithm is never going to be as easy to document and maintain as code plugging standard libraries together. Notably, code in "industry" which does express novel algorithms is often also not so easy to read, there just isn't that much of it on most projects.
I think this might be one of those cases where we just have to agree to disagree, but I, well, disagree with the premise that the reaction to men is any different on this point.

There are regularly posts here linking to articles about misattribution of credit in science and technology, the problem with the "great man theory," laments about the role of social media in creating hype, and there are plenty of male figures discussed here who engender bitter discussions about how credit should be assigned. I honestly don't see any difference between this discussion and any other discussion. I seem to remember similar discussions emerging about discovery of the Meltdown and Spectre hardware vulnerabilities, and many other physics discoveries involving large teams of researchers, just to take a few examples.

The way credit is assigned in science is a significant moral crisis in my opinion (as it is in work in general; cf. rampant income inequality), and it really doesn't matter what the genders of the individuals involved are. Strangely enough, I think attention is being paid to this argument here because of her gender. It's one of these unfortunate circumstances where I think two competing ethical goals are kind of conflicting, one being the better representation of women and minorities in science, the other being lack of fair representation for all in credit.
Germany welcomes back priceless books lost in second world war