<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: penteract</title><link>https://news.ycombinator.com/user?id=penteract</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 28 Oct 2026 21:15:56 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=penteract" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by penteract in "Classification of Finite Simple Groups Formalized in Lean"]]></title><description><![CDATA[
<p>Producing a formalized proof from a non-formalized proof in a paper or book should not be considered a violation of copyright.</p>
]]></description><pubDate>Tue, 27 Oct 2026 21:43:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=50266269</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=50266269</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50266269</guid></item><item><title><![CDATA[New comment by penteract in "A Strongly Aperiodic Monotile in Three Dimensions"]]></title><description><![CDATA[
<p>Yeah, the seven cubes shape tiles R^3 by itself following the aperiodic tiling, but it also tiles R^3 in other ways, some of which are periodic. The bumps prevent any of the periodic tilings. See [1] for a better explanation with a picture of the shape as a rep-tile, and [2] for insight into how a rep-tile becomes an aperiodic tiling.<p>[1] <a href="https://arxiv.org/abs/2609.24779" rel="nofollow">https://arxiv.org/abs/2609.24779</a><p>[2] <a href="https://en.wikipedia.org/wiki/Rep-tile#Examples" rel="nofollow">https://en.wikipedia.org/wiki/Rep-tile#Examples</a></p>
]]></description><pubDate>Wed, 14 Oct 2026 15:48:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=50089566</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=50089566</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50089566</guid></item><item><title><![CDATA[New comment by penteract in "A Strongly Aperiodic Monotile in Three Dimensions"]]></title><description><![CDATA[
<p>I suspect they've spent much longer looking at 2d shapes than 3d ones (because they're easier to imagine and reason about, and there are fewer variations in how "aperiodic monotile" can be defined in 2d).<p>Also, the tricky bit for this kind of shape (similarly to Penrose's tiles) isn't finding the shape, but finding the aperiodic tiling and adding gadgets that rule out any periodic tilings (and proving this). The actual aperiodic monotile shown looks like it has 201 faces (although that could trivially be reduced by quite a bit).</p>
]]></description><pubDate>Wed, 14 Oct 2026 08:22:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=50084191</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=50084191</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50084191</guid></item><item><title><![CDATA[New comment by penteract in "Worlds more habitable than Earth?"]]></title><description><![CDATA[
<p>For the sake of pedantry, there are things in the observable universe which are increasing in distance from us by more than 1 light year per year. This means it's impossible to reach them unless the universe's rate of expansion changes. I think the Hubble volume is the region theoretically reachable; limiting acceleration to 1g would limit you to a slightly smaller region (only a tiny bit smaller, I think).<p><a href="https://en.wikipedia.org/wiki/Hubble_volume" rel="nofollow">https://en.wikipedia.org/wiki/Hubble_volume</a></p>
]]></description><pubDate>Tue, 13 Oct 2026 19:57:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=50077746</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=50077746</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50077746</guid></item><item><title><![CDATA[New comment by penteract in "How did Rosalind Franklin miss the helix in her iconic DNA image? She didn't"]]></title><description><![CDATA[
<p>I read pretty much the same thing. First * is 'discontinuous', second might be 'turn'. I'm tempted to read 'continuous' where you have 'containing'.</p>
]]></description><pubDate>Thu, 08 Oct 2026 05:39:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=50002120</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=50002120</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50002120</guid></item><item><title><![CDATA[New comment by penteract in "The Waymo effect: how AI is quietly making research less collaborative"]]></title><description><![CDATA[
<p>a) Self driving was far from completely solved before LLMs.<p>b) Text generation essentially means passing the Turing test, which for a long time was the bar for general intelligence. Locomotion does not necessarily require general intelligence.</p>
]]></description><pubDate>Fri, 11 Sep 2026 12:29:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=49657297</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=49657297</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49657297</guid></item><item><title><![CDATA[New comment by penteract in "Learn Programming with OCaml"]]></title><description><![CDATA[
<p>> I believe that an ML should be the First Language for Computer Scientists.<p>I'm not sure how much influence a First Language has - the biggest impact might be whether someone decides to continue learning to program. I'd also worry that we might lose something if all computer scientists are too similar. There are lisp believers, and there are those who swear by C; and I think the field of CS would be less rich if either were missing. Given that, it's a good thing that there are a variety of languages taught as first languages, and I'd like to see the variety widen (I don't know of any CS degree which begins by teaching Forth).</p>
]]></description><pubDate>Sun, 06 Sep 2026 15:04:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=49587169</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=49587169</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49587169</guid></item><item><title><![CDATA[New comment by penteract in "How an MIT research project became the Julia programming language"]]></title><description><![CDATA[
<p>> Some languages are less permissive, and have a culture of searching harder for corner cases and dealing with them than others, that is true. I would expect to find less cases like this in Rust, but more cases like this in Python.<p>My expectation is that when I think I've found a bug in the programming language implementation I'm using, it's actually me that's mistaken (or at least that language lawyers consider me to be mistaken). Hearing about someone who has encountered multiple bugs (in regular use, rather than running a fuzzer or being directly involved in implementing the language) makes me very wary.</p>
]]></description><pubDate>Fri, 04 Sep 2026 14:51:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=49565522</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=49565522</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49565522</guid></item><item><title><![CDATA[New comment by penteract in "Judge rules Trump administration’s blacklisting of Anthropic was illegal"]]></title><description><![CDATA[
<p>There has been an instance of a Governor General dismissing a Prime minister.<p><a href="https://en.wikipedia.org/wiki/1975_Australian_constitutional_crisis" rel="nofollow">https://en.wikipedia.org/wiki/1975_Australian_constitutional...</a></p>
]]></description><pubDate>Sat, 29 Aug 2026 00:52:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=49485883</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=49485883</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49485883</guid></item><item><title><![CDATA[New comment by penteract in "A joke domain purchase turned in geopolitical warfare"]]></title><description><![CDATA[
<p>> like they found for Russia tracking launch sites in Ukraine<p>My understanding of that section was that Ukraine were using it to find launch sites in occupied parts of Ukraine - they go on to describe how they helped someone who had been doing the tracking:<p>[From article]<p>> We emailed back and forth and provided documentation on how to run the predictor locally.<p>Edit: my recollection of which parts of Ukraine are occcupied was wrong, leaving me rather confused about who they thought they were helping.</p>
]]></description><pubDate>Wed, 19 Aug 2026 23:14:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=49368405</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=49368405</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49368405</guid></item><item><title><![CDATA[New comment by penteract in "Incident with Github.com [resolved]"]]></title><description><![CDATA[
<p>Please could you link to the study if you can find it. The definition of "better" seems quite critical here, as well as whether it's specific to code hosting websites. A messaging platform is pretty useless if I'm the only user, but Github would still be useful to me without anyone else having an account.</p>
]]></description><pubDate>Tue, 18 Aug 2026 00:55:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49339793</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=49339793</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49339793</guid></item><item><title><![CDATA[New comment by penteract in "Rust SIMD on the GPU"]]></title><description><![CDATA[
<p>>> GPUs aren't really SIMD, they're SIMT (single instruction multiple thread)<p>> False. If they were threads they'd have their own PC. They do not - only the warp has a PC.<p>They are using the term SIMT as it is normally used[1]. The "single instruction" part means that there is only one PC shared across multiple 'threads'.<p>[1] <a href="https://en.wikipedia.org/wiki/Single_instruction,_multiple_threads" rel="nofollow">https://en.wikipedia.org/wiki/Single_instruction,_multiple_t...</a></p>
]]></description><pubDate>Tue, 11 Aug 2026 09:39:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=49255493</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=49255493</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49255493</guid></item><item><title><![CDATA[New comment by penteract in "So you want to use plants to reduce CO₂"]]></title><description><![CDATA[
<p>Did you consider the alternative calculation of how many plants you need to grow to feed yourself? A few thousand potatoes growing simultaneously might do it.<p>That would overestimate the number you need to remove excess exhaled CO2, since you could throw out the parts you can't eat rather than letting them decay and release CO2 indoors.</p>
]]></description><pubDate>Fri, 31 Jul 2026 01:20:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49117984</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=49117984</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49117984</guid></item><item><title><![CDATA[New comment by penteract in "We have proof automation now"]]></title><description><![CDATA[
<p>> dependent types and total functions do not scale.<p>I'm not convinced that this is much more true than the claim "correct code doesn't scale". If you add to your code in a way depends on a new property for correctness, and the code was not previously written with awareness that the new property was necessary, then you need to check through the rest of your code and make sure that the property is maintained. Formally verifying things is painful because it actually makes you check this.<p>Instead, we live in a world where we use software that is not completely correct. Browsers have remote code execution vulnerabilities because people who make browsers decided it's more important that javascript can run quickly, and that new standards get implemented, than that we avoid such vulnerabilities at all costs.</p>
]]></description><pubDate>Mon, 27 Jul 2026 15:59:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=49071476</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=49071476</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49071476</guid></item><item><title><![CDATA[New comment by penteract in "Mythologizing AI makes it more likely that we’ll fail to operate it well (2023)"]]></title><description><![CDATA[
<p>If you had access to a bunch identical copies of me that couldn't communicate with each other, you'd be able to find many questions I would give stupid answers to. I suspect I'd come out of it looking worse than an LLM.</p>
]]></description><pubDate>Mon, 20 Jul 2026 22:04:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=48985451</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=48985451</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48985451</guid></item><item><title><![CDATA[New comment by penteract in "Why do AI company logos look like buttholes? (2025)"]]></title><description><![CDATA[
<p>This brought to my attention the following claim by OpenAI, regarding a logo which does not have any right angles:<p>> right angles introduce the precision and structure that technology demands<p><a href="https://openai.com/brand/#:~:text=right%20angles" rel="nofollow">https://openai.com/brand/#:~:text=right%20angles</a></p>
]]></description><pubDate>Sat, 18 Jul 2026 12:02:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=48957288</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=48957288</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48957288</guid></item><item><title><![CDATA[New comment by penteract in "Australian energy retailers must provide three hours of free daytime electricity"]]></title><description><![CDATA[
<p>To check I understand you: the smaller tank with heatpump would consume less energy outside the time window in which energy is free than the large tank with resistive heating, but has a higher capital cost which would outweigh the amount saved on energy?<p>If that's right, it's not obvious to me that building a suitably sized solar panel is environmentally worse than building a heat pump.</p>
]]></description><pubDate>Tue, 14 Jul 2026 11:40:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=48905181</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=48905181</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48905181</guid></item><item><title><![CDATA[New comment by penteract in "A graph that should be front-page news"]]></title><description><![CDATA[
<p>Based on <a href="https://climatereanalyzer.org/clim/sst_daily/?dm_id=nino3.4" rel="nofollow">https://climatereanalyzer.org/clim/sst_daily/?dm_id=nino3.4</a>, 1988 is the year from the dataset with the lowest temperature throughout June and July.</p>
]]></description><pubDate>Mon, 13 Jul 2026 12:33:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=48891738</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=48891738</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48891738</guid></item><item><title><![CDATA[New comment by penteract in "Pre-Modern Armies for Worldbuilders, Part III: Paying for It"]]></title><description><![CDATA[
<p>There are those who make strong arguments for the opposite.<p>Once you have paid him the Danegeld, you never get rid of the Dane.</p>
]]></description><pubDate>Sat, 27 Jun 2026 00:21:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=48693748</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=48693748</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48693748</guid></item><item><title><![CDATA[New comment by penteract in "Trains halted across Germany because of communication system problem"]]></title><description><![CDATA[
<p>The number €115 is in the second chart as the per capita German expenditure on rail infrastructure in 2023. I don't see €477, but it's pretty close to the €480 figure for Switzerland in 2024. My guess is they saw an old version of the page when the first chart had numbers for 2023 and have kept using it without noticing the update.</p>
]]></description><pubDate>Wed, 24 Jun 2026 00:15:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=48653481</link><dc:creator>penteract</dc:creator><comments>https://news.ycombinator.com/item?id=48653481</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48653481</guid></item></channel></rss>