themk

6 ms·

1.
by themk 3mo ago
Google Pay may not work, but NFC payments through yiur bankapp probably do. They did for me.
2.
by themk 6mo ago
It's pretty exciting to see a small chip with an MMU. I wonder if it would be possible to get sel4 running on this? I'm also curious about the current draw, but I couldn't find anything?
3.
by themk 8mo ago
One of the few sites with a fun "you have javascript turned off" message. > This game requires JavaScript. Or, if you've superior taste, take out a pen and paper and start listing animals.
4.
by themk 8mo ago
I actually noticed this as a kid. One of the early GTA games north locked minimaps, and I knew the city well. Later ones did not, and I was always more confused. I've pretty much always had GPS nav locked to North-Up because of this ex
5.
by themk 8mo ago
Pandoc? It might help you. If you are programatically generating content, you can emit the JSON intermediate format. If you are hand writing, you can use something more sane like djot.
6.
by themk 8mo ago
From what you just wrote, it appears you misunderstood what I said. Just to be clear: Red kidney beans (50g): PDCAAS = 0.88, Protein = 11.25g Basmati rice (50g): PDCAAS = 0.7, Protein = 4.5g Red beans + rice (50g, 50g): PDCAAS = 1.0, Protei
7.
by themk 8mo ago
PDCAAS is dumb when looking at multiple foods. E.g., beans and rice, when consumed together, are like, 0.99, depending on the ratio. That is, the sum is greater than the parts.
8.
by themk 8mo ago
> and reading code is harder than writing it. This is the things thar gets me the most. Code review is _hard_. So hard that I'm convinced my colleagues don't do it and just slap "LGTM" on everything. We are trading &q
9.
by themk 8mo ago
That is quite an extreme take, and one that sounds like it was born from parroting social media takes. Ancel Keys was largely correct, and much of what he said is corroborated by modern science. Probably his main issue was that he was a bit
10.
by themk 8mo ago
This sounds like they didn't think about it at all. Of course they did, and sure, their techniques were not as sophisticated as today. But there have been plenty of follow-up studies that have controlled more rigorously for those thing
11.
by themk 8mo ago
Not the poster, but, usually what people are referring to is all the other stuff that comes along. Per calorie beef and broccoli are actually surprisingly similar, but broccoli comes with fiber, calcium and vitamin C, while beef comes with
12.
by themk 8mo ago
Bioavailabilty is a bit of a non-issue. It's measured as if the food you are measuring is the only food you eat. So if it is slightly low on one amino acid, the "bioavailabilty" drops, but noone eats like that. Once combined
13.
by themk 8mo ago
Notably, the epidemiological study people like to dump on the most, largely did use natural experiments (i.e. they chose regions, that, at the time, had very traditional diets, without the convenience of supermarkets to mess it all up). The
14.
by themk 8mo ago
That seems to be searching for RCT's, which, I'm not surprised would struggle to replicate. Most of these had a duration of less than 5 years, while dietary related health outcomes are the result of decades of following a pattern.
15.
by themk 8mo ago
Dietary cholestrol hasn't really been overturned, but sure there is some nuance. Some people do respond badly to dietary cholestrol (like you said, individual advice is sometimes required), but dietary cholestrol is also not a linear r
16.
by themk 8mo ago
Nina Teicholz is not who you should be getting your dietary advice from. She has no qualifications.
17.
by themk 8mo ago
I really wish people would stop sharing that article as if it means anything. Nina Teicholz is not who you should be getting your science from. Her views are not the scientific consensus. She is not a scientist, she is a journalist with an
18.
by themk 8mo ago
When people say "fat" is bad for you, they mean saturated fat. Mediterranean diet is quite low on saturated fat, while still having the good fats.
19.
by themk 9mo ago
I think git is overkill, and probably a database is as well. I quite like the hackage index, which is an append-only tar file. Incremental updates are trivial using HTTP range requests making hosting it trivial as well.
20.
by themk 9mo ago
Yes, the inability to edit cards due to the content-addressing seems like a majot drawback.
21.
by themk 9mo ago
I thought Meta was "the Party".
22.
by themk 9mo ago
My personal favourite analogy is gambling. The constant microdosing of dopamine to get you to hang around and spend just a little more ~money~ attention.
23.
by themk 9mo ago
I recently published an internal memo which covered the same point, but I included code. I feel like you still have a "voice" in code, and it provides important cues to the reviewer. I also consider review to be an important lear
24.
by themk 10mo ago
It still is a monad. It's just Zig doesn't have language support for monads, so it's less ergonomic. Just as modular addition over ints in Zig forms a group, even if Zig has no notion of groups. It's just a property of t
25.
by themk 10mo ago
Passing an interface as a parameter is a monad. (Io -> _) is an instance of Monad in Haskell. Haskell just has syntax to make using (any) monad much nicer. In this case, it let's you elide the `Io` parameter in the syntax if you a
26.
by themk 10mo ago
A Monad is a _super_ generic interface that can be implemented for a whole bunch of structures/types. When people talk about "monads", they are usually referring to a specific instance. In this case, the Reader monad is a spe
27.
by themk 10mo ago
There is nothing special about the [IO a] -> IO [a] in Haskell. You can iterate over it using the "normal" methods of iterating just fine. forM ios $ \io -> io But there are better ways to do it (e.g. sequence), but
28.
by themk 10mo ago
The old website was much faster. And you could fit all the information you needed on a single screen. No scrolling. It was great.
29.
by themk 10mo ago
AFAIU, for LDL and ApoB, the real danger lies in the area under the curve. Lifetime exposure. That's not to say that lifestyle improvement can't help in other ways, but the damage caused by LDL is very difficult (impossible) to re
30.
by themk 11mo ago
Would like to hear about the ergonomic problems you have with souffle. We integrate it into our rust tools quite well, and generate typesafe rust bindings to our souffle programs, allowing us to insert facts and iterate over outputs.

More ›