sn9

7 ms·

1.
by sn9 6d ago
Have you considered doing this in OCaml? You'd get most of the benefits of Go and Rust.
2.
by sn9 28d ago
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.
3.
by sn9 1mo ago
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.
4.
by sn9 1mo ago
A Lisp with an HM type system and good error messages might be ideal for LLMs (if you don't want dependent types).
5.
by sn9 1mo ago
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
6.
by sn9 1mo ago
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.
7.
by sn9 1mo ago
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
8.
by sn9 1mo ago
"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
9.
by sn9 1mo ago
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
10.
by sn9 1mo ago
There's also The Little Learner : https://www.thelittlelearner.com/
11.
by sn9 1mo ago
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 live
12.
by sn9 1mo ago
I think you misunderstood me lol. I'm saying we can easily do both. The only obstacle is morons.
13.
by sn9 1mo ago
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.
14.
by sn9 2mo ago
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. B
15.
by sn9 2mo ago
In Firefox, you can just open a new tab in split view.
16.
by sn9 2mo ago
Math Academy has a Math for Machine Learning course: https://www.mathacademy.com/courses/mathematics-for-machine-...
17.
by sn9 2mo ago
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-mathacade
18.
by sn9 2mo ago
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.
19.
by sn9 2mo ago
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 wo
20.
by sn9 2mo ago
For most of their lives, most people have a rate of 0 learning because they aren't even trying to learn it.
21.
by sn9 2mo ago
And yet still unknown to more than 99.9% of the population (a conservative estimate).
22.
by sn9 2mo ago
Have you read this post on incorporating spaced repetition into teaching linear algebra? https://bentilly.blogspot.com/2009/09/teaching-linear-algebr...
23.
by sn9 2mo ago
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.
24.
by sn9 2mo ago
Fiber intake has a dose-dependent effect on cholesterol levels. Obviously some people still need medication if they have particularly unfortunate genetics.
25.
by sn9 2mo ago
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.
26.
by sn9 2mo ago
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.
27.
by sn9 2mo ago
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 t
28.
by sn9 2mo ago
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&
29.
by sn9 2mo ago
OCaml is such an obvious solution to their problem that I'm shocked it wasn't even mentioned. You get fast compile times without sacrificing type safety.
30.
by sn9 2mo ago
You can take advantage of spaced repetition just for scheduling the review of proofs and problems you've solved before. By review, I mean attempting to solve them like you're seeing the problem statement for the first time.

More ›