Have you considered doing this in OCaml?

You'd get most of the benefits of Go and Rust.

I touched OCaml several years ago and ran into a bunch of problems with build tooling, standard library, syntax noise, ideological/unhelpful community, etc that turned me off. I'm also just not experienced enough to write OCaml without a GC; that would be biting off a lot of learning.

A Lisp with an HM type system and good error messages might be ideal for LLMs (if you don't want dependent types).

Axler is usually recommended as a great second book for linear algebra (unless you're extremely comfortable with proofs).

For a first exposure, these days it's hard to do better than Math Academy [0]. It'll diagnose all your weak points (including what prereqs you might not have) and handle all the scheduling using spaced repetition and knowledge about how the topics relate to each other.

All you have to do is keep showing up and do the work for 30+ minutes per day.

[0] https://www.mathacademy.com/courses/linear-algebra

It only fails to classify people with excess body fat who are in the healthy weight range.

It's really good at catching people who are obese who are overweight.

A waist measurement is the cheapest and simplest way other than just looking.

You want to make sure you measure under similar conditions, like in the morning after relieving yourself (for example).

If it's too high, losing a ~0.5-1 lbs per week while strength and endurance training with progressive overload will get it down sustainably.

https://www.barbellmedicine.com/blog/visceral-fat-waist-vs-w...

That is a proxy estimate. You can’t actually measure visceral fat at home.

Yes, obviously.

But it's a cheap and effective one.

If you've lost 5 inches from your waist as measured from your bellybutton, it's unlikely you've lost zero visceral body fat.

I agree it’s a great starting point for the daily check. But it’s not a good answer to a specific explicit request to measure visceral fat imo. And there’s a lot of confusion in these comments about how much they actually correlate.

If you use the waist measurement to compute your waist to height ratio and it's above 0.5, then you know you almost certainly have too much, and losing weight is the next action.

This was all explained in the link I shared.

"Overfat" just refers to having too much fat.

"Overweight" can mean the same thing for weight, but it also refers to those with a BMI specifically between 25 and 30, and those with BMIs greater than 30 are classified as "obese".

But it's actually not just being "overfat".

It's specifically a high level of visceral body fat.

Genetics determines which parts of the body gain fat first as you gain fat overall, and some people have the unfortunate genetics to gain it first viscerally and some people have the fortune to gain it there last (and everything in between).

This means that you can have different people with the same body fat percentage but drastically different disease risks.

But yes this was also known already.

That's why it's been recommended to take a waist measurement alongside BMI to get a much more informative screening tool. Waist-to-height ratios are another alternative.

There's also The Little Learner: https://www.thelittlelearner.com/

I would simply not sacrifice hundreds of thousands of the most vulnerable (in Europe alone!) for unnecessary performative bullshit and let people install AC while massively subsidizing solar/wind/hydro/nuclear/etc.

Ah yeah, the myth that a society can't walk and chew gum at the same time. Do you really belive we can't both address the root causes and install AC?

Which other things do you believe a society can't do at the same time? Taxes and waste managment? Breathing and thinking?

Oh okay so you don't understand the difference between a solution that would take decades and a solution that would work instantly to save hundreds of thousands of lives, and you think people recommending the thing that would save lives immediately are somehow uninterested in long term solutions as well.

There are several different popular meditation techniques. It's not a single thing to try.

It's like saying you heard about this food thing and tried eating beans every day for months and didn't see what the fuss was about. But maybe you just needed to try bread and butter!