skysight-inc/HackerNews huggingface dataset:
Visual odometry and visual SLAM is absolutely mature enough for drone state estimation and control. It’s not off-the-shelf technology quite yet, but a skilled adversary could concoct something I’m sure. I imagine drone attacks today are likely going to be FPV, and then jamming of the video feed is possible again.
Article like this always seem to ignore/forget that you can charge your EV at home, and that this is usually where you charge it the majority of the time.

It's an understandable thing to forget, since you can't fill up your gas car at home.

I own an EV and I only use public chargers extremely rarely.
I think a lot of what people found off-putting about Dart is that Google already recently came out with a new language that has become very successful. Announcing another one, which at first glance looks like yet another curly brace language not that far from Java, was a step too far for people to be interested.

Nowadays, the only thing driving Dart seems to be Flutter, which again is head-scratching. Like, "Flutter sounds interesting but in addition to learning Flutter I need to learn a brand new programming language for it that's really only used for Flutter?" People only have so much bandwidth for new things and there's already so much to constantly learn in our industry.
Hong Kong government granted US consulate a rare 999-year lease in the 1990s
Because lobbyist do what is in the general publics health concern NOT!

I am quite concerned what industry with lobbying can achieve nowadays.

This used to be illegal to lobby and also be called something else corruption

The Forgotten Law of Lobbying
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2383317
I know. That's why I said it's "a safe analogue of casting a void pointer to another type".
Original tweet said "Funding secured."

https://twitter.com/elonmusk/status/1026872652290379776?s=19
If you can't define an algorithm as a step-by-step process, what can you define it as? That's the whole point: it is a process, manifested as sets of discrete steps, towards an end result by following sets of rules.

Lambda Calculus, Turing Machines, etc. are no different in this regard. One has its steps realized in reduction and substitution rules, the other has its steps realized in movements of the head and manipulations of the tape.

You'll need more to disprove my hypothesis. All software is built compositionally, up from smaller pieces. It's why we commonly refer to everything as a "software stack": we can reason about smaller making up larger. If you examine most of the code written today, this very minute, you'll see it's compositional, in the way that larger codebases are built from components.

Neither LC or TMs are "natural ways of thought", they're mechanisms. Turns out that TMs won out not only because they admit an easy physical implementation, but also because they're compositional. I can wire up two TMs and get them to perform operations in sequence, perform conditional branching, etc.

JavaScript is hardly Lisp in a C-suit, but that's beside the point, because C is pretty terrible (despite it being my favorite) regardless of what paradigm you choose. I'm not going to devote much of this comment towards that.

All software is compositional, regardless of the medium, and all computation is purely mechanical, regardless of the model of computation, because unless you want to stare at a lambda expression and infer the value, you need to perform some kind of step-wise reduction. That, after all, was Church's point.
Tesla reopens 10% higher after weighing decision to go private

https://www.cnbc.com/2018/08/07/tesla-says-no-final-decision...
The difficulty to predict TSLA, especially early on, was one of the main reasons I sold it. It's now about double its value, but that's a recent phenomenon and it was pretty volatile before that.
> It is not.

That's why I put 'required' in quotes, indicating that they think it is (for the reasons you pointed out) but it's obviously not.
I don't know if I buy his reasoning. I think more than anything he doesn't want to have to provide investors insights on a quarterly basis or have to explain when they don't hit the marks.
NEC unveils facial recognition system for 2020 Tokyo Olympics
I'm surprised given their burn rates that they don't want continued access to public capital markets.
Thanks. Actually, that's really down to html and nginx. One of the purposes of the site itself was to go back to basics and see whether it was practical to build a respectable looking site without the use of php and big complex templates. I'm glad it seems to have worked.
Knowing vs. Understanding (Feynman)
With that premium? I'd say it's a no brainer
(for the user)
Depends, the company could buy back, or during a founding round, some part of that founding can be reserved to buy employee shares.
External investors are also allowed to buy from employees during this period.
Yes he is, Where do you get 66 billion $. Investor support dosen't mean he has the financing. Don't quote a tweet, get some real sources.

"And yet it also left many questions unanswered, namely how Musk -- who owns almost 20 percent of the company -- would be able to come up with the $66 billion necessary to complete the transaction. At $420 a share, Tesla would have an enterprise value of about $82 billion including debt. To take it private, the billionaire would have to pull off the largest leveraged buyout in history, surpassing Texas electric utility TXU’s in 2007."
As shares are not close to $420 right now, that indicates healthy skepticism that Elon is capable of getting this done. Do you have reason to believe that he is capable of raising $50-80 billion to complete the transaction? If yes, then you have a great arbitrage opportunity.
Thanks - this is all good info that I'm going to take some time to absorb.
That's an interesting take but I don't think it's Musk vs the Sauds. Musk realized he can't attract and retain tech talent with the shares in such a volatile state. I believe that's the underlying motivation here.
Can you expand more on what you mean here? We currently have a work-in-progress library for binding to Postgres, but I have the feeling that isn’t quite what you’re getting at.
Other drones with lasers.
If that news broke today, it would be the most significant discovery in history, probably a major turning point for our entire civilization. I don't understand how that could be perceived as useless information.
You still have to publicly reveal all the quarterly numbers, estimates for next few quarters, do all the GAAP accounting etc. which puts a lot of toll on a company that's going through wild swings in capital spending and production.

If they don't keep their promises, the stock will crash, so everyone goes on a production death march close to the end of the quarter under extreme stress, instead of just growing organically at a steady pace. Good estimates are hard, just like in IT. That's why many companies delay going public, for example Uber.
WPA2 doesn't have forward secrecy [1]

[1] https://en.wikipedia.org/wiki/Wi-Fi_Protected_Access#Lack_of...
Before GPS, cruise missiles used photographs of the terrain they expected to navigate and a camera. The photos were state secrets back then; today they're easily accessible for the entire planet. Miniature computers are also far more power and more capable of the processing needed for navigating using photos and a camera. It'd take some R&D to develop, but it's certainly possible.

Also, "falling out of the sky" can still be an effective weapon if you plan for it.
That's not a negligible risk. It's analogous to thinking bonds have no risk because the issuing company guarantees it (forgetting it might well go bankrupt).
read the article?
> CNBC reports that none of the Wall Street banks it contacted were aware of any transaction or had committed to funding a leveraged buyout of Tesla.
Yeah, I think the price now will end up reflecting what people think is the odds of this happening. If you are 100% sure this will happen, you would be willing to buy shares for $419. If you are 90% sure you may stop at $400 etc.
Have a look at Odoo. It is an open source ERP and CRM platform that can be completely tailored to your needs, with either freely available apps or by developing your own.

We are currently working with a company in the sheet metal business that uses it and I'm extremely impressed with it.
Id imagine a very directional antenna (or multiple ones to cover more bands and polarisation) with a 14 15 dbi plus a beefy wifi transmitter would be one possibility.

Just don't aim it like a rifle the side lobes might get nasty
You are right, my use of "Europe" was too broad.
I am a shareholder. I will not be selling after going private. This is really good for me because we can finally stick it to the shorts and the only people who we lose are "traders" - I don't care about what they think. Long term investors only is a good motto :)
To be blunt, performance is much more important than you think, even when building a proof of concept. We used the PoC code for much longer than was initially intended, and had we thought about performance from the start we might’ve saved quite a bit of work!
I can't remember what the logic for that was. I think I was messing around trying to see if I could appease google pagescore on such a tiny page, and eventually I just gave up and left as it was.
Isn't SpaceX success due to the fact that most of its orders come from the US government while Tesla has to compete in the free market and isn't that successful there?
This is a fundamental problem of doing CI for open source. Running tests for random people’s changes means giving them RCE in your test environment. Sandboxing rarely gets approached with the seriousness it requires.
Can you explain why a buyback of $X is worse than a dividend of $X? For the company or for the world. (Apart from being taxed slightly differently, maybe)

Is the way investing is supposed to work that investors give people money and they never give it back?
Might be in the tens of billions before this is all said and done.

(~34 million short shares outstanding * $420/share = ~14 billion dollars to cover. Is my math wrong?)
Companies have buyback programs or you could sell them directly to other shareholders.
If the next official Mac Pro doesn’t totally blow me away I’m getting a dual POWER9 Talos workstation, putting it in a Level 10case for proud display, and switching to open source. I’m fed up of all this shit. I want a powerful machine and I want to be in charge of it, and if I have to pay premium prices, it might as well be for something usefully exotic.
There is a trailing asterisk in your link, breaking the pointer.

https://www.folklore.org/StoryView.py?project=Macintosh&stor... is the proper URL (for those like me who are curious, and want to see what you're talking about!)
Elon Musk says he might take Tesla private for $420 per share
He has to find financing. There’s not that many entities that can finance a deal of this magnitude.
> As a public company, we are subject to wild swings in our stock price that can be a major distraction for everyone working at Tesla...
I made the mistake of trying to trade the highs and lows on other stocks, got burnt out by the unpredictability. After that I just put my money on stocks I trust will grow over the long term(2+ years) and I don't even check their prices daily or even weekly.
> long term out-of-the-money call options
I bet $425 calls are about to get real cheap.
isn't that successful there?

What?
The SEC can't send people to jail, they have to refer a case to law enforcement for jail to be a possibility. It's even in the TV show Billions, or you can read about Theranos.

RE: Elizabeth Holmes
"This is pretty standard practice with the SEC. The regulator explains on its website that, while it works with law enforcement agencies, it's investigations lead to civil or administrative actions. It routinely penalizes brokers and traders by banning them from working in the industry or accepting outside money. "

https://www.businessinsider.com/will-elizabeth-holmes-go-to-...
I think it's uncharitable to call it purely an emotional reaction. While that is certainly a component, I think this is actually one of the best mission-oriented strategic decisions Elon has made in a while.

The shorting and general negativity around the company are a morale drain on a scale that few companies have ever experienced before, let alone any companies that push their employees as hard as Tesla. I have friends who work very, VERY VERY hard at Tesla to help achieve their overall goal, and all of the hate really drags them down and makes them question why they work so hard, let alone the anxiety over the value of their shares. The cloud of negativity is a huge productivity sap and I suspect it is a contributor to the legendary rates of turnover at Tesla as well.
I love you, thank you for writing this :)
Hey, check the settings link in the menu. The application is still editable.
In addition, the entry fields seem to have increased in length recently, so perhaps a good idea to review your submission even if it was submitted properly last time.
Other private investors (typically institutional ones), or if the company has enough cash, the company itself.
I'd imagine airports could get a waiver to pursue the birds for human safety. Airports are generally well acquainted with working with the government.
That may be true, but the stability comes from it being privately held -- the SpaceX stock doesn't swing wildly every time some news about their competition with Boeing is released.
No external financing might be necessary, because virtually all Tesla shareholders today (i.e., people who are net-long the stock) are true long-term believers in Musk's vision unconcerned with the company's short-term financial issues. (People who are concerned with financial issues are either avoiding the stock or shorting it.) These true-believer shareholders will want to hang on to their shares as the company goes private and shares start trading "by appointment" on less liquid, secondary private equity markets.

If I'm right and Musk pulls this off, short sellers are in for a world of pain. They will likely have to scramble to cover their short positions in the face of a limited supply of shares before delisting.
I'm really not a fan of Dart's type system. It feels ancient to me. From what I can tell, there's no sum types, I don't see any way to bound generics based on interface/typeclasses/traits or some other equivalent concept on the docs, it has no non-nullable types. Am I wrong? Why would I want to use a type system that lacks expressiveness?
This poster had a story on the front page of HN a couple days ago describing the horror story. That post is almost definitely why this issue got resolved.

Context: https://news.ycombinator.com/item?id=17689404
No, I'm assuming that probes are widely distributed. Laser communication is better than radio communication over long distances. Shorter wavelengths make for tighter beams. The whole galaxy could be mesh-networked with ultraviolet laser links and repeaters, and it would still take a rare stroke of luck for any of our telescopes to notice, even if the links aren't operated for deliberate stealthiness.
> and isn't that successful there?

Having 2 years worth of production in the backlog is not successful?

Ok then.
Google Still Planning a 'Smart City' in Toronto Despite Major Privacy Concerns
You mean the email? "...I fundamentally believe that we are at our best when everyone is focused on executing, when we can remain focused on our long-term mission," => what difference does private or public make for this?
So there's the real story. Who is this financer (or group) with ~40 billion in capital that is willing to bet long on Tesla? That's really interesting to me, if Musk is being truthful here.
> that scraping essentially requires creating an in-memory copy of this HTML before the user-produced content can be extracted, and thus is a violation of their copyright.

Isn't copyright a bound on distribution? How would this work unless the HTML itself was distributed by the scraper? If you use SAX processing to stream it, does that change interpretation? (Not sure about how to interpret the in-memory copy.)

If they violate my copyright, can I sue them for royalties every time they rendered the image they never got a license for and distributed it to someone? I'd imagine their TOS/EULA precludes this by just equating uploading to refusing my license, but how enforceable is that? It neatly bypasses any consumer protections.

If facebook is acting this way, maybe I've been wrong all this time--maybe I shouldn't be paying for their service to avoid ads, maybe they should be paying me for the license to my content AND not showing ads.
“Hasn’t yet made any money there” would be more accurate.
I've got a Mac Pro 1,1 which I've been debating about upgrading. Apparently you can new processors and hack around the 32bit EFI bootloader issues. It's a bit of a pain, but seems like a cheap way of getting a faster machine. The bus access is still going to be slow, but for most tasks, it seems pretty reasonable.
>Are you arguing that the probes would be too difficult, or that the civilization/AI would simply choose not to use them?

I'm arguing a strong AI (singly or civilization based around some) might simply choose not to go the full "deconstruct everything in every solar system in the galaxy" route, because by virtue of its very existence it can't actually travel easily or at all. Exploration sure, but in the form of lots of star wisps and maybe a few stealthy replications in oort clouds or systems already checked for activity.

Now if a civilization explicitly chose to avoid strong AI, or at least put some sort of firm cap on it, precisely due to foreseeing being locked to their star (or maybe their star and a few near neighbors) that'd be different, but would that actually be stable itself? It would be risky if they encountered an alien stronger AI too perhaps.

I mean we're by definition in pretty deep pure speculation territory here, and others have devoted far more thought to any of this then I. I'm just saying that if there is no magic then everything still has to deal with the laws of thermodynamics and relativity. And widely spread concentrated point energy/mass sources (stars/solar systems) are what everything has to work with in that case, which means there has to be a pretty hard tradeoff between "intelligence" (processing/storage ability) and to what extent something can exist away from stars or move between them. Even go a fraction of the way towards maxing out what you can do with the available mass and energy in a solar system and it's simultaneously hard to go away from a solar system right?

So basically I'm saying going maximal von Neumann across the galaxy isn't clearly the ultimate end state of a civ reaching strong AI level.
Chargers have been getting noticeably more busy over the last year (bay area). It's pretty absurd at this point that we are relying on private companies like Whole Foods to build public transportation infrastructure. The state really needs to get on top of this and start building out more level 3.
It's better from the company perspective because the truth Tesla as a public firm is required to regularly disclose keeps undermining the puffery Tesla is pushing to generate consumer-focussed media interest.

Being private gives them much better control of public information.
Only Numpy Implementing Gans Adam Optimizer
NASA certainly did save SpaceX early on with some funding and contracts, which SpaceX fully delivered on at a competitive price.

I'm not going to look it up right now, but for now and the past several years, most of SpaceX's income has come from sources outside of NASA. That is, commercial launches.
I would like to make a prediction: the Saudi Royal Family is the funding source. There are very few banks that could back this financially, and they have all said they are not behind it. The only source of this much money and secrecy is the House of Saud. They apparently also snapped up to 5% of public shares, and have expressed lots of interest in investing in the "new" economy.
People still don‘t get just how radically synergistic electric driving, self-charging and self-driving technology will be. All the drawbacks of electric driving such as low range and slow and cumbersome charging will just instantly disappear as soon as cars will just drive away and charge themselves. It will mostly solve parking problems, availability of chargers and even help absorb the (basicall free) excess energy produced by photovoltaics in the middle of the day. Just one or two of these technologies won‘t do much, but I suspect we‘ll see a massive tipping point once all three hit. If you ask me, we‘ll see this completely altering cityscapes and car ownership between 2020 and 2030.
The free market of automobile manufacturing in which the USA has propped up both GM and Ford, and in the past Chrysler? The one in which the Japanese government is carefully intertwined with their automotive industry?

The government is a customer of space x but they still compete against other companies for that business.
>...isn't all that successful in the free market?

That's the intended question. Though I don't know what GP's definition of "success" is.
I would imagine he talked to his institutional investors it could be far less than half.
> as the most shorted stock in the history of the stock market

does this squeeze beats the VW one?

>First, I would like to structure this so that all shareholders have a choice. Either they can stay investors in a private Tesla or ...

given the potential number of shareholders wouldn't there still be pretty tough information disclosure requirements - isn't such required disclosure is among the major factors pushing companies into public market?
Would an Apple buyout be considered them going private if they are kept as a separate entity? It’s the only one with enough money to buy them that I can think off.
Not everyone can charge at home. Everyone can gas up at filling stations almost everywhere they go. For mass adoption, chargers need to be as available for everyone.
Some things are removed swiftly, others stay around forever (e.g. /usr/lib/libssl.0.9.8.dylib)
Unfortunately, though this might be the view of some (or many) users, the organisation which provides the product - if profit driven - can not maintain the 'development' level of staffing just for maintenance and likewise the valuation also changes if they are only in maintenance mode.

So, it is not realistic to expect that they'll not do much. Ultimately, this is the bane of a consumption drive society.
Learning Prolog was very challenging for me too! I was extremely lucky though in that I had one of the world's greatest Prolog experts as instructor, using the world's most sophisticated Prolog teaching environment:

https://www.complang.tuwien.ac.at/ulrich/gupu/

You can take a short pictorial tour of GUPU:

https://www.complang.tuwien.ac.at/ulrich/gupu/d-2-europastad...

However, these pictures can at best give a small glimpse of what GUPU actually is, so I also recommend a longer paper:

https://www.complang.tuwien.ac.at/ulrich/papers/PDF/gupu-wlp...

For me, a major attraction of Prolog is the balance it strikes between readability, versatility and convenience. I know languages that sometimes admit shorter programs, but they then are - at least in my experience - not as readable as a Prolog version, or not as versatile.

I am using Prolog for many different tasks, such as hosting web pages, prototyping showcases, and solving combinatorial optimization problems.
Elon Musk Says He’s Considering a Move to Take Tesla Private