<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: themk</title><link>https://news.ycombinator.com/user?id=themk</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 15 Apr 2026 02:58:12 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=themk" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by themk in "Baochip-1x: What it is, why I'm doing it now and how it came about"]]></title><description><![CDATA[
<p>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?<p>I'm also curious about the current draw, but I couldn't find anything?</p>
]]></description><pubDate>Sun, 15 Mar 2026 00:54:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=47383087</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=47383087</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47383087</guid></item><item><title><![CDATA[New comment by themk in "List animals until failure"]]></title><description><![CDATA[
<p>One of the few sites with a fun "you have javascript turned off" message.<p>> This game requires JavaScript. Or, if you've superior taste, take out a pen and paper and start listing animals.</p>
]]></description><pubDate>Sun, 01 Feb 2026 05:41:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=46843942</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46843942</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46843942</guid></item><item><title><![CDATA[New comment by themk in "Your brain on ChatGPT: Accumulation of cognitive debt when using an AI assistant"]]></title><description><![CDATA[
<p>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.<p>I've pretty much always had GPS nav locked to North-Up because of this experience.</p>
]]></description><pubDate>Thu, 22 Jan 2026 09:35:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=46717036</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46717036</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46717036</guid></item><item><title><![CDATA[New comment by themk in "Nested code fences in Markdown"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Wed, 21 Jan 2026 22:53:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=46712809</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46712809</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46712809</guid></item><item><title><![CDATA[New comment by themk in "Ozempic is changing the foods Americans buy"]]></title><description><![CDATA[
<p>From what you just wrote, it appears you misunderstood what I said. Just to be clear:<p>Red kidney beans (50g): PDCAAS = 0.88, Protein = 11.25g
Basmati rice (50g): PDCAAS = 0.7, Protein = 4.5g<p>Red beans + rice (50g, 50g): PDCAAS = 1.0, Protein = 15.75g<p>Milk (500g..): PDCAAS = 1.0, Protein = 15.5g<p>So, from a protein perspective (according to PDCAAS), 500g of milk will give you the same amount of usable protein as the 100g rice and beans meal. There is nothing left on the table.<p>So, just eating kidney beans, PDCAAS would say that you aren't really getting the full benefit of the "protein on the label". But once you combine it with rice, you are getting the full benefit (according to PDCAAS).<p>You can't look at the digestibility of the two foods in isolation to make the calculations.<p>As long as you are eating a varied diet, PDCAAS is pretty pointless. If you have an eating disorder, or food scarcity issues, then it might become important.</p>
]]></description><pubDate>Wed, 14 Jan 2026 01:57:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=46611350</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46611350</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46611350</guid></item><item><title><![CDATA[New comment by themk in "Ozempic is changing the foods Americans buy"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Tue, 13 Jan 2026 11:21:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=46599591</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46599591</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46599591</guid></item><item><title><![CDATA[New comment by themk in "Don't fall into the anti-AI hype"]]></title><description><![CDATA[
<p>> and reading code is harder than writing it.<p>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.<p>We are trading "one writer, one reader" for "two readers", and it seems like a bad deal.</p>
]]></description><pubDate>Mon, 12 Jan 2026 01:41:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=46582780</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46582780</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46582780</guid></item><item><title><![CDATA[New comment by themk in "Sugar industry influenced researchers and blamed fat for CVD (2016)"]]></title><description><![CDATA[
<p>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 <i>too</i> focused on saturated fat, which is not wrong, but not the only factor. He was wrong that sugar is just empty calories, though he never recommended replacing fat with sugar.<p>Modern science agrees that saturated fats lead to CVD, but replacing saturated fats with refined carbs <i>also</i> leads to CVD, which Ancel Keys didn't believe (though, to be fair, the populations he studied didn't have access to the types of refined carbohydrates we have today)<p>The dietary guidelines derived from his work <i>did</i> backfire, but Keys never said to replace saturated fats with refined carbs, which is what ended up happening. He advocated for substituting different fats. But the message that ended up being received was "no fat at all", which no scientist ever actually recommended AFAIU.<p>The diet he actually recommends is well studied, and found to be protective.</p>
]]></description><pubDate>Fri, 09 Jan 2026 07:26:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=46550993</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46550993</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46550993</guid></item><item><title><![CDATA[New comment by themk in "Sugar industry influenced researchers and blamed fat for CVD (2016)"]]></title><description><![CDATA[
<p>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 things, and it turns out they were probably right?<p>Also, the 7 countries study didn't just compare the regions, they also did intra-regional comparisons. Not that I think <i>this</i> particular study is what you should base all your evidence on, but, most others back it up.<p>The people who run these studies actually know what they are doing. They know the limitations of their methods, and, they have thought about confounding variables. This _always_ comes up in internet debate, like, "ahh, but there are confounding variables so the study must be trash!". It's literally their job to take those confounding variables into account. They don't just grab random people of the street to run these things. And I assure you, they know about the details.</p>
]]></description><pubDate>Thu, 08 Jan 2026 09:31:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=46539092</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46539092</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46539092</guid></item><item><title><![CDATA[New comment by themk in "Eat Real Food"]]></title><description><![CDATA[
<p>Not the poster, but, usually what people are referring to is all the other stuff that comes along.<p>Per calorie beef and broccoli are actually surprisingly similar, but broccoli comes with fiber, calcium and vitamin C, while beef comes with saturated fat.<p>Of course, broccoli is not very calorie dense, so you would need to eat a lot.<p>More realistically, tofu, which has about as much protein per calorie (and almost as much per gram) as middling lean beef. But has half the saturated fat, more iron, more calcium, and fibre.<p>You just get more good stuff, and less bad stuff with veg.</p>
]]></description><pubDate>Thu, 08 Jan 2026 08:32:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=46538715</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46538715</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46538715</guid></item><item><title><![CDATA[New comment by themk in "Eat Real Food"]]></title><description><![CDATA[
<p>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 with other foods, the total "bioavailabilty" tends to increase.</p>
]]></description><pubDate>Thu, 08 Jan 2026 08:13:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=46538592</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46538592</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46538592</guid></item><item><title><![CDATA[New comment by themk in "Sugar industry influenced researchers and blamed fat for CVD (2016)"]]></title><description><![CDATA[
<p>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). They also didn't rely solely on food surveys, but actually measured the meals.<p>But all that aside, I don't actually follow a Mediterranean diet, and agree that one has to be careful here, because it is not well defined (or, it might be in some circles, but that differs from what the general population might expect).<p>The only reason I mentioned it was in response to<p>> The Mediterranean diet is regarded as quite healthy by many health professionals but, it is also high in carbs and fat.<p>Where I was pointing out that the fats in the Mediterranean diet (by pretty much every measure of what it means to be a Mediterranean diet), are not saturated, and it is usually saturated fats that are considered "bad".<p>That is, all I was trying to do was clear up the (common!) confusion about fats (they are not all the same).</p>
]]></description><pubDate>Thu, 08 Jan 2026 05:17:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=46537470</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46537470</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46537470</guid></item><item><title><![CDATA[New comment by themk in "Sugar industry influenced researchers and blamed fat for CVD (2016)"]]></title><description><![CDATA[
<p>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. It's possibly also unethical, in some cases (i.e. the existence of effective LDL lowering medication would likely complicate things).<p>Many people seem to disregard epidemiology, especially when it comes to nutrition (I think because it tends to support unpopular positions). But epidemiology has performed some excellent feats in the name of public health: cholera, smoking, pfao.<p>It is unfortunate that the large time-lines on these things make more rigor difficult, but I wouldn't throw out the epidemiology.</p>
]]></description><pubDate>Thu, 08 Jan 2026 04:29:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=46537207</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46537207</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46537207</guid></item><item><title><![CDATA[New comment by themk in "Sugar industry influenced researchers and blamed fat for CVD (2016)"]]></title><description><![CDATA[
<p>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 response afaiu. That is, if you eat one egg a day, you may as well eat 4, but if you can completely eliminate dietary cholestrol it could make a difference. So, many guidelines don't bother with suggesting it, because it's too hard to eleminate it to the point of mattering for the average person.<p>All that to say, the science isn't wrong, but the practicalities influence the advice.</p>
]]></description><pubDate>Thu, 08 Jan 2026 04:03:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=46537057</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46537057</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46537057</guid></item><item><title><![CDATA[New comment by themk in "Sugar industry influenced researchers and blamed fat for CVD (2016)"]]></title><description><![CDATA[
<p>Nina Teicholz is not who you should be getting your dietary advice from. She has no qualifications.</p>
]]></description><pubDate>Thu, 08 Jan 2026 02:56:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=46536625</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46536625</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46536625</guid></item><item><title><![CDATA[New comment by themk in "Sugar industry influenced researchers and blamed fat for CVD (2016)"]]></title><description><![CDATA[
<p>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.<p>Her views are not the scientific consensus. She is not a scientist, she is a journalist with an agenda.<p><a href="https://en.wikipedia.org/wiki/Nina_Teicholz" rel="nofollow">https://en.wikipedia.org/wiki/Nina_Teicholz</a></p>
]]></description><pubDate>Thu, 08 Jan 2026 02:46:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=46536558</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46536558</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46536558</guid></item><item><title><![CDATA[New comment by themk in "Sugar industry influenced researchers and blamed fat for CVD (2016)"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Thu, 08 Jan 2026 02:39:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=46536510</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46536510</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46536510</guid></item><item><title><![CDATA[New comment by themk in "Package managers keep using Git as a database, it never works out"]]></title><description><![CDATA[
<p>I think git is overkill, and probably a database is as well.<p>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.</p>
]]></description><pubDate>Fri, 26 Dec 2025 19:24:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=46395283</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46395283</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46395283</guid></item><item><title><![CDATA[New comment by themk in "Hashcards: A plain-text spaced repetition system"]]></title><description><![CDATA[
<p>Yes, the inability to edit cards due to the content-addressing seems like a majot drawback.</p>
]]></description><pubDate>Sun, 14 Dec 2025 18:15:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=46265336</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46265336</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46265336</guid></item><item><title><![CDATA[New comment by themk in "Australia begins enforcing world-first teen social media ban"]]></title><description><![CDATA[
<p>I thought Meta was "the Party".</p>
]]></description><pubDate>Wed, 10 Dec 2025 19:36:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=46222517</link><dc:creator>themk</dc:creator><comments>https://news.ycombinator.com/item?id=46222517</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46222517</guid></item></channel></rss>