skysight-inc/HackerNews huggingface dataset:
this post feels like it's skipping over a lot of code that could be included
> FFM isn’t entirely muscle, but what other weight would be shed when losing FFM other than muscle?

I'm not an expert, but I have to imagine that most of it is muscle.

After dramatic weight loss, a person will probably lose some bone - particularly in the lower body - due to decreased loading.

I know body builders sometimes eat extremely high protein diets (more than 1 g/lbs of body weight) and lift quite hard to try to hang on to as much muscle mass as possible. And they still lose some when cutting.
philadelphia rots? please. I grew up in baltimore. philly is not what a rotting city looks like.
I just want to point out you are saving 3 characters on the last one while making it a fair bit harder to understand. fileName is perfectly fine. fName could be firstName, fileName, finalName, foundName...
the ideal is that college should be very expensive for rich people and cheap, free, or at least more affordable, for less wealthy people.

Dunno where you got this "ideal".

the days of outrageous student debt are thankfully fading away

..."fading away", to the tune of (at last glance ) one and three quarters of a trillion dollars in outstanding student loan debt.

it would make more sense to do this redistribution through taxes if possible

The ability of US higher ed to raise tuition prices will always overwhelm the ability of US taxpayers to meet those prices. The phrase "utility monster" comes to mind.

but many US institutions are private so that doesn’t really work.

Private, in the sense that nobody who answers to someone who must win an election is directly in charge of running them, but, who operate as charities for the purpose of donations, pay no taxes on either capital gains or real estate, and are permitted to act as government contractors skimming up to 85% of grant money they're tasked with administrating.

so the colleges basically have their own privately-run means testing programs, and like all such programs there are flaws and loopholes.

The flaw being that...the school is allowed to have total knowledge of a customer's ability to pay before it chooses to do business with them. Imagine if you had to give three years of your tax returns to the person you were trying to buy a house from.
>Microsoft could buy it

I wish you understood why that is funny.
Im going to save you time and describe what the optimal programming language anyone actually wants, no matter what they say:

People want to be able to write either python or javascript (i.e the 2 most widely used languages) , and have a compiler with an language model (doesn't have to be large) on the back end that spits out the optimal assembly code, or IR code for LLVM.

Its already possible to do this with the LLMs direct from the source code, (although converting to C usually yields better results than direct to assembly) but these models are overkill and slow for real compilation work. The actual compiler just need to have a specifically trained model that reads in bytecode (or output of the lexer) and does the conversion, which should be much smaller in size due to having a way smaller token space.

Not only do you get super easy adoption with not having to learn a new language, you also get the advantage of all the libraries in pypi/npm that exist that can be easily converted to optimal native code.

If you manage to get this working, and make it modular, the widespread use of it will inevitably result in community copying this for other languages. Then you can just write in any language you want, and have it all be fast in the end.

And, with transfer learning, the compiler will only get better. For example, it will start to recognize things like parallel processing stuff that it can offload to the GPU or use AVX instructions. It can also automatically make things memory safe without the user having to manually specify it.
Dupe (1170 points, 2 days ago, 1371 comments) https://news.ycombinator.com/item?id=42177767
> Is a farmer entitled to the entirety of your work output because you ate a vegetable grown on their farm?

This is more like paying the farmhands.

If we're looking at my work output, eh, everyone that works on a copyrighted thing gets a personal license to it? That sounds like it would work out okay.

> I don't think producers of data are inherently entitled to all products produced from said data.

It depends on how directly the data is tied to the output. This seems pretty direct.
I found this on Google:

> According to ZipRecruiter, the average salary for a professor at MIT is $114,792 per year, with a range of $94,500 to $179,500.

And:

> A professor's salary at the University of Oxford can range from around £89,429 to £122,261 per year, with an average of £104,347

The average at Oxford is much higher than MIT. Note: GBP to USD is currently 1.27
US vs. China: Whose Navy Is Stronger? [video]
> I think the classic definitions are fine: - Monopoly: 50%+ of a market

Classic definition according to whom?
>There is more to Russia than Putin's opposition to the west.

definitely. That "more" is the backwater Grand Duchy of Moscow how it was before Peter The Great.
Not really. If the internet works, sending and using crypto works and it doesn’t use much bandwidth.
Your genetic code shapes who you are and how you appear to others when you're alive.

If you're alluding to the existence of some transcendental self, can you at least accept it is inseparable from your corporeal self?
I don't think there would have been a straightforward way to connect that to the effects of censorship.
40x infinitesimal is still...infinitesimal.
I’m not exactly shocked that it could exist. But this usage (beyond the scope of processing barcodes) seems like it couldn’t be construed to fit into the normal avenues of data collection under a privacy policy.
Also with regard to training specifically, this policy was created in late 2020 so I don’t know how it would cover generative models.
Why not store just a small u8 count of newlines in a chunk instead of their u128 positions and then only loop through the last chunk for precision?

You don't need information about the position of newlines in all the chunks located before the one your offset lands on
> Nothing in our society operates in a way that might imply this.

I beg your pardon?

Consider just about any physical belonging — say, a book. When I buy a book, it belongs to me. When I read a book in my home, I expect it to be a private experience (nobody data-mining my eyeball movements, for example).

This applies to all sorts of things. Even electronic things — if I put some files on a USB stick I expect them to be "mine" and used as I please, not uploaded to the cloud behind my back, or similar.

And if we're just limiting ourselves to what we do in public (eg: collecting pokemon or whatever), it's still normal, I think, to interact relatively anonymously with the world. You don't expect people to remember you after meeting them once, for example.

In summary, I'd say that "things in our society" very much include people (and their tendency to forget or not care about you), and physical non-smart objects. Smart phones and devices that do track your every move and do remember everything are the exception, not the rule.
The cost of making 100 units of software is the same as the cost of making 100k units of software. There’s a relatively fixed population of people who pirate software (i.e. people who are independently good at cracking or knowledgeable enough to apply cracks) so the answer is typically to just sell more software and the percentage lost through pirating goes down.

It becomes a problem when piracy becomes a percentage of revenue no matter what scale you’re in. This is when even Joe Shmoe knows about and can use the cracked version (e.g. WinRAR). Though I can hardly think of cases like these where your brand recognition wouldn’t also be pretty high and usable to pivot to another product.
> It went to a crypto entrepreneur.

Poetic justice
Will there even be a flu shot next year with rfk jr. in charge of HHS? NIH formulates what goes into to the next year's flu vaccine in the spring and HHS is over the NIH.
Water weight is a big one, and is part of your FFM. I lost 10lb of water weight in my first 24 hours on tirzepatide.

Some of it is likely bone density as well. You can prevent the bone density and muscle loss with proper diet and exercise, though.
brother definitely just violated an NDA
I remember 2 years ago someone proposed adding stream processing in datafusion and PRs followed. But IMO stream processing is an entirely different beast, some people could use the sql engine of df for it though. There are rust projects like Arroyo
It isn’t stealing or piracy. Stealing involves taking a resource, which makes it unavailable to others and causes the legitimate owner to have one fewer of the thing.

Piracy is stealing, typically on boats, with a threat of violence involved.

This is unauthorized copying. It does devalue the work of the copyright holder. It is illegal in many jurisdictions. It costs the legitimate owner something, the opportunity of a sale, but it doesn’t actually cause the legitimate owner to have fewer copies of the thing to sell.

If the perpetrator was some kid with no money, the opportunity denied to the copyright owner was pretty minimal. I mean we should be honest about it, unauthorized copying is bad. But it is much less bad than stealing and it is not anywhere near piracy (applying the name piracy to unauthorized copying was some over-dramatic silly nonsense).
Yeah I've always found that complaint confusing. Of course you lose muscle when you eat less food. It'd be weird if that didn't happen. (Assuming you don't train hard or take hormones)
Agreed. Also hard not to see that the extra sun on the Atlantic is almost certainly rising temperatures. It isn't an either or. All if this is happening.
Yes it definitely saves lot of time & effort. Great :)
Not a solid paper—-more like an abstract. I could not find any information on the strain or type of mice they studied. Data from one strain often fails to generalize to others. Trying to leap to human implications is beyond risky.
You’ve explained what Kessler syndrome is but not why my idea doesn’t work.

I’m saying send reinforced rockets through the orbits that absorb the collision instead of generating more dust. That should let you clear a path through all orbits that intersect your path. It’s hard to do and the 3d aspect of it might make it expensive but conceptually it could be a solution. Or use super powerful lasers (potentially mounted on a satellite) to deorbit the dust
Yes, this is how textbook manufactures sell to university. One time codes for online exercises / labs. This happens mostly for intro classes. I have no idea why universities do this, my guess is they are sold on hw problems being randomized so it makes cheating more difficult.
> If you enjoy the game, play the game

I wish it were that simple but I think it's reasonable to hesitate. We don't know what these models are going to be used for. If by playing you're unwittingly letting something powerful fall into the wrong hands, maybe play something else.

(Generally speaking. I'm not trying to throw stones at Niantic specifically here.)
Yep. I started resistance training 5x a week about a month in on tirzepatide and even with a severely restricted caloric intake (I just can't eat enough), I've gained LBM.
It would be similar if your stock dividends were your sole irreplaceable means of support. So, you sell your stock and give the money to MIT. Now you can’t buy more stock, and therefore have no future income. Permanently ending your career to send your kid to college is an unreasonable sacrifice, in my book.
> the rest of the world gets a cool new technology

The rest of the world gets an opportunity to purchase access to said new technology, you mean! It's not like they're releasing how they generated the models. It's much more difficult to get excited about paid-access to technology than it is about access to tech itself.
It's because they are in meetings all day. I've spoken with an engineer in this situation, and I doubt he is unique.
I think you might misunderstand what I'm saying. An introduction is an email. If you already knew that, then you either misunderstand how the game is played, or your friends won't introduce you because they don't believe in what you're building.
https://archive.ph/3BpKO
https://archive.ph/Bz3vX
I haven't seen anywhere suggesting a $1-2m launch cost is a reasonable target. Sure, maybe $10m is achievable, but $1m is so far off it's not useful as a cost estimate.
The '30 Under 30' list remains undefeated.
According to the sister comment to mine, Oxford pays only professors well, and everyone else quite poorly. There's a lot more to a university's staff than just the professors.
I’m far from being any kind of serious mathematician, but I’ve learned more in the last couple years of taking that seriously as an ambition than in decades of relegating myself to inferiority on it.

One of the highly generous mentors who dragged me kicking and screaming into the world of even making an attempt told me: “There are no bad math students. There are only bad math teachers who themselves had bad math teachers.”
Never forget Aaron Swartz
> I feel … I have been tricked

Everything “free” coming from a company means they’ve found a way to monetise you in some way. The big long ToS we all casually accept without reading says so too.

Other random examples which appear free but aren’t: using a search engine, using the browser that comes with your phone, instagram, YouTube… etc.

It’s not always about data collection, sometimes it’s platform lock-in, or something else but there is always a side of it that makes sense for their profit margin.
a sinister observation, dexterously phrased.
> We can have kids without fear of not being able to pay kindergarten.

FYI: Public kindergarten is 100% paid for by gov't across the US. I don't think any public schools in the US have tuition. (That said, there is no magical money. It is paid for by local taxes.) Where did you hear about this myth?

Also: In Belgium, can you really go to the dentist 20 times? Is there any good reason to allow this in a public healthcare system? If the barrier to entry for healthcare services is very low, then there must be (1) a lot of abuse... or (2) long waiting times... or (3) very high taxes. My guess in Belgium: A combination of (2) and (3).
Go Profiling in Production
But you don't expect people to also try to profit off whatever said company is doing?
You can run grpc over binder:

https://github.com/grpc/grpc-java/blob/master/binder/src/mai...

The overhead is low, and you get best practices like oneway calls and avoiding the transaction limit for free. It also comes with built in security policies for servers and clients.
Giving their policy an (admittedly quick) skim there doesn't seem to be any section that mentions AI, LLMs, training any kind of model, using image data from barcode pictures, etc. I'd be very curious to see the explanation of how this is baked into the policy.
I'm not commenting specifically on the heart-muscle aspect of the study, but it shouldn't be a surprise that the weight loss from this drug is significantly attributable to muscle loss; it almost always is when dieting. It's the same with keto/low-carb or any other kind of caloric-restrictive dieting (which Ozempic facilitates).

The modern weight-loss programs I'm seeing now (at least those aimed mostly at middle-aged men) emphasize consuming significant amounts of protein (2g for every 1kg of body weight each day) and engaging in regular resistance training, in order to maintain muscle mass.

The article addresses this:

To keep muscle strong while losing weight, Prado says it is essential to focus on two main things: nutrition and exercise. Proper nutrition means getting enough high-quality protein, essential vitamins and minerals, and other “muscle-building” nutrients. Sometimes, this can include protein supplements to make sure the body has what it needs.

Perhaps there needs to be more formal research into this, and a strong recommendation made to everyone using these drugs that this kind of diet and exercise plan is vital.
Google does perfectly on the latter search. It returns a relevant blog post written by an actual human, and a bunch of forum threads about that exact upgrade path.

DDG has never been very good.
They made 11B$ last year. It has incredible amount of ads. If you haven't noticed, then that means they did a great job. (tip: look for the custom logo pins in the map. Its printing money)
> Do you have a source that 40% muscle loss is typical for a caloric restriction diet without GLP1 agonists?

OK I actually checked up on this, and it is more like 30%, but that number gets worse as you get older. For young healthy men it can be 20%, but as you get older that number gets worse and worse.

I'd want to see a comparison of a similar cohort of people going on a calorie restricted diet of the same magnitude, with a similar (lack of) activity levels.

The study at https://www.thelancet.com/journals/landia/article/PIIS2213-8... compares people who had less overall weight loss on a pure calorie restricting diet, which, well, by definition isn't the same thing.
The MyFitnessPal privacy policy says "We use photos, videos, or other data you provide to us to customize our Services." [1]

That's all they need to do to cover themselves.

[1] https://www.myfitnesspal.com/privacy-policy
One more reason to select deferred comp!
Many articles only make it to the front page because the submitted title was editorialized. The rules may say one thing, but the incentives are to a subtle balance between editorialization and avoiding flagging due to extreme editorialization with mods only stepping in to correct the title once it's gotten loads of upvotes and comments already.
> the ideal is that college should be very expensive for rich people and cheap, free, or at least more affordable, for less wealthy people.

This is an excellent summary of the Harvard University tuition strategy for the last 20 years.
Convert a Database to Markdown
How did you measure the increase in LBM? This requires very advanced technical equipment. My suspicion is that you have noticed an increase in muscle volume and assumed it to be an increase in muscle mass. Those are largely due to water retention and increased blood flow. They revert quite quickly after you stop exercising for about a week.
> everyone can, and should, try to improve their mathematical thinking — not necessarily to solve math problems, but as a general self-help technique

Agreed with the above. Almost everyone can probably expand their mathematical thinking abilities with deliberate practice.

> But I do not think this is innate, even though it often manifests in early childhood. Genius is not an essence. It’s a state. It’s a state that you build by doing a certain job.

Though his opinion on mathematical geniuses above, I somewhat disagree with. IMO everyone has a ceiling when it comes to math.
It's strange how they've convinced people that, considering there's nothing at all luxurious about their products, not even the price...
Boeing overcharged the U.S. Air Force 8,000% above market for soap dispensers
I mean, I get it. I'm a nerd that enjoys tackling problems. But the normal response I've seen from appliance techs have been the same. They seem more interested in the commission of selling a new unit than actually trying to fix the current one. In the end my unit probably could have been solved for less than an hour of his time to just jiggle the connection of the hall effect sensor on the board, but he couldn't even be bothered to figure out it was the sensors that were the problem or actually try and make the repair.

I've had similar experiences with other appliances over the years. It's not just a GE thing.
It is funny, I guess it is it uncommon at all given the nature of a, well, pandemic. But you got it so early. I dodged the thing for like two and a half years I think. Our experiences were so different, haha.

Did you get out much, being immune and all?

I guess it’s somehow just occurring to me that, despite this giant shared experience that we all had as a society, a lot of us had it in totally different ways.
I was also thinking if in used with testestrone, which is dangerous because the heart is a muscle and unintended consequence of trt is heart muscle growth which decreases blood flow.
>The price being so outrageously high does also call into question whether their charitable endowments could reasonably be characterized as part of a tax avoidance scam.

I dont see how that follows at all. They spend more on students than they receive in tuition funds. Who would they be scamming? What if they offered a million dollar education? I still dont see how that would impact their non-profit status.
> the provocative claim

Leibniz made that claim centuries ago in his critical remarks on John Locke's Essay on Human Understanding. Leibniz specifically said that Locke's lack of mathematical knowledge led him to (per Leibniz) his philosophical errors regarding the nature of 'substance'.

https://www.earlymoderntexts.com/assets/pdfs/leibniz1705book...
So, yes and no.

If you're doing resistance training for the first time in your life or the first time in years, noob gains will outpace loss if you train hard and get adequate protein. This is the case for a lot of people on these GLP-1s, at least at the start.

But if you have a massive quantity to lose, as in a multi-year process, you won't be able to keep up the noob gains for the entirety, and then yeah, you're going to basically just be training hard and shoving protein down your face just to keep the muscle loss minimal.
On 4, my favorite example is hearing "do I quote this?" when trying to explain something. It's such a simple question, but quotes don't delimit strings like they do in other programming languages, they do something else entirely, so getting into it really reveals they have almost no clue how the language works.
That depends who you are. You want to be surrounded by kids who have assets you don't. If you're there on an academic scholarship, you want rich contacts. If you're there on family prestige, you want capable contacts.

If you're there on a need-based scholarship, you need both kinds, but neither of them need you.
The Painted Protest: How politics destroyed contemporary art
The policy defines "Services" as the mobile app and website. How is building a general purpose model for what the average fridge looks like used to customise either the website or the app? This feels like the kind of flimsy reasoning that only holds so long as no one is challenging it.
Instead of going up in abstraction, I think it’d be nice to have a lang that tries to go down, more coherent with the hw, without “historical” assumptions.

My pet peeve is multiplication: u64*u64=u128. true on any modern hw, true in math, false in any programming lang that I know of. There are many others like unnecessary assumptions on how easy is to access memory.

Vector and matrix ix should be another first class citizen.

The reason for a lang vs just writing in asm are 1) I don’t want to distinguish x86 vs arm, 2) I want a compiler + optimizer.
Funny enough San Francisco Public Utilities coordinates with SF Streets to replace water/sewer lines prior to planned repaving work specifically to avoid this problem. They are clear that need and scheduling sometimes don't allow it but wherever possible they do.
It predicts long term consequences on health. Not immediate ones. You wouldn't have noticed at all. Unless you measured your heart muscle weight.

It's good to work out. Perhaps it offsets any loss.

I get that it's upsetting and might contradict what you think.

At this stage we don't know for sure. It's something you might want to keep in mind. Especially if you take this drug without working out.
I find it hard to believe that total liquid assets would not be considered during the financial aid application process.
I paid money to Amazon for most of a decade before they had a profitable year.