skysight-inc/HackerNews huggingface dataset:
I don't know and frankly I'm not sure that Tesla does either yet.

But what are they going to do? Carry around whole drivetrains in their "Service Car Model X" that comes to your house? Even if so, you need specialized equipment, hydraulic lifts etc. to repair things like that.

So what will their options be if they do not have their own (service) shops anymore except than picking up your car, bringing it to _whereever_ and fixing it there?

I don't see any and I think this can and will probably fire back on them.
Unlike some of the other commenters, I'm fine with the + specification. + hasn't been commutative in Python for a long time.

But the - bothers me, and nobody else seems to have mentioned this. {"a": 1} - {"a": 1} = {}, sure, but it is way less obvious to me that {"a": 1} - {"a": 2} = {}, and not {"a": 1}. If you consider dictionaries as an unordered list of tuples (key, value) where keys happen to be unique and as a result of that you get nice O()-factors on access, that doesn't make sense. You went to remove ("a", 2), but saw ("a", 1) and thought, "eh, close enough". But it's not the same thing.

If you think of a dict as a set that happens to have associated values, the specification makes more sense, but if you dig into that line of thought, that turns out to be a rather weird way of thinking of them. Values really shouldn't be thought of as second-class citizens of a dict. If you are going to go this route though, {"a": 1} - {"a"} = {} (where the right-hand side is a set) actually makes more sense, without the spurious value on the right-hand side.

I'd actually rather conceive of the - operation as a "dict minus an iterable that will yield keys to remove". This has the advantage of recovering the original {"a": 1} - {"a": 2} = {} semantics that probably is what people want in practice, just via a different method. But locking the right-hand side to a dict makes it weird.
You are right. As Judith Curry has pointed out. 'even if all the states respected (the current commitments) —an unlikely prospect—the temperature reduction in 2100 would be an insignificant two-tenths of a degree. And this assumes that climate-model predictions are correct.'. No one would even be able to sense a difference.

She also points out the fact that “almost half of the warming observed in the twentieth century came about in the first half of the century, before carbon-dioxide emissions became large.”. Natural factors thus had to be the cause. None of the climate models used by scientists now working for the United Nations can explain this older trend. Nor can these models explain why the climate suddenly cooled between 1950 and 1970, giving rise to widespread warnings about the onset of a new ice age.".
According to my basic understanding of basic economics (FWIW), doesn't this put a hole in the monopoly hypothesis here? [I'm not even close to being an economist, but I've taken a basic class or two.]

I looked at their 2017 financials, and they have revenue/ expenses broken out for many many brands and regions. There are huge variations in margins due to what it seems like to be growth expenses. Some of what i'd think to be more mature lines at first glance to have crazy good margins.
Generally, no. Usually the right of first sale ensures anyone can buy a product, if not from the original manufacturer, than from a reseller. Extremely tight distribution chains designed to prevent a competitor from getting a hold of your product is pretty darn rare.

And when it's a monopoly that's already repeatedly demonstrated monopolist behavior, it's even less permissible. So they have a patent monopoly on the hardware, already shown they'll fight in court to protect it (re: Uber), and will prevent anyone from buying that hardware if it's a potential competitor to their service-based business. Their choice to sell the hardware makes it a separate market than their ride-sharing service, and one could argue a violation of antitrust law if they're blocking competitors from one market from buying their product in another.
No, they never replied at all. Their self-service site broke and they completely and utterly ignored my emails to the associated service address and to a number of other addresses posted on their site.

I grew up using, ah, other methods of satisfying my need for an interactive debugger and those methods continued to be viable after giving hex-rays $1100 and getting flaked, so I wasn't materially impacted by the flakery, even though I "should" have been. Had I been materially impacted rather than merely angered and frustrated, I probably would have tried other escalation paths -- phone, twitter, maybe even snail mail -- and I suspect I eventually could have gotten through, and my expectation absent evidence to the contrary is that if I were to have gotten through they would have helped me out. My takeaway would be "their self-service site is rubbish and they force you to use a company email address (as opposed to your gmail) and then their support email servers sometimes silently drop messages from your company email address, or something," not "they're crooks." On a professional app sold at a professional price, though, that's still not a good thing, and it informed my software choices going forward.
When the "right to repair" comes up, for cars or farm machinery, or the Magnuson-Moss act, or the costs of code scanners for most vehicles, the manufacturers are universally hated.

But this is Tesla and Tesla doesn't have the same rules.
> I can understand if this is a UX/UI art experiment. But it’s not.

https:// ____ARTSEXPERIMENTS____
.withgoogle.com/nasasvisualuniverse
> Being in control is an illusion.

It is a very useful illusion though. I take it as a sort of veneer that the brain hoists over our eyes to make day to day life bearable. There is some truth to the saying "Ignorance is a bliss".
Afternoon or night?
Urban air mobility space is heating up. Blade and Sikorsky's AAG announced an agreement to provide a new on-demand urban mobility option to the NYC area. Uber has their Elevate team working on this problem as well. Blade launched an urban mobility pilot program in the Bay Area last week. Received an early, invite code from a friend last week, SF-3FTPTV.
If you have an inalienable right to repair/rebuild/modify your Tesla do you also have the right to do the same to your future level 5, fully-autonomous self driving car?

Absolutely you do. I expect there to be a certain amount of certification and oversight in safety critical systems - perhaps similar to how the FAA regulates repair and maintenance for general aviation.
Nice series you got there, I just took a look and found some really interesting projects. I would be honored for my article to be featured there!
Classes are a combination of member variables, methods, and method dispatch (which is important for inheritance). So let's emulate that combination with a closure in Lisp:

(defun constructor (x y)
(list (lambda (a) (+ x a)) (lambda (a) (* y a))))

This is essentially a "v-table" as you would have in C++. Inheritance would be exactly what you expect: replacing v-table methods in child class constructors. Lisp is untyped but if you wanted to do this in a typed language then a class type would just be the types of the methods that can be applied and what index in the v-table each method type has, similar to duck typing (except that the methods are "named" by v-table index). Note that members are private, and can only be accessed if the interface (v-table type) allows it, and that in a pure implementation you would have immutable objects so "setters" would have to recursively call the constructor.
Should this have a (2012) tag? Neil Young did end up releasing music in this format with his Pono player, which failed[0].

[0]: http://www.noise11.com/news/r-i-p-pono-neil-young-kills-off-...
I dont think youre really factoring in natural disasters, displacement, refugees. 4 out of 5 people displaced are in Asia right now.

Even right now, Miami is underwater, and we are pumping it back out. Florida, New York, and California will become economic disasters far before 10 degrees.

Of course we could build new spare cities inland now, for much cheaper, but of course we will wait for destruction before people will move.

https://www.theguardian.com/cities/ng-interactive/2017/nov/0...
Title should have [2012]
Common Lisp has a package manager/source repository called Quicklisp. https://www.cliki.net/Quicklisp%20tutorial

There are some web frameworks in there that are fairly impressive.

There is very little advertising going on. It goes a bit back to what your folks mentioned here, a bit of dejection and being condescending to other languages. Common Lisp is the only language with reasonable compile-time computing right now, and it is hard to bring that concept over to people who still think about writing software, as opposed to living with changing software for 30 years. So the Lisp community is a bit in the mindset that those who get it do so on their own, and software is distributed among those who already know they want.

The Cando chemical computation system (based on Clasp) in the video posted below/above is open source, BTW.
i was responding to the notion that "all car companies allow their cars to be hackable" and how that is not really true. I know very well that the software in modern cars is really insecure, buggy, and sometimes even willfully lawbreaking. Opening it up to consumers should be done but how to do it without introducing the risk of hobbyists driving dangerous cars on the road that endangers others is an unsolved problem. Asking Tesla to do this and not any of the other manufacturers else wouldn't be fair to them, it should be across the board.

Longer term I think driving on public roads should itself be illegal once things are autonomous, but even then, allowing hacked autonomous cars on the road are still a problem. It points towards a future where self-owned cars just aren't allowed on roads anymore. If you traveled in time 300 years and landed on the spot a major highway existed in the present, what would be there?
An app that people want to use to voice their pain points when doing a trade-specific verb (e.g., fact-check, meta-analyze, triangulation).
Generally speaking the purpose of an entire class rarely changes to be something completely different. In such cases new classes are made instead.
I agree.

Something that might be worth noting: two minutes of googling didn't turn up the author's age, but I recall seeing this photo on his website when I bought it some time after it was published in 2008: https://hcsw.org/contact.php

Here's a more up-to-date photo: https://hoytech.com/about

It's possible he was quite young when it was published. If that's the case, then I think the book is all the more a towering achievement. It's abrasive, and it smells a bit of 2000s forum fanboy discussions, but mature people should be able to read past the more opinionated parts and find the gems in the technical treatment.
Einstein 'puzzle' solved as missing page emerges
Ah ok, I thought it was the shared mortgage idea. I see no issue with shared housing, not exactly a radical idea.
What time do you leave home in the winter? Both me and my wife leave at 8:15 AM, and it's already light in Milan.
You did look at that list carefully, right?

He's listed as first author on three of the first 20 entries, and one of those is a pop-sci book, not an academic paper. Of the other two, one is from 17 years ago and the other is from 29 years ago.

This is not the publication record of an influential social scientist.
"I don't think we disagree. "

We do not. I meant more as elaboration, not outright disagreement. It is a great idea to apply these ideas today, but it's really hard, and I'd still love to see someone fix that. And maybe some other things as they go. But in the meantime, programmers of today really can't afford to wait to apply these principles.

I guess my point is that I agree that YAPL that just has this in it and is basically thrown out as a hack for writing a couple of papers is not very useful, but I'd love to see someone set out to create the Next Big Programming Language that incorporates this idea, as well as other things, but isn't just a demonstration project.
wow I did not know he was Russian, thats quite a feat.

also fascinating is Mazda...the founder literally built it on ground zero in Hiroshima, using unexploded US munitions and whatever parts he could scavenge.

It's like some people....they see adversity...and they make it their bitch. its awe inspiring.
Air Is About to Come Out of America's Bubble Economy
I would have said “the day Pokémon Go had been released”.

I remember people from different generations walking in the streets, talking and laughing together without knowing each other. Something very rare for Paris :).
Citation on Fios expansion? AFAIK, they've been holding steady with their existing mid-atlantic footprint (DC, Maryland, Delaware, PA, NJ, NY), and sold off everything else to Frontier in 2015. I believe their reasoning was that they could offer 4G to areas currently served by aging DSL lines, so there was no reason to upset the shareholders by spending money on physical infrastructure for fiber expansion.
For ASD diagnosis in particular, Australia mostly uses DSM-5 rather than ICD-10. Most professionals are now diagnosing just ASD (per DSM-5), rather than the DSM-IV-TR/ICD-10 diagnoses of autism, Aspergers, PDD-NOS, CDD, etc.

Talking about medicine in general, Australia uses ICD-10-AM, which is the Australian national modification of ICD-10. By comparison, the US uses ICD-10-CM, which is the US national modification of ICD-10. Not sure exactly what the differences are – while the ICD-10 and ICD-10-CM code lists are freely available, you have to pay $$$ to even see the ICD-10-AM code list online (or go find a printed copy in a medical school library)
I used to be like that - until I started my current flexible schedule which allows me to wake up naturally.

Now my body sleeps 8 hours and I wake up the same time every day.
QuadrigaCX mystery deepens after cryptocurrency cold wallets found empty
Actually the whole cl-jupyter concept (used in the Cando demo) might also qualify. You can build really impressive blends of text-based statement and GUI in a webbrowser with Jupyter notebooks, and the CL version really kicks ass.

I need to get cracking on backporting the changes we made to cl-jupyter for Cando/Clasp to portable Common Lisp tho. Sigh. So little time.
The suburban answer to this would be to turn on your front lawn sprinklers. No confrontation is necessary and the passers-by are gently moved along.
Show HN: Automate anything on your desktop – with a Chrome browser extension
I also take issue with how the article mentions that sleep is not a balance sheet, but doesn't really lay out that this was explicitly tested.

They said the participants slept only five hours a night for weekdays. 8 hours is the generally recommended amount for a good nights sleep, so to truly bring balance to that schedule, they'd have a 15 hour sleep-debt to make up on the weekends, in addition to the full 8 hours they'd need to sleep those two weekend days on their own. I seriously doubt the participants were able to sleep 16 hours on both friday and saturday night to fully pay the sleep debt even at their level of sleep deprivation, so I don't think you can really say the "balance sheet" approach is wrong.

I'm not necessarily saying I support a balance sheet view of sleep, I just think these kinds of articles are not very careful with the kind of wording they use. Also maybe I'm just living under a rock, but I don't feel like its that common to only get 5 hours of sleep every single weekday unless you're like a single parent with a baby (in which case you probably wouldn't magically get 8 hours on the weekend), I'd be more interested to see what happens if this was done in smaller spurts, like two consecutive days with three or four hours of sleep to emulate some work or school deadline approaching, but then 8 or 9 the rest of the week after its complete. As it stands now, the title of the article comes off as click bait because its a pretty fear-mongering conclusion drawn from what I consider to be pretty extreme circumstances.
Related discussion from four days ago: https://news.ycombinator.com/item?id=19289583
I'm really happy to see this finally happening. I've used ketamine in a homemade emergency nasal spray in times when I have been extremely depressed, and I do believe it has saved my life.

My DIY nasal spray is made from liquid ketamine vials purchased off the dark net. The vials are 1g in 10ml saline and are intended for veterinary use. They come factory sealed with holographic labeling, and I'm confident they are legit. They cost $100-$150 each which is a lot more than powder but I am much more confident in what I'm getting and it's already in liquid form. I use a needle to extract the ketamine from the vial and put it into an amber glass nasal spray bottle after sterilizing it. The solution is already isotonic, no need to add any salt.

I'll do a squirt on each side of my nose against the nasal wall when I'm really depressed / suicidal, which is usually no more than once a month. It's not magic, but it really brings me back to reality about half the time.

I have also tried an IV ketamine clinic, paid about $3k to go 3 times. Unfortunately that is super expensive and the last time I had what amounted to a bad trip and I haven't been back.

If anyone has any questions about these I'm happy to answer them.

To anyone feeling depressed: If you haven't done so already, get the basics out of the way: Get a physical and get your thyroid levels checked. Consider supplementing vitamin D, fish oil, and magnesium. You can find academic evidence that those may help in people who are deficient.
What Current Research Tells Us About Cannabis and Autism Spectrum Disorder
> I mean C++ templates are a compile-time language, but they are a language that has only one type - types and no real iterations over collection types. Wait, they have no collection types. The one and only type is types.

There is Boost.Hana and the older Boost MPL and brigand.

C++20 will have more constexpr improvements.

Although I do conceed they require a C++ Wizard hat, and aren't not even close of Lisp's macros friendliness.
Maybe catch-up sleep doesn't work to fully repair the damage if you're totally wrecking your body during workdays, but it definitely helps if you're on the borderline.

I usually sleep more on the weekends. If I don't, I usually start to manifest cold-like symptoms, indicating that my immune system is struggling. To me, this suggest that catch-up sleep definitely helps in some regards. I can't speak about long-term effects, but I don't think having a malfunctioning immune system would be good for me in the long run either.

This is one of those cases where the effect is so clearly pronounced, I utterly don't care what "the medical science" says on the subject. Maybe it's different for different people.

(I generally do get 6-7 hours of sleep on any day, though. No idea how people sleep less than 6 hours a day without collapsing at the end of the week.)
I know it's not open source, but Cities Skyline is a fantastic game that carries the torch for SimCity type games.
If he was building an experimental amateur-built (E-AB) category airplane, then there was likely no regulatory issue. Just lawsuit-scared lawyers. Not passing judgment--If I had lawyers I would want them to be conservative and cautious too.

You can put pretty much any engine you want in an airplane you build yourself, as long as you comply with the (reasonably light) homebuilt regulations: https://en.wikipedia.org/wiki/Homebuilt_aircraft
True, but I'm giving the benefit of the doubt, since they're being critical of Google here, despite their incredibly cozy relationship with Google. Numerous Google executives have done exclusive interviews particularly with The Verge, all the way up to Sundar Pichai, so there's definitely some question whenever they praise Google if there's a conflict of interest or incentive for them to give Google a positive spin.

I assume, of course, you were likely trying to make some sort of "iVerge" claim here, but the reality is, The Verge gives Google incredibly favorable press coverage as well. At the end of the day, The Verge is a business that's in it for clicks, and exclusive interviews and insider access equals clicks. So The Verge will shill for just about any company that can give them scoops, including both Apple and Google. Both companies are notoriously brutal to sites that write critically about them, and The Verge avoids heavily criticizing either in most cases, as to not jeopardize their access.
This... I can actually see the point in this. The Visitor pattern is one of those patterns I never really saw the point of, and which mostly struck me as an over-engineered hack about a shortcoming in a language.

This example actually makes clear why you'd need to do it this was in C++ at least. Not sure which other languages would need this. It's certainly not pretty. Then again, dispatching twice is not so bad compared to your average Java-style over-engineering.
Why do you think that this only applies to autistic people? That's exactly how a lot of non-autistic people feel/behave/strategize as well.
Yes this doesn't really seem like a big deal
Is it really about his work, or is it about glorifying Peterson himself?
I'd actually suggest rather becoming fluent in modern Haskell.

Formal methods are great in their own way but for a lot of programming tasks they overshoot the mark. For those that do not, by all means, bring them in. But right now, a practical engineer can't ignore just how klunky they are and how badly they scale up. One may gaze longingly at them, and dream fondly of the future date when they are more practical, but they aren't there yet.

There is a reason the Haskell community is always banging on about monads and monoids and applicative functors and commutivity and associativity and identifying exactly how little power you need to accomplish a given task, and it's the same reason I was able to say in another comment thread that Haskell is probably the only current semi-popular language that could deploy the ideas in this paper as a library, and that library would actually be correct. (There are some languages that could deploy the library and it would be a cultural fit, like OCaml or Clojure, but you'd still be able to trivially use it incorrectly.)

Plus even if you still want to get into formal methods and program synthesis, "learn Haskell first" is still a fairly sensible stepping stone. It probably isn't strictly mathematically true, but formal methods are going to be more-or-less a superset of what modern Haskell teaches you anyhow. Both the Haskell language and the Haskell tooling will be easier, and pragmatic enough you can do a real project like "rewrite my website in it" or other pragmatic, attainable projects that the formal methods languages can't do yet.
So, I've tried it on some mips binaries I've been reverse engineering on and off last 7 years from assembly, for various reasons. I'm completely blown away by the quality of the decompiler output. The binaries include symbols, so everything global is named correctly, which helps. Anyway, nothing I've tried over the years comes even close to the clean output I'm seeing from Ghidra.

It's great.
> Notice the CO2 circle showing the last 1000 years; but if you circled the entire green line from about ~20,000 years. There's huge spike that couldn't possible be human activity.

You mean the bit labelled “Ice age cycles”? Which we are currently exceeding the maxima of by about as much as the difference between maxima and minima?
Why is the future of housing always having less?
I really really liked hopper.

it's probably the one app I missed most switching to windows.

x64dbg eventually grew on me and I like it nearly as much.
@ianai you should give the book 1491 a read, it is likely exactly what you're looking for and a well written book:

https://en.wikipedia.org/wiki/1491:_New_Revelations_of_the_A...