skysight-inc/HackerNews huggingface dataset:
State Farm wanted me to speak to my agent directly (who they had never bothered to change from one down in Texas when I told them I moved to Montana), so I gave them written notice through the contact form on their website and then had to file a chargeback when they charged me again.

Got a check from them in the mail a couple weeks later. (For $13.83, I'm not sure exactly what that's supposed to represent)
ROCm or HIP? Does it start out with porting a lot from CUDA etc. or starting fresh on top of the AMD APIs?

How much of the project time is spent on that compute API stuff in comparison to "payload" work?
They do mention the origin story of Macross a few paragraphs up so it seems like an odd criticism. On the other hand, it's kind of neat to see that alien technology is an outlier according to their analysis.
> would instead cause chaos in the home ownership market for no beneficial reason.

People losing home insurance altogether and being unable to find a replacement is going to be less chaotic for the home ownership market than insurance rates going up?
It’s fair to debate whether the nuclear activities caused the land value to decline or whether the government policy caused the land value to decline.

A government could impose irrational exclusion zones for arbitrary events, it’s unfair to impose the cost on the event itself unless the exclusion zone policy was justified.
I'm glad I grew up in a time before computer science degrees were common. I learned to write Algol 60 (1969), Basic (1970), Fortran (1974), Z80 (1978), 6502 (1981), all simply as tools to solve a problem. Were we ahead of time then in emphasizing high level thinking?
Is there anything new here? This article is dated yesterday, but it's citing other news stories from March, which is kinda weird.

Previously: https://news.ycombinator.com/item?id=39804437
We should if they're the reason the regions are becoming more dangerous.
They don't know what they don't know. (Devs not knowing where to start writing a piece of code that works on actual bytes and not strings or numbers is a classic example of this problem.) Sometimes they are good devs in their space and mean well, but they spend their working lives on a different level of abstraction and in a different problem domain. The danger with co-pilots is that devs using them will even not know what to ask for, because they will not know what it is they need to write. There is value in going through docs, writing your own code, making mistakes, seeing your code fail, fixing it. That's how you learn to spot mistakes made by AI, but I don't think that having a coding puppy and spending time fixing its mistakes is conducive to writing better code or improving developer productivity.
What are you scared of? Why 1%? Why not the 0.5% or the 2%? It all seems rather arbitrary.
This is in reference to the software catalogue feature.
Great idea! Have added to the article.
If uncertainty about the future value of the home brings prices down I’m all for it.
It's what you get when you leave the autogenerated Youtube mixes running for far too long. Far too long...
This seems, well, a little selective, being focused exclusively on 19C Italian Opera and Mozart. I think it's entirely possible not to particularly like these works, whilst enjoying operas by other composers.

My starting point in opera was Janáček. The Cunning Little Vixen and Jenufa, for example, are both stunning works, musically and dramatically, and sound entirely different from the operas mentioned in this piece. The recordings by Charles Mackerras are unbeatable.

But if you don't enjoy Janáček then try someone else's work as you never know what you might like!
I haven't noticed a significant battery drain. I charge my one year old phone once a day. Merge conflicts aren't too bad, although I don't encounter them often. When there's a conflict there is a file for each version and it's easy enough to resolve.
Brilliant, now it's not just people who live in cities subsidizing rich people who choose to live in high fire risk suburban borders but everyone who drives too.
> Leaving it to market also won’t take care of the problem

Why not?
Finch: Sparse and Structured Array Programming with Control Flow
Ask HN: The OpenAI's blog RSS feed is missing?
OpenAI recently revamped their website, and the old link to their RSS feed stopped working as a result which was this (https://openai.com/blog/rss.xml). Before the revamp, I found out about this feed via another HN post (https://news.ycombinator.com/item?id=36023810), since the site didn't embed the RSS link into the page, but I can't figure out if it still exists or not. Any ideas? I tried some generic URLs like /rss.xml but I get a 404.
Backstage is an open source CNCF project. It needs a corporate sponsor to keep it alive.
As I've heard it described, your brain has an easier time putting what little light information is there into a coherent picture; particularly for faint objects

I have a telescope, as well as a pair of binoculars, and not only is it easier to just keep both eyes open, it feels more immersive in general
Exactly, it's the same with autonomous driving or any other activity (even art!) that has always required a human. While it can "look cool" and like it "understands the context" on the surface, when diving deeper it will _always_ misunderstand the nuance, because it doesn't have all of the lived human experience and reasoning.

Being even 80% (or 90 or even 95) there isn't enough - something will always be missed because it's only able to "reason" probabilistically within a narrow area not far away from the training data.
Please bring a new step of “The birth and death of JavaScript” [1] to the real world (but still not the nuclear war part of it, thanks).

[1]: https://www.destroyallsoftware.com/talks/the-birth-and-death...
GenAI spam is here (YouTube)
Correct, it is underlying assets value and correctness. This fuzzy logic has always confused me
Much of Northern California and Oregon are fire adapted ecosystems, meaning that fire is a natural part of the landscape. There are plants that require smoke and fire for their seeds to germinate, for example. Converting wood to biochar doesn’t address that.

The bigger issue is that prescribed fire is comparatively much easier and cheaper. I’ve been on burns where we had a biochar kiln going, and were also burning piles. We easily burned dozens of piles in-place, and loaded maybe 6 into the kiln. We also had to set it up near a road, because it was heavy and needed a water truck nearby to extinguish the coals and make char.

I’ve been doing prescribed fire for a couple years now and people OFTEN bring up biochar. My feeling is that sure, go for it. If you have the resources and time, awesome. But don’t stand in the way of people doing good work because you think there’s a better way to do it. There’s plenty of work for all of us.
Apparently, you are the ones that have been hacked and your people are paying for it
Yes, a person in the inland empire using gas to get to their job far as fuck away because that’s all the house they can afford should clearly be subsidizing some coastal elite’s “I want a house on a cliff overlooking the ocean” insurance. Because fossil fuel use is the direct cause of the house’s instability.
I assume this is an invite only torrent site?
Right now they are not only attached to NixCon but Nix itself. People who hadn't heard about Nix now hear about Anduril.

Before this drama started I had no idea they even existed. Now I know they are a big Nix shop.

Those people who are creating the drama (and looks like they are a small minority) are trying to turn a tech tool into a social movement. This will kill the project.
Having looked briefly at the code I still think C++17 parallel algorithms are more ergonomic compared to OpenMP: https://rocm.blogs.amd.com/software-tools-optimization/hipst...
Nobody has your interest in my mind, except in so far as aids their interests. Doesn’t matter how many regulations or labels or non profit signals there are.
Not all of them, no. There are going to be side effects or injuries for some people, that’s the unfortunate truth.

But some people are going to think that non-vaccine issues are due to the vaccine due to the proximity of the two events in time. Either issues they already had but hadn’t noticed before getting the vaccine, or total coincidences. Those need to be investigated too rule out possible issues. But even with an obvious explanation people may continue to blame the vaccine.

There are also the group of pseudoscience believers who will truly believe impossible things are the result of the vaccine and may work hard to make their “injury” known.

So I don’t like blindly taking the number of complaints, without even a cursory check for nonsense, and using it in a headline to make it sound like the vaccine’s danger is being covered up, without making it clear how small the percentage is.

Not everyone will file a complaint, true. So even if every complaint was true harm, more people would have been hurt. But billions of doses of the Covid vaccines have been given.

If 20,000 people were injured and “only” one billion doses were given that’s a 1:50,000 ratio. I don’t think the tone of the headline fits a ratio like that.
Crazy episode. Thanks for this really thrilling story!
nvidia absolutely gives deals to national labs and universities. See Crossroads @ LANL, Isambard in the UK, Perlmutter @ LBL. While AMD is being deployed at LLNL and ORNL, Nvidia isn’t done with their HPC game. Maybe not at the leadership level, but we’ll see how Oak Ridge and LANL decide their next round of procurements
I love these minimal browsers. Much better than the modern-style web for sure.
Better title: State Farm to discontinue coverage for 72,000 homes in CA due to risk exposure

Better URL: https://apnews.com/article/california-wildfires-state-farm-i...
Beyond taking advantage of validations that are enforced with IAM policies, you can also have a background job handle making thumbnails or whatever you want.

Also I don't think the Content-Type is actually verified by S3 so technically users can still upload malicious files such as an executable with a png extension.

On the bright side, S3 supports requesting a range of bytes. You can use that to perform validation server side afterwards to enforce it's really a png, jpg or whatever format you want. Here's examples in Python and Ruby to verify common image types by reading bytes: https://nickjanetakis.com/blog/validate-file-types-by-readin...
> might raise oil prices, effectively making the carbon tax apply globally

that statement upon examination does not pass scrutiny for weaslewords
I did not know this, I have family in Tempe close by. Do you have any references I can pass along to them?
> it's very easy to get AI to write some code and copypaste it, not understand anything it said, and be done.

This is why I think that the old way of having tutorials instead of tests is vastly superior. When you are in a tutorial group (typically five or fewer students) and your tutor asks you to explain something to the other members of the group you can't hide behind an AI, a textbook, or even your own notes. Your lack of preparedness and understanding is made abundantly clear.
It may be politics.

90% of AM radio stations are owned by ~5 companies pushing a conservative agenda, with a similar disparity in programming (i.e., 90% conservative).

Most of the 10% of non-conservative stations are in progressive markets, where they have little impact. E.g., in San Francisco, the programming split is ~70/30% conservative/liberal.

Here's the (admittedly biased) source, but the numbers would be easily rebutted if untrue:

https://www.americanprogress.org/article/talk-radio-by-the-n...

AM radio licenses are a fixed government monopoly, and it's well within the budget of political organizations to subsidize a radio station, so there will be no change in this disparity driven by market solutions.

Assuming the numbers are true, once government policy results in an enduring political bias in media, does the government have any responsibility to mitigate that bias?

Does the government have any obligation or even mandate to reach into product design and require certain features - features unrelated to safety, pollution, energy, or any other generally accepted social good?
Converse curiously; don't cross-examine

https://news.ycombinator.com/newsguidelines.html
I guess it depends on the region. In Italy, the vast majority of buildings, both in the city and in the countryside, are in stone, bricks and concrete. In some mountainous region in the second half of the 19th century there was a mandated reconstruction of old buildings in bricks and stone to prevent fires.

In northern Europe the building style is entirely different and most houses still have a wooden frame.
I've been baffled by this for the longest time.

Why does "Bank of America" get to call itself that? Growing up there was a "USA Federal" credit union [1] too, with a stylized American flag logo.

Similarly there's a historic "New Yorker" hotel in New York City, and the totally separate "New Yorker" magazine, neither of which have any official affiliation with the city.

The short answer is that no, there don't seem to be regulations against it. Why any business seems to be able to take the name of a country or state or city, and therefore gain an aura of authenticity or approval, and then prevent any other from doing the same (since the name got taken, you can't have two Bank of Americas) -- I've never understood why the government allows these things.

[1] https://en.wikipedia.org/wiki/USA_Federal_Credit_Union
Imagine you have a house and you go to 5 different banks and take 5 different mortgages.

One mortgage is safe for the banks because they can take back the house. Low risk means low rates.

If you could take 5 mortgages, that would be very risky for the banks so they wouldn't give you a loan or charge much higher interest.

Hence you can't take more than one mortgage.

But what if you lie to the bank when you apply for mortgage?

Well, to prevent that we made lying to the banks about such things a crime.

Hwang is accused of a variation of that: he got loans from multiple banks without telling them about other loans i.e. lying to banks.

He made leveraged investments into lousy stocks and when he got called on those loans, he couldn't repay them and banks that gave him loans lost billions.
I'll be honest, I don't think I understood a word of that.
What property do unions possess that makes them different?
hm yeah i wonder if you could use the phase change tanks as an acoustic antenna to communicate with buoys on the surface
Rebel 'Star Wars' fans saved the original movies
Helm is what you should use as your cluster "package manager" to install all of your favorite off the shelf tools. Kustomize is probably a better choice for shipping your internal projects due to the variations you mentioned, but also because the learning curve isn't much steeper than learning about how to work with plain Kubernetes manifests.
This was already asked the last time[1], but I think it would miss the point of Dillo.

[1]: https://news.ycombinator.com/item?id=38853053
Right, how do you know what you want to do is not sleeping 15 hrs a day versus getting inspired by some idea
That's not gonna happen.

I can put your e-mail in and type out all kind of swear words or put in phishing link in contact for of a company and you would never know it came from me and you would blame that company.

I had spammers trying that all the time, multiple times they had some confirmation for buyer of their services - well only me got that info because from any public form we always sent out confirmation and "was it you? if not disregard, please" where content went to our special place so it would be safe, like our sales person not clicking some bs link from such contact form.
> they tend to create more problems than they solve. The natural solution to natural problems is to evolve

Is dying of drought, while being survived by less thirsty mutants, really solving any problems?

I guess there's some genetic lineage that keeps on replicating. Then we humans decide whether it's similar enough to keep labelling it the same "species". If so, maybe we declare that the species solved the problem of the drought.

Meanwhile, I doubt there were any creatures happy to die of thirst for lack of an aqueduct.

If we ignore that unfortunate reality and measure success by DNA replication, then civilization might still being doing alright. We've had a bit of a population explosion in the last few hundred years.
What about Tesla engineering priorities made the person think he should put his finger at risk, for no good reason?

> The YouTuber attempted to try the test again with his finger without trying other objects or his arm first but backed away every time the frunk was about to close.

After it injured his finger before? Was he seriously trying it again, or was that just fake, for theatre?
Alternate title: Minor change in insurance policies does not affect 99.5% of California homes.
Just because they want to spend on batteries doesn't necessarily mean they can spend on power lines. Most of the time you can't just pay the power company to bulk up your lines, just like you can't always pay an ISP to install a faster connection, even if they provide that service to another area.
*contempt of court
The contact form is linked in the article [1], and it rejects genuinely valid emails. You can try it yourself and see it doesn't have greyed examples, and that the problem is not example.com but the use of symbols. For example, greffe_acces@montréal.ca is a valid in-use email [2] that is rejected.

example.com was only used to take an example screenshot.

[1] https://adamjones.me/blog/dont-use-contact-forms/#:~:text=ma...

[2] https://montreal.ca/sujets/politique-de-confidentialite#:~:t...
Afaik those unified memory architectures are mostly neither cache coherent nor do they support virtual addresses efficiently (you have to trap into privileged code to pin/unpin the mappings) which means that the relative cost is lower than a dedicated GPU accessed via PCIe slots, but still to high. Only the "boring" old Bobcat based AMD APUs supported accessing unpinned virtual memory from the L3 (aka system level) cache and nobody bothered with porting code to them.
Humans now share the web equally with bots
America is a pair of continents, not the name of a country. The US federal government doesn't hold a trademark. The notion that companies shouldn't be allowed to name themselves after geographic features or political regions is absurd.
actually, a Wall Street industry analyst said and wrote approximately that, in what, the 1980s.
Thanks for reading the article! I agree it doesn't consider this point, and I actually hadn't thought of that.

Semi-empirically, I've run some websites with emails and contact forms sitting on them for 5+ years and I haven't noticed this effect. Although I must admit I haven't studied it quantitively well enough to determine this for certain - I'd love to look over the data to see if this is true. Unfortunately on all these inboxes spam is deleted automatically after some time so I no longer have records. If you do have data here, it'd be great to see someone publish this and would happily add a link to this analysis!

And theoretically, would a contact form link not also be a thing that gets added to more and more lists over time and have the same problem? (Although I also didn't notice this pattern on contact forms, so I'm not claiming this does happen - just a thought experiment on this logic!)
Neat. But why reinvent a bad version of matplotlib when all you need to make is an MPL backend? Is it very hard to make a backend?
The scaffolder is the part Datadog won't get you, and in my experience it is the most useful feature.
Related discussion: "Cancer vaccines are having a renaissance" https://news.ycombinator.com/item?id=40257689
None of those projects was worth the cost.
It does seem like this is a possible method to test if an LLM has your data in it.

People have found other ways to do that of course, but this is pretty clever.
I don't follow the line of logic at all .. just because something higher up the "consciousness tree" exists, it doesn't mean that other stuff lower than it is also conscious. If that's the case, then every animal on earth is conscious because humans exist and are conscious. How much or how little a human or a dog is conscious has no bearing on how conscious an ant is.
I have been using CBMC to formally verify C for six, make that seven years now (edit: time flies). The latest release is actually pretty good.

The secret to model checking is to understand that you're building and verifying a specification in code. It works best if specifications are built function by function. For each function, I'll build "shadow functions" that simplify any functions it calls with a range of potential non-deterministic behavior that matches that function's contract. In this way, formal specifications can be built from the ground up by first verifying a lower-level function and then replacing it with a shadow function that mimics its behavior in a non-deterministic but SMT solver friendly way.

There are things that model checking doesn't do well. Anything with recursion or looping that can't be easily broken down will not perform well with a model checker. While algorithms like balanced binary trees or sorting can be broken down in a way that can be model checked, other algorithms may require the sort of induction one gets with constructive proofs to sufficiently verify. There is an art to this which will lead to style changes in C and a slightly different way of building up functions from pieces that can be trivially model checked. Honestly, that's not a bad thing.

For the parts that can't be easily model checked, I'm working on a C parser library that can be formally verified, which will import C directly into Coq or Lean. I consider that the "last mile" before formal methods in firmware and system software is to the point that it's generally available.
It's funny how easy it is for something to just keep working when they aren't badly combining it with other services they purchased (hi ZenDesk, I still can't delete users in it because that's part of "Support" which we don't use, but I can create users just fine because that's still part of "Chat").
Slavery wasn't invented in America. It was common during the Roman Empire and thousands of years before that. Blaming 18th century folks for not righting every wrong up to their time is lazy, as it would be to attribute full-responsibility to you today for something improved and looked down upon in the future.

(None of us are fully independent but gain and suffer inertia from history and society at large.)

Still, we can learn from Ancient Greece, American Founders, as well as folks today.
> then received commission for the items I sold.

That's sales, thus the commission.

Front of house staff in a restaurant aren't doing sales as the majority of their activities. They're customer service. That's why it's not a commission.
> I really appreciated Daniel Dennett's work, but I couldn't get past his compatiblist take on free-will

I really don't understand people's objections to it. Free will never had a denotational definition that everyone agreed on, it had a set of vague, imprecise connotational meanings, and the free will debate has always been about determining whether we can devise a clear denotational definition that makes of agency and how we reason about moral responsibility. We can, and that's Compatibilism.

Moreover, studies I empirical philosophy have validated that most lay people experimental on moral reasoning questions largely agree with Compatibilist reasoning:

https://philarchive.org/rec/ANDWCI-3

So I think Dennett has been vindicated.
Can you elaborate on why you think that? I feel like not everything has to be shoved into the browser, as that is in a lot of ways worse