skysight-inc/HackerNews huggingface dataset:
Almost every car my family owns is over 200k miles, and we recently got rid of a 290k mile Volvo S80. I do all the work on all of our cars, and I've never had to replace a wheel bearing.
Sometimes I wonder how much careful / research is appropriate for questions like this. To wit:

For me, thinking in broad strokes seems sufficient here:

(1) Tesla has a reputation for lengthy, extremely costly repairs.

(2) Tesla is led by Musk, whose leadership strikes me as erratic and unreliable in the best of times.

(3) Tesla seems to be in financial trouble, which I'd expect to only exacerbate (1) and (2).

(4) Tesla just called into question the availability of their U.S. charging network, which reminds me that a Teslas are local-only vehicles unless you're confident there's a charging network to support your trips.

(5) I can't afford to spend $30k on an unreliable vehicle, nor a reliable one with $5k+ repairs.

I'm curious if looking at this more carefully would change my mind. And if so, is there a way I could have recognized that before contenting myself with the broad strokes mentioned above?
My condolences to whoever will have to clean up after Nadella.
I hear you but what’s the alternative though? Provide a DIY guide on how to do it yourself in a painless way? And what about those people who just can’t because are paralyzed for example? There are a million different cases and someone has to have the power to help someone who has decided that they don’t want to live their lives that way anymore.
I think the webshop's arguments make sense and they go beyond in transparency and detail from what I would've expected. They seem to know their systems and have safeguards and best practices in place. You only present theories it was them.

> - a keylogger on my computer

Or rogue browser extension taking screenshots when a user visits a shopping checkout page. (I know that's also just a theory.)
Well, D3 is not a set of tools for charts (alike matplotlib, ggplot or so), but a low-level library to create your data visualization from scratch. Depending on your goal, it may or may not be what you need.
you might want to try linking @variable to Identifier, i think the original author decided to keep @variable unhighlighted to keep the color diff between having `termguicolors` on/off to a minimum (Identifier assumes `termguicolors` is enabled, but for default colorscheme it's likely not always the case).

see https://github.com/neovim/neovim/pull/26334 and the comments in highlight_group.c
Well, I definitely sit in the back mostly in Uber rides and that's supposed to matter somehow.
It's a bad thing because I have personal experience with the court taking over my decision making when I wasn't in a mental state to do it for myself. I'm immensely grateful even though I didn't think so at the time, fought it and thought they have no right to do so. I had no idea things can change so much and wasn't thinking clearly, life is beautiful now.
That isn't true at all. The limited speed at which a signal can propagate itself across a chip and the added levels of muxing necessarily mean that there's a limit to how low the latency of a cache can be that's roughly proportional to the square root of its capacity.
JEP Draft: Support HTTP/3 in the HttpClient
> And to be fair, this isn't all that much different than other luxury cars like BMWs and Audis.

It's different in that those have much larger and more readily available 3rd party repair shops, parts, and used parts. You can often shop around and get alternatives. With Tesla you're a lot more locked in.
I've found Copilot to at least be useful as an autocompletion tool. I write a method with a name that forms a pattern and then start writing a method which is just copypasta with a few things changed and Copilot is often sufficient smart enough that hitting <tab> really will save me some typing. Don't see how that's bad, or how anyone in the world is going to be able to detect that I'm using it.

[You could argue that it is bad because the pattern may change, but not having to type it out allows me to think about that instead of the typing -- and a super common bug for me to write is where I copypasta something X times and forget to fix a detail in one of them]
No, of course not.

So thus, neither Arduinos nor Raspberry Pis are things that need to exist.
The Pi isn't one thing - it's a group of computers at different prices - you can develop on the expensive one and run your production code on a much cheaper one.
Shareholders and lenders already have the necessary legal tools to prevent employee looting, if they choose to use them.
RISC-V is only really directly helpful for those building their own silicon (sure "anyone" can implement a RISV-V core in a FPGA but that won't give you the performance of an ASIC).

If you just want to buy a chip and put it on your own board you don't really care that much about the ISA as long as the toolchain, bootloader, kernel support is there and stable (which is pretty much the case with RISC-V now).

But if you're desiging your own silicon the ability to make or modify an existing open source RISC-V implementation can give you the flexibility that currenlty only the very largest players in the ARM ecosystem that have architecture licenses have (I think that's pretty much limited to Apple, Qualcomm, Samsung).

I expect the smaller but important players like NXP, ST, TI will be bringing out RISC-V chips taking advantage of this.

ARM have also been talking about making their fees dependant on the price of the final product so that could also push people to RISC-V, not just to pay less but also to not have to jump through the hoops that would be required to provide all the information to do that.
> doesn't have a hell

https://en.m.wikipedia.org/wiki/Tzoah_Rotachat
another advantage may be to let the big library providers (LangChain | LlamaIndex) to implement this before releasing to developers at large
First, Mozilla's execs killed ff and made the organization into basically a subsidiary of Google, dependent on its support.

Second, ff comes with Google as its default search - so that's going to suck.

I will be happy for you to yell at me to use Firefox when you have fired Mozilla's execs, and dropped Pocket and the Google default search. Until then, I feel like you're not facing reality about what ff has become due to it's cooperation with Google.
You have to be careful you are not sliding into Intolerance for views etc that you don't agree with. Its a very contagious disease these days. People are losing the ability to negotiate and compromise.
> Tesla does not allow the use of any used, recycled, alternative, aftermarket, or third-party replacement parts. Use only new parts ordered directly from Tesla.

I didn't read all the was too the fine print, but these statements are patently nonsense. Maybe doing the things they don't like will void your warranty or something, but adhesives don't get stickier just because Tesla decrees it.

They may well advise you on what to do, or even try to fuck up your car's software if they detect you've defied them, but they can't just issue commands or make statements about the impossibility of letting someone else fix your bumper.
Interesting point. I never inferred a strong connection between dependent types and the unification of records and modules. Maybe a real PL theorist around here can provide insights on that subject.
I guess we are going to need something like ublock for AI content.
FSD is on major version 12 and still doesn't work as advertised?
> But I do not think the foster system is so broken that we should abolish CPS entirely and just accept actual child abuse as unpreventable

I have not advocated for that anywhere.

> Which is worse? Lacking the power to remove a child from a bad situation, or occasionally sending a child into a bad situation

Actively using power to make someone's life worse is worse than failing to use power to make someone's life better. Even if the power is used with all of the best intentions

That's why the road to hell is paved with those
From what I see at this point applications where database replacement was trivial are long done with Oracle, in more complicated cases through it is often better to replace Oracle with PostgreSQL when doing technology stack refresh ie moving to microservices from monolith
Doesn't this just mean that the vast majority of users don't care enough about these sorts of things? Doesn't that mean that the market is working?

If switching cost > perceived benefit why should we expect anything other than status quo? When a truly innovative platform that offers benefit > switching cost, users will naturally flock to it. We're already starting to see that with ChatGPT.
You think present day America should be judged by the same standards as Genghis Khan‘s Mongol Empire?
Don't complain about a product when it's free.

Exactly how many dollars is OP paying google to complain about 3 second delay times?

What's his premium support plan and how does that pay employees to handle his banalities?
That 13k to fix the battery pack is the main problem. Repairs on a Tesla are a lot more expensive than repairs on an average car.

That makes a used Tesla a less attractive option, and makes any Tesla more expensive to insure. In the long term that also makes new Tesla's less attractive. Low resale value and high insurance costs both increase the monthly cost of owning one, which is the number the majority of consumers will look at.
ChatGPT has an amazing ability to write, but you shouldn't trust it for any form of mathematics aside from providing vague descriptions of what various topics are about (and even that tends to result in a word soup that is more flowery than descriptive). When it comes to solving specific problems, or even providing specific examples of mathematical objects, it falls down really quickly.

I'll inevitably be told otherwise by some ChatGPT-happy hypebro, but LLMs are hopeless when it comes to anything requiring reasoning. Scaling it up will lessen the chance of a cock-up, but anything vaguely out of distribution will result in the same nonsense we're all used to by now. Those who say otherwise very likely just lack the experience or knowledge necessary to challenge the model enough or interpret the results.

As a test of this claim: please comment below if you, say, have a degree in mathematics and believe LLMs to be reliable for 'math help' (and explain why you think so).

We need a better technology! And when this better technology finally comes along, we'll look back at pure LLMs and laugh about how we ever believed we could magic such a machine into existence just by pouring data into a model originally designed for machine translation.
At my university, all majors of computer science have to take a course in discrete math, which involves writing a couple different types of math proofs using proof by induction (including strong induction) and proof by contradiction. However, that was the only class I've ever taken where I've had to write proofs regularly.

Anyway, I think that, at a minimum, at least one class like that should be part of every CS major's education, if it isn't already. That way, proofs are less intimidating, and things like Coq and Isabelle/HOL are less intimidating.
Show HN: We built the fastest Android dev ecosystem
Shipping rates are probably the fastest in Android dev. Ironically, the development cycle is bloated with slow and jarring tools.

With options like Vercel, Gitpod, Stackblitz and many more in web dev available, who take a hard stance on developer productivity, we decided to bring such capabilities to Android dev as well.

We built Dashwave to fundamentally enhance this by bringing fast (like phenomenally fast) builds, in-browser app previews of feature branches and one-click battery-loaded workspaces.

By simply attaching your IDE or repository to the platform, your builds with emulated previews will show up straight up on the browser.
Share those previews for instant feedback and PR reviews.
Rapidly fix bugs without switching context from in-browser workspaces.

Technically, we achieved this by pretty standard methodologies like distributed caching, interactive streaming, advanced scheduling algorithms and putting in good degrees of optimizations over them. We are hard believers of the first-principles approach.

Give it a run let us know what you think! We are excited to put powerful tools into the hands of exceptional teams.
https://archive.is/Lv3zB
Have you turned on the new render engine in the microsoft terminal settings? It is marked beta but should be much faster.
That's unconscionable. The only way these programs make any sense ethically is if the prisoners get a job automatically after release, which is a huge step up from the discrimination they face in the job market. California really should be more like Arizon, from TFA:

> In Arizona, jobs at Hickman’s are voluntary and often sought after, not just for the money, but also because employment and affordable housing are offered upon release.
History of the Italian electrical system
And how does one decide that you’re unfit to decide?
Emojis - the modern version of hieroglyphics
> which tend to have pretty obvious findings

Perhaps I'm biased, but instead of "obvius" most scientific news in newspapers tend to be overhyped doubious results.
I have a 4runner with 260k miles,an F250 with 250k, and a Chevy Volt with 188k. Not a single one has ever left me stranded, and I wouldn't hesitate to take any of them on a cross country trip.

To be honest, I really think a newer car will be in the shop sooner than my vehicles will have a hiccup. My friends that buy Audi, BMW, jag, are usually in the shop soon after purchase for something random.
It depends on perspective and who's making the judgment. It is absolutely worse for the love child.

I think it's questionable if a third party has a right to judge and take action
We have evidence in the form of writing, e.g. accounting books and the journals of Merer [1], who describes the supervision of the construction and of the workers. The logbooks describe worker strikes (they complain about not being given enough beer) and how they're divided into teams of skilled laborers that compete against each other. These logbooks coincidentally describe canals used to bring supplies close to the pyramids.

[1] https://www.history.com/news/egypts-oldest-papyri-detail-gre...
Vehicles do occasionally need parts replaced. This does not diminish that these vehicles will last hundreds of thousands of miles cost effectively. The nuance is clear, or so I assumed. Replace parts as needed (either scheduled maintenance or ad hoc), but the powertrain will likely last the life of the vehicle, and that is the material cost concern of a vehicle.

https://www.forbes.com/sites/carltonreid/2022/08/01/electric...

> “It’s the complete opposite of what people feared when we first launched EVs—that the batteries would only last a short time,” he reflected.

> It’s clear that most EV batteries will outlast the vehicles they were installed in, and even then, they have a worthwhile second life before they need to be stripped down for recycling.

> “At the end of the vehicle’s life—15 or 20 years down the road—you take the battery out of the car, and it’s still healthy, with perhaps 60 or 70% of usable charge,” said Thomas.

-- Nissan executive Nic Thomas.

(and these are early gen battery pack designs that were, frankly, not very good compared to Tesla's)
And yet it's all Greek to most.
Interesting. I sense some disgruntled employees threatening to leave
I just used those of examples of how much Israel fancies it self as a European culture. There are more examples, which together makes a convincing argument that Israel is way more a European culture than it is Middle Eastern.

> Israel participates in Eurovision because it's a member of the EBU

No, that is not the reason, being a member of EBU is neither a necessity nor sufficient reason for entry. Morocco is the only non-European EBU member to ever participate, they did it once in 1980, came in second to last (above Finland) with Italy the only country to give them points. They have not participated since probably because of poor cultural fit.

On the flip side, Australia has participated multiple times without being an EBU member. The only reason Australia participates is because of the shared European culture.

> The Arab states are boycotting Eurovision because of Israel's participation.

The Arab states have not participated even in the years which Israel is not competing, which was the case in 1980. Turkey has participated multiple times along side Israel, even in 2011 a year after the Gaza flotilla raid.

That said the Arab states may be boycotting because of Israel’s participation, but that does not disproof the fact that Israel participates because it fancies it self as European.

> The UEFA story is roughly the same

Perhaps, but Israel applied to and were granted memberships to the UEFA based on their European cultural identity. Greenland was not given the same break and had to apply to CONCACAF (but Kazakhstan was; curiously). When South Africa was kicked out of CAF they did not ask to join UEFA or OFC, instead had to wait until they ended Apartheid and then rejoin CAF.
sure, but with like a 100x improvement in usability -- chatgpt is helpful in figuring out what stuff to read (at least for me) so that when I go to the actual paper or a book I know what to focus on

otherwise you can say "why do you need google, it's the same as you'll get from the website"

moreover, I found that chatgpt is pretty decent at rephrasing a convoluted concept or a paragraph in a research paper, or even giving me ideas on the research directions

I mean, same with coding -- I treat it as a smart autocomplete

I could go to google and look for a .csv containing a list of all US States

Or, I can write

const US_STATES = [

and let copilot complete it for me -- 5 minutes saved?
70k? I had a Toyota at 115k and I felt like the things was just getting broken in. I was sorry when I sold it because I needed something with 4 doors.
I'm in Denmark, the country with a 150% tax on new cars. I think there's still a discount on electrics though.

$30.000 is a lot, I know it's a luxury car, but a new model 3 is still "only" 50.000USD. The discount simply isn't high enough and $30.000 is more than I would want to spend on a new car anyway. I can get a Hyundai i10 for $20.000 which functionally does the exact same thing for me. Sadly it's not electric.
> Everyone who could be infected was infected.

Some of us avoided being infected until we first got vaccinated.
Sorry HN, but this document shows that they have much better understanding of ETH and how it works than most of the HN. Literally. I'm impressed.
Huxley's _Island_ didn't seem too bad. I think the general problem is, if you want to completely eliminate crime, poverty, and conflict in general, you have to have a society that is extremely regimented, and you have to be willing to kill off anyone who seems "defective".
It's still aliens with this guy.

> In his book Supernatural: Meetings with the Ancient Teachers of Mankind, Hancock (2006) explored the cultural importance of shamanism and psychedelics and the idea that nonhuman entities from other realms kickstarted human culture. Hancock draws parallels between shamanic spirit journeys, narratives of fairies, and modern alien abduction accounts. Shamanism is "nonsensical to 'rational' Western minds" as it is based on "the notion that the human condition requires interaction with powerful nonphysical beings" (Hancock 2019:220). He has also discussed this idea in public presentations. In America Before, Hancock (2019) again emphasizes access to the Otherworld of souls and nonhuman entities through psychedelic "plant allies."

- http://onlinedigeditions.com/publication/?i=634462&article_i...

He was able to do a Netflix series because his son is the "Director of Nonfiction" there (https://thetvcollective.org/breakthroughleaders/industry-exp...).
Nice; doesn't include my MVNO (Ting) though.
The horror stories are always about people seeing how cheap used 7 series or similar are and not realizing that repair costs are still going to be reflective of the MSRP, not the now drastically depreciated used price.
Tommaso Campanella certainly was and was jailed by the Inquisition. Although like Giordano Bruno, it is hard to know exactly which of his many nonstandard beliefs the Church disliked more. Campanella wrote a book attacking Aristotle ("Philosophy demonstrated by the senses"), but he also was into astrology and magic and was also a sort of proto-Marxist with his "City of the Sun" utopia.

https://en.wikipedia.org/wiki/Tommaso_Campanella
Sure, but where does that leave children of a (temporarily) down on her luck mother, or indeed parents of a depressed child? We’re extending medical autonomy to 13 year olds at this point.
100,000 miles is essentially the bare minimum I'd expect from a car. I enjoy spirited driving as well (rumbly subie owner) and I'm over 100,000 miles and only had to replace wear items.
Delivering quantum information – a field-deployed quantum network
> Second, ff comes with Google as its default search - so that's going to suck.

I'm confident that if you can post on HN you can figure out how to change a default setting
We envisioned a system like this over a year ago, but since we lacked technical capabilities in this area, we couldn't solve it. To me, it is clear that a lot of information is being transmitted needlessly. There is no need to send an entire book every single time an interaction occurs. Instead, you can start from a checkpoint, remap from memory, and continue from there. Perhaps none of the current LLM service providers have an architecture that allows this, but it seems like something that should be possible and is likely to emerge in the near future.
My understanding is one of the dangerous jobs mentioned, fire fighting, is not mandated and they allow the prisoner opt out. They also give the prisoners time off their sentence for everyday they are on duty. Is that correct?
I believe data is now going to be more limited:

https://www.hhs.gov/about/news/2023/05/09/fact-sheet-end-of-...

> CDC COVID-19 data surveillance has been a cornerstone of our response, and during the PHE, HHS had the authority to require lab test reporting for COVID-19. At the end of the COVID-19 PHE, HHS will no longer have this express authority to require this data from labs, which will affect the reporting of negative test results and impact the ability to calculate percent positivity for COVID-19 tests in some jurisdictions. Hospital data reporting will continue as required by the CMS conditions of participation through April 30, 2024, but reporting will be reduced from the current daily reporting to weekly.
Can Tesla authorized mechanics offer pre-purchase inspections for cars that are sold by third parties?

I know Tesla themselves do it if you buy a pre-owned car from them.
Interesante. Is this server/client mode something factorio supports natively or is it a mod of some kind?
> I do a lot of work with Isabelle, and when doing proofs, you can use the word "sorry" to basically say "this is true because I said it's true okay".

I always thought that unsafe { .. } blocks in Rust should be called trustme { .. }

But sorry { .. } is even better!
2017 was right as the very first releases of .NET Core 1, 1.1 and 2.0 were happening.

It’s most likely your experience today would be a polar opposite to this.
'bossware' reminds me of the good old 'boss' button that used to be present in some applications and games. You hit it when the boss wandered by.
I think "sound methods" in this context just means methods that guarantee soundness. You can have soundness without sound methods, but you can't know (for sure) that you have it.
Rustviz: Interactive Visualization of Ownership and Borrowing
Right? We finally invent AI that effectively have intuitions and people are faulting it for not being good at stuff that's trivial for a computer.

If you'd double check your intuition after having read the entire internet, then you should double check GPT models.