skysight-inc/HackerNews huggingface dataset:
The article says:

> The flaw they discovered is one of notation.

I don't think the title is misleading given the clarity of the article. Like most titles regarding technical subjects, it needs to be carefully qualified to be understood.

But was there a flaw of calculus notation?

Bartlett introduces changes to Leibniz's notation that:

1. Allows for direct algebraic manipulation of differential relationships, for both simple and complex equations, and which extends very nicely to multivariable cases.

2. Makes understanding the relationships between higher order derivatives clearer.

3. Clearly highlights that differentials and derivatives are the two steps of differentiation.

4. Removes misunderstandings about Leibnitz's notation where the notation looks like a ratio, an interpretation that works for the first derivative, but confusingly and inconveniently does not for high order derivatives.

5. Results in equations with far fewer subscripts and superscripts. Surely a Fields Medal is in order? :)

6. Removes a now unnecessary concept from differential algebra (i.e. the Leibniz non-algebraic non-ratio).

That last one simplifies the foundations of calculus, not just notation.

Given that, it is a fix to calculus, not just its notation.
I’ve heard people say that he released it and fled to Russia. As in, he released it for Russia. The news and people’s biases twisted the story to fit their worldview
>According to Fakespot everything in Amazon is fake.

I really don't know how good or bad fakespot is, but I get a roughly uniform distribution - it's not at all rare for me to see an A or B, and I'm pretty sure I don't see more F's than those.
Ridiculous argument that Tesla wouldn't be able to offload the leases and receive cash up front.
I think the title of this submission should be changed to 'Tesla removes 35k Model 3 option' or similar. Their cheapest option is now a bit under 40k USD because they're including autopilot as standard.
Delightful Delegate Design – A Look at Kotlin's Delegates
What is the reasoning to put money down on an auto loan or lease?
Don't investors realize that mathematically, a business cannot grow at the same rate forever?
If only we had cost-effective synthetic petroleum :/
If you expand the lease details, it's $3000 downpayment but $4199 due at signing. plus taxes and fees.
Harvard Takes the Plunge into Crypto with a Token Sale Investment
This is just the 50 kWh Model S, rinse and repeat. Get the positive PR for launching the low cost version, attempt to sell as few as possible, then take it off the menu.
The linked page says "As a result, Model 3 Standard will now be a software-limited version of the Standard Plus, and we are taking it off the online ordering menu, which just means that to get it, customers will need to call us or visit any one of the several hundred Tesla stores."
The HN profile of the user who posted this is "currently working at Tesla"

Edit: removed my comment about insider information per the link provided in replies.
Election meddling is not inherently bad. If your version of "election meddling" is just by sharing facts about a potential electee, than I would say that you have meddled in a positive manner by making americans more educated.

If he was engaged in manipulating vote counts, or if he was spreading false information, I would see the problem. But wikileaks for the most part just shared accurate government secrets. You're just using "election meddling" as a negatively connotated buzzword, without supporting how this was negative to the american people.

I also meddled with the election by sharing my opinion on the internet, or at least I attempted to. Does that mean I'm anti-american? What if a foreign person retweeted me, or vice versa? Have I now colluded with foreigners to meddle with the election?

The support of foreigners is not evidence of wrong-doing, and the sharing of information in an attempt to influence an election is not wrongdoing. Free speech includes speech about the elections, in fact that's where it is MOST important.
Even from the beginning of Polymer and it's use of HTML Imports there were tools for bundling them and they worked great! It's even easier to find the right tool for you now that ES Modules deliver the power of web components with the help of your favorite Rollup or Webpack configs and plugins...

https://open-wc.org/building/
> As another counter-example, why did the US acquire Hawaii? It was not part of the continentalism "Manifest Destiny", nor was it part of the Americas under the Monroe Doctrine.

Because there were tons of Yankee traders there and the local population was so decimated by disease that population replacement was possible, as in the continental US. This stands in marked contrast with the Philippines and Cuba. The Filipinos and Cubans were not going to drop like flies so they couldn’t be made a minority in their own land.
* it's a price increase. "Model 3 Standard Plus used to cost $37,500, plus $3,000 for the Autopilot option. It now costs $39,500, with Autopilot included."*

$37,500 + $3,000 = $40,500. Isn't that a price decrease if the price is now $39,500?
That's because they don't start shipping until this weekend.
Common? When?
Any digital photo is a reconstruction. Consider all the pictures from the Hubble telescope: these techniques are a far more sophisticated version of the same kinds of techniques used to clean those up.
Scientists Here to Discuss Our Results from the Event Horizon Telescope. AUA
Nice one! Such a great project.

Every time I go and have a play with Godot my mind is blown that the whole program is a single ~45MB executable.
Amazon/AWS has published a few white papers about their use of TLA+ and other Formal Methods:http://lamport.azurewebsites.net/tla/formal-methods-amazon.p....

James Hamilton is a fan of TLA+, and talks about its use in Amazon: https://perspectives.mvdirona.com/2014/07/challenges-in-desi...
Try adding a $ in front of the ticker and Google will take care of it for you.
But what was the purpose of throwing Soros in there?
...which is part of why Audi bought Silvercar. This gave them a well-run service company with physical locations in most metros. And they've recently added renter pickup so it's not like this is black magic.

What's more unrealistic to think is that a move to driverless cars / less car ownership would lead to the manufacturer's rolling over.
Shorts, who by definition are not dispassionate and have a direct interest in the ability to project and manipulate market expectations. And when the emerging reality doesn't match their short position are (evidently) willing to move down the road to making the conditions they predicted come true.
> Handing someone a lockpick so that they can burgle a home for you is illegal.

Even more so, trying to create a key that you can hand to someone to get into that home....
There's definitely a problem with fake or badly made goods on Amazon India. Scanning through some of the phone reviews a significant percentage of reviews will be talking about having received refurbished goods.

I bought my iphone from Flipkart (another online retailer in India) because there were multiple reports that Apple will sometimes not honor the warranty for iphones purchased from Amazon
To stave off a Tesla bankruptcy for another 2 weeks or so?
I would rather have browser provide rich components then rely on third party.
> Step 4 - live in a bubble where you are always correct forever.

Since I'm forced to interpret your comment in the most generous way, I'll reply with yes. Step 4 is living in a bubble where obviously incorrect interpretations of the world don't waste much of my time and concentration.

But even if I were wrong on the facts of this particular case I wouldn't end up in an echo chamber. I simply end up reading a variety of op-eds and articles written by people who vociferously defend freedom of the press. AFAICT those writers cross ideological lines.
Or a teapot.

https://en.m.wikipedia.org/wiki/Russell%27s_teapot
I saw here they have a document explaining which C++17 features they use and why:
https://github.com/flang-compiler/f18/blob/master/documentat...
I assume this means that the promised 35k Model 3 will never come to Europe, just as all the sceptics predicted.

I preordered a Model 3 on launch day, but I requested a refund when I saw that the car costs 60000€ instead of 35000€ to 40000€ that I had hoped for.

It's unfortunate -- I love the Model 3's minimalist interior design (judging from pictures) -- but this is not a car I can afford to buy right now.
Huh, you're right. It's really hard to get a sense of scale.

https://www.teslarati.com/wp-content/uploads/2018/02/OCISLY-...
They should still be able to CI it on the min version that does work. Eventually c++'17 will be old enough, so definitely the thing to do is just wait.
Yes, and to not head to into bankruptcy with huge lots full of unsold inventory cars scattered about the country. Although I doubt that this leasing option will do much to move inventory.
>So what you're implying is that people who go around cloning locks to crack them at home, and generate keys, with the intent to break into homes or military installations, have committed no crime?

Of course not (although it wouldn’t be a crime where I’m from until you actually try to break in somewhere).

I’m only implying that this shouldn’t be a crime, not until you actually try to do the deed.
How Much Do Movers Move Average Wage Growth?
it's literally at the top of https://www.tesla.com/blog
maybe it wasn't when you wrote your comment
What's incredibly interesting is that you are required to put a minimum of a $3000 dollar down payment.

What was also interesting is that you forgo your right to buy back the car if you lease it, which is also odd.
Nothing about this “emphasized” her “biological characteristics”: people are merely massively overreacting to her existence.
Although you're right about the rabbit hole, this isn't about customizability. In relation to antitrust, if apple apps get preferential treatment it's a problem.

Maybe a more direct comparison would be apple bundling music, compared to Microsoft bundling IE in US vs Microsoft.
From what I gather, no production of the $35K version was ever ordered. Therefore there could not have been anything to ship.
Huh? It's a public blog post on Tesla's website. It doesn't matter who posted it.
It is definitely not overblown. Easy to do simple searches on Amazon and compare to a site that doesn’t rely on 3rd party sellers like Best Buy. If you searched “wireless headphones” the top results are all knock off airpods and other suspect cheap Chinese made electronics with thousands of likely fake reviews. It’s a joke
Sharing a press release is absolutely not insider information. I don't know what you're getting at.
Sometimes I wonder if the much-ballyhooed short-sellers actually work in the Tesla marketing department :-)

I know that companies get a lot of flak for saying hedged things. But Tesla could really benefit from some hedging. This pronouncement in absolute terms that there will be no lease-end buyout is ridiculous. It depends entirely on future factors unknown today (to us or Tesla), whether they will give customers the option of buying out when the lease and actually arrives, and they know it.

So why not just say so? How about: “Tesla leases do not guarantee the right to buy-out at lease end, because we hope to use some of the after-lease cars for a future ride hailing network.”

Sure, it's a few more words to parse. But it would be one less thing for people to complain about. And it would be true and forthright. It is very good to be seen as true and forthright when asking customers to spend tens of thousands of dollars on something.
You have to call directly or go to a dealer to get access the standard one.

> "Given the popularity of the Standard Plus relative to the Standard, we have made the decision to simplify our production operations to better optimize cost, minimize complexity and streamline operations. As a result, Model 3 Standard will now be a software-limited version of the Standard Plus, and we are taking it off the online ordering menu, which just means that to get it, customers will need to call us or visit any one of the several hundred Tesla stores. "
Somewhere tptacek is in tears, and laughing.
It says Amazon gives them nice tools.
> This is just the 50 kWh Model S

Musk was upfront about this

https://twitter.com/elonmusk/status/845279423238590464?lang=...
Wasted money
The coolest part of this, to me:

> This is going to be developed live?
Yup. Check out My Youtube Channel or my Twitter. I announce my streams typically a few hours ahead of time, and schedule the streams on Youtube. Further for streams I think are more impactful, I try to schedule them a few days out.

> I'm going to try to do much of the development live, and I'll try to help answer any questions about why certain things are being done. If this project fails, but I teach some people about OS development and get other excited about security research, then it was a success in my eyes.

> I have already scheduled a stream for an intro on Wednesday: Intro Video

https://github.com/gamozolabs/orange_slice#this-is-going-to-...
Well, now it's public information
Imagine having your contact list sorted by some geometric function run on each letter of the A-Z alphabet.
Foreigners join the US army all the time, often with the hope of gaining US citizenship
Beson – Binary Extended JSON
>Are you entitled to share a full recording of that conversation with anyone you'd like?

You already have no expectation of privacy in a public space, though.

Today I overheard an HR person talk about a big tech firm's recent VP tenures and prospects on a bus. I looked up a couple of linkedins before my earbuds charged enough to put an audiobook on. Not that I'll ever contact them, I just couldn't believe someone would be so genuinely unprofessional and I was bored.

What a world we live in, where corporations can gossip just like people.
Not if a significant fraction of buyers decided to skip autopilot after seeing Youtube videos of AP driving into stationary objects.

Keep in mind that Tesla just started selling lower priced models in the US. Buyers of the base models are much more cost concious, so I assume that a lot of them would forego the AP option.
Selective leaking and delaying/timing leaks for maximum impact is election meddling.

> if he was spreading false information

https://our.wikileaks.org/Pizzagate

Leading to https://rollingstone.com/politics/politics-features/john-pod...

Also implying that Seth Rich was the real leaker and that the DNC had him killed for it.

http://www.fox5dc.com/news/wikileaks-founder-addresses-death...
That said, it is the Hebrew name of the book of scripture commonly called "Genesis" in English, because it's the first word (incipit) of that book. So people who translate it as "genesis" are not totally making it up, and arguably it's a more poetic translation since the name of the book is (presumably) why they chose that name for the craft.
Lease partners won't give you 100% of the value of the vehicle up front, especially not with vehicles that have uncertain depreciation because the EV space is so new.

So depending on the margin, Tesla could absolutely be in a position where building an SR+ Model 3 and leasing it is cash flow negative (over the first 180 days, so once suppliers are paid).

But it's unlikely to be worse than leaving the factory idle, so if that's the lever they need to pull for the demand to be there, it's a no brainer. And they can always raise more money at their current lofty valuation, so cashflow negative isn't necessarily the end of the world.
Lots of leases have down payments.
Riot.im down, attacker accessed the production infra
> he U.S. Air Force consists of lawful combatants. They are members of the armed forces and wear uniforms that readily distinguish themselves as combatants, which permits the opposing party to a conflict to abide by principles of distinction and proportionality. They are therefore disanalogous.

Yes, all you need to do is head down from the hills of Afghanistan, hop a flight to Omaha, sneak onto an AFB, and go to the drone warfare unit, and verify that "Indeed, these are enemy combatants".
I recently arrived at an airport intending to take a Lyft/Uber out of the vicinity. Tried for 10 to 15 minutes to get a ride on either platform and it would just time out. Eventually opted for a taxi, which were immediately and readily available. Surprisingly it was also 30% cheaper in the end including tip than the quoted price on Uber at the time with surge pricing without tip.

The same thing happened on my most recent arrival back home. I am probably going to simply return to taxis at my home airport for now on.
if tesla 3 with all that pricing failed to lure customers, then 3 or 4k will not help them at all. It's very sad but looks like nothing going to save Tesla. With this level of income, their valuation is a bubble.
Hi, thanks for the feedback
Doesn't that make it a rental instead of a lease
Phonetic systems for Chinese aren't so prolific for non-mandarin speakers.

9 square/Q9 is another popular method.

The stroke-based methods aren't so arbitrary - they are based on the way you write.
I think the market has already realized that Amazon retail is beatable. There’s been a resurgence in stocks that were once falling like a knife because everyone thought Amazon would destroy them...among them Best Buy, Etsy, Shopify, etc.
The Cloudflare Android 1.1.1.1 VPN app was down most of the day.
Example: https://www.citylab.com/equity/2015/10/what-effect-will-shut...

If you search for “voter ID DMV closure” or “voter ID vote suppression” you’ll find plenty more examples. Another tactic is to tailor the set of acceptable forms of ID to favor certain groups. A court ruled that North Carolina recently did this to target minorities “with almost surgical precision.”
> All criminal conspiracy legally needs is a agreed common purpose which is itself criminal and a concrete act by any of the participants to advance the common purpose.

Well I hope that they have something more concrete than him saying "no luck so far" because I read that as all of nothing. I make similar statements all the time and it need not mean I've done a thing.

Even with your elucidation, it seems to me that indictment seems to working quite creatively to paint Assange as conspiring with Manning. I presume at least that the British would demand to see the evidence of the conspiracy.
Is that really valid ES6? Or are you using typescript
MongoDB is another I believe
As a counterpoint see Heathrow Express in London. Taking taxis in London from a major airport, unless at odd hours, is almost always more expensive and slower even with checked bags.
Looks like there is a typescript plugin already [1], meaning this is not restricted to VS Code and should theoretically work in any editor with LSP support. That's better than I thought.

[1] https://www.npmjs.com/package/ts-lit-plugin
I would be very very surprised if the median person with $20m net worth keeps $1m in cash on a long term basis.
>I never made any claims about how US law works. Please do not misattribute such claims to me, it's not only dishonest but also quite rude.

>The case against Assange appears to be very weak

This is probably the easiest, most straightforward example.
Hi bastawhiz,

Performance numbers are coming, please look out for them in a future blog post.
Concrete details about the architecture included in https://rockset.com/Rockset_Concepts_Design_Architecture.pdf.
If you think we could add value to you beyond what you get with Aurora PG, then I'd welcome a chance for an evaluation on a 100% free trial (no credit card required) where you could test out the performance for yourself with your own data.
Totally respect the skepticism. please reach me directly at anirudh at rockset.com if you'd like to chat further.
The first line of parent's comment is accurate in terms of of the indictment, if that's what you're getting at?

http://cdn.cnn.com/cnn/2019/images/04/11/assange_indictment_...

> 7. On or about March 8, 2010, Assange agreed to assist Manning in cracking a password stored on United States Department of Defense computers
>Assange's recent loss of asylum got the attention of new decision makers so the timing doesn't mean anything either

Both the indictment and extradition request long predate Assanges loss of asylum.

>One administration choosing to treat a case differently than another administration can happen without bad politics.

I believe it is inherently bad politics to single out an individual case like this. Is Trump DOJ reviewing all cases Obama DOJ decided to not prosecute or did someone just happen to feel like going after Assange?

I think odds are it’s the latter.
Looking back at my first year working remotely
I don't understand how your link is at all relevant to my comment.
The deceit is disappointing for most companies people are excited about.

For a car maker, especially one with a reckless autonomous driving strategy, deceit can be homicidal.
I don’t understand why they refuse to at least add forward-facing LIDAR. Lane paint sabotage, low-contrast lighting situations and construction are just a few risks that make me nervous to trust autopilot at highway speeds.
I say this as someone that is bullish on autonomous driving and in awe of Tesla in general.
Based on extremely limited Googling, one of the cases where these codes are still used is written colloquial Cantonese, which lacks any major official support.
> Election meddling is not inherently bad.

Meddling has a negative connotation, so it's probably not useful to continue using that term if trying to discuss this particular issue as something that may not be negative. Tampering has worse connotations, but if you're "meddling" in something, it's implied you're getting involved where you don't belong.

That said, as I noted many people believe it was meddling in this case for numerous reasons (the timing, the specifics of the situation, how it could be perceived as supporting a particular side).

I'm not interested in litigating whether it actually was election tampering/meddling, and I worded my comment specifically to note that. I am interesting in shutting down another line of "Ah, another case of [other group] who are {evil,stupid,hypocrites,wrong} because of [belief] which is wrong because of [contrived example which discounts much of the real reasons people believe that]." It's not constructive to the discussion, does not lead to future useful discussions (and any it does lead to can be reached through far more constructive means), and since the same reasoning can be applied to any response, it's ultimately fruitless. It's pointless and nonconstructive in the same way saying "Trump supporters don't care what he does as long as he sticks it to the Democrats" is.

Edit: Clarified what I meant by my first sentence.
I was just thinking that syntax highlighting plus line colors should be fairly easy to do, and doesn't justify paying for such a service. I would be interested to see your solution if you do decide to open source it, especially as you say it is simple - I like elegance :)
Cause all the aid is conditioned on them using it to buy US military hardware. It's roundabout military spending.
I’d be afraid of Google if I had worked at Blackberry too, just look at the destruction they did.
Ack! >_<. Thinking about an “European country with a coffee habit,” I guess my brain was predisposed to think about Sweden.
I wonder if they'd be interested in setting up a Patreon, some other regular dev streams I follow have them. This seems like impactful, important work.
Or they could block access from Germany altogether, like the Gutenberg project did after another court ruling.
I've been called once in a decade of being elegable. Seems I should be able to calculate the odds of that happening
I think the difference is that the browser already contains the shadow dom needed to render the video tag. But for a custom tag it would need to fetch, parse and execute your component code before it can begin to render.