In free countries, being a good citizen also means criticizing your government when you see it making mistakes.

Dissent can be patriotic.

This only makes sense after raising the minimum wage unless you just want to fuck over the poor.

Legumes are dirt cheap and packed to the gills with fiber.

I'd binge Hillel Wayne's stuff.

https://www.hillelwayne.com/tags/formal-methods/

Are you only ever writing text?

I find that digital solutions can never compare to the freehand drawing of diagrams, symbolic manipulation for solving math, etc.

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.