<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: dnautics</title><link>https://news.ycombinator.com/user?id=dnautics</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 05 Jun 2026 03:11:59 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=dnautics" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by dnautics in "Wind and solar generated more power than gas globally in April 2026"]]></title><description><![CDATA[
<p>no, but renewables do speak for themselves in dollars and cents, even if they dont have subsidy.  now should petrochem subsidies end too?  probably yes.</p>
]]></description><pubDate>Thu, 04 Jun 2026 15:16:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=48399941</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48399941</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48399941</guid></item><item><title><![CDATA[New comment by dnautics in "Wind and solar generated more power than gas globally in April 2026"]]></title><description><![CDATA[
<p>> the U.S. administration has chosen to actively fight against it<p>the biggest producer of renewables is Texas, by a longshot.  and the state of california just created insane NEM laws that favor the pockets of pg&e (and are shit for the environment) and as a result solar home installations have cratered.</p>
]]></description><pubDate>Thu, 04 Jun 2026 15:10:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=48399850</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48399850</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48399850</guid></item><item><title><![CDATA[New comment by dnautics in "In a first, wind and solar generated more power than gas globally in April 2026"]]></title><description><![CDATA[
<p>it depends.  some places it makes sense, some places it doesn't.<p>it will be adopted when the money speaks.  the good news is that money is a reasonably close proxy to "environmental benefit" (balancing the environmental costs of green infra production versus dirtiness of gas generation)</p>
]]></description><pubDate>Thu, 04 Jun 2026 15:08:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=48399825</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48399825</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48399825</guid></item><item><title><![CDATA[New comment by dnautics in "They’re made out of weights"]]></title><description><![CDATA[
<p>is human cognition not an algorithm?  is it just woo?  or vibes?</p>
]]></description><pubDate>Thu, 04 Jun 2026 14:17:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=48399023</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48399023</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48399023</guid></item><item><title><![CDATA[New comment by dnautics in "They’re made out of weights"]]></title><description><![CDATA[
<p>i recall a hinton lecture where he talks about the mechanism of memory formation in the brain and it's not fully sussed out but it's also not backprop, its some sort of forward prediction and immediate reinforcement loop.<p>There's also no plausible biological/chemical mechanism to backpropagate.</p>
]]></description><pubDate>Thu, 04 Jun 2026 14:16:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=48399019</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48399019</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48399019</guid></item><item><title><![CDATA[New comment by dnautics in "U.S. to dismantle system tracking Atlantic currents that are at risk of collapse"]]></title><description><![CDATA[
<p>> ever increasing in their manufacturing of good sent to the US.<p>no, factories are closing and workers are protesting due to factory shutdowns in china.  if you go to target, most things are made in bangladesh, pakistan India, maylaysia, thailand, vietnam where before they'd all be from china.  also us consumption <i>generally</i> is decreasing, and anyways, transportation and direct energy was always the biggest contributor.</p>
]]></description><pubDate>Thu, 04 Jun 2026 14:08:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48398903</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48398903</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48398903</guid></item><item><title><![CDATA[New comment by dnautics in "They’re made out of weights"]]></title><description><![CDATA[
<p>we know the brain does <i>not</i> use gradient descent. (i agree it doesn't matter)</p>
]]></description><pubDate>Thu, 04 Jun 2026 13:30:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=48398388</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48398388</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48398388</guid></item><item><title><![CDATA[New comment by dnautics in "They’re made out of weights"]]></title><description><![CDATA[
<p>> An LLM is not a human brain,<p>true<p>> and does not try to emulate one<p>citation please.<p>something like the universal approximation theory comes to mind, transformer architecture clearly has the shape of a universal algorithm approximator</p>
]]></description><pubDate>Thu, 04 Jun 2026 13:28:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=48398348</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48398348</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48398348</guid></item><item><title><![CDATA[New comment by dnautics in "U.S. to dismantle system tracking Atlantic currents that are at risk of collapse"]]></title><description><![CDATA[
<p>It's arguably <i>not</i> particularly inconvenient for the us political class?  the us has been on a tear reducing per capita ghg emissions (also trade corrected ghg emissions).  this has been going on for five decades now (consistently 2.5) independent of whether administrations or congress have been red or blue<p>iiuc us per capita emissions are not far from 1910s levels</p>
]]></description><pubDate>Thu, 04 Jun 2026 03:13:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=48393267</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48393267</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48393267</guid></item><item><title><![CDATA[New comment by dnautics in "Artificial intelligence is not conscious – Ted Chiang"]]></title><description><![CDATA[
<p>I think, for me, the thing is that when you tutor undergrads in abstract math, you discover that students will very often find data pattern that fit the goal but does not correspond to a real mathematical principle.<p>sometimes humans making claims about AI intelligence or consciousness also identify spurious patterns that do not correspond to the problems of intelligence or hard consciousness.</p>
]]></description><pubDate>Thu, 04 Jun 2026 01:29:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48392548</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48392548</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48392548</guid></item><item><title><![CDATA[New comment by dnautics in "Elixir v1.20: Now a gradually typed language"]]></title><description><![CDATA[
<p>when i was programming elixir by hand i was making typing errors about 1 every half year or so.  none took production down, most were caught and corrected quickly from logs.  now im doing mostly llm elixir, almost all typing errors are caught in integration tests and only one has made it to prod.</p>
]]></description><pubDate>Thu, 04 Jun 2026 01:20:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=48392499</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48392499</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48392499</guid></item><item><title><![CDATA[New comment by dnautics in "Elixir v1.20: Now a gradually typed language"]]></title><description><![CDATA[
<p>theres nothing in common between humans and llms or llm training sets!</p>
]]></description><pubDate>Thu, 04 Jun 2026 01:15:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=48392469</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48392469</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48392469</guid></item><item><title><![CDATA[New comment by dnautics in "Elixir v1.20: Now a gradually typed language"]]></title><description><![CDATA[
<p>its statically typed, but not runtime typed!</p>
]]></description><pubDate>Thu, 04 Jun 2026 01:15:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=48392466</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48392466</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48392466</guid></item><item><title><![CDATA[New comment by dnautics in "Elixir v1.20: Now a gradually typed language"]]></title><description><![CDATA[
<p>very cool.  would be even cooler if you could disguise type annotations as dialyzer annotations :P</p>
]]></description><pubDate>Thu, 04 Jun 2026 00:51:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48392296</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48392296</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48392296</guid></item><item><title><![CDATA[New comment by dnautics in "Elixir v1.20: Now a gradually typed language"]]></title><description><![CDATA[
<p>> is there any advantages of using untyped programming language<p>without any evidence, i claim the corpus might have higher quality variable names and conventions that are "human crutches" around not having types.<p>LLM knowledge in your non public codebase must be strictly local, and so checking on details and identities of types incurs a cost for the LLM to go fetch that info.  if the LLM can "just know" (guess with very high confidence) then thats better for the LLM.<p>> non-typed languages has more traning data<p>as per anthropic "poisoning llms with 250 examples" finding, i suspect that corpus size does not really matter that much for any language that is reasonably well used.</p>
]]></description><pubDate>Thu, 04 Jun 2026 00:45:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=48392243</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48392243</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48392243</guid></item><item><title><![CDATA[New comment by dnautics in "Elixir v1.20: Now a gradually typed language"]]></title><description><![CDATA[
<p>i think the design can push people into writing unnecessary matches/guards just to trigger the typechecker.<p>that said, I'm a fan</p>
]]></description><pubDate>Wed, 03 Jun 2026 19:29:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=48388700</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48388700</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48388700</guid></item><item><title><![CDATA[New comment by dnautics in "How is Groq raising more money?"]]></title><description><![CDATA[
<p>is groq still using 6 racks to serve Llama3-70B or is that old news?</p>
]]></description><pubDate>Tue, 02 Jun 2026 04:41:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=48366148</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48366148</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48366148</guid></item><item><title><![CDATA[New comment by dnautics in "Is Python Becoming Pinyin?"]]></title><description><![CDATA[
<p>yeah but you dont have to proof check every cycle, anyways rust safety is not the slow step</p>
]]></description><pubDate>Mon, 01 Jun 2026 20:48:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=48362434</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48362434</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48362434</guid></item><item><title><![CDATA[New comment by dnautics in "Is Python Becoming Pinyin?"]]></title><description><![CDATA[
<p>Definitely not python.  at least in the immediate future, context is the limiting factor, and not knowing if a function call might mutate your object is not good for context (the llm must either dangerously assume or look it up, both of which are context-expensive)</p>
]]></description><pubDate>Mon, 01 Jun 2026 20:41:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=48362362</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48362362</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48362362</guid></item><item><title><![CDATA[New comment by dnautics in "Anthropic confidentially submits draft S-1 to the SEC"]]></title><description><![CDATA[
<p>i mean spacex filing reads more like an investor prospectus than an s-1 so, its a few standard deviations off the norm</p>
]]></description><pubDate>Mon, 01 Jun 2026 20:17:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=48362066</link><dc:creator>dnautics</dc:creator><comments>https://news.ycombinator.com/item?id=48362066</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48362066</guid></item></channel></rss>