skysight-inc/HackerNews huggingface dataset:
If you're going to try an appeal to authority, then at least come up with a plausible authority instead of some random statistician who likely doesn't know the basics of physiology. The first thing you need to understand is that normal ≠ healthy. For example, a resting heart rate of up to 100 bpm is considered "normal" in the sense that it doesn't require urgent medical intervention. But of course anything over 60 bpm for an adult usually indicates some underlying pathology with a risk of premature morbidity and mortality.

The essence of type 2 diabetes is insulin resistance. Like many medical conditions it exists on a spectrum. The specific HbA1c thresholds of 5.7% for pre-diabetes and 6.5% for diabetes are inherently arbitrary and serve mainly to make communication easier. But there is a clear correlation between elevated HbA1c levels and higher all-cause mortality.

https://doi.org/10.1136/bmjopen-2017-015949

Also note that HbA1c tests aren't perfect for diagnosing type 2 diabetes and can have false positives or false negatives. If there is reason to suspect diabetes then it would be wise to conduct additional tests to get a better understanding of the patient's metabolic condition.

https://peterattiamd.com/ama15/
And yet if consciousness doesn't exist than why are all the automatons searching for it
At what point will current fabrication plants reach their limit? Is it a supply issue? Or maybe a resource constraint?

> Similarly, a fab will use very large amounts of ultrapure water for wafer cleaning and CMP, along with the regular water for things like chillers for process cooling. A large fab can use millions of gallons of ultrapure water a day, as much as a town of 50,000 people, and producing it requires its own specialized plant.

This is wild. All of this water so companies can create chips that will ultimately be used to …

pump out “advanced” chat bots.

I really hope all of this sacrifice is worth it in the end. Climate change is accelerating the loss of drinkable water around the planet.

If the best we could do is a slightly better chat bot, then we are doomed.
You probably can't try out a browser in the browser, because of the CORS rules.
You implied it would be a helpful tool for soling that particular problem, which is to dramatically misrepresent their utility to the parent asking for concrete examples of their relevance.
Why shouldn't you sleep more if you want to? Why should you feel under pressure to not sleep because you have to add 0s to some billionaire's account - that's exactly what my daily work is about BTW.
It's all objective. I enjoyed all the changes except the laser 'projectiles'. Though I agree it's nice to see fans preserve the OG edition.
> Is there any indication that the high risk properties in California are coastal instead of rural or exurban?

https://experience.arcgis.com/experience/03beab8511814e79a0e...

There is very high fire risk in the coastal hills, which contain the most expensive real estate in CA, but low risk in the adjacent urban areas closer to the water.

The exurban areas of CA are in the Central Valley, which has lower fire risk, but very high heat risk. Rural areas can have high or low fire risk, depending on where they are.
But then you have to waste time with vue/sveltes particularities ;). It's just a matter of what you're used to imo
> Also, is there a good learning resource on "proving" things about code for working programmers without a strong CS / math background?

I don’t know how difficult Software Foundations is for someone with a limited background but it’s probably worth trying:

https://softwarefoundations.cis.upenn.edu/
Alrededor del año 2000, una familia decidió que era hora de dar un paso adelante en la industria del calzado. Así nació WorldMujer, no solo como una tienda de zapatos, sino como un espacio donde la tradición se fusiona con la tendencia. Con una herencia de artesanía y un ojo en la moda contemporánea, hemos creado un lugar donde cada miembro de la familia puede encontrar su par perfecto. Desde entonces, seguimos comprometidos a ofrecer estilos que celebran la individualidad y la alegría de vivir.
No, we are don't agree. I challenge the existence of a "correct" level of consumptions, and how it's derived is still ambiguous - all I have gathered so far is that it's below whatever it was when the shale oil companies went out of business. I can think of a couple of confounding factors, so I'm confused why consumer behavior should be assumed to be the primary driver here.
Quip? Joke? I don't know what you mean.

It's an extensively treated paradigm in sociology. With sociology being a "soft" science and not having access to a methodology as rigorous as physics, it's certainly contestable and there are of course many sociologists who have made arguments against it or that simply don't consider it convincing, but it's not just some casual insight and certainly not someone's "joke".

The reason I mentioned it, in any case, was to relate it to previous commentor's supposition that unions were excluded from their "rule" (which was a casual insight). You needn't take either this perspective nor theirs as true yourself, but there's not much case to exempt unions if you're going to start looking through the world from that lens in the first place.
A very good resource for both verifying code and functional programming is Software Foundations (https://softwarefoundations.cis.upenn.edu).

One note though: Verus and the tool Software Foundations works with (Coq) take different approaches to proving things.

Verus attempts to prove properties automatically using something called an SMT solver, which is an automated system for solving constraints. Coq on the other hand, requires you to manually prove much more, offering a more limited set of automations for proving things.

Both have their advantages and disadvantages, namely that automation is great when it works and annoying when it doesn't.

(Another side note: Zero Knowledge Proofs (ZKPs) are kind of something different. A great many people who work in formal verification/proof don't touch ZKPs at all (ex: me). They are better thought about as a cryptography primitive)
>Surveillance encompasses both policing and caretaking, Hamacher notes. In practice, its polarized qualities—“beneficial and harmful, intimate and distanced”—intertwine. Baby monitors use technology developed for the military. Many contemporary models run on CCTV.

What does Jia think "CCTV" is, exactly?
People take medications for various things that have unexpected side effects. Recreational drugs can have longer than expected side effects. Sleep deprivation has been likened to intoxication. Then there are the things some people take for granted, like caffeine and smoking. Hell, even being too hungry or too full can mess someone up.
Even the federal reserve is privately owned though.
That’s not what the parent comment is talking about. They say that no one can mass produce these devices and sell them for $200. You don’t mass produce used iPhones to sell to people.
Unlike Firefox, Safari, Chrome, Edge, Brave, Lynx, Mosaic…
Is language support why people like OpenMP?

I think it is nice because it supports both C and Fortran, and they use the same runtime, so you can do things like pin threads to cores or avoid oversubscription. Stuff like calling a Fortran library that uses OpenMP, from a C code that also uses OpenMP, doesn’t require anything clever.
The water is not used up, and it doesn’t even evaporate, except for the small amount used in evaporative chillers.

The big scary sounding number at the input has a big number at the output.

Not to mention that up to 98 percent of the water is reused on site. It just gets cleaned and goes back into facility. It’s a big loop, not an input disappearing into a parallel universe.
I'm from Zimbabwe - so insults like "very European" aren't your get out of jail free card. The third world has an excuse for its problems - where's yours?
One can argue that the California homelessness crisis is caused by a certain type of idleness. NIMBYs refuse to adapt to their changing cities and instead try to force it to remain unchanged. You also have progressives who think that they can simply throw billions of dollars in tech money at homelessness, which is another form of idleness. As a result, you get nonprofits that receive millions of dollars a year that don't accomplish anything.
Construction costs here (Teton County, WY) are significantly higher than CA or most places in the US due to labor constraints (we have the highest average per capita income in the US, yet an ~80 : 1 median house price : median yearly income ratio, contractors have to commute in from 50+ miles away because unless you bought your home 20+ years ago it's hard to do so as a tradesperson now, etc). It's hard to construct SFHs here for less than $800/sq ft. The same I would imagine is true of other expensive resort places like Aspen or Park City as well.

My house is insured for more than I bought both the land and house for, as suggested by State Farm themselves due to ludicrous construction costs.
And the rent is paid by the tenants while the equity accrues to the owner. That’s it’s an investment with variable ROI is not anyone’s problem but the investor who stuck their money in this asset class instead of something else. No one is guaranteed a specific return on investment.
Then people just won’t be able to drive. I think a lot of people don’t see how precarious some people’s lives are now, even with what would have been decent incomes five years ago.
Tuesday it’s always on a Tuesday
I thought also that he was making the docker/container reference, just didn't see how it applied. Thanks for your expansion.

I do find the Great Person theory and its critiques fascinating. I think of how Kennedy navigated the Cuban Missile Crisis and avoided nuclear war, then I think of how the sheer consensus of the US military after WW2 was to build a huge nuclear arsenal and use it any possible chance.
Other than the browser, the fictional plane and the namesake movie, is Firefox all that common?
My demographics have me in a few paid survey groups. They’ve finally quit putting “prenatal vitamins”, “diapers”, and “toys” in the middle of “what has your household purchased in the last six months” surveys. I guess they finally figured out it’s not happening.
Posts on HN should be in English, per the Posting Guidelines

(link at bottom of the page)
It's called keeping a backup copy on your own server(s).

If you must always have a copy of your stuff, you must keep at least one copy at home.

I lost quite a few files back in the early days of DropBox. That taught me to never again entrust everything to outside entities. I don't use the Cloud any more. I keep everything on my own server.
> It doesn't explain the fact that one does indeed actually feel the pain.

Nobody denies that you "feel the pain", eliminativism simply denies that "feeling the pain" necessarily has implications for what does and does not fundamentally exist, and therefore, whether your perception of pain necessarily reflects some fundamental reality. There is no "pain" in the standard model after all, so either your pain doesn't really exist, or you're suggesting we add something to fundamental physics literally because of feelings.
Ask HN: How do you develop and maintain a good note-taking habit?
I see a lot of people here talking about the importance of their respective note-taking systems for their life and productivity. I would like to gain the benefits of such a system but I run into a couple issues.

The first is that when I do take notes, I over-write them. I’ll find myself nearly word-for-word copying the information I need. This is a habit from my years in education where I would basically transcribe lectures as a way to maintain attention as a strategy for ADHD. Therefore, my notes end up a muddled version of the source material and I’ll just use the source material for reference, making the initial note take a big waste of time from the standpoint of having an easy reference available.

Another problem I run into is that when I’m very attentive to a task or piece of information and want to take some note on it or reference notes from elsewhere, switching contexts to my notes is disruptive.

Are there any resources you recommend for effective note-taking?
Reminds me a little of hammock-driven development [1]

> the background mind is good at synthesizing things. It's good about strategy

[1] https://github.com/matthiasn/talk-transcripts/blob/master/Hi...
Okay but that's a completely different objection from the one in your previous comment.

And yes it's not always possible but it'll be available in enough places.

If a particular station can't get better lines, then as someone else said they could have fewer charging spots. High load per spot still works out well for them, because they can save space.
I don't feel like this is the case at all... maybe it's more of a thing on twitter/reddit but in the places that I comment, I never get the feeling that anyone is a bot (unless I'm falling for it very good).

Unless they're claiming twitter and such ARE half of the internet??
That's practically a sleeper! "Boasts high performance while having an unassuming exterior"

https://en.wikipedia.org/wiki/Sleeper_(car)
VC Code in the browser – Self hosted, sync between phone and laptop
AI computing is on pace to consume more energy than India
I know it's an irrelevant aside, but can I just say, since the article decides to lead with it, that the painting created from his vision is utterly underwhelming. How you could take such a vision and turn it into something so mundane is beyond me. I almost wonder if it's just the classic money laundering through painting valuatiom shtick.
It only requires a majority plebiscite, not a supermajority, to fix.
How Companies Learn Your Secrets (2012)

https://www.nytimes.com/2012/02/19/magazine/shopping-habits....
It would be interesting to see if there are any useful integrations possible between this and 'Clouseau', the Inspector provided by McCLIM (McCLIM being a somewhat idiosyncratic UI toolkit implemented in pure Common Lisp). Years ago I'd extended Clouseau to do implement some custom visualizations of data structures in a work project, where I recall it was a relatively straightforward matter of specializing certain generic functions, but no longer recall the details.
The article is largely about the 4k77/4k80/4k83 editions - which are indeed the original theatrical editions.
Fire danger in California is mostly due to terrible forest management policies - large scale blanket fire suppression and serious impediments towards logging and brush clearing.

Global warming may be what is lighting the match (sometimes - but frankly probably is only a minor influence) however the giant pile of fuel that has been growing for 100 years remains almost completely unabated.
Ask HN: Has Reddit search suddenly gotten better?
The other day, I attended an open mic in my hometown and, still buzzing from the experience, wanted to search my hometown's biggest sub to see what they were saying about that open mic venue.

So, I visited the sub and typed in the name of the venue in the search box. Just the name, mind you - no reference to open mics or jam sessions or whatever. The name is something like "bojoboes" which also does not refer to open mics and jam sessions.

Somehow, Reddit was able to surface a single thread with 3-4 comments from two years ago which referenced open mics and jam sessions BUT had NO direct or partial reference to "bojoboes". Instead, people had named one other venue which wasn't anything like "bojoboes".

So, here what reddit was able to do - identify that "bojoboes" exists, figure out that it is an open mic venue, then key word search "open mic" from the UGC and surface that one thread, all within a few seconds.

Can someone else replicate this with things they are familiar with?
Forgot to mention that we are also on Fedi: https://fosstodon.org/@dillo

Here are some cherry picks:

- Dillo on the Kindle: https://fosstodon.org/@dillo/112181258739093008

- Dillo on an old Samsung phone: https://fosstodon.org/@dillo/112327798958777998
> although I fear this article may trigger a heavy-handed response from Disney's legal thugs.

Project 4K77 and other restoration projects have been well known for quite some time. This is hardly going to be the first Disney has heard of them.
> but they do two things: mandate required information and _imply_ that you are a guest and you must hold yourself to someone else's communication norms.

To be honest, tools like this do quite a good job of filtering out people who want you to bend over backward for them. If someone is so stubborn that they refuse to take a couple minutes to fill out someone’s form, they’re likely to be very demanding and uncooperative with every future engagement.

Of course, these people never see themselves as such.
The recent post on the nature of code would be a great addition to this!
https://news.ycombinator.com/item?id=40221067
Anyone with a mortgage is in theory obligated to get insurance asap - or owe the bank the entire outstanding balance. And if the place burns down they are still on the hook for the entire mortgage too.

If no one will underwrite? Oh shit.
> In late March 2024, an adult dairy farm worker had onset of redness and discomfort in the right eye. On presentation that day, subconjunctival hemorrhage and thin, serous drainage were noted in the right eye.

Is this a typical symptom of avian (of other animal) flu? Definitely scary... that example picture looked pretty brutal.
It seems like we should stop calling these sites "social media". The social aspects have been downplayed in favors of bots, engagement farming, and monetization.
I loved Dillo! great to see new activity
I learned about this from the audiobook version of The Power of Habit by Charles Duhigg. Maybe that is what you're thinking of?
Microsoft's real users are governments and large corporations -- seat licenses, admin tools, services, etc.

Everyone else using their OS is just another one the products Microsoft can sell to their real users.
That's good for him, but it means we'll never find out in the near future whether it's possible for the average person to create useful ICs in their garage.
yeah, I get them mixed up.
Most users want the DNS of the Internet, not of their own ISP.
Endless capture of our intuitions by entrenched incumbents.

I'm pretty convinced that unless you're an athlete, everyone should be on a low carb diet (<100g a day for moderately active). Our bodies aren't equipped to deal with the speed-ball you get each meal with the standard american diet. Aside from diabetes and obesity, the is growing data on keto-diets improving psychiatric, neurological, or even cancer outcomes.
Here is an article from Phoenix Business Journal:

https://archive.ph/dYCAF

> With Taiwanese transplants moving to north Phoenix in droves, Arizona officials — and a local baker — are working behind the scenes to make them feel welcome
> In the US, the transportation sector as a whole accounts for only 29% of our collective greenhouse gas emissions [0]. Within that sector, passenger cars only account for 20% of the 29%, or 5.8% of our total greenhouse gas emissions in the country.

You need to account for light duty trucks here too. Merely including "passenger cars" is wrong since enormous numbers of Americans are driving pickups/SUVs/etc as their personal vehicles. That would push personal transportation to 16.5% of our total GHG emissions.
Why does the intersection of “being into Jesus” and “being into money” always seem so correlated with “fraudster”?
I think you mean subjective. But I agree: the Star Wars special editions are the superior versions. I have never understood, nor will ever, why people get so worked up about the Han Solo scene. It's simply not an important part of the story or the character.
No, I found this a good explanation: https://www.lullabot.com/articles/adventures-with-edrive-acc...
The process of making a Japanese road bike at the Panasonic Bicycle Factory [video]
In my experience, peak email spam was 15-20 years ago. At some point, I got ~500 messages/day delivered to my spam folder. Today the average for the same address is maybe 2 messages/day. Spam filters flagging legitimate emails as spam or not delivering them at all has long been a much bigger issue than any spam that gets through.
> My view is that diabetes is an urgent national scandal. Over 100 million Americans have diabetes or prediabetes, and 100,000 die from the condition annually. In addition, every year hundreds of thousands of people with diabetes have limbs amputated or suffer blindness or kidney disease. Diabetes costs our country $400bn annually to treat.

So about 4x as many deaths per year as homicide, twice as many as suicide, twice as many as car crashes, twice as many as accidental falls, and a multiple of plenty of other preventable causes of death. Obviously some of these other types of deaths take far more years off people's lives than diabetes, but I think the author is right to call it an urgent national scandal.

> Her meticulous account depicts the world’s most important diabetes patient advocacy organization as a cynical fund-raising machine, anxious to please its corporate overlords at the expense of the millions of people with diabetes it is supposed to be trying to help. “The defendant’s conduct shows that they were party to a scheme to defraud the American people by approving and endorsing recipes submitted by Splenda to be lauded by the ADA as a healthy choice for people with diabetes, when the ADA knew that those recipes were contrary to the ADA’s guidelines and well-established and emerging scientific principles,” the complaint reads. In case you’re curious, the ADA and Splenda appear to be still at it. As I write this, the ADA’s Diabetes Food Hub web page still features no fewer than 203 recipes – some marked “sponsored”, some not – that include Splenda, whose parent company’s $1m contribution has brought to light the utter insanity of our diabetes epidemic.

I really wish this could have gone to the discovery phase. Hopefully there will be investigations.

> And although type-2 diabetes is often reversible through a low-carbohydrate diet, the ADA and the pharmaceutical industry don’t seem very interested in acknowledging that. Instead, they promote a laundry list of corporate deals and pharmaceutical treatments that have failed to stem the disease’s lethal and expensive impact on American life.

I'm not naïve enough to think that all (or even most) of the tens of thousands of people dying from type 2 diabetes each year would be saved if the ADA didn't give poor advice, but I also think it's wrong to think that it'd have had no impact: insulin has been infamously expensive for many years in the US, and insulin pumps are thousands of dollars. I certainly think some of the millions of people who ended up dying from type 2 diabetes would have made lifestyle changes had it been made clear that it's often reversible with diet changes, if for no other reason than to save money. If you don't have a pump, having to take insulin shots throughout the day is a pain the ass, so again, I think some people would have made lifestyle changes to avoid that had it been made clear that it was an option.
I was wondering about that. Maybe they're taking an approach of "any publicity is good publicity"?

But once it's in the NYT, Bob Iger will surely read it. It may force the suits to release the hounds if just to make an example for anyone else considering similar restorations of Disney originals.
TIL of Spartan Protocol. I love Dillon, how is it handling modern security features like new versions of TLS or SSL?
Humans are just evolutionarily driven machines that respond to stimuli also, but how is it that we are conscious? What is the bar at which you say consciousness has emerged, and why is that limited to mammals?