sn9

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.

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.

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.

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...

"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/

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.

I think you misunderstood me lol.

I'm saying we can easily do both.

The only obstacle is morons.

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.

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!

In Firefox, you can just open a new tab in split view.

Math Academy has a Math for Machine Learning course: https://www.mathacademy.com/courses/mathematics-for-machine-...

Yes if you can afford it, then it's absolutely worth it. Nothing better at the moment.

This review lays out how you should think about the costs and benefits: https://jonathanwhitmore.com/posts/2024-09-10-mathacademy/in...

This is completely incoherent, especially since some European governments outlaw or restrict the installation of personal air conditioning in certain kinds of buildings.

Belief in climate change isn't exactly rare in Europe.

It should be more grating that Europe's refusal to adopt air conditioning is murdering their most vulnerable at rates comparable to American gun deaths and (unlike climate change or gun violence) there's a trivial solution that would prevent this immediately instead of waiting decades.

For most of their lives, most people have a rate of 0 learning because they aren't even trying to learn it.

And yet still unknown to more than 99.9% of the population (a conservative estimate).

Have you read this post on incorporating spaced repetition into teaching linear algebra?

https://bentilly.blogspot.com/2009/09/teaching-linear-algebr...

This isn't really an answer.

How are you checking the accuracy of the content? Especially if you plan to scale this to hundreds of courses, it doesn't seem like you actually have humans checking.

Fiber intake has a dose-dependent effect on cholesterol levels.

Obviously some people still need medication if they have particularly unfortunate genetics.

There isn't a conflict between cholesterol having a useful role in the body and too much being harmful.

There are mountains of evidence establishing a causal relationship between elevated cholesterol levels and heart disease.

I agree with the goals of the policy but I don't understand how it's enforced.

How do you determine if something is enhanced by AI versus just Photoshop or something else? Apart from being physically impossible, I suppose.

I think gstatic.com was down yesterday or something because a ton of websites just stopped working.

Spotify on Android got an order of magnitude slower recently.

These are just the examples that come to mind that I've dealt with from the last 48 hours.

Read Cal Newport's books on study habits.

Learn to use Anki to leverage spaced repetition to intentionally put things into your long term memory. This step comes after understanding though.

Don't rely on AI to do anything you don't know how to do yourself. (You can use it to learn, but then make sure you independently verify and internalize the information.)

Use Math Academy to learn math ahead of time. Then take as much math as you can.

Use pen and paper to do your thinking and problem solving before writing a line of code.