<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: TimTheTinker</title><link>https://news.ycombinator.com/user?id=TimTheTinker</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 18 Sep 2026 18:05:19 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=TimTheTinker" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by TimTheTinker in "Bend – a language that blocks AI mistakes via proof and runs on GPUs"]]></title><description><![CDATA[
<p>Hi author :wave:<p>I'm confused - could you explain how the board/flag animation relates to Bend's compile time checking? Is it actually a direct demonstration of Bend running a check?</p>
]]></description><pubDate>Thu, 17 Sep 2026 21:39:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=49746949</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49746949</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49746949</guid></item><item><title><![CDATA[New comment by TimTheTinker in "The CSS Zen Garden dream, finally shipped"]]></title><description><![CDATA[
<p>I think a collection of basic utility classes (w-100, m-2-t) and layout components (<Flex dir="row" gap="2">, etc.) are equivalent ideas, and they are nice for quickly setting up a one-off layout that's very readable. But Tailwind turns this practical idea into a religion that locks projects in to using it and harms readability.<p>Human readability is a very useful proxy for good modularity and separation of concerns (and modularity increases scalability and reusability). Since LLMs take the whole thing in at once, they are <i>terrible</i> at module boundaries. (They also suck at theory of mind, and their comments reflect it, but I digress.)</p>
]]></description><pubDate>Wed, 16 Sep 2026 14:57:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=49728036</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49728036</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49728036</guid></item><item><title><![CDATA[New comment by TimTheTinker in "The CSS Zen Garden dream, finally shipped"]]></title><description><![CDATA[
<p>This is really great work, but I think a lot of folks on HN don't look kindly on the CSS Zen Garden or that era of CSS. They think the markup/stylesheet separation of concerns was a terrible idea, an idea that Tailwind exists to fix. (I think they're wrong, that separation of concerns is good, Tailwind is a hack, and get off my lawn while you're at it.)<p>The point is - now the modern vanilla web platform really can support first-class <i>CSS-styled app components</i>, from design systems, in production. This is really cool!<p>HTML and CSS were originally designed as <i>document-oriented languages</i> for digital document display; think MS Word or PDF with cross-document hyperlinks, and <i>not</i> an app SDK. The idea was simply "style your web site's titles, headings, paragraphs, footers, etc. in just one place; change it there and the whole site will update". That's the dream that CSS Zen Garden was meant to showcase. Interactivity and web apps came <i>later</i>, and CSS has taken a very long time to catch up.<p>But catch up it has, and I'll be glad when frontend web development sheds Tailwind and React in favor of the updated vanilla web platform; and I won't complain if we use super light web component libraries like Lit[0]).<p>[0] <a href="https://lit.dev" rel="nofollow">https://lit.dev</a></p>
]]></description><pubDate>Tue, 15 Sep 2026 18:23:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=49716639</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49716639</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49716639</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Psychoactive substances helped spur Andean civilization"]]></title><description><![CDATA[
<p>No conflicts of interest, and I'm not diminishing the impact of the research, just questioning how much it supports your statement.</p>
]]></description><pubDate>Mon, 14 Sep 2026 21:28:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=49704355</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49704355</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49704355</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Psychoactive substances helped spur Andean civilization"]]></title><description><![CDATA[
<p>It's clear that nicotine binds to those receptors, but exactly how that plays out is far more complex in practice, depending on a whole host of variables.<p>- Presence or absence of other nicotinic agonists, inverse agonists, and antagonists, and relative concentrations of each<p>- Effects vary wildly with nicotine concentration levels in plasma/interstitial fluid, as if it's an entirely different drug depending on how much is present<p>- etc.<p>You're drawing a direct line from <i>one</i> agonist the paper only mentions once to a psychological effect that the paper doesn't even describe. You may or may not be right, but this paper is at best a citation for a separate study to test your hypothesis.</p>
]]></description><pubDate>Mon, 14 Sep 2026 15:30:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49698646</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49698646</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49698646</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Mind-altering drugs played key role in rise of Andean civilization"]]></title><description><![CDATA[
<p>> nicotine receptors make meaningless behavior meaningful as if you expend effort on it<p>*<i>nicotinic</i> receptors, which are activated by acetylcholine. But I only saw <i>nicotine</i> mentioned once in the paper, and in the titles of two citations.<p>To me, it seems like a big stretch to say that nicotine "makes meaningless behavior meaningful" - could you explain how that's supported by the paper's data?</p>
]]></description><pubDate>Sat, 12 Sep 2026 14:08:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=49672477</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49672477</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49672477</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Mind-altering drugs played key role in rise of Andean civilization"]]></title><description><![CDATA[
<p>And nicotine, don't forget that. Smokers built the modern world (and then developed lung cancer for their troubles).</p>
]]></description><pubDate>Fri, 11 Sep 2026 22:19:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=49666188</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49666188</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49666188</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Mind-altering drugs played key role in rise of Andean civilization"]]></title><description><![CDATA[
<p>drugs have been making people feel good (and messing with their sense of motivation to behave responsibly) regardless of society's state</p>
]]></description><pubDate>Fri, 11 Sep 2026 22:18:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=49666171</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49666171</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49666171</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Stop making swap partitions—use swap files instead"]]></title><description><![CDATA[
<p>Illumos also doesn't overcommit, if you want the more modern OS descended from Solaris.</p>
]]></description><pubDate>Fri, 11 Sep 2026 20:25:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=49664856</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49664856</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49664856</guid></item><item><title><![CDATA[New comment by TimTheTinker in "iPhone Duo"]]></title><description><![CDATA[
<p>The iPhone 13 mini feels huge compared to the 4s... I'd still use the 4s if it didn't have such horrible battery life or could run modern apps.</p>
]]></description><pubDate>Wed, 09 Sep 2026 22:22:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=49635382</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49635382</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49635382</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>I'm reconsidering here - there's a long distance between "someone believes in a harmful ideology" and "someone is an informant". So yes - there's ample room to talk with people.<p>"He who turns a sinner from the error of his way will save a soul from death and cover a multitude of sins" (James)</p>
]]></description><pubDate>Tue, 08 Sep 2026 15:40:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=49611953</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49611953</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49611953</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>I read the first few paragraphs. It's all critical race theory and intersectionality. A worldview I reject. It leads to odd conclusions like saying it's impossible to be racist against white people, or that a black person can't be racist.<p>That's absurd. It's possible for anyone to judge another person by the color of their skin instead of the content of their character or their actual traits. No race is morally superior or inferior (and to say otherwise is <i>very</i> racist).</p>
]]></description><pubDate>Sun, 06 Sep 2026 04:28:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=49583325</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49583325</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49583325</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>Those happened and they were evil. I'm not arguing with that.</p>
]]></description><pubDate>Sun, 06 Sep 2026 04:22:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=49583293</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49583293</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49583293</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>I reject the notion of "structural racism". That's not about civil rights, it's critical theory masquerading. It's a destructive ideology.<p>It teaches us to suspect everyone around us, which promotes division and hatred, not love and unity.<p>Racism is an individual sin that arises from the heart, and it can be repented of and turned away from like any other sin.</p>
]]></description><pubDate>Sun, 06 Sep 2026 04:08:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=49583235</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49583235</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49583235</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>Do you know the definition of the word "prejudice"? It means "preconceived opinion that is not based on reason or actual experience."<p>You say you think a lot of my acquaintances are racist, without even knowing who I am, let alone who they are, let alone what they act like or say. That's pretty extreme prejudice.<p>Don't judge people before you've at least learned who they are.</p>
]]></description><pubDate>Sun, 06 Sep 2026 03:46:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=49583139</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49583139</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49583139</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>What the ...? Please show me examples of this on the right, and I don't mean random nutjobs on Twitter or 4chan. That's complete insanity.</p>
]]></description><pubDate>Sun, 06 Sep 2026 03:38:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=49583103</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49583103</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49583103</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>Heck no. Hitler and Mussolini were deeply evil and their ideology was too. But there's nothing like them happening today.</p>
]]></description><pubDate>Sun, 06 Sep 2026 03:37:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=49583092</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49583092</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49583092</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>A racist is known by their speech or actions. Like making prejudicial comments about people of one or more other races, or demonstrating through actions that they do not view other races as equals. If someone does neither, then they're not racist.<p>The last people I heard do that were my grandparents - like "Did you hear? She married a black man." with raised eyebrows.<p>You didn't answer my question - do you have racist neighbors?</p>
]]></description><pubDate>Sun, 06 Sep 2026 02:33:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=49582763</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49582763</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49582763</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>Real racists in your orbit of regular acquaintances are pretty straightforward to pick out.</p>
]]></description><pubDate>Sun, 06 Sep 2026 01:23:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=49582459</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49582459</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49582459</guid></item><item><title><![CDATA[New comment by TimTheTinker in "Bob and Van"]]></title><description><![CDATA[
<p>Speaking from my own moral compass - I don't think there's a moral obligation to bring up politics with people I know with whom I disagree. They have their opinion, I have mine.<p>I think that's even true when a horrible ideology is gripping a nation. The Bolsheviks and Red Guards were not to be reasoned with by neighbors in their heyday. "The wise man sees trouble coming and hides himself."</p>
]]></description><pubDate>Sat, 05 Sep 2026 20:22:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=49580308</link><dc:creator>TimTheTinker</dc:creator><comments>https://news.ycombinator.com/item?id=49580308</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49580308</guid></item></channel></rss>