skysight-inc/HackerNews huggingface dataset:
>How much would it weight

A pound of it would weigh a pound. ;0)

Do you mean how dense would it be? I don't know how well models predict density. But density is not proportional to atomic number or mass.

Osmium has an atomic number of 76 and a density of ~23 g/cm^3.

Uranium has an atomic number of 92 and a density of ~19 g/cm^3.
Lowering body temperature would be precisely one of these things you can do short term to maintain the same calories expenditure but would be unhealthy if prolonged.
Intolerance is hardly the only thing that gets shouted down.
A shift in understanding the metabolism has been gradually occurring since the 1990s with the isolation of leptin.

What is leptin? Discovered in 1994, leptin is a hormone that signals the availability of energy reserves in the body. "High leptin levels are interpreted by the brain that energy reserves are high, whereas low leptin levels indicate that energy reserves are low", the latter causing the body to enter a resource-minimizing starvation mode [1]. More recently, leptin has also been shown to regulate "neuroendocrine and immune function and [play] a role in development" [2].

Why is leptin so important to obesity? "Most obesity occurs in the presence of increased leptin levels", which suggests a form of "leptin resistance" in obese individuals [2].

Leptin changes our understanding of body fat, also called adipose tissue. We generally think of body fat as simply stored energy reserves, so fat can be burned by decreasing our caloric intake (diet) and increasing our energy usage (exercise), forcing our body to dip into its reserves. This approach is generally referred to the calorie-in/calorie-out (CICO) model. While true to an extent, this perspective is too simplistic, given one key fact: leptin is primarily produced in adipose tissue [1]. This fact means body fat is actually an endocrine system organ.

Consider this: an obese individual has elevated leptin levels. A decrease in adipose tissue causes a decrease in their leptin production. Due to leptin resistance, low leptin levels causes the body to enter starvation mode, and hardcore dieting causes leptin levels to drop further, which makes weight loss even more difficult. What they mean by "metabolic adaptation" may be understood as "leptin adaptation", though I'm just speculating there.

It's strange that so many articles talk about weight loss and "metabolism adaptation" without mentioning the hormone signalling energy availability. With leptin, we clearly see the body has an energy availability feedback loop, and fighting the intrinsic dynamics of a feedback loop rarely leads to good outcomes.

On this vein, I want to highlight slothtrap's comments:

>The more frequent the dieting and steeper the caloric deficit, the worse metabolic adaptation gets, and the longer it takes to return to normal.

>I wonder if those who sustained higher levels of exercise were actually in a steeper caloric deficit.

>perhaps it's fair to say that if you're going to exercise, you best sustain it.

These comments align with present understanding of leptin dynamics. A steep caloric deficit pushes the obese body into starvation mode, so net energy expenditure from high levels of exercise will be decreased. Weight loss will be maintained once the body adjusts its leptin production and usage, which, as of now, can only be accomplished with habit.

It's also worth mentioning here the hormone ghrelin, which was identified in 1999 and is nicknamed the "hunger hormone" [3].

[1] https://en.wikipedia.org/wiki/Leptin

[2] DOI: 10.1146/annurev.physiol.62.1.413

[3] https://en.wikipedia.org/wiki/Ghrelin
How well-structured should your [data] code be?
Yet we have been doing it successfully for generations. And then people started making up theories to explain what clearly isn't true - that we somehow can't do anything. You're just not doing anything (if you actually believe this stuff). We know exactly what to do; let's get going.

> They have noticeably bettered their society in a way that the Anglosphere has not.

In what way is it better to live in China? The economy there grew faster for awhile, which is the norm for successfully developing economies, but wealth and standard of living aren't at the level of the West. Why are so many in China moving to the Anglosphere these days?

(I'm not wishing anything but the best for people in China, who should have freedom, self-determination, and continue to grow in prosperity.)
I think another reason is that biological systems are _fantastically_ complicated - for example, we're finding that the spatial distribution of molecules within the cell affect enzymatic processes in ways that may have implications for alzheimer's and dementia. For another, there's various bacterial communities where, if you want to trace the enzymatic pathway for a particular product, you're jumping between species in the community, and not just once - that particular product is the result of multiple distinct enzymatic pathways in multiple different organisms (and whatever else exists in the environment outside the cell).

I've been a software engineer for 20 years now, I don't underestimate the complexity of computer systems or software - I think the number of people in the world who could really accurately describe every part of every system involved in showing you this note to you is maybe ten - but we've got nothing on biological systems.
I don't think this is a fair comparison. If you want to teach that you can write(2) to raw FDs in Rust, you can, just like you can use write(2) or fprintf(3) in C.

C has a standard library which students should understand even though it's making system calls deep down. Rust has a standard library which students should understand even though it's making system calls deep down (in fact, sometimes through the host C library).

I certainly see the value in knowing C and Unix and that was my education over two decades ago as well. But I also watched many people quit computer science altogether because they struggled with heisenbugs with C pointers. If they could have been kept on track by Rust compiler errors and higher level abstractions, maybe they would still be in the industry today, learning whatever else they needed instead of quitting in their first semester.
But will it be 30 episodes like the Chinese version? Which, to be honest, I enjoyed.
I understand that you don't mean 10 pounds in a strict sense but even 20 pounds is an easily achievable and sustainable goal for fellow overweight 40-something HN readers.

It doesn't take more than restricted calorie intake and moderate excercise (walking, gym, etc). After a few cycles of gain/loss it becomes easier food consumption habits change
Nimble is still shockingly solid
I didn't notice the date of the article until I got down to the screenshots of the old Mac OS X "aqua" UI controls. And wow, I forgot how good they looked. The drop-downs just scream "interact with me, you can click on me" unlike this flat and low contrast stuff we have today. I miss it.
> It's pretty much just an alternative to SQL

Polars actually has SQL supported, so you can mix and match: e.g. construct DF from SQL.
I'm struggling to think how I'd meaningfully do any of that with 3.2M rows. :(

I'm reminded of old books that were various number sequences for checking calculations. Clearly somewhat useful, but incredibly niche and seems to lose to other tools rather quickly.
Ah, yes. It looks like my post here did get the security folk involved -- but it appears that they've yet to fix it. The power of Hacker News!
Uppsala Conflict Data Program: Data Collection Program on Military Conflicts
I knew someone with a one letter first name "J". Most times he would have to put "Jay" as his first name.

This caused big problems whenever he booked airlines tickets as the name on the ticket didn't match his ID.
What in God’s name were they thinking placing ChatGPT answers in there? Can users not just go to Chat GPT to get those answers?
I couldn't make changes to my USPS (United States Postal Service) account for years because it kept flagging my last name, "Cunnie", as an obscenity.
We rolled our own. I think a lot of it can be helped with Debezium (and we leaned on it, if I remember correctly.)
I have fell into this trap and I'm 30. When I'm bored I'm thinkin about projects and business ideas.

But when I use my phone for 5 hours in a day my brain is done. I am now working really hard to set boundaries with my phone and limit usage. Because I have a feeling I will look back when my time comes and feel like I wasted great years looking at stupid garbage.

There are some great creators on youtube and other platforms but the suggested videos may suck you in.
Is it likely there would be significant performance improvements on AWS graviton based instances?
In some systems it may say your last name contained a “sexually explicit” term.
Durkheim, the founder of sociology, famously showed that Protestants, whose life was "easier" as they had fewer restrictions and norms to follow than Catholics, committed more suicides than Catholics. Similarly, suicide rates fell during times of war.

Thus, it might not just be a measurement problem.

https://en.wikipedia.org/wiki/Suicide_(Durkheim_book)
I think this is Apple's plan for the apple watch. I see my gf leave the house without her beloved iphone, making calls, listening to messages etc with her airpods connected to her watch. She doesn't even touch it.

I might even have tried it myself if Siri didn't suck to much. My experiments in this regard were...discouraging. Perhaps she radically restricts her use to things Siri understands (unlikely in her case) or she just knows how to speak in a way aligned to siri's expectations).

Though the other night I did awake to her her firmly saying "flashlight. flashlight. flashlight." for a bit followed by "shit" and a bit of fumbling at her wrist.
I work on a decade-old codebase where we freely mix C++, Obj-C++ and Obj-C as it makes sense and I can't say it's ever been an issue. Obj-C++ has some oddities, but on the whole mixing obj-c and c++ features works totally fine and I've never encountered a reason to want to separate them.
yup. many of these people who are on weight loss drugs already tried dieting and it did not work.
>deleted records will likely persist forever.

If space is an issue, you can have a scheduled task to really delete all "deleted" items that were last updated e.g. more than 3 months ago.
It's interesting when consumer electronics are creatively repurposed for other uses. For a while, there were barcode scanners that attached to iPAQs. Eventually, Symbol and similar got hip and made their own PDA/smart scanners.

And I guess no one else reads original source material because Bayer's product was named "Didget" not "Digit".
> population has become quite the taboo. Utterly unacceptable to restrict reproduction

More like not necessary anymore, since birthrates tend do decline by themself in more afluent countries, once sex is decoupled from reproduction and children are not the primary retirement plan anymore. "Helping poor countries" is just easier to sell than "We must make them stop having babies".
So evolution is copying the state of a running executable (one that’s poorly memory managed and dependent on external variables) instead of the file itself, and evolution favors favors the copies that survive and maybe even run faster or are otherwise better.
Launch statistics by country 2023. 212 out of 223 made orbit [pdf]
We're using the definition you gave.
I don't think there's much to wrap your head around. It doesn't seem to. As far as I can tell, this commits its own version of the classic multithreading 101 error of assuming you can make any data structure "thread-safe" by slapping some lock statements around all its getters and setters, or that some relative newcomers to functional programming commit when they believe that all you need to eliminate concurrency problems is the `state` monad, and proceed to Greenspun Haskell into an imperative language by littering it all over their code.

The truth is, you can mitigate concurrency problems, but there's no way to eliminate them, and believing that you have is a great way to make them worse.
I thought this is a general unix thing. stdout is buffered so output to other apps/terminal is efficient, whilst stderr isn’t buffered because it’s usually to the console with (smaller) error messages that should be seen immediately in case of app crashes etc.
"As a man myself, perhaps my desire to eat meat is the result of brainwashing." Oh, for God's sake. Your desire to eat meat is the result of you being a human being whose entire evolutionary existence is based on an omnivorous diet. There's such a thing as "being so open-minded your brain falls out." And there's a reason vegans have to bend over backwards to meet their nutritional needs. If you want to do it, knock yourself out, but it's not how we evolved.
> Gates created products.

No he didn't. His employees did. The transfer of wealth was from the employees of Microsoft to Bill Gates by means of information asymmetry: Bill Gates knows what his employees are worth (i.e. the value they create, on average), but they don't. So he pays them what they'll accept and keeps the surplus.

But if you're not convinced, consider the cartel behavior of major SV employers when it comes to "poaching"[1] and "noncompete" agreements[2]. These suppress salaries, with the goal of funnelling more money to the C-suite and shareholders instead.

[1] https://www.cnet.com/tech/tech-industry/apple-google-others-...

[2] https://www.epi.org/publication/noncompete-agreements/
> constantly repeat the mantra of thermodynamics in such threads explain this?

As someone that took three semesters of thermo. I don't understand thermo in a deep way and they have a Randall Munroe School of Science understanding.
A long time ago, I used “/” as a separator in email address localparts under my domain (as in “foo/bar@example.com”), because that’s a valid email address syntax and I filtered my email into corresponding folders. As it turned out, some MTAs mapped localparts to local file system paths, with my email addresses wreaking havoc…
To not first consider the actual absolute safety level before considering reasons that might change relatively is not sensible. You can't just come up with reasons to fear something and conclude it's therefore best to avoid, that's completely sidestepping any reasoning about the actual risk and replacing it with emotion.

Taken another way: That your Uber driver is not as safe as others is not, in itself, a reason to reschedule your life to avoid them on the principle there is a safer option somewhere else. It's reason to ask the question how unsafe are they actually and is that level of difference vs normal something the extra inconvenience is worthwhile for. The point of someone mentioning cars is, if you actually quantify the risk change, it's likely you're rescheduling your flights around a risk which is less concerning than the rest of your day to day life and things you accept for getting to the airport in the first place. Without quantifiably discounting that you're letting news headlines dictate your life by fear instead of acting sensibly.
This absolutely impacted my previous job at 100-150 employee company where everyone was either a dev or researcher. They had to do a hiring freeze.
Mixtral Sparks a GPU/Inference Race to the Bottom
Yet, life expectancy keeps going up, even for men who already survived childhood and war: https://www.statista.com/statistics/266657/us-life-expectanc...
Author didn't mention the other problem which is that sometimes the hyphen is replaced with a space rather than being dropped (while other sites, or sometimes other parts of the same system) won't accept a space either.

Plenty of people do have spaces in their surnames (like Conan Doyle) and shouldn't the system be able to distinguish between "Conan Doyle" and "Conan-Doyle"?)
Google & Coral AI already has a $25 usb powered tensor inferencer that can do 4tops.

I don't think it will take much more than that to get the rest of the way.
I built something similar recently https://currl.io
As someone who uses an iPhone SE, I have to disagree. I have a small phone with incredible internals at a price that can’t be be beat. You can go cheap as you want to on android for sure but you’re going to pay the price one way or the other. Having helped support people works budget android phones, it’s painful. I don’t use my phone like most people, I would never watch a video on my phone or use it extensively for general purpose computing by choice, but those budget android phones are disgustingly slow and stuffed to the gills with bloat.

The only pain point with my current phone is the camera is still effectively 10 year old hardware. I would like a nicer camera and I could probably find that on a similarly priced and sized android phone if I really wanted to I’ll admit. That said, I’m worried what the next generation of SE will end up being. I’m going to guess it’ll be physically bigger and I’ll have to say goodbye to TouchID (which I vastly prefer to FaceID).
I love this phone otherwise and am in no hurry to replace it. Outside of the camera, the parts of its design that are stuck in the past are the things I love about it.

Flagship android phones from every major vendor are priced to compete with iPhones though and let’s not pretend otherwise. You can spend more on an android phone now than an iPhone if you’re so inclined.
It's compelling, but the international nature of the phenomenon makes me think it'd be incomplete as an explanation. Surely the stigma isn't equal everywhere
Yet they forget to put a password to BIOS so I am able to write this comment from a school computer, on NixOS running from a USB drive. Though I'd probably crack it even if they did.
This comment seems extremely aggressive and I’d add that most of the world is, in fact, Linux.
The oldest known wild bird just turned 70 (2021)
Yup. iCloud is just my most recent photos. Once my 200gb starts getting full, I go back and delete photos and videos year by year until i'm down to the last year or two. My entire library is still backed up to a NAS which has offsite backup as well as google photos.
In the American case, the interpretation of the CFAA under Van Buren (2021) would provide at least the defense that one does not violate the law if there is no meaningful authorization scheme in place to determine what constitutes "exceeds authorized access". This may sound pedantic but when reporting on the decision much of the non-specialist media seemed to have failed to appreciate that in order to determine what conduct exceeds authorized access, it's necessary to be able to determine where authorized access starts and ends in every case as a factual matter, and the courts essentially threw out the theory that one can simply use a non-technological solution (like a very broad ToS) as a backstop and require some sort of notice and specificity. I don't think the mere fact that such a technological scheme can be erected is relevant since in theory you can put in some sort of basic authorization scheme - including basic HTTP authorization - around pretty much anything accessible via the protocol, but anything beyond a showing of actually putting such an authorization scheme in place, there's no real way to determine the unimplemented intent of some company in a way with any certainty. It's Orin Kerr's "gate-up-gate-down" theory - you need to have a gate in place to start with, instead of just a space where a gate can go or the assumption where a gate should be to figure out whether the gate is up or down, and without that determination one cannot meet all of the elements required to prove a violation of the statute.

I wouldn't even consider this "hacking" really. If prosecuted a defense attorney familiar with both the technology and the admitted niche area of computer crime law can readily conduct some very effective cross-examination against whoever the state is bringing out as a witness. The government does frequently rely on the lack of tech-competent and accessible counsel as a way to exert coercion (and usually resulting in a plea), and it doesn't help that the layperson has a very difficult time figuring out what qualities constitute competency when looking for attorneys (hence the enduring popularity of jingles since being memorable is frequently mistaken for being competent), but they are out there.
The same was true of Usenet, and of the internet in general before Eternal September. Usenet was absolutely glorious - until the spammers moved in. Then it became a never-ending cat-and-mouse game with killfiles, until the tide of spam turned it into a cesspool.

The basic problem: make it easy and cheap to participate, and the scam artists will inevitably gravitate to it, and eventually choke the life out of it. Add enough friction to discourage the spammers, and you drive away real users as well.

Older forums are still around, or the fediverse. If you're participating on them, you're part of the solution.
The link at the bottom to the source code is incorrect, correct link is https://git.sr.ht/~mlb/linkhut
Please give CUDA some competition.

I doubt Vulkan, a low-level graphics API with compute shaders, could ever directly compete with CUDA, a pure play GPGPU API. Although it isn't hard to imagine situations in which Vulkan compute shaders are sufficient to replace and/or avoid CUDA.
I believe the new Xeon SP processors coming out are also based on the 'chiplet' design like the Epyc ones.
No need for any extraordinary proof.

Start by factoring the RSA Factoring Challenge.

https://en.wikipedia.org/wiki/RSA_Factoring_Challenge

Obviously there are ways to cheat on this challenge, such a cyber attack on where RSA Inc. stores the results, but it would be a great start.
I think there's a few areas of improvement. One is for yet better three query locally decodable codes (like I said, I think it's still not (sub)linear in space, which is likely a blocker for real use), another is for larger constants, and then as you note, for non-constant queries. My impression though is that the more interesting question is for larger constants (e.g., four query, etc.,).

edit: interestingly, it looks like an earlier paper from overlapping authors proves a lower bound of k^3 (where k is the original message's length) for 3 query locally decodable codes: https://arxiv.org/abs/2308.15403 (ah, this was actually linked in the article but I missed it).
Not really. You can combine the public random source with a secret key.
Since you assume they can keep secret a random source, they can equally keep this key secret.
In fact, it's sometimes preferable to get rid of hardware source completely and only rely on a secret key and a state, and obtain a design that is more resistant to fault.
Async Rust Debugger
Valve now allows the "vast majority" of AI-powered games on Steam
This is it! Well based on what I have learned across books and podcasts, namely Dr. Andy Galpin's discussion with Andrew Huberman, Ultra Processed People and Racing Weight. The shutdown of these systems is believed to give them a break and is one of the reasons that regular exercisers have better health (just think why is exercise even healthy? It wouldn't seem so. Spike cortisol, burn a ton of energy, stress joints, jostle around the organs. Seems bad to me but of course its not).

Or you can find out for yourself. Touch your stomach during a run on a hot day. Its cold. Digestion is slowed and blood pulled away from the gut.

N of 1. But I do not eat much more on the days I run 15 miles on the trail vs days off. I do not need to due to these adaptations.
> won't let you check in if the name on your passport doesn't match the name on the ticket.

This is always a paranoid worry of mine. Even worse, some airlines tend to include the academic title in there too, meaning I've had tickets reading "MRDRWRONG, PROBABLY".

Not only does it not match my passport, but it also makes it look as if I'm a murderer.
This is a fantastic example of simpler image processing techniques... not everything needs a neural net!
the author should have instead used basis points...